梅宏老师应邀在大会Panel“Challenges and Furture Directions of Software Technology” 上做了网构（Internetware）方面的特邀报告。2011年的 COMPSAC 会议将在德国慕尼黑举行，金芝老师将担任3位 PC Chair 之一。
基于12个网页-相关网页
Spin model-checker is used to prove that the approach can be used to verify the business consistency of internetware evolution.
通过模型检测器Spin证明该方法能够验证网构软件演化的业务一致性。
参考来源 - 网构软件演化的业务一致性验证方法·2,447,543篇论文数据，部分数据来源于NoteExpress
立足电力系统现有众多信息孤岛，提出了利用网构软件组装技术实现资源整合的方法。
According to the existing number of information islands in power system, we proposed a method to accomplish resources conformity using the assembly technology of network configuration software.
最后，还描出了一个系统原型来展示如何利用抽象质量类型构造网构软件，并验证和提高网构软件系统的相关质量属性。
Finally, a prototype is described to illustrate how to construct Internetware by using AQTs as well as how to verify and improve a special kind of quality property of Internetware.
为了减少相邻帧画面在地形不同层次细节之间变化所引起的几何跳跃，采用了滞后合并的方法来实现动态构网过程的几何过渡。
To mitigate the visual "popping" during the detail level transit, we introduce a deferred merging method to realize the geomorphing in terrain mesh refinement.
应用推荐