108 search results - page 9 / 22 » XML reasoning made practical |
84
Voted
SOSE
2006
IEEE
15 years 3 months ago
2006
IEEE
— Current service technologies are primarily focused on the functionality of services. A significant portion of the available services, however, exhibits a data-driven rather th...
TPHOL
1999
IEEE
15 years 1 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
KES
2008
Springer
14 years 9 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
DSN
2002
IEEE
15 years 2 months ago
2002
IEEE
Software developers identify two main reasons why software systems are not made robust: performance and practicality. This work demonstrates the effectiveness of general technique...
73
Voted
CADE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...