Sciweavers

2713 search results - page 300 / 543
» Parameterized Tree Systems
Sort
View
CIDM
2007
IEEE
16 years 28 days ago
Prediction of Abnormal Behaviors for Intelligent Video Surveillance Systems
–The OBSERVER is a video surveillance system that detects and predicts abnormal behaviors aiming at the intelligent surveillance concept. The system acquires color images from a ...
Duarte Duque, Henrique Santos, Paulo Cortez
GCC
2004
Springer
15 years 12 months ago
An Active Resource Management System for Computational Grid
In this paper, we propose an active grid resource management system supported by active networks for computational grid. First, we construct a scalable two-level resource managemen...
Xiaolin Chen, Chang Yang, Sanglu Lu, Guihai Chen
DSN
2002
IEEE
15 years 11 months ago
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System
The NASA Remote Exploration and Experimentation (REE) Project, managed by the Jet Propulsion Laboratory, has the vision of bringing commercial supercomputing technology into space...
Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Le...
COMPSAC
2005
IEEE
15 years 8 months ago
A Low-Latency Checkpointing Scheme for Mobile Computing Systems
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...
Guohui Li, LihChyun Shu
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts