3045 search results - page 196 / 609 » Formal Approaches to Software Architecture |
QOSA
2010
Springer
14 years 9 months ago
2010
Springer
Self-adaptation is now a promising approach to maximize the satisfaction of requirements under changing environmental conditions. One of the key challenges for such self-adaptive s...
IPPS
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
ICSM
1997
IEEE
15 years 3 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
100
click to vote
FOMI
2009
14 years 9 months ago
2009
Abstract. The design of architectural environments has to take into account various sources of heterogeneous information. Not only quantitative spatial constraints and qualitative ...
104
click to vote
ICCD
2005
IEEE
15 years 5 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...