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

71. 发明授权

US08289839B2 Scaling BFD sessions for neighbors using physical / sub-interface relationships 有权
标题翻译：使用物理/子接口关系扩展邻居的BFD会话
公开(公告)号：US08289839B2
公开(公告)日：2012-10-16
申请号：US11825389
申请日：2007-07-05
申请人： Puneet Gupta , Sunil K. Srivastava , David Ward , Reshad Rahman , David Toscano
发明人： Puneet Gupta , Sunil K. Srivastava , David Ward , Reshad Rahman , David Toscano
IPC分类号： G06F11/22
CPC分类号： H04L41/0659 , H04L41/0631
摘要： In one embodiment, an apparatus includes a physical port and a plurality of logical sub-interfaces under the physical port. The physical port and the logical sub-interfaces are configured as a Bidirectional Forwarding Detection (BFD) neighbor group. The physical port being configured to run BFD sessions to detect failures at a first rate that is substantially faster as compared to a second rate of BFD sessions to detect failures on the logical sub-interfaces. The physical port notifies the logical sub-interfaces of a BFD failure at the physical port, with the logical sub-interfaces shutting down responsive to the notification.
摘要翻译：在一个实施例中，装置包括物理端口和物理端口下的多个逻辑子接口。物理端口和逻辑子接口配置为双向转发检测（BFD）邻居组。物理端口被配置为运行BFD会话，以与第二速率的BFD会话相比快速地检测故障，以检测逻辑子接口上的故障。物理端口在物理端口通知逻辑子接口发生BFD故障，逻辑子接口响应通知关闭。

72. 发明授权

US08279457B2 Generating user defined marking settings to print marks to control post-processing devices 有权
标题翻译：生成用户定义的标记设置来打印标记以控制后处理设备
公开(公告)号：US08279457B2
公开(公告)日：2012-10-02
申请号：US11228075
申请日：2005-09-16
申请人： Samuel Neely Hopper , Ronald Dean Parrish , David Ward , Kent S. Norgren , Ronald Earl Van Buskirk, II , Kenneth Stuart Shouldice , Brian Charles Pendleton
发明人： Samuel Neely Hopper , Ronald Dean Parrish , David Ward , Kent S. Norgren , Ronald Earl Van Buskirk, II , Kenneth Stuart Shouldice , Brian Charles Pendleton
IPC分类号： G06K15/00
CPC分类号： G06K15/00 , G03G15/5062 , G03G15/6582 , G03G2215/00421 , H04N1/00127 , H04N1/0032 , H04N2201/0082 , H04N2201/3242 , H04N2201/3271
摘要： Provided are a method, system, and program generating user defined marking settings to print marks to control post-processing devices. A user interface is generated to enable user input to define at least one marking setting comprising a name of the marking setting, a dimension of a marking, and a location of the marking on the print medium. Marking settings control a printer to output markings on a print medium. The outputted markings on the print medium control at least one post processor device to perform post processing operations on the print medium. User input is received from the user interface defining at least one marking setting. The user defined at least one marking setting is stored with an existing set of marking settings to control the printer.
摘要翻译：提供了一种方法，系统和程序，其生成用户定义的标记设置以打印标记以控制后处理设备。生成用户界面以使得用户输入能够定义包括标记设置的名称，标记的尺寸和打印介质上的标记的位置的至少一个标记设置。标记设置控制打印机在打印介质上输出标记。打印介质上的输出标记控制至少一个后处理器设备，以在打印介质上执行后处理操作。从用户界面接收到用户输入，定义了至少一个标记设置。用户定义至少一个标记设置与现有的一组标记设置一起存储以控制打印机。

73. 发明授权

US08271253B2 Symbolic depth-first searches using control flow information for improved reachability analysis 有权
标题翻译：使用控制流信息进行符号深度优先搜索，以改善可达性分析
公开(公告)号：US08271253B2
公开(公告)日：2012-09-18
申请号：US11687427
申请日：2007-03-16
申请人： David Ward
发明人： David Ward
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： Methods are provided for performing depth-first searches of concrete models of systems using control flow information of the system for improved reachability analysis. The concrete model's control structure and dependencies are extracted and an over-approximated (conservative) abstract control model is created. The abstract control model simulates the concrete model during model checking. Model checking the abstract control model produces execution traces based on the control paths of the concrete model. These execution traces may be used to guide a state space search on the concrete model during invariant checking to determine satisability of one or more selected invariants of the system.
摘要翻译：提供了使用系统的控制流程信息进行深度优先搜索系统的具体模型的方法，以提高可达性分析的方法。提取具体模型的控制结构和依赖关系，并创建过近似（保守）抽象控制模型。抽象控制模型模拟模型检查中的具体模型。模型检查抽象控制模型基于具体模型的控制路径生成执行跟踪。这些执行跟踪可以用于在不变检查期间指导具体模型上的状态空间搜索，以确定系统的一个或多个所选择的不变量的可接受性。

74. 发明授权

US08171438B2 Verification of a program partitioned according to the control flow information of the program 有权
标题翻译：根据程序的控制流程信息对程序进行验证
公开(公告)号：US08171438B2
公开(公告)日：2012-05-01
申请号：US11467493
申请日：2006-08-25
申请人： David Ward
发明人： David Ward
IPC分类号： G06F17/50 , G06F9/44
CPC分类号： G06F17/504 , G06F8/433 , G06F8/75
摘要： Provided are a method, system, and article of manufacture for verification of a program partitioned according to the control flow information of the program. Properties are received indicating outcome states for a program. The program is processed to determine a control flow in the program and paths in the control flow. Enabled paths are determined in the control flow having states satisfying requirements of the outcome states. For each enabled path, a determination is made of inert variables not used along the control flow of the path and a representation of states and transitions for the enabled path is generated, wherein the represented states and transitions do not include the inert variables. The generated representation of the states and transitions for the enabled path are combined into a merged computation image.
摘要翻译：提供了根据程序的控制流程信息分割的程序的验证的方法，系统和制品。收到属性指示程序的结果状态。处理程序以确定程序中的控制流程和控制流程中的路径。在具有满足结果状态要求的状态的控制流中确定启用路径。对于每个启用的路径，确定沿着路径的控制流程不使用的惰性变量，并且生成用于启用路径的状态和转换的表示，其中所表示的状态和转换不包括惰性变量。生成的启用路径的状态和转换的表示被组合成合并的计算图像。

75. 发明授权

US08098663B2 Carrier's carrier without customer-edge-to-customer-edge border gateway protocol 有权
标题翻译：运营商的运营商没有客户边缘到客户边缘网关协议
公开(公告)号：US08098663B2
公开(公告)日：2012-01-17
申请号：US12169062
申请日：2008-07-08
申请人： Jim Guichard , Bruce S. Davie , David Ward
发明人： Jim Guichard , Bruce S. Davie , David Ward
IPC分类号： H04L12/28
CPC分类号： H04L45/50 , H04L45/00 , H04L45/04
摘要： According to one aspect of the present invention, a method includes obtaining a first advertisement at a first provider edge (PE) device from a first customer edge (CE) device that is associated with a virtual private network, and sending a second advertisement on a control plane path associated with a border gateway protocol after obtaining the first advertisement. The first PE device has a routing and forwarding table. The first advertisement identifies a plurality of local routes associated with the first VPN, and includes a first indication that information relating to the plurality of local routes is not to be stored in the routing and forwarding table. The second advertisement identifies the local routes, an address of the first CE device, and the first CE device as a next hop.
摘要翻译：根据本发明的一个方面，一种方法包括从与虚拟专用网络相关联的第一客户边缘（CE）设备获取在第一提供者边缘（PE）设备处的第一广告，并且在第在获得第一广告之后与边界网关协议相关联的控制平面路径。第一个PE设备具有路由和转发表。第一广告识别与第一VPN相关联的多个本地路由，并且包括与多个本地路由有关的信息不存储在路由和转发表中的第一指示。第二个广告标识本地路由，第一个CE设备的地址和第一个CE设备作为下一跳。

76. 发明授权

US07783662B2 Federated information management 有权
标题翻译：联合信息管理
公开(公告)号：US07783662B2
公开(公告)日：2010-08-24
申请号：US11935497
申请日：2007-11-06
申请人： Sandra K. Johnson , Joan LaVerne Mitchell , David Ward
发明人： Sandra K. Johnson , Joan LaVerne Mitchell , David Ward
IPC分类号： G06F17/30
CPC分类号： G06F21/6227 , G06F21/554 , G06F2221/2141 , G06F2221/2143 , G06F2221/2149 , G06F2221/2151 , H04L63/105
摘要： A method for management of federated information in associated knowledge systems. The method includes maintaining a data structure, the data structure including associative metadata that correlates a plurality of substantive knowledge entities from a plurality of disparate knowledge bases; monitoring the substantive knowledge entities for an access-limiting event; determining the access-limiting event on at least one of the substantive knowledge entities; and responsive to determining the access-limiting event, adding to the associative metadata a persistent audit enhancement indicative of the access-limiting event, the persistent audit enhancement including a timestamp. The access-limiting event may include deletion of a substantive knowledge entity, enacting more restrictive access permissions for a substantive knowledge entity, and copying of a substantive knowledge entity to a more restrictive access area.
摘要翻译：一种在相关知识体系中管理联合信息的方法。该方法包括维护数据结构，数据结构包括将来自多个不同知识库的多个实体知识实体相关联的关联元数据; 监控实体知识实体的访问限制事件; 确定至少一个实体知识实体的访问限制事件; 并且响应于确定所述访问限制事件，向所述关联元数据添加指示所述访问限制事件的持续审核增强，所述持续审核增强包括时间戳。访问限制事件可以包括删除实质性知识实体，对实质性知识实体颁布更多限制性的访问许可，以及将实体知识实体复制到更严格的访问区域。

77. 发明申请

US20100114978A1 Methodology for the Automatic Capture of Process Information in Federated Knowledge Systems 失效
标题翻译：联合知识系统中自动捕获过程信息的方法
公开(公告)号：US20100114978A1
公开(公告)日：2010-05-06
申请号：US12259680
申请日：2008-10-28
申请人： Sandra K. Johnson , Joan LaVerne Mitchell , David Ward
发明人： Sandra K. Johnson , Joan LaVerne Mitchell , David Ward
IPC分类号： G06F7/06 , G06F17/30
CPC分类号： G06F17/30566
摘要： A mechanism for automatically managing process information stored in federated repositories. When practice requirements are collected for a multi-step process, a process metadata data structure comprising process information conforming to the practice requirements is created in a metadata repository. The structure is created by creating a template document for each task in the multi-step process and populating the template documents with the procedure information in the practice requirements. Hierarchical and horizontal associations are created among the template documents based on the execution order of the tasks in the procedure information. Process documents for each task in the multi-step process are created and populated with information about the tasks. The task information, procedure information, and association information for each task is then stored as metadata in the process metadata structure.
摘要翻译：用于自动管理存储在联合存储库中的进程信息的机制。当为多步骤流程收集实践要求时，在元数据存储库中创建包含符合实践要求的流程信息的流程元数据结构。通过在多步骤过程中为每个任务创建一个模板文档并使用实践要求中的过程信息填充模板文档来创建该结构。基于过程信息中任务的执行顺序，在模板文档之间创建分层和水平关联。使用有关任务的信息创建并填充多步骤过程中每个任务的处理文档。然后将每个任务的任务信息，过程信息和关联信息作为元数据存储在过程元数据结构中。

78. 发明授权

US07561588B2 Processing two-octet and four-octet values using border gateway protocol 有权
标题翻译：使用边界网关协议处理双字节和四字节值
公开(公告)号：US07561588B2
公开(公告)日：2009-07-14
申请号：US11188219
申请日：2005-07-22
申请人： David Ward , Russell White
发明人： David Ward , Russell White
IPC分类号： H04L12/28
CPC分类号： H04L45/18 , H04L45/02 , H04L45/04
摘要： A method of processing both two-octet and four-octet autonomous system (AS) identifier values in a first network node that communicates with peer network nodes using Border Gateway Protocol (BGP), comprises receiving a first route message from a BGP peer node that is outside a local autonomous system that includes the first network node, wherein the BGP peer node can process only two-octet AS identifier values; identifying one or more extended community attributes in a route in the received route update message; for each of the identified extended community attributes, modifying the received route by creating an AS set containing four-octet AS identifier values carried in the identified extended community attributes, and attaching the AS set to the received route; and sending the modified received route to a third BGP node.
摘要翻译：在使用边界网关协议（BGP）与对等网络节点进行通信的第一网络节点中处理双字节和四字节自治系统（AS）标识符值的方法包括从BGP对等节点接收第一路由消息，在包括第一网络节点的本地自治系统之外，其中BGP对等节点可以仅处理两个字节的AS标识符值; 识别所接收的路由更新消息中路由中的一个或多个扩展团体属性; 对于所识别的扩展社区属性中的每一个，通过创建包含在所识别的扩展团体属性中携带的四字节AS标识符值的AS集合来修改所接收的路由，并将AS集合附加到所接收的路由; 并将修改的接收到的路由发送到第三BGP节点。

79. 发明申请

US20090158031A1 Secure Certificate Installation on IP Clients 有权
标题翻译： IP客户端安全证书安装
公开(公告)号：US20090158031A1
公开(公告)日：2009-06-18
申请号：US11958253
申请日：2007-12-17
申请人： Tao Wan , Jay Taugher , David Ward
发明人： Tao Wan , Jay Taugher , David Ward
IPC分类号： H04L9/32
CPC分类号： H04L41/0806 , H04L9/3268 , H04L9/3271 , H04L29/12226 , H04L61/2015 , H04L63/0823 , H04L63/20 , H04L2209/56 , H04L2209/80
摘要： According to one embodiment of the invention, a method is deployed for loading a user CA certificate into the trusted certificate storage of a network device The method comprises a number of operations. A first operation involves a downloading of addressing information. Thereafter, a communication session is established using the addressing information for retrieval of a bootstrapping digital certificate that can be digitally verified by the network device using its factory settings. Keying information is extracted from the bootstrapping digital certificate and the keying information can be used to verify that the communication session is between the network device and a certificate server being different than a source for the addressing information. Upon verification that the network device is in communication with the certificate server, the user CA certificate is downloaded from the certificate server using a secure channel that is established based on the bootstrapping digital certificate.
摘要翻译：根据本发明的一个实施例，部署用于将用户CA证书加载到网络设备的可信证书存储器中的方法。该方法包括多个操作。第一个操作涉及下载寻址信息。此后，使用用于检索可由网络设备使用其出厂设置数字验证的自举数字证书的寻址信息来建立通信会话。从引导数字证书中提取密钥信息，并且可以使用密钥信息来验证通信会话在网络设备与证书服务器之间的不同于寻址信息的源。在验证网络设备与证书服务器通信时，使用基于引导数字证书建立的安全信道从证书服务器下载用户CA证书。

80. 发明申请

US20090119340A1 FEDERATED INFORMATION MANAGEMENT 有权
标题翻译：联邦信息管理
公开(公告)号：US20090119340A1
公开(公告)日：2009-05-07
申请号：US11935497
申请日：2007-11-06
申请人： Sandra K. Johnson , Joan La Verne Mitchell , David Ward
发明人： Sandra K. Johnson , Joan La Verne Mitchell , David Ward
IPC分类号： G06F17/30
CPC分类号： G06F21/6227 , G06F21/554 , G06F2221/2141 , G06F2221/2143 , G06F2221/2149 , G06F2221/2151 , H04L63/105
摘要： A method for management of federated information in associated knowledge systems. The method includes maintaining a data structure, the data structure including associative metadata that correlates a plurality of substantive knowledge entities from a plurality of disparate knowledge bases; monitoring the substantive knowledge entities for an access-limiting event; determining the access-limiting event on at least one of the substantive knowledge entities; and responsive to determining the access-limiting event, adding to the associative metadata a persistent audit enhancement indicative of the access-limiting event, the persistent audit enhancement including a timestamp. The access-limiting event may include deletion of a substantive knowledge entity, enacting more restrictive access permissions for a substantive knowledge entity, and copying of a substantive knowledge entity to a more restrictive access area.
摘要翻译：一种在相关知识体系中管理联合信息的方法。该方法包括维护数据结构，数据结构包括将来自多个不同知识库的多个实体知识实体相关联的关联元数据; 监控实体知识实体的访问限制事件; 确定至少一个实体知识实体的访问限制事件; 并且响应于确定所述访问限制事件，向所述关联元数据添加指示所述访问限制事件的持续审核增强，所述持续审核增强包括时间戳。访问限制事件可以包括删除实质性知识实体，对实质性知识实体颁布更多限制性的访问许可，以及将实体知识实体复制到更严格的访问区域。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式