Sciweavers

4447 search results - page 341 / 890
» Service Interaction Patterns
Sort
View
WOA
2000
15 years 8 months ago
An Agent-based Paradigm for Allocating Multi-Provider Service Demands
The increasing number of competitors and the growing traffic demand are the main factors pushing for a more dynamic and flexible service demand allocation mechanism. Human interac...
Monique Calisti, Boi Faltings
ENTCS
2008
64views more  ENTCS 2008»
15 years 6 months ago
Service Discovery and Negotiation With COWS
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
CN
2002
102views more  CN 2002»
15 years 6 months ago
Formal methods for communication services: meeting the industry expectations
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
Falk Dietrich, Jean-Pierre Hubaux
158
Voted
ER
2010
Springer
144views Database» more  ER 2010»
15 years 5 months ago
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
Dragan Ivanovic, Martin Treiber, Manuel Carro, Sch...
KI
2010
Springer
15 years 5 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