4272 search results - page 584 / 855 » A Case for Automatic System Evaluation |
165
click to vote
RV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...
216
click to vote
MOBIQUITOUS
2008
IEEE
16 years 1 months ago
2008
IEEE
A fundamental requirement for autonomic computing is to be able to automatically infer how human users react in similar contextual conditions. This paper examines the problem of a...
156
click to vote
HPDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Large-scale donation-based distributed infrastructures need to cope with the inherent unreliability of participant nodes. A widely-used work scheduling technique in such environme...
175
click to vote
ICPPW
2007
IEEE
16 years 1 months ago
2007
IEEE
Several challenges about computational grid exist in integrating, coordinating and managing of resources and scheduling of applications, due to distributed resources at various le...
191
click to vote
AMR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Automatic structuring is one means to ease access to document collections, be it for organization or for exploration. Of even greater help would be a presentation that ad...