1276 search results - page 132 / 256 » Dynamic Web Services on a Home Service Platform |
ENTCS
2008
13 years 8 months ago
2008
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 ...
DSN
2009
IEEE
14 years 2 months ago
2009
IEEE
Based on the framework of service-oriented architecture (SOA), complex distributed systems can be dynamically and automatically composed by integrating distributed Web services pr...
ECIS
2001
13 years 9 months ago
2001
The World Wide Web originally provided no security services because it was not designed to support sensitive applications. As the Web evolved to become a platform for all types of...
AVI
2010
13 years 6 months ago
2010
The acceleration of rhythm of everyday life requires efficiency and flexibility in daily routines. The real expectations and needs of people concerning intelligent home devices sh...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...