607 search results - page 75 / 122 » A Model of Pervasive Services for Service Composition |
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Contracting out government services, especially IT services, has accelerated in recent years in the United States. Based on literature in privatization and contracting out, the au...
JDCTA
2008
13 years 9 months ago
2008
Pervasive computing is an emerging computing paradigm, which is expected to be part of our everyday life in the foreseeable future. The coordination among heterogeneous devices, s...
JUCS
2010
13 years 7 months ago
2010
: Protection of personal data in the Internet is already a challenge today. Users have to actively look up privacy policies of websites and decide whether they can live with the te...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...