-
公开(公告)号：US08387004B2
公开(公告)日：2013-02-26
申请号：US11673149
申请日：2007-02-09
IPC分类号： G06F9/44
CPC分类号： G06F8/20
摘要： A compositional application programming interface (API) permits non-sequential construct declaration independent of other API calls. A wrapper is applied to an imperative API to provide a compositional interface that enables arbitrary and autonomous construct declaration. Additionally, a literal syntax (e.g., code literals, graphic literals . . . ) affords a convenient declaration mechanism for such constructs.
摘要翻译： 组合应用程序编程接口（API）允许独立于其他API调用的非顺序构造声明。 一个包装器被应用到一个必要的API，以提供一个组合界面，它允许任意和自主的构造声明。 另外，文字语法（例如，代码文字，图形文字...）为这种结构提供了一个方便的声明机制。
-
公开(公告)号：US20080196005A1
公开(公告)日：2008-08-14
申请号：US11673149
申请日：2007-02-09
IPC分类号： G06F9/44
CPC分类号： G06F8/20
摘要： A compositional application programming interface (API) permits non-sequential construct declaration independent of other API calls. A wrapper is applied to an imperative API to provide a compositional interface that enables arbitrary and autonomous construct declaration. Additionally, a literal syntax (e.g., code literals, graphic literals . . . ) affords a convenient declaration mechanism for such constructs.
摘要翻译： 组合应用程序编程接口（API）允许独立于其他API调用的非顺序构造声明。 一个包装器被应用到一个必要的API，以提供一个组合界面，它允许任意和自主的构造声明。 另外，文字语法（例如，代码文字，图形文字...）为这样的构造提供了一个方便的声明机制。
-
公开(公告)号：US08234622B2
公开(公告)日：2012-07-31
申请号：US12059037
申请日：2008-03-31
IPC分类号： G06F9/44
CPC分类号： G06F8/36
摘要： Mechanisms are afforded for supporting cross platform widgets. A generic widget can be converted into a specialized widget of a corresponding platform. Dually, a specialized widget can be generalized to a generic widget for subsequent deployment on the same or different host. Furthermore, support is provided for compositional widgets across platforms.
摘要翻译： 提供了支持跨平台小部件的机制。 通用小部件可以转换成相应平台的专用小部件。 双重地，专门的小部件可以被推广到通用小部件以用于在相同或不同的主机上的后续部署。 此外，跨平台的组合小部件提供了支持。
-
公开(公告)号：US20090112975A1
公开(公告)日：2009-04-30
申请号：US11932723
申请日：2007-10-31
IPC分类号： G06F15/16
CPC分类号： H04L67/2847 , G06F9/44521 , G06F16/9574 , H04L67/02 , H04L67/1097 , H04L67/26
摘要： Client-side performance is optimized through server-side pushing of content. Portions of content are requested and retrieved as required by a client-side application. Moreover, content likely to be needed in the near future is pre-fetched and pushed to the client. This is beneficial from an overhead standpoint since all content need not be provided to the client at once. Rather, content provisioning is throttled based on need, and wait time is mitigated by pre-fetching.
摘要翻译： 客户端性能通过服务器端推送内容进行了优化。 根据客户端应用程序的要求，请求和检索部分内容。 此外，在不久的将来可能需要的内容被预先推送到客户端。 这从开销的角度来看是有益的，因为所有内容不需要一次提供给客户端。 相反，根据需要限制内容配置，并且通过预取来缓解等待时间。
-
公开(公告)号：US20090249282A1
公开(公告)日：2009-10-01
申请号：US12059037
申请日：2008-03-31
IPC分类号： G06F9/44
CPC分类号： G06F8/36
摘要： Mechanisms are afforded for supporting cross platform widgets. A generic widget can be converted into a specialized widget of a corresponding platform. Dually, a specialized widget can be generalized to a generic widget for subsequent deployment on the same or different host. Furthermore, support is provided for compositional widgets across platforms.
摘要翻译： 提供了支持跨平台小部件的机制。 通用小部件可以转换成相应平台的专用小部件。 双重地，专门的小部件可以被推广到通用小部件以用于在相同或不同的主机上的后续部署。 此外，跨平台的组合小部件提供了支持。
-
公开(公告)号：US20100106767A1
公开(公告)日：2010-04-29
申请号：US12257776
申请日：2008-10-24
申请人： Benjamin Livshits , Henricus Johannes Maria Meijer , Cedric Fournet , Jeffrey Van Gogh , Danny Van Velzen , Krishnaprasad Vikram , Abhishek Prateek
发明人： Benjamin Livshits , Henricus Johannes Maria Meijer , Cedric Fournet , Jeffrey Van Gogh , Danny Van Velzen , Krishnaprasad Vikram , Abhishek Prateek
IPC分类号： G06F15/16 , G06F15/173
CPC分类号： H04L63/08 , G06F21/52 , G06F2221/2101
摘要： A processing system for distributed multi-tier applications is provided. The system includes a server component that executes a replica of a client-side application, where a client component executes the client-side application. The client component captures events from the client-side application and transmits the events to the replica to validate the computational integrity security of the application.
摘要翻译： 提供了一种用于分布式多层应用的处理系统。 该系统包括执行客户端应用程序的副本的服务器组件，其中客户端组件执行客户端应用程序。 客户端组件从客户端应用程序捕获事件，并将事件发送到副本，以验证应用程序的计算完整性安全性。
-
公开(公告)号：US20080262992A1
公开(公告)日：2008-10-23
申请号：US11737892
申请日：2007-04-20
申请人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
发明人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
IPC分类号： G06F9/44
CPC分类号： G06F9/4488
摘要： Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
摘要翻译： 系统和方法便于计算机编程环境中的类型推断。 类型推断可以应用于面向对象语言中的泛型方法或函数调用，以确定程序员隐藏的类型参数列表。 一个或多个类型参数可以被识别为可以转换一组关联参数类型中的所有其他类型的参数类型。
-
公开(公告)号：US20120144054A1
公开(公告)日：2012-06-07
申请号：US12958481
申请日：2010-12-02
申请人： Danny Van Velzen , Jeffrey Van Gogh , Henricus Johannes Maria Meijer , Arun Sacheti , Srikanth R. Ravula
发明人： Danny Van Velzen , Jeffrey Van Gogh , Henricus Johannes Maria Meijer , Arun Sacheti , Srikanth R. Ravula
IPC分类号： G06F15/16
CPC分类号： G06F17/3089 , H04L65/4015 , H04L65/605
摘要： A queue can store streams of data acquired from servers asynchronously based upon received data requests and subsequent subscription with respect to one or more data sources/servers. The queue can be managed for subsequent synchronous or asynchronous release of received streams of data, for example.
摘要翻译： 基于接收的数据请求和相对于一个或多个数据源/服务器的后续订阅，队列可以异步地存储从服务器获取的数据流。 例如，队列可被管理用于接收的数据流的同步或异步释放。
-
公开(公告)号：US07873592B2
公开(公告)日：2011-01-18
申请号：US11737892
申请日：2007-04-20
申请人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
发明人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
CPC分类号： G06F9/4488
摘要： Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
摘要翻译： 系统和方法便于计算机编程环境中的类型推断。 类型推断可以应用于面向对象语言中的泛型方法或函数调用，以确定程序员隐藏的类型参数列表。 一个或多个类型参数可以被识别为可以转换一组关联参数类型中的所有其他类型的参数类型。
-
公开(公告)号：US09251284B2
公开(公告)日：2016-02-02
申请号：US12958481
申请日：2010-12-02
申请人： Danny Van Velzen , Jeffrey Van Gogh , Henricus Johannes Maria Meijer , Arun Sacheti , Srikanth R Ravula
发明人： Danny Van Velzen , Jeffrey Van Gogh , Henricus Johannes Maria Meijer , Arun Sacheti , Srikanth R Ravula
IPC分类号： G06F15/173 , G06F17/30 , H04L29/06
CPC分类号： G06F17/3089 , H04L65/4015 , H04L65/605
摘要： A queue can store streams of data acquired from servers asynchronously based upon received data requests and subsequent subscription with respect to one or more data sources/servers. The queue can be managed for subsequent synchronous or asynchronous release of received streams of data, for example.
摘要翻译： 基于接收的数据请求和相对于一个或多个数据源/服务器的后续订阅，队列可以异步地存储从服务器获取的数据流。 例如，队列可以被管理用于接收的数据流的同步或异步释放。
-
-
-
-
-
-
-
-
-
搜索结果
18 条记录 (耗时 0.028 秒)
