3387 search results - page 536 / 678 » Model-Checking for Real-Time Systems |
SUTC
2006
IEEE
14 years 4 months ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
GIS
1999
ACM
14 years 2 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
KDD
2007
ACM
14 years 10 months ago
2007
ACM
In recent years, the proliferation of VOIP data has created a number of applications in which it is desirable to perform quick online classification and recognition of massive voi...
LCTRTS
2004
Springer
14 years 3 months ago
2004
Springer
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...