10870 search results - page 1994 / 2174 » Model Checking Programs |
122
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
Resource management is a key concern for implementing effective Grid middleware and shielding application developers from low level details. Existing resource managers concentrat...
117
click to vote
ADAEUROPE
2005
Springer
15 years 7 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
132
click to vote
CASSIS
2005
Springer
15 years 7 months ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
CCIA
2005
Springer
15 years 7 months ago
2005
Springer
One of the main keys in case-based reasoning system is the retrieval phase, where the most similar cases are retrieved by means of a similarity function. According to the problem, ...
141
click to vote
DFKI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...