2836 search results - page 266 / 568 » Model Checking for Software Architectures |
123
Voted
IADIS
2004
15 years 6 months ago
2004
Government bureaucracies are both extremely complex and long-lived, constantly evolving to reflect and influence their ever changing cultural and physical environments. Software s...
132
click to vote
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
Register allocation is one of the most important optimizations a compiler performs. Conventional graphcoloring based register allocators are fast and do well on regular, RISC-like...
139
click to vote
EDOC
2003
IEEE
15 years 10 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
111
Voted
JUCS
2008
15 years 4 months ago
2008
: Software adaptation techniques appear in many disparate areas of research literature, and under many guises. This paper enables a clear and uniform understanding of the related r...
147
Voted
RSP
2003
IEEE
15 years 10 months ago
2003
IEEE
— Distributed applications require specific middleware support for semantics and run-time constraints for a wide range of hardware or software configurations. However, their fu...