635 search results - page 103 / 127 » Towards the formalization of interaction semantics |
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
COORDINATION
2007
Springer
15 years 3 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
114
click to vote
ICNC
2005
Springer
15 years 3 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
SEMWEB
2001
Springer
15 years 1 months ago
2001
Springer
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...
ASM
2000
ASM
15 years 1 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...