592 search results - page 2 / 119 » Can Component Service-Based Systems Be Proved Correct |
ENTCS
2010
13 years 5 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
CIMCA
2005
IEEE
13 years 11 months ago
2005
IEEE
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...
EUROPAR
2005
Springer
13 years 10 months ago
2005
Springer
Scientists are increasingly using large distributed systems built from commodity off-the-shelf components to perform scientific computation. Grid computing has expanded the scale ...
HICSS
2012
IEEE
12 years 28 days ago
2012
IEEE
The migration to a service based economy has led many firms to emphasize the service component of their product offerings. This shift has led to the emergence of a business model ...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...