会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明申请
    • INCREMENTAL VALIDATION OF KEY AND KEYREF CONSTRAINTS
    • 关键和键盘限制的增量验证
    • WO2007013079A2
    • 2007-02-01
    • PCT/IL2006000872
    • 2006-07-27
    • TECHNION RES & DEV FOUNDATIONSHMUELI ODEDKRISHER SHARON
    • SHMUELI ODEDKRISHER SHARON
    • G06F15/00
    • G06F17/2247G06F17/2725
    • The present invention relates to a method, and system for implementing the method, for performing incremental validation of an XML document with respect to XML Schema key and keyref constraints, and handling the semantics dictated by the XML Schema specification. Several operations are defined that change the content of a document, i.e., add or remove nodes, or change the value of existing nodes. The present invention verifies whether performing such an operation would violate key or keyref constraints, and allows changing the document only if the operation maintains the validity of the document with respect to the constraints. The verification traverses only the parts of the document that may be affected by the change operation, and not the whole document. The invention maintains, in an efficient manner, data structures that hold information relevant to the validation of key and keyref constraints.
    • 本发明涉及一种用于实现该方法的方法和系统,用于针对XML Schema密钥和keyref约束执行XML文档的增量验证,以及处理由XML Schema规范规定的语义。 定义了改变文档的内容,即添加或删除节点或改变现有节点的值的若干操作。 本发明验证是否执行这样的操作将违反密钥或密钥对约束,并且只有当操作维持文档相对于约束的有效性时才允许更改文档。 验证仅遍历可能受更改操作影响的文档的部分,而不是整个文档。 本发明以有效的方式保持了数据结构,其保存与关键和关键参数约束的验证相关的信息。
    • 6. 发明申请
    • SYSTEM AND METHOD FOR AUTOMATED CONTRACT FORMATION
    • 自动合同形成的系统与方法
    • WO0116665A3
    • 2002-04-11
    • PCT/IL0000516
    • 2000-08-29
    • DEALIGENCE INCKONOPNICKI DAVIDLEIBA LIORASHMUELI ODEDSAGIV YEHOSHUA
    • KONOPNICKI DAVIDLEIBA LIORASHMUELI ODEDSAGIV YEHOSHUA
    • G06Q30/06G06Q50/18G06F17/60
    • G06Q30/06G06Q30/0633G06Q40/025G06Q40/04G06Q50/188
    • A system, method and device for (semi-)automated e-commerce on the Internet, the WWW and other networks. Trading parties (104, 106, 110, 112) present intentions, made of more elementary components, which are used to express their willingness to engage in deals subject to constraints. Parts of intentions may be variable components. Some variable components may be associated with computational devices that transform them, optionally communicating via messages, into more specified components. This mechanism encodes business rules. By fitting intentions, contracts are formed. While fitting intentions, negotiations are carried out via the exchange of messages. Negotiations are automated by encoding users' wishes as mathematical programs. Following the deal formation an optional deal improvement phase, in one-to-one mode or one-to-many mode, is carried out to improve the deal. The improvement phase may be based on a trading mechanselected from an available collection of such mechanisms including such mechanisms as constructed by users of the system.
    • 用于互联网,WWW和其他网络上(半))自动电子商务的系统,方法和设备。 交易方(104,106,110,112)提出了由更多基本要素组成的意图,这些意图用于表达他们愿意参与受约束的交易。 部分意图可能是可变的组件。 一些可变组件可以与将它们(可选地通过消息通信)转换成更多指定组件的计算设备相关联。 这种机制编码业务规则。 通过拟订意图,形成合同。 在拟订意图的同时,通过交换信息进行谈判。 通过将用户的愿望编码为数学程序,可以自动进行谈判。 在交易形成之后,进行可选的交易改进阶段,以一对一模式或一对多模式进行,以改进交易。 改进阶段可以基于从这种机制的可用集合中选择的交易机制,包括由系统的用户构造的机制。
    • 7. 发明申请
    • NEGOTIATING PLATFORM
    • 谈判平台
    • WO02077759A9
    • 2004-05-27
    • PCT/US0208293
    • 2002-03-20
    • DEALIGENCE INCSHMUELI ODEDGOLANY BOAZSAYEGH ROBERTSHACHNAI HADASPERRY MORDECHALGRADOVITCH NOAHYEHEZKEL BENNY
    • SHMUELI ODEDGOLANY BOAZSAYEGH ROBERTSHACHNAI HADASPERRY MORDECHALGRADOVITCH NOAHYEHEZKEL BENNY
    • G06F20060101G06F17/60
    • G06Q30/06G06Q50/188
    • A platform for supporting negotiation between parties to achieve an outcome, the platform comprising: a party goal program unit for: defining respective party's goal programs in respect of said outcome, said goal program comprising a plurality of objective functions and constraints associated with respective objective functions, for associating each of said objective functions with one of a plurality of levels of importance, and for assigning to objective functions within each level a respective importance weighting, said party goal program unit comprising a party input unit for allowing a party to provide data for a respective goal program, a goal program unifier, associated with said party goal program unit for receiving goal programs of respective parties, and carrying out unification of said goal programs by considering said objective functions objectivewise and levelwise with associated constraints in the respective goal programs to determine whether two goal programs have a common field of interest form which a mutually compatible outcome is derivable, a negotiator associated with said goal program unifier for receiving goal programs of respective parties, and carrying out negotiations using said goal programs by considering said objective functions objectivewise and levelwise with associated constraints in the respective goal programs to arrive at said mutually compatible outcome by carrying out minimization firstly objectivewise and then levelwise, therewith to form an offer, an output unit for offering said unified goal program to aid respective parties, and a response receiver for receiving from respective parties either counter offers or acceptance, said response receiver being operable to provide counter offers a new goal programs to said goal program negotiator for further unification.
    • 一种用于支持各方之间的谈判以实现结果的平台,该平台包括:一个目标方案单元,用于:针对所述结果定义各方的目标程序,所述目标程序包括与各个目标函数相关联的多个目标函数和约束 用于将每个所述目标函数与多个重要级别中的一个相关联,并且用于将每个级别内的目标函数分配给相应的重要性加权,所述方目标程序单元包括一个方输入单元,用于允许一方提供数据 与所述方目标程序单元相关联的用于接收各方的目标程序的目标程序,目标程序统一器,并且通过以相应的目标程序相关联的约束对目标函数和水平方向考虑所述目标函数来执行所述目标程序的统一 确定两个目标程序是否有一个逗号 n相关联的结果是可导出的,与所述目标程序统一器相关联的谈判者,用于接收各方的目标程序,并且通过使用所述目标程序通过考虑所述目标函数以客观方式和平面方向进行谈判, 各自的目标方案通过首先以客观方式和水平方式进行最小化来达成所述相互兼容的结果,从而形成提议,用于提供所述统一目标程序以帮助各方的输出单元和用于从相应方接收的响应接收器 所述响应接收者可操作地提供计数器,向所述目标程序协商者提供新的目标程序以进一步统一。