228 search results - page 28 / 46 » A Model-Checking Approach for Service Component Architecture... |
UML
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
107
click to vote
PDP
2003
IEEE
15 years 5 months ago
2003
IEEE
Organizations increasingly coordinate their product and service development processes to deliver their products and services as fast as possible, and to involve employees, custome...
126
click to vote
SIAMCOMP
2002
14 years 11 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
117
click to vote
ISORC
2006
IEEE
15 years 5 months ago
2006
IEEE
Dynasoar is an infrastructure for dynamically deploying Web Services over a Grid or the Internet. It enables an approach to Grid computing in which distributed applications are bu...
DSOM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Experiences with the management of Grid specific monitoring and accounting data have shown that current approaches do not sufficiently support a distinction between prov...