Sciweavers

6199 search results - page 311 / 1240
» Monitoring the
Sort
View
GRID
2006
Springer
15 years 6 months ago
The Palantir Grid Meta-Information System
Grids allow large scale resource-sharing across different administrative domains. Those diverse resources are likely to join or quit the Grid at any moment or possibly to break dow...
Francesc Guim, Ivan Rodero, M. Tomas, Julita Corba...
SIGOPS
2008
146views more  SIGOPS 2008»
15 years 6 months ago
Vigilant: out-of-band detection of failures in virtual machines
What do our computer systems do all day? How do we make sure they continue doing it when failures occur? Traditional approaches to answering these questions often involve inband m...
Dan Pelleg, Muli Ben-Yehuda, Richard Harper, Lisa ...
ASE
2005
137views more  ASE 2005»
15 years 6 months ago
Rewriting-Based Techniques for Runtime Verification
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
Grigore Rosu, Klaus Havelund
CLUSTER
2007
IEEE
15 years 6 months ago
The computer as software component: A mechanism for developing and testing resource management software
— In this paper, we present an architecture that encapsulates system hardware inside a software component used for job execution and status monitoring. The development of this in...
Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew...
IAT
2010
IEEE
15 years 4 months ago
Ambient Intelligence at the Beach
We describe an experimental public resource monitoring system that combines sensor data and human input to create a new descriptor of ambient water conditions. We call this new me...
Marc Böhlen, Joe Atkinson