XML is designed to facilitate data exchange between applications. However, XML and its schema languages do not express semantics but rather the document structure, such as the nes...
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...
Brian S. Stensrud, Gilbert C. Barrett, Avelino J. ...
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...