Sciweavers

531 search results - page 66 / 107
» Dynamic Observers for Fault Diagnosis of Timed Systems
Sort
View
CDC
2008
IEEE
204views Control Systems» more  CDC 2008»
15 years 8 months ago
Dynamic ping optimization for surveillance in multistatic sonar buoy networks with energy constraints
— In this paper we study the problem of dynamic optimization of ping schedule in an active sonar buoy network deployed to provide persistent surveillance of a littoral area throu...
Anshu Saksena, I-Jeng Wang
ECRTS
2000
IEEE
15 years 6 months ago
Harmonious internal clock synchronization
Internal clock synchronization has been investigated, or employed, for quite a number of years, under the requirement of good upper bounds for the deviation, or accuracy, between ...
Horst F. Wedde, Wolfgang Freund
ICIAR
2005
Springer
15 years 7 months ago
Real-Time and Robust Background Updating for Video Surveillance and Monitoring
Abstract. Background updating is an important aspect of dynamic scene analysis. Two critical problems: sudden camera perturbation and the sleeping person problem, which arise frequ...
Xingzhi Luo, Suchendra M. Bhandarkar
CONCURRENCY
2002
112views more  CONCURRENCY 2002»
15 years 1 months ago
The Virtual Service Grid: an architecture for delivering high-end network services
This paper presents the design of a novel system architecture, Virtual Service Grid (VSG), for delivering high performance network services. The VSG is based on the concept of the...
Jon B. Weissman, Byoung-Dai Lee
COMPSAC
2006
IEEE
15 years 8 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...