3387 search results - page 521 / 678 » Model-Checking for Real-Time Systems |
WECWIS
2009
IEEE
14 years 4 months ago
2009
IEEE
Complex Event Processing (CEP) systems are capable of processing large amounts of events, utilizing them to monitor, steer and optimize business in real time. The lack of tracking...
RTCSA
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Time synchronization is a key component in numerous wireless sensor network applications. Most of the current software based time synchronization approaches suffer from ...
ISMAR
2009
IEEE
14 years 4 months ago
2009
IEEE
In many cases, visual tracking is based on detecting, describing, and then matching local features. A variety of algorithms for these steps have been proposed and used in tracking...
ICANNGA
2009
Springer
14 years 4 months ago
2009
Springer
Modern process and condition monitoring systems produce a huge amount of data which is hard to analyze manually. Previous analyzing techniques disregard time information and concen...
MHCI
2009
Springer
14 years 4 months ago
2009
Springer
The paper presents the design of a mobile assistant for runners. We propose visual and auditory user interface for a mobile assistant, called Mobota. The system supports navigatio...