Formal Description of Crossing Social Network System Architecture Based on Temporal Logic

来源 :2011年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:xkd19890528
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
How to organize crossing social network resources on a higher level of integration and address them to users’ desktops is an important and difficult problem.Especially,there is lack of efficient approach to software architecture to build reusable system over crossing social network.
其他文献
【摘 要】当前建筑行业在我国国民经济中占据重要地位,社会对于项目施工的安全问题也越来越重视。现代建筑朝着更高、体型更复杂、结构形式更多样、功能更齐全、综合性更强的方向发展,这就使得项目施工现场的安全管理难度越来越大。本文分析了项目施工现场安全管理的影响因素,并提出实现安全管理的优化措施,望有助于减少或杜绝项目施工现场安全事故的发生。  【关键词】施工现场;安全管理;影响因素  一、项目施工现场安全
他是一位数学老师,更是学生们的心灵导师。他让人拥有健康阳光的心态和敢于挑战自我的人生态度。 He is a math teacher and more a student’s spiritual teacher. He make
32岁的北京泰福恒投资发展有限公司副总经理刘新虎,是北京房地产业界70年代新生人类的一份子,也是房地产企业高层管理人员年轻化趋势的代表。在他服务的这个刚刚度过4周岁生
6月28日,夏至日刚刚过去6天,国家审计署长李金华向全国人大做了又一年度的审计工作报告。在这份被称为“2005夏季风暴”的长达26页的审计报告中,水利部、国家体育总局等38个
焦菊隐一生中最大的愿望就是做导演、排戏,发展中国戏剧艺术是他人生的支柱。可是“文革”伊始,他就被打成“资产阶级反动学术权威”,在遭受批斗和劳动改造中艰难度日。被迫
需求建模在需求工程中起着重要的作用.为了提高软件需求建模的效率和质量,提出一种基于特征组合的软件需求建模方法.首先,将特征分为功能性特征和非功能性特征;其次,形式化定
Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义.为了对服务组合进行有效的验证,提出了一种基于概率模型检测的Web服务组合验证方法,该方法首先采用扩展的有
最具煽动性的发言【周榕】哈佛大学建筑学硕士,清华大学建筑学院助理,教授(从奥北区域价值对大化实现的角度提出了见解,也呼吁开发商自下而上的影响力)从历史上看,北京市总
伴随着我国现代化教育水平的不断提高以及教学改革力度的不断深入,终止教育对现代化人才培养具有的促进作用逐渐被人们看到,并且在现代化教育理念以及多元化教学措施的促进下