Sciweavers

132 search results - page 1 / 27
» On the Fly Service Composition for Local Interaction Environ...
Sort
View
PERCOM
2006
ACM
14 years 4 months ago
On the Fly Service Composition for Local Interaction Environments
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...
Hossein Pourreza, Peter Graham
INTERACT
2003
13 years 5 months ago
FMS - Flying Message Service: The Comeback of Carrier Pigeons
: Flying Message Service (FMS) is a design project promoting community-based messaging in public spaces in the city. We have built a system that enables people to attach electronic...
Magnus Nilsson, Magnus Johansson, Linda Sjödi...
IWCMC
2010
ACM
13 years 6 months ago
Decentralized service composition in pervasive computing environments
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...
Joanna Izabela Siebert, Jiannong Cao, Long Cheng, ...
PODS
2006
ACM
122views Database» more  PODS 2006»
14 years 4 months ago
Verification of communicating data-driven web services
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
ICWS
2008
IEEE
13 years 6 months ago
Communications Semantics for WSBPEL Processes
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
Walid Fdhila, Mohsen Rouached, Claude Godart