228 search results - page 29 / 46 » A Model-Checking Approach for Service Component Architecture... |
165
click to vote
DAGSTUHL
1994
15 years 7 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...
160
click to vote
ICWS
2007
IEEE
15 years 7 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...
174
click to vote
EUROMICRO
2009
IEEE
16 years 18 days 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...
194
click to vote
EDOC
2011
IEEE
14 years 5 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...
218
click to vote
HPCA
2002
IEEE
16 years 6 months 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 ...