2836 search results - page 234 / 568 » Model Checking for Software Architectures |
140
click to vote
UPP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
107
Voted
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
Virtual memory-mapped communication (VMMC) is a communication model providing direct data transfer between the sender's and receiver's virtual address spaces. This model...
144
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
166
click to vote
SIGSOFT
2009
ACM
15 years 9 months ago
2009
ACM
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...
176
click to vote
ECSA
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...