Sciweavers

1990 search results - page 91 / 398
» services 2010
Sort
View
ISOLA
2010
Springer
14 years 8 months ago
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
Anders P. Ravn, Jirí Srba, Saleem Vighio
SAC
2010
ACM
14 years 11 months ago
Scalable analysis of collective behaviour in smart service systems
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shap...
Mieke Massink, Michael D. Harrison, Diego Latella
FASE
2010
Springer
15 years 1 months ago
Incremental Service Composition Based on Partial Matching of Visual Contracts
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
Muhammad Naeem, Reiko Heckel, Fernando Orejas, Fra...
KI
2010
Springer
14 years 8 months ago
Task Planning for an Autonomous Service Robot
Abstract. In the DESIRE project an autonomous robot capable of performing service tasks in a typical kitchen environment has been developed. The overall system consists of various ...
Thomas Keller, Patrick Eyerich, Bernhard Nebel
SIGECOM
2010
ACM
157views ECommerce» more  SIGECOM 2010»
15 years 2 months ago
Congestible services and network effects
We study a system where many identical users of a service share a common resource. Each user is sensitive to congestion at the resource, but also experiences a positive network ef...
Ramesh Johari, Sunil Kumar