2836 search results - page 400 / 568 » Model Checking for Software Architectures |
158
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
215
click to vote
FPGA
2007
ACM
16 years 28 days ago
2007
ACM
Chip-multiprocessors are quickly gaining momentum in all segments of computing. However, the practical success of CMPs strongly depends on addressing the difficulty of multithread...
193
click to vote
MIDDLEWARE
2004
Springer
16 years 3 days ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
183
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
193
click to vote
SCP
1998
15 years 6 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...