Sciweavers

278 search results - page 51 / 56
» An Integrated Approach to Performance Monitoring for Autonom...
Sort
View
SEM
2004
Springer
14 years 1 months ago
Extending Standard Java Runtime Systems for Resource Management
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
Walter Binder, Jarle Hulaas
ISSTA
2000
ACM
14 years 1 days ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
TCSV
2010
13 years 2 months ago
Object Tracking in Structured Environments for Video Surveillance Applications
Abstract--We present a novel tracking method for effectively tracking objects in structured environments. The tracking method finds applications in security surveillance, traffic m...
Junda Zhu, Yuanwei Lao, Yuan F. Zheng
SAC
2003
ACM
14 years 28 days ago
Distributed Query Adaptation and Its Trade-offs
Adaptive query processing in large distributed systems has seen increasing importance due to the rising environmental fluctuations in a growing Internet. We describe Ginga, an ad...
Henrique Paques, Ling Liu, Calton Pu
WSC
2007
13 years 10 months ago
Towards a framework for healthcare simulation
The changing needs of healthcare provision around the world are forcing service designers and decision makers to adopt new tools in design and evaluation of processes. Apart from ...
Tillal Eldabi, Terry Young