228 search results - page 29 / 46 » A Model-Checking Approach for Service Component Architecture... |
DAGSTUHL
1994
15 years 1 months ago
1994
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
The ability to dynamically discover and invoke a Web Service is a critical aspect of Service Oriented Architectures. An important component of the discovery process is the matchma...
106
click to vote
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
121
Voted
EDOC
2011
IEEE
13 years 11 months ago
2011
IEEE
Abstract—Enterprise Architecture approaches are used to provide rigorous descriptions of the organization-wide environment, manage the alignment of deployed services to the organ...
147
click to vote
HPCA
2002
IEEE
16 years 3 days ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...