633 search results - page 64 / 127 » A Semantic Basis for Quest |
AOSE
2004
Springer
14 years 2 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
ICFEM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
SEKE
2004
Springer
14 years 2 months ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
DOCENG
2003
ACM
14 years 2 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...