2836 search results - page 96 / 568 » Model Checking for Software Architectures |
118
Voted
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
134
Voted
DSD
2004
IEEE
15 years 7 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
129
Voted
FORTE
2008
15 years 5 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
111
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
147
Voted
ICCBSS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...