reasoning inc.

ZDNet Resources

• sort by:
• Relevance
• Date
• Popularity

Temporal Reasoning: Manage Complex Changes in Rules, Rates, and Circumstances

Many public and private sector organizations work in a complex environment where calculations are required to determine the entitlements and obligations of customers or citizens. When policy rules and customer status are ever changing, determining eligibility and the resulting benefits can be challenging. This white paper outlines Oracle's sophisticated temporal...

Tags: Oracle Corp., Reasoning Inc., Personal Finance, Taxes, Financial Planning, Finance

White papers 2009-02-01

Reasoning About the Updatability of XML Views Over Relational Databases

XML has become an important medium for data exchange, and is also used as an interface to - i.e. a view of - a relational database. While previous work has considered XML views for the purpose of querying relational databases (e.g. Silkroute), in this paper the problem of updating a...

Tags: Reasoning Inc., RDBMS, XML, Databases, Software/Web Development, Web Development, Enterprise Software, Software, Data Management

White papers 2008-10-22

Reasoning About Keys for XML

This paper studies absolute and relative keys for XML, and investigates their associated decision problems. It is argued that these keys are important to many forms of hierarchically structured data including XML documents. In contrast to other proposals of keys for XML, these keys can be reasoned about efficiently. The...

Tags: Reasoning Inc., Key, XML, Software/Web Development, Web Development

White papers 2008-10-19

Extending BAN Logic for Reasoning With Modern PKI-Based Protocols

BAN Logic is a well-known authentication logic which, despite other more recent logics and formal methods, remains popular with many protocol designers. BAN Logic however does not properly deal with the issues of certificates and the use of Public Key Infrastructure PKI. This paper proposes an extension to BAN Logic...

Tags: Reasoning Inc., PKI, Authentication/Encryption, Digital Security, Network Security, Security, Networking

White papers 2008-08-01

Extracting XML Schema From Multiple Implicit XML Documents Based on Inductive Reasoning

This paper proposes a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type a large collection of XML approximately but efficiently. This can also process XML code written in a different schema...

Tags: XML Schema, Reasoning Inc., XML Document, XML, Software/Web Development, Web Development

White papers 2008-04-25

Principled Reasoning and Practical Applications of Alert Fusion in Intrusion Detection Systems

It is generally believed that by combining several diverse intrusion detectors (i.e., forming an IDS ensemble), one may achieve better performance. However, there has been very little work on analyzing the effectiveness of an IDS ensemble. This paper studies the following problem: how to make a good fusion decision on...

Tags: Paper, Performance, Reasoning Inc., Intrusion Detection System, Association For Computing Machinery, Performance Management, Intrusion Detection, Productivity, Network Security, Human Resources, Workforce Management, Security, Networking

White papers 2008-03-20

Reasoning on UML Class Diagrams Is EXPTIME-hard

UML is the de-facto standard formalism for software design and analysis. One of the most important components of UML are class diagrams, which model the information on the domain of interest in terms of objects organized in classes and relationships between them. To support the design of large-scale industrial applications,...

Tags: Reasoning Inc., UML, Programming Languages, Ooa/Ood/Oop, Software Development, Software/Web Development

White papers 2008-01-01

Reasoning About the Behavior of Semantic Web Services With Concurrent Transaction Logic

The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWL- S, and SWSL, have drawn attention to the importance of logic-based modeling of the behavior of Web services. In the context of Semantic Web services, the logic-based approach has many applications,...

Tags: Reasoning Inc., Logic, Semantic Web, Internet

White papers 2007-07-31

Integrating an Object-Oriented Approach and Rule-Based Reasoning in the Design of a Fabric Fault Advisory Expert System

This paper describes the design of an expert system that not only offers advice to both textile and non-textile users on fabric faults, but also assists in the diagnosis of fabric faults. The expert system integrates both object-oriented and rule-based reasoning approaches. The system is based on the premise that...

Tags: Reasoning Inc., Object-oriented, Expert System, Ooa/Ood/Oop, Software Development, Software/Web Development

White papers 2007-07-01

Formal Reasoning About Intrusion Detection Systems

Intrusion detection is an appealing approach to improving the security of systems. It involves the runtime gathering of data from system operations, and the subsequent analysis of the data. There are three different kinds of detection models: anomaly detection, misuse detection and specification-based intrusion detection. Anomaly detection compares characteristics of...

Tags: Reasoning Inc., Intrusion Detection System, Specification, Anomaly Detection, Intrusion Detection, Network Security, Security, Networking

White papers 2007-03-01

Analytical Reasoning for Pocket PC 2002 1.0 (Mobile)

Analytical Reasoning will be a real test for your Reasoning power. You've got two engaging levels to test you.Letter CodingNumber CodingAll you need to give coding for a unique word / number by analyzing the given sentences and their coding. The score will reveal your analyzing power. If you're looking...

Tags: Mobile, Reasoning Inc., Pocket PC 2002, Emcon Emsys Technologies, Pocket PC, Games, Handhelds, Operating Systems, Advertising & Promotion, Hardware, Personal Technology, Software, Marketing

Software downloads 2002-10-13

Analytical Reasoning 1.0 (Mobile)

will be a real test for your Reasoning power. You've got two engaging levels to test you.Letter CodingNumber CodingAll you need to give coding for a unique word / number by analyzing the given sentences and their coding. The score will reveal your analyzing power. If you're looking forward for...

Tags: Mobile, Reasoning Inc., Emcon Emsys Technologies, Games, Advertising & Promotion, Personal Technology, Marketing

Software downloads 2002-10-12

Additional Resources

Microsoft to employees: Don't want to use WinMo? You're on your own

Microsoft to employees: Don't want to use WinMo? You're on your ownMicrosoft to employees: Don't want to use WinMo? You're on your own1. Because every little bit helps2. To keep trust within the company of which they work and embrace it and use their products. The company for which...

Tags: Research & Development, Mobile applications, COMPANIES, Microsoft Corp., WinMo

Discussion threads 2009-06-15

The Android name kerfluffle

The Android name kerfluffleRE: The Android name kerflufflehow do you copywrite something that, by all means, is a definition of something? Andriod is a noun, neither Google nor Specht have a right to the name... I suppose the question is, if he's a software company, what is he...

Tags: Robots, Branding, Andriod, Google Inc., Android Inc., extra-strength vibration, Hemroid, vibration feature, Fembot, operating system

Discussion threads 2009-05-03

Microsoft's geeks might miss Gates the most

One of the most disheartening things that can happen in any job is when the boss that inspired you, the one you loved to learn from and who made a grueling job more bearable leaves the building. It may be no different at Microsoft this week, as the "geeks" or...

Tags: Steve Ballmer, Bill Gates, Microsoft Corp., Sales Strategy, Sales Force Management, Tools & Techniques, Government, Recruitment & Selection, Sales, Management, Human Resources, Workforce Management, Deb Perelman

Blog posts 2008-06-26

Mosby's Review Questions for NCLEX-RN (MosbyRQ) (Mobile)

Mosby's Review Questions for NCLEX-RNpowered by Skyscape Publisher: Mosby, Inc., an affiliate of Elsevier Inc. Mosby''s Review Questions for the NCLEX-RN Examination, is the practice tool you need to confidently prepare for the NCLEX-RN exam. This resource includes over 5,000 exam-style review questions designed to help you assess your strengths...

Tags: Mobile, Mobile Device, Skyscape Inc., Mosby, Advertising & Promotion, Wireless And Mobility, Marketing

Software downloads 2008-05-21

Mosby?s Review Questions for NCLEX-RN (MosbyRQ™) (Mobile)

Mosby''s Review Questions for NCLEX-RNpowered by Skyscape Publisher: Mosby, Inc., an affiliate of Elsevier Inc. Mosby''s Review Questions for the NCLEX-RN Examination, is the practice tool you need to confidently prepare for the NCLEX-RN exam. This resource includes over 5,000 exam-style review questions designed to help you assess your strengths...

Tags: Mobile, Mobile Device, Skyscape Inc., Mosby', Advertising & Promotion, Wireless And Mobility, Marketing

Software downloads 2008-01-16

Is SaaS legitimate open source?

Is SaaS legitimate open source?Is Google evil?Thanks Dana,I wondering how long it was going to take for someone to see through this scam. "Hypocrite" was the correct choice of words. Here's my view:The Tip of the Iceberg Google's "do no evil" slogan sucked in millions and millions of people worldwide....

Tags: Software as a Service (SaaS), open source, software-as-a-service, Google Inc.

Discussion threads 2007-08-22

Windows Longhorn won't be reloaded, after all

Windows Longhorn won't be reloaded, after allMessage has been deleted.Happens all the timeJust take the source tree and fork it into a new project.Oh, wait ...Big Companies Versus the Little GuysBig companies always win when fighting little guys, like in this case. The little guys may be legally right,...

Tags: Microsoft Windows Vista (Longhorn), Tools & Techniques, Operating systems, OPEN SOURCE, Microsoft Windows, Internet, Patent Lawsuits, Microsoft Corp., Mary Jo, Microsoft Longhorn, software

Discussion threads 2007-06-21

EU takes aim at Apple over iTunes

EU takes aim at Apple over iTunesBe interesting to see how and when Real and MSweigh in over the Apple iTunes thing, especially Real who's been repeatedly ousted from the iPod with firmware updates from Apple as a protest of Real creating software without Apple's expressed agreement of said to...

Tags: Digital music, Digital media, patent troll, desk lamp, Apple iTunes, Apple Inc., MP3, Apple iPod

Discussion threads 2007-03-12