-
公开(公告)号：CN101297280B
公开(公告)日：2013-03-27
申请号：CN200680040116.1
申请日：2006-10-16
Applicant: 微软公司
Inventor： G·C·亨特 , J·R·劳瑞斯 , M·A·范德瑞 , O·霍德森 , S·P·莱维 , B·斯汀斯嘉德 , D·R·泰迪蒂 , M·斯帕尔斯 , M·卡宾 , M·阿巴迪 , M·埃肯 , P·巴罕姆 , T·沃伯 , B·齐尔 , C·霍伯利特泽 , N·墨菲
Abstract: 本文中描述的是用于描述和/或解决软件系统的应用程序、扩展、设备驱动程序(300)和其它组件的配置要求的一个或多个实现。
-
公开(公告)号：CN101297277A
公开(公告)日：2008-10-29
申请号：CN200680040117.6
申请日：2006-10-16
Applicant: 微软公司
Inventor： G·C·亨特 , J·R·劳瑞斯 , M·阿巴迪 , M·埃肯 , P·巴罕姆 , M·A·范德瑞 , C·霍伯利特泽 , O·霍德森 , S·列维 , N·墨菲 , B·斯汀斯嘉德 , D·泰迪蒂 , T·沃伯 , B·齐尔
Abstract: 此处描述了允许隔离进程(230、240和250)之间的静态可验证进程间通信的操作系统的一个或多个实现。而且，此处描述了促进具有进程间通信的静态可验证隔离进程的开发的编程工具的一个或多个实现。
-
公开(公告)号：CN101297277B
公开(公告)日：2012-07-04
申请号：CN200680040117.6
申请日：2006-10-16
Applicant: 微软公司
Inventor： G·C·亨特 , J·R·劳瑞斯 , M·阿巴迪 , M·埃肯 , P·巴罕姆 , M·A·范德瑞 , C·霍伯利特泽 , O·霍德森 , S·列维 , N·墨菲 , B·斯汀斯嘉德 , D·泰迪蒂 , T·沃伯 , B·齐尔
Abstract: 此处描述了允许隔离进程(230、240和250)之间的静态可验证进程间通信的操作系统的一个或多个实现。而且，此处描述了促进具有进程间通信的静态可验证隔离进程的开发的编程工具的一个或多个实现。
-
公开(公告)号：CN101297280A
公开(公告)日：2008-10-29
申请号：CN200680040116.1
申请日：2006-10-16
Applicant: 微软公司
Inventor： G·C·亨特 , J·R·劳瑞斯 , M·A·范德瑞 , O·霍德森 , S·P·莱维 , B·斯汀斯嘉德 , D·R·泰迪蒂 , M·斯帕尔斯 , M·卡宾 , M·阿巴迪 , M·埃肯 , P·巴罕姆 , T·沃伯 , B·齐尔 , C·霍伯利特泽 , N·墨菲
Abstract: 本文中描述的是用于描述和/或解决软件系统的应用程序、扩展、设备驱动程序(300)和其它组件的配置要求的一个或多个实现。
-
-
-
Search Results
4
records
(took 0.023 seconds)
