Sciweavers

4286 search results - page 330 / 858
» Formalizing Service Interactions
Sort
View
ATAL
2003
Springer
15 years 10 months ago
Distributed enactment of multiagent workflows: temporal logic for web service composition
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
Munindar P. Singh
RTAS
1995
IEEE
15 years 10 months ago
Design and evaluation of a window-consistent replication service
—Real-time applications typically operate under strict timing and dependability constraints. Although traditional data replication protocols provide fault tolerance, real-time gu...
Ashish Mehra, Jennifer Rexford, Hock-Siong Ang, Fa...
DCOSS
2010
Springer
15 years 10 months ago
Programming Sensor Networks with State-Centric Services
This paper presents the uDSSP ("micro DSSP") programming model which simplifies the development of distributed sensor network applications that make use of complex in-net...
Andreas Lachenmann, Ulrich Müller, Robert Sug...
SWAP
2008
15 years 8 months ago
Exploiting Semantic Technology in Computational Logic-based Service Contracting
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
Marco Alberti, Massimiliano Cattafi, Marco Gavanel...
ICWS
2004
IEEE
15 years 8 months ago
Discovery of Web Services in a Federated Registry Environment
The potential of a large scale growth of private and semiprivate registries is creating the need for an infrastructure which can support discovery and publication over a group of ...
Kaarthik Sivashanmugam, Kunal Verma, Amit P. Sheth