专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US5944793A Computerized resource name resolution mechanism 失效
标题翻译：电脑资源名解析机制
公开(公告)号：US5944793A
公开(公告)日：1999-08-31
申请号：US799816
申请日：1997-02-13
申请人： Nayeem Islam , Colin James Parris , Daniel Charles Sturman
发明人： Nayeem Islam , Colin James Parris , Daniel Charles Sturman
IPC分类号： G06F12/00 , G06F13/00 , G06F17/30 , H04L29/06 , H04L29/08 , H04L29/12 , G06F13/38 , G06F15/17
CPC分类号： H04L63/12 , H04L29/06 , H04L29/12047 , H04L61/15 , H04L69/329
摘要： A mechanism for creating links and services on the Internet to reduce the bottlenecks at service providers by associating code with links to make them intelligent and a special protocol between the links and the back end servers to maintain scalableness and performance. Scalableness is supported by moving much of the functionality of searching onto the client side.
摘要翻译：在互联网上创建链接和服务的机制，通过将代码与链接相关联以使其成为智能，并通过链接和后端服务器之间的特殊协议来维护服务提供商的瓶颈，以保持可扩展性和性能。通过将大量搜索功能移动到客户端来支持可扩展性。

2. 发明授权

US07730455B2 Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints 失效
标题翻译：通过生成和解决约束来实施计算机程序的安全属性的方法和装置
公开(公告)号：US07730455B2
公开(公告)日：2010-06-01
申请号：US11268802
申请日：2005-11-07
申请人： Ajay Chander , Nayeem Islam , David Espinosa , Peter Lee , George Necula
发明人： Ajay Chander , Nayeem Islam , David Espinosa , Peter Lee , George Necula
IPC分类号： G06F9/44
CPC分类号： G06F9/44589 , G06F21/54
摘要： A method and apparatus is disclosed herein for generating and solving constraints. In one embodiment, the method comprises modifying program code by inserting one or more dynamic annotations having unsolved variables, generating one or more constraints based on the one or more dynamic annotations using a verifier, solving the one or more generated constraints; and modifying the program code by inserting a dynamic annotation in place of an annotation containing an unsolved variable.
摘要翻译：本文公开了用于产生和解决约束的方法和装置。在一个实施例中，所述方法包括通过插入具有未解决变量的一个或多个动态注释来修改程序代码，使用验证器基于所述一个或多个动态注释生成一个或多个约束;解决所述一个或多个生成的约束; 并通过插入动态注释来代替含有未解析变量的注释来修改程序代码。

3. 发明授权

US07278133B2 Index-based parameter access and software for using the same 失效
标题翻译：基于索引的参数访问和使用该参数的软件
公开(公告)号：US07278133B2
公开(公告)日：2007-10-02
申请号：US11109253
申请日：2005-04-18
申请人： Manuel Roman , Nayeem Islam
发明人： Manuel Roman , Nayeem Islam
IPC分类号： G06F9/44
CPC分类号： G06F8/00 , Y10S707/99931 , Y10S707/99933 , Y10S707/99934 , Y10S707/99936
摘要： A method and apparatus for composing software are described. In one embodiment, the apparatus comprises a loader to obtain software structure data identifying a plurality of application components associated with requested functionality and to obtain software logic data indicating interaction rules between the plurality of application components, a parameter index generator to parse a description file and generate an index for each parameter of the plurality of application components, a parameter mapping to map input, output and state parameters to indices that are used by application components to access the input, output and state parameters, and a scheduler to coordinate an invocation of the plurality of application components at run time based on the software logic data.
摘要翻译：描述了组合软件的方法和装置。在一个实施例中，该装置包括一个装载器，用于获得识别与所请求的功能相关联的多个应用组件的软件结构数据，并获得指示多个应用组件之间的交互规则的软件逻辑数据，用于解析描述文件的参数索引生成器为所述多个应用组件的每个参数生成索引，所述参数映射以将输入，输出和状态参数映射到由应用组件用于访问所述输入，输出和状态参数的索引，以及调度器，基于软件逻辑数据在运行时的多个应用组件。

4. 发明申请

US20060020689A1 Index-based parameter access and software for using the same 失效
标题翻译：基于索引的参数访问和使用该参数的软件
公开(公告)号：US20060020689A1
公开(公告)日：2006-01-26
申请号：US11109253
申请日：2005-04-18
申请人： Manuel Roman , Nayeem Islam
发明人： Manuel Roman , Nayeem Islam
IPC分类号： G06F15/177
CPC分类号： G06F8/00 , Y10S707/99931 , Y10S707/99933 , Y10S707/99934 , Y10S707/99936
摘要： A method and apparatus for composing software are described. In one embodiment, the apparatus comprises a loader to obtain software structure data identifying a plurality of application components associated with requested functionality and to obtain software logic data indicating interaction rules between the plurality of application components, a parameter index generator to parse a description file and generate an index for each parameter of the plurality of application components, a parameter mapping to map input, output and state parameters to indices that are used by application components to access the input, output and state parameters, and a scheduler to coordinate an invocation of the plurality of application components at run time based on the software logic data.
摘要翻译：描述了组合软件的方法和装置。在一个实施例中，该装置包括一个装载器，用于获得识别与所请求的功能相关联的多个应用组件的软件结构数据，并获得指示多个应用组件之间的交互规则的软件逻辑数据，用于解析描述文件的参数索引生成器为所述多个应用组件的每个参数生成索引，所述参数映射以将输入，输出和状态参数映射到由应用组件用于访问所述输入，输出和状态参数的索引，以及调度器，基于软件逻辑数据在运行时的多个应用组件。

5. 发明授权

US6115712A Mechanism for combining data analysis algorithms with databases on the internet 失效
标题翻译：将数据分析算法与互联网数据库相结合的机制
公开(公告)号：US6115712A
公开(公告)日：2000-09-05
申请号：US678924
申请日：1996-07-12
申请人： Nayeem Islam , Vineet Singh
发明人： Nayeem Islam , Vineet Singh
IPC分类号： G06F9/445 , G06F9/06 , G06F9/54 , G06F13/00 , G06F17/30 , G06F21/22 , G06Q50/00
CPC分类号： G06F17/30557 , G06F17/30899 , Y10S707/99931 , Y10S707/99933 , Y10S707/99943
摘要： An open architecture for arbitrarily combining data analysis algorithms and databases on the Internet where the data analysis algorithm and database may be from different vendors or suppliers. At the request of a customer, the two are combined on the fly while maintaining proper security and while enforcing some agreed upon payment from the customer to both the algorithm and database suppliers. In one embodiment, a message including an identifier of a user selected independent content provider and an identifier of a particular service associated with a service provider is sent to the service provider on a communication network. The user selected independent content provider is separate from the service provider. In response to the message, a computer executable code, which when executed by the content provider will cause the particular service to be performed against content controlled by the content provider, is sent from the service provider to the content provider. The computer executable code is executed by the content provider and at least partial results of the executing is returned to the user by way of the communication network.
摘要翻译：一种用于在互联网上任意组合数据分析算法和数据库的开放式架构，其中数据分析算法和数据库可能来自不同的供应商或供应商。应客户的要求，两者在飞行中相结合，同时保持适当的安全性，同时执行从客户到算法和数据库供应商的一些一致的付款。在一个实施例中，将包括用户选择的独立内容提供商的标识符和与服务提供商相关联的特定服务的标识符的消息发送到通信网络上的服务提供商。用户选择的独立内容提供商与服务提供商是分开的。响应于该消息，当由内容提供商执行时，计算机可执行代码将使针对由内容提供商控制的内容执行特定服务，从服务提供商发送到内容提供商。计算机可执行代码由内容提供商执行，至少部分执行结果通过通信网络返回给用户。

6. 发明授权

US5446902A Method for implementing computer applications in an object oriented manner using a traditional non-object oriented programming language 失效
标题翻译：使用传统的面向对象编程语言以面向对象方式实现计算机应用程序的方法
公开(公告)号：US5446902A
公开(公告)日：1995-08-29
申请号：US091536
申请日：1993-07-14
申请人： Nayeem Islam
发明人： Nayeem Islam
IPC分类号： G06F3/14 , G06F3/048 , G06F9/06 , G06F9/44 , G06F7/00
CPC分类号： G06F8/76 , G06F8/38
摘要： An object oriented application comprising an hierarchy of application classes, each having a plurality of class methods, is created from a toolkit having a static class hierarchy including a number of standard classes, a number of public interface methods with interfacing attributes and a list for chaining class private methods to the public interface methods, a plurality of class definition source and header files defining the extended application classes, a plurality of class method source and header files implementing the class methods of the extended classes, and a plurality of object user source and header files implementing the object users, using a traditional programming language that provides no support for object oriented programming. Together, the various files cooperate to achieve data abstraction and inheritance of object oriented programming, when the various files are compiled, linked, executed.
摘要翻译：包括具有多个类方法的应用程序类层次的面向对象的应用程序是从具有静态类层次结构的工具包创建的，该静态类层次结构包括多个标准类，多个具有接口属性的公共接口方法和用于链接的列表公共接口方法的类私有方法，定义扩展应用类的多个类定义源和头文件，实现扩展类的类方法的多个类方法源和头文件，以及多个对象用户源和使用不支持面向对象编程的传统编程语言实现对象用户的头文件。当各种文件被编译，链接，执行时，各种文件共同实现面向对象编程的数据抽象和继承。

7. 发明授权

US5086386A Method and apparatus for benchmarking the working set of window-based computer systems 失效
标题翻译：基于WINDOW的计算机系统工作集的方法与装置
公开(公告)号：US5086386A
公开(公告)日：1992-02-04
申请号：US497998
申请日：1990-03-23
申请人： Nayeem Islam
发明人： Nayeem Islam
IPC分类号： G06F11/34
CPC分类号： G06F11/3428 , Y10S707/99953
摘要： In the system of the present invention, the performance of distributed window systems which employ shared libraries is provided. A shared library is a library which is referenced and accessed by multiple processes. Synchronization events are preset in a journal file which, during playback of the same, trigger a mechanism which reads the page table of the current applications. Once the playback is complete, the page table measurements taken during playback are reviewed and information is extracted which is used to determine the working set for shared libraries. Using the working set, the number of pages referenced and the rate of reference can be used to improve performance and predict behavior of other systems.
摘要翻译：在本发明的系统中，提供了使用共享库的分布式窗口系统的性能。共享库是由多个进程引用和访问的库。同步事件被预设在日志文件中，在该文件的回放期间，触发读取当前应用的页表的机制。播放完成后，将回顾播放过程中进行的页面测量，并提取用于确定共享库工作集的信息。使用工作集，引用的页面数和引用率可用于提高其他系统的性能和预测行为。

8. 发明授权

US09215685B2 Position estimation via proximate fingerprints 有权
标题翻译：通过邻近指纹进行位置估计
公开(公告)号：US09215685B2
公开(公告)日：2015-12-15
申请号：US13624185
申请日：2012-09-21
申请人： Rajarshi Gupta , Nayeem Islam , Saumitra Mohan Das , Ayman Fawzy Naguib , Te-Won Lee
发明人： Rajarshi Gupta , Nayeem Islam , Saumitra Mohan Das , Ayman Fawzy Naguib , Te-Won Lee
IPC分类号： H04W24/00 , H04W64/00 , G01S5/02
CPC分类号： H04W64/00 , G01S5/0252
摘要： Example methods, apparatuses, or articles of manufacture are disclosed herein that may be utilized, in whole or in part, to facilitate or support one or more operations or techniques for position estimation via one or more proximate fingerprints for use in or with a mobile communication device.
摘要翻译：本文所公开的示例性方法，装置或制品可以全部或部分地用于促进或支持用于通过移动通信或移动通信使用的一个或多个邻近指纹的位置估计的一个或多个操作或技术设备。

9. 发明申请

US20130079033A1 POSITION ESTIMATION VIA PROXIMATE FINGERPRINTS 有权
标题翻译：通过临时指纹的位置估计
公开(公告)号：US20130079033A1
公开(公告)日：2013-03-28
申请号：US13624185
申请日：2012-09-21
申请人： Rajarshi Gupta , Nayeem Islam , Saumitra Mohan Das , Ayman Fawzy Naguib , Te-Won Lee
发明人： Rajarshi Gupta , Nayeem Islam , Saumitra Mohan Das , Ayman Fawzy Naguib , Te-Won Lee
IPC分类号： H04W24/00
CPC分类号： H04W64/00 , G01S5/0252
摘要： Example methods, apparatuses, or articles of manufacture are disclosed herein that may be utilized, in whole or in part, to facilitate or support one or more operations or techniques for position estimation via one or more proximate fingerprints for use in or with a mobile communication device.
摘要翻译：本文所公开的示例性方法，装置或制品可以全部或部分地用于促进或支持用于通过移动通信或移动通信使用的一个或多个邻近指纹的位置估计的一个或多个操作或技术设备。

10. 发明申请

US20100241496A1 TIME AND WAYPOINT-BASED INCENTIVES FOR MOBILE DEVICES 审中-公开
标题翻译：基于时间和方法的移动设备的激励
公开(公告)号：US20100241496A1
公开(公告)日：2010-09-23
申请号：US12533443
申请日：2009-07-31
申请人： Rajarshi Gupta , Edward Thomas Lingham Hardie , Nayeem Islam
发明人： Rajarshi Gupta , Edward Thomas Lingham Hardie , Nayeem Islam
IPC分类号： G06Q30/00 , G01C21/00 , H04W24/00
CPC分类号： G06Q30/0207 , G06Q30/02 , H04L67/18 , H04L67/20 , H04W4/021 , H04W4/023 , H04W4/024 , H04W4/025 , H04W4/027 , H04W4/029 , H04W4/14 , H04W4/18 , H04W4/23
摘要： The subject matter disclosed herein relates to a system and method for influencing behavior of a user of a mobile device. A determination may be made regarding whether a mobile device is within an area associated with one or more predefined waypoints. An incentive may be provided to the mobile device based at least in part on a location of the mobile device to influence behavior of a user of the mobile device.
摘要翻译：本文公开的主题涉及用于影响移动设备的用户的行为的系统和方法。可以确定移动设备是否在与一个或多个预定航点相关联的区域内。可以至少部分地基于移动设备的位置来向移动设备提供激励以影响移动设备的用户的行为。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式