1173 search results - page 164 / 235 » On the Compositionality of Round Abstraction |
BPM
2006
Springer
14 years 1 months ago
2006
Springer
Dynamic assembly of complex software is possible through automated composition of web services. Coordination scripts identify and orchestrate a number of services to fulfil a user ...
ER
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The Semantic Web promises to provide timely, targeted access to user-specified information online. Though standardized services exist for performing this work, specifying...
ECAI
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
FOSSACS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...