Sciweavers

367 search results - page 18 / 74
» On Underspecified Processing of Dynamic Semantics
Sort
View
ICSOC
2005
Springer
14 years 28 days ago
Semantic Web Services for Activity-Based Computing
Semantic Web services promise the addition of semantics annotations to Web services in a manner that enables automatic discovery, usage, and integration of services as part of ever...
E. Michael Maximilien, Alex Cozzi, Thomas P. Moran
SEMWEB
2005
Springer
14 years 27 days ago
An Ontological Framework for Dynamic Coordination
Abstract. Coordination is the process of managing the possible interactions between activities and processes; a mechanism to handle such interactions is known as a coordination reg...
Valentina A. M. Tamma, Chris van Aart, Thierry Moy...
FOAL
2007
ACM
13 years 11 months ago
Specializing continuations a model for dynamic join points
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
Christopher Dutchyn
ARTS
1999
Springer
13 years 11 months ago
Process Algebra with Probabilistic Choice
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
Suzana Andova
AAAI
1996
13 years 8 months ago
Reasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
Christoph S. Herrmann, Michael Thielscher