5180 search results - page 366 / 1036 » Requirements Engineering |
167
click to vote
ADAEUROPE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
165
click to vote
ADAEUROPE
2005
Springer
16 years 9 days ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
196
click to vote
ARCS
2005
Springer
16 years 9 days ago
2005
Springer
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
179
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Traditionally, top-down and bottom-up design approaches have competed with each other in Algorithmics and Software Engineering. In the top-down approach, design process starts wit...
161
click to vote
EWSA
2005
Springer
16 years 8 days 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 ...