<![CDATA[reasoning inc. Resources | ZDNet]]> en-us <![CDATA[Temporal Reasoning: Manage Complex Changes in Rules, Rates, and Circumstances]]> Sun, 01 Feb 2009 00:00:00 -0800 ORCL ORCL <![CDATA[Reasoning About the Updatability of XML Views Over Relational Databases]]> Wed, 22 Oct 2008 00:00:00 -0700 <![CDATA[Reasoning About Keys for XML]]> Sun, 19 Oct 2008 00:00:00 -0700 <![CDATA[Extending BAN Logic for Reasoning With Modern PKI-Based Protocols]]> Fri, 01 Aug 2008 00:00:00 -0700 <![CDATA[Extracting XML Schema From Multiple Implicit XML Documents Based on Inductive Reasoning]]> Fri, 25 Apr 2008 00:00:00 -0700 <![CDATA[Principled Reasoning and Practical Applications of Alert Fusion in Intrusion Detection Systems]]> Thu, 20 Mar 2008 00:00:00 -0700 <![CDATA[Reasoning on UML Class Diagrams Is EXPTIME-hard]]> Tue, 01 Jan 2008 00:00:00 -0800 <![CDATA[Reasoning About the Behavior of Semantic Web Services With Concurrent Transaction Logic]]> Tue, 31 Jul 2007 00:00:00 -0700 <![CDATA[Integrating an Object-Oriented Approach and Rule-Based Reasoning in the Design of a Fabric Fault Advisory Expert System]]> Sun, 01 Jul 2007 00:00:00 -0700 <![CDATA[Formal Reasoning About Intrusion Detection Systems]]> Thu, 01 Mar 2007 00:00:00 -0800 <![CDATA[Analytical Reasoning for Pocket PC 2002 1.0 (Mobile)]]> Sun, 13 Oct 2002 00:00:00 -0700 <![CDATA[Analytical Reasoning 1.0 (Mobile)]]> Sat, 12 Oct 2002 00:00:00 -0700