554 search results - page 43 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
130
click to vote
DLOG
2011
14 years 5 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
124
click to vote
MICAI
2005
Springer
15 years 7 months ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
113
click to vote
AUSAI
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
153
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
115
click to vote
ICEXSS
2010
14 years 8 months ago
2010
The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organizat...