2276 search results - page 291 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
140
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
126
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Procrastination scheduling has gained importance for energy efficiency due to the rapid increase in the leakage power consumption. Under procrastination scheduling, task executio...
127
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
The ability to do fine grain power management via local voltage selection has shown much promise via the use of Voltage/ Frequency Islands (VFIs). VFI-based designs combine the a...
114
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
124
click to vote
ADAEUROPE
2005
Springer
15 years 10 months 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...