In Artificial Intelligence, as well as in data base updating or in the design of intelligent agents, it is necessary the use of contradictory information. For that, it is useful t...
Web service standards, like several other IT standards, are anticipatory, i.e., they are designed and codified in anticipation of actual adoption and use. As a result, the setting...
Sandeep Purao, John W. Bagby, Karthikeyan Umapathy
SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two g...
executions in terms of Eden’s abstract units of computation instead of providing a machineoriented low level view like common tools for parallelism analysis do. We show how typic...
We present the current version of STRIDER1 , a versatile system for the disambiguation of structure-based information like XML schemas, structures of XML documents and web director...