793 search results - page 144 / 159 » Building a Software Factory for Pervasive Systems Developmen... |
114
click to vote
WISE
2006
Springer
15 years 5 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
IADIS
2004
15 years 1 months ago
2004
The complexity of preserving the web is becoming one of the most important information and communication media. While the quantity of digital resources available through the web i...
ASE
2008
14 years 11 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
117
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...