-
公开(公告)号：CN102591643A
公开(公告)日：2012-07-18
申请号：CN201110433669.6
申请日：2011-12-21
Applicant: 微软公司
IPC: G06F9/44
CPC classification number: G06F8/38 , G06F21/6209
Abstract: 本发明涉及选择性地启用应用的运行时编辑。一种特定的方法包括：在计算设备处应用的执行期间接收凭证。评估该凭证以确定与该凭证相关联的用户是否被授权在应用被执行时编辑该应用。在确定该用户被授权以后，在该应用的执行期间启用编辑控件。该编辑控件与该应用的图形用户界面(GUI)元素相关联，并且用于在该应用的执行期间更新所述GUI元素。
-
公开(公告)号：CN102171681A
公开(公告)日：2011-08-31
申请号：CN200980140409.0
申请日：2009-09-30
Applicant: 微软公司
Abstract: 提供用于灵活地定义声明性编程语言的各类型的高效的、合乎逻辑的和有表现力的类型系统，以使得可以生成高效的且结构上紧凑的数据密集的应用程序。该类型系统支持精化类型和类型成员表达式的组合，并支持包含所有有效值作为成员的顶端类型。借助于该类型系统，各类型可以被表达成其他类型的交和/或并。因而，可以为真实世界数据存储中存在的全部数据类型高效地表示类型。
-
公开(公告)号：CN1288558C
公开(公告)日：2006-12-06
申请号：CN02147320.X
申请日：2002-10-16
Applicant: 微软公司
Inventor： L·F·卡夫雷拉 , E·B·克里斯滕森 , G·M·德拉利贝拉 , C·G·卡莱 , D·E·莱文 , B·H·洛夫林 , S·E·勒克 , S·J·米利特 , J·P·休丘科 , R·S·沃赫贝 , D·A·沃滕代克
IPC: G06F9/54 , G06F15/163 , G06F13/42
CPC classification number: H04L45/00 , H04L43/0811 , H04L45/28 , H04L45/306 , H04L45/308 , H04L45/34 , H04L45/56 , H04L45/566 , H04L67/02 , H04L67/327 , H04L69/08
Abstract: 揭示了用于提供虚拟网络的各种方法和系统。通过在网络中的每台机器上的应用程序与网络传输服务之间插入一个适应性调度程序，可以在网络服务应用程序与传统的网络协议之间创建至少一层抽象。虚拟网络中的消息协议是可扩展的，允许应用程序按需要在任何消息内创建新的标题。适应性调度程序包含一些处理程序，这些处理程序根据每个消息内的任意内容(包括标题和/或数据内容的任何组合)来路由发送和调度虚拟网络内的消息。虚拟网络上的每个设备都具有消息被路由发送到的一个虚拟地址，这允许设备在网络内移动，而无须重新配置路由发送表格。当事件符合预定的标准(包括不发生某个条件)时，可以自动创建处理程序，这使虚拟网络能够进行自我复原并适应重新配置。
-
公开(公告)号：CN102171679B
公开(公告)日：2014-07-23
申请号：CN200980139954.8
申请日：2009-09-30
Applicant: 微软公司
Abstract: 本发明提供了用于声明性编程语言的基于树的有向图编程结构的各实施例。在各实施例中，复杂的图结构化数据(在此在一个非限制性实现中被称为“DGraph”)是使用紧凑的人类友好的句法而不使用显式标识符来创作的。在一个非限制性方面，句法包括对遵从关系(也被称为因子分解的关系)的支持。在另一非限制性方面，半结构化图数据是基于树的表示，并且句法包括引用的词法解析或词法作用域确定和/或非局部初始化。
-
-
Patent Agency Ranking
公开(公告)号：CN101803289B
公开(公告)日：2012-12-12
申请号：CN200880102050.3
申请日：2008-08-05
Applicant: 微软公司
IPC: H04L12/28
CPC classification number: H04L12/42 , H04L45/02 , H04L45/124 , H04L45/127 , H04L45/54 , H04L45/60 , H04L45/64
Abstract: 本发明涉及用于基于适合度的路由的方法、系统和计算机程序产品。本发明的实施例显著地提高包含在路由表中的路由节点具有足够的(或甚至相对提高的)能力来在覆盖网络中传送和处理消息的可能性。由此，当节点将要为一消息做出路由决定时，该节点具有任何所选节点都是适当(或者至少是当前可用的最佳节点)的某些保证。此外，发送节点能够在发送消息时优选具有较高适合度值的路由节点。优选较高适合度值还确保消息被适当地传送和处理。因此，本发明的实施例可用于以优化带宽并提供高效路由能力的方式来路由消息。
-
公开(公告)号：CN1816048B
公开(公告)日：2012-05-09
申请号：CN200610002506.1
申请日：2006-01-04
Applicant: 微软公司
CPC classification number: G06F9/546 , G06F2209/547 , H04L67/10
Abstract: 本发明提供一种信道模型，该信道模型能够生成带有可插入模块信道组件的运行库通信信道。这些信道组件实现一组标准接口中一个，这些标准接口允许处理要以多态方式表示的组件之间的通信语义的细节。消息和相应的通信语义使用标准接口递归地穿过信道组件，由此从如何执行通信语义的特定实现细节中抽象其他模块和组件。然后，把该消息发送到下一个适合的模块，用于进一步处理，或者可在该特定组件或模块处完成该处理。还要注意，如上所述，该消息也可在服务侧以类似方式去复用。
-
-
公开(公告)号：CN1442788A
公开(公告)日：2003-09-17
申请号：CN02147320.X
申请日：2002-10-16
Applicant: 微软公司
Inventor： L·F·卡夫雷拉 , E·B·克里斯滕森 , G·M·德拉利贝拉 , C·G·卡莱 , D·E·莱文 , B·H·洛夫林 , S·E·勒克 , S·J·米利特 , J·P·休丘科 , R·S·沃赫贝 , D·A·沃滕代克
IPC: G06F9/54 , G06F15/163 , G06F13/42
CPC classification number: H04L45/00 , H04L43/0811 , H04L45/28 , H04L45/306 , H04L45/308 , H04L45/34 , H04L45/56 , H04L45/566 , H04L67/02 , H04L67/327 , H04L69/08
Abstract: 揭示了用于提供虚拟网络的各种方法和系统。通过在网络中的每台机器上的应用程序与网络传输服务之间插入一个适应性调度程序，可以在网络服务应用程序与传统的网络协议之间创建至少一层抽象。虚拟网络中的消息协议是可扩展的，允许应用程序按需要在任何消息内创建新的标题。适应性调度程序包含一些处理程序，这些处理程序根据每个消息内的任意内容(包括标题和/或数据内容的任何组合)来路由发送和调度虚拟网络内的消息。虚拟网络上的每个设备都具有消息被路由发送到的一个虚拟地址，这允许设备在网络内移动，而无须重新配置路由发送表格。当事件符合预定的标准(包括不发生某个条件)时，可以自动创建处理程序，这使虚拟网络能够进行自我复原并适应重新配置。
-
公开(公告)号：CN102171679A
公开(公告)日：2011-08-31
申请号：CN200980139954.8
申请日：2009-09-30
Applicant: 微软公司
Abstract: 提供了用于声明性编程语言的基于树的有向图编程结构的各实施例。在各实施例中，复杂的图结构化数据(在此在一个非限制性实现中被称为“DGraph”)是使用紧凑的人类友好的句法而不使用显式标识符来创作的。在一个非限制性方面，句法包括对遵从关系(也被称为因子分解的关系)的支持。在另一非限制性方面，半结构化图数据是基于树的表示，并且句法包括引用的词法解析或词法作用域确定和/或非局部初始化。
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.018 seconds)
