Sciweavers

1665 search results - page 137 / 333
» Monitoring Timing Constraints in Distributed Real-Time Syste...
Sort
View
SIGMOD
2006
ACM
116views Database» more  SIGMOD 2006»
15 years 10 months ago
A geometric approach to monitoring threshold functions over distributed data streams
Monitoring data streams in a distributed system is the focus of much research in recent years. Most of the proposed schemes, however, deal with monitoring simple aggregated values...
Izchak Sharfman, Assaf Schuster, Daniel Keren
COMPSAC
2010
IEEE
14 years 8 months ago
Specifying Time-Sensitive Systems with TLA+
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
Hehua Zhang, Ming Gu, Xiaoyu Song
PAM
2012
Springer
13 years 5 months ago
A Sequence-Oriented Stream Warehouse Paradigm for Network Monitoring Applications
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
Lukasz Golab, Theodore Johnson, Subhabrata Sen, Je...
69
Voted
ICIP
2008
IEEE
15 years 12 months ago
Real-time face alignment with tracking in video
Real-time face alignment in video is very critical in many applications such as facial expression analysis, driver fatigue monitoring, etc. This paper presents a real time algorit...
Yanchao Su, Haizhou Ai, Shihong Lao
ICRA
2005
IEEE
125views Robotics» more  ICRA 2005»
15 years 3 months ago
On the Use of UML for Modeling Physical Systems
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...
Cristian Secchi, Cesare Fantuzzi, Marcello Bonf&ea...