3387 search results - page 604 / 678 » Model-Checking for Real-Time Systems |
EDBT
2006
ACM
14 years 9 months ago
2006
ACM
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in modeling, constructing and querying a database with dyn...
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
We describe a complete hardware/software system, dubbed Universal Real-Time Navigational Assistance (URNA), which enables communication of relevant location-aware information to a...
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper we present QOMB, a testbed we designed and implemented for the evaluation of wireless network systems, protocols and applications. The testbed uses the wireless ne...
RTCSA
2009
IEEE
14 years 3 months ago
2009
IEEE
Mobile elements, which can traverse the deployment area and convey the observed data from static sensor nodes to a base station, have been introduced for energy efficient data co...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— In this paper we present a novel methodology for detection and tracking of facial features like eyes, nose and mouth in image sequences. The proposed methodology is intended to...