33 search results - page 2 / 7 » isola 2010 |
103
Voted
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
89
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
106
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
With the Internet designed to provide best-effort packet transmission, applications are expected to adapt dynamically to the operating conditions observed in the network. For this ...
108
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
100
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst...