论文部分内容阅读
Modeling Software Timing Requirements:An Environment based Approach
【机 构】
：
Shanghai Key Laboratory of Trustworthy Computing,East China Normal University,Shanghai 200062
【出 处】
：
第十一届全国软件与应用学术会议(NASAC2012)
【发表日期】
：
2012年期
其他文献
P3P 隐私偏好平台主要被用于在用户访问网站时保护用户的隐私。本文引入P3P 隐私策略模型，并从知识表示的角度，分析了如何使用本体描述语言OWL 对P3P 隐私策略及用户隐私偏
从2000年8月开始,他为了救助流浪儿,花光了和妻子摆水果摊积攒的1万多元,还背上5000元外债今年37岁的李勇,出生在重庆市綦江县永新镇。1994年,他和四川省中江县姑娘张含结婚
我这一生最愧对的人是我的女儿,可我最离不开的人也是她们。——希拉克。苦泪长流:被隔离的大女儿绝望跳楼1932年11月29日,希拉克出生在巴黎的一个富豪家庭,父亲弗朗索瓦曾经
钱玉珍,是天津市塘沽区盐场小学退休教师,家住天津市塘沽区杭州道文安里社区。退休后的钱玉珍老师热心公益事业,特别是对与中小学生的教育问
Qian Yuzhen, Tianjin Tanggu S
虚拟化技术在云计算中广泛应用。通过虚拟机监控器，可以让多个操作系统在一台服务器同时上运行，满足不同应用的需求，并且具有良好的隔离性。传统虚拟化技术通过对资源的虚拟
会议
信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交
会议
平菇墙式栽培有很多优点。已被菇农普遍采用。但据笔者调查,普遍存在1.2潮菇后出菇稀,成菇率低,片小而薄,产量不理想。究其原因主要是水分管理不当所致。采收一、二潮菇后。
在目前网络越来越复杂的计算环境中，避免计算机中用户隐私数据的泄漏是研究人员关注的焦点。当前操作系统越来越复杂，恶意程序很容易通过其漏洞劫持操作系统，从而获取用户正
会议