-
公开(公告)号：CN103345464A
公开(公告)日：2013-10-09
申请号：CN201310269593.7
申请日：2009-08-20
Applicant: 微软公司
Inventor： G·M·德拉-利贝拉 , S·E·卢科
CPC classification number: G06F9/4498
Abstract: 本发明涉及一种模块化森林自动机。模块化森林自动机（MFA）提供部分有序的正则树模式的统一描述。MFA还提供用于这些模式的确定化、子类型化、交集、以及补集的简单方法。MFA支持高性能的模式分析和匹配。模块化森林转换器，结合模块化森林自动机，允许编译器对任何状态转换施加语义动作，而同时又支持带标记的有向图的高效转换。
-
公开(公告)号：CN101517531A
公开(公告)日：2009-08-26
申请号：CN200780034283.X
申请日：2007-09-14
Applicant: 微软公司
Inventor： S·E·卢科 , D·E·兰沃西 , G·M·德拉-利贝拉
IPC: G06F7/76
CPC classification number: G06F17/2247 , G06F17/227
Abstract: 提供Q框架，简称为QFX，用于以跨一组不同的FST表示类型实现对在其表示中支持动作信息的FST的动作语义的保存的通用方式执行高效树变换。QFX也允许在执行树变换的同时保存有序和无序嵌套信息、支持将非确定性数据结构变换成确定性数据结构，并允许对含有动作语义的机器进行交运算。
-
公开(公告)号：CN102165434B
公开(公告)日：2014-12-17
申请号：CN200980139411.6
申请日：2009-08-20
Applicant: 微软公司
Inventor： G·M·德拉-利贝拉 , S·E·卢科
CPC classification number: G06F9/4498
Abstract: 模块化森林自动机(MFA)提供部分有序的正则树模式的统一描述。MFA还提供用于这些模式的确定化、〔子类型化、交集、以及补集的简单方法。MFA支持高性能的模式分析和匹配。模块化森林转换器，结合模块化森林自动机，允许编译器对任何状态转换施加语义动作，而同时又支持带标记的有向图的高效转换。
-
公开(公告)号：CN102171654A
公开(公告)日：2011-08-31
申请号：CN200980139972.6
申请日：2009-09-30
Applicant: 微软公司
Inventor： D·E·兰沃西 , B·H·洛夫林 , D·F·伯克斯 , J·威廉姆斯 , G·M·德拉-利贝拉
CPC classification number: G06F8/41
Abstract: 本发明涉及一种用于脚本语言的可扩展句法，该语言允许以紧凑的人类友好的文本格式来编写数据密集应用程序，并且该数据密集应用程序还是根据该数据密集应用程序内的自定义的句法来编写的，使得程序的单个编译单元能够支持多个句法。向M提供了可扩展句法，该可扩展句法允许内联地定义替换句法并随后将其用在程序中，以便适应用户定义的句法和其他预先存在的域专用语言。在一个实施例中，替换句法可以在程序中的预先指定的功能点处定义。
-
公开(公告)号：CN1816052A
公开(公告)日：2006-08-09
申请号：CN200610004829.4
申请日：2006-01-12
Applicant: 微软公司
Inventor： C·A·科利奇勒 , D·A·沃腾迪科 , E·L·维恩古尔德 , E·K·兹恩达 , E·B·克里斯滕森 , G·M·德拉-利贝拉 , Y·佩萨奇 , K·D·沃尔夫 , M·S·威纳尔 , S·科恩 , S·H·菲瑞斯 , S·J·米利特 , S·T·斯沃茨 , T·让可朱克 , U·S·赫吉
IPC: H04L29/06
CPC classification number: G06F9/546
Abstract: 本发明提供了构造和使用绑定对象的自动化的、用户友好的方式。向开发者呈现最终用于创建用于在客户机和服务端点之间传输消息的运行时通信信道的绑定元素，并且从中进行选择。在接收到用户输入之后，创建元数据、信道工厂和监听器工厂。元数据描述了绑定元素，并提供了在运行时实现通信方面的协议栈的抽象表示。信道工厂被配置成在运行时使用元数据集合来生成运行时通信信道。此外，监听器工厂被配置成接受运行时通信信道，来解除通信方面的多路复用，以在服务端点处处理消息。本发明也能够基于工业需求对绑定元素和标准化的绑定对象进行组合。
-
Patent Agency Ranking
公开(公告)号：CN102165434A
公开(公告)日：2011-08-24
申请号：CN200980139411.6
申请日：2009-08-20
Applicant: 微软公司
Inventor： G·M·德拉-利贝拉 , S·E·卢科
CPC classification number: G06F9/4498
Abstract: 模块化森林自动机(MFA)提供部分有序的正则树模式的统一描述。MFA还提供用于这些模式的确定化、子类型化、交集、以及补集的简单方法。MFA支持高性能的模式分析和匹配。模块化森林转换器，结合模块化森林自动机，允许编译器对任何状态转换施加语义动作，而同时又支持带标记的有向图的高效转换。
-
公开(公告)号：CN1783019A
公开(公告)日：2006-06-07
申请号：CN200510125057.5
申请日：2005-11-18
Applicant: 微软公司
Inventor： A·A·斯特恩 , A·M·德雅纳特 , A·M·李四世 , A·卡斯欧拉斯 , C·D·尤帕德亚 , C·G·卡勒 , C·A·科利奇勒 , D·沃腾迪科 , D·E·莱维恩 , D·O·德拉弗 , D·A·沃尔特 , D·M·普迪 , E·L·维恩古尔德 , E·B·克里斯滕森 , E·P·亨尼科特 , E·欧索弗特司基 , G·L·埃普雷 , G·M·德拉-利贝拉 , J·E·约翰逊 , J·瑞兹-斯考高尔 , J·D·多蒂 , J·T·惠勒 , K·古普塔 , K·D·沃尔夫 , S·斯利尼瓦萨恩 , L·E·欧尔森 , M·T·塔维斯 , M·奥塔维亚尼 , M·A·范戈尔德 , M·J·库尔森 , M·J·马鲁切克 , M·S·威尔诺 , M·T·戴斯 , M·马卡瑞奇安 , N·H·杰塔南达尼 , R·D·希尔 , R·迪耶文多夫 , R·T·斯特戈尔 , S·诺格 , S·C·希利 , S·科恩 , S·J·米尔雷特 , S·T·斯瓦特兹 , T·维森瓦纳斯 , T·扬克苏科 , U·S·赫格德 , U·马丹 , V·K·盖贾拉 , V·A·莫迪 , Y·佩萨奇 , Y·肖豪德 , V·B·巴莱约干 , S·H·菲瑞斯 , S·巴特瑞斯 , S·普瑞 , S·斯韦德罗弗 , M·-H·E·拉马丹 , K·斯利尼瓦萨恩 , E·什维茨 , A·拉雅戈帕兰
Abstract: Web服务名字空间涉及用于实现各种应用程序的创建的基础结构。该基础结构提供用于构建各种规模和复杂程度的基于消息的应用程序的基础。该基础结构或框架提供用于基本消息通信、安全消息通信、可靠消息通信和事务化消息通信的API。在一些实施例中，相关联的API以平衡效用、可使用性、可扩展行和可版本化性的方式被分解到名字空间的分层结构中。
-
公开(公告)号：CN101517531B
公开(公告)日：2012-03-21
申请号：CN200780034283.X
申请日：2007-09-14
Applicant: 微软公司
Inventor： S·E·卢科 , D·E·兰沃西 , G·M·德拉-利贝拉
IPC: G06F7/76
CPC classification number: G06F17/2247 , G06F17/227
Abstract: 提供Q框架，简称为QFX，用于以跨一组不同的FST表示类型实现对在其表示中支持动作信息的FST的动作语义的保存的通用方式执行高效树变换。QFX也允许在执行树变换的同时保存有序和无序嵌套信息、支持将非确定性数据结构变换成确定性数据结构，并允许对含有动作语义的机器进行交运算。
-
公开(公告)号：CN101517533A
公开(公告)日：2009-08-26
申请号：CN200780034213.4
申请日：2007-09-14
Applicant: 微软公司
Inventor： S·E·卢科 , D·E·兰沃西 , G·M·德拉-利贝拉
IPC: G06F9/06
CPC classification number: G06F17/30961
Abstract: 提供Q框架，简称为QFX，用于以跨一组不同的FST表示类型实现对在其表示中支持动作信息的FST的动作语义的保存的通用方式执行高效树变换。QFX也允许在执行树变换的同时保存有序和无序嵌套信息、支持将非确定性数据结构变换成确定性数据结构，并允许对含有动作语义的机器进行交运算。
-
公开(公告)号：CN1801816A
公开(公告)日：2006-07-12
申请号：CN200510120167.2
申请日：2005-11-10
Applicant: 微软公司
CPC classification number: H04L63/0428 , H04L63/16
Abstract: 具有端点地址和安全信息的数据结构。该数据结构包括了其中含有一个或更多指向某实体的端点地址的地址字段。该数据结构还包括了其中含有一个或更多密钥以方便与实体进行通信的安全字段。在该数据结构内也可以串行排列地址字段和安全字段的内容。该数据结构可以是可扩展的，从而可以添加新的地址字段和安全字段。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.017 seconds)
