10241 search results - page 1750 / 2049 » Goal-Driven Software Development |
115
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
134
click to vote
MTSR
2007
Springer
15 years 9 months ago
2007
Springer
In today's rapidly evolving society, the range and depth of information available to us is quickly growing which affects educational institutions, who find it difficult to kee...
130
click to vote
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Modern parallel and distributed computing solutions are often built onto a “middleware” software layer providing a higher and common level of service between computat...
152
click to vote
ROBOCUP
2007
Springer
15 years 9 months ago
2007
Springer
Aiming to reduce cycle time and improving the accuracy on tracking, a modified adaptive control was developed, which adapts autonomously to changing dynamic parameters. The platfor...
155
click to vote
SCOPES
2007
Springer
15 years 9 months ago
2007
Springer
Various scratchpad allocation strategies have been developed in the past. Most of them target the reduction of energy consumption. These approaches share the necessity of having d...