3387 search results - page 106 / 678 » Model-Checking for Real-Time Systems |
108
Voted
TWC
2008
15 years 2 months ago
2008
In this paper, real-time video transmission with quality of service (QoS) assurance over orthogonal frequency division multiplexing (OFDM) wireless systems is studied. Three quasi-...
123
Voted
PAAMS
2010
Springer
15 years 1 months ago
2010
Springer
The huge number of cores existing in current Graphics Processor Units (GPUs) provides these devices with computing capabilities that can be exploited by distributed applications. I...
112
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a Computer Vision based system that enables multiple people to interact naturally with a large display table using their own bare-hand gestures. The display presents an...
127
Voted
ATAL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Control for agents situated in multi-agent systems is a complex problem. This is particularly true in hard, open, dynamic environments where resource, privacy, bandwidth,...
112
click to vote
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
Traditional database security mechanisms are very limited in defending successful data attacks. Authorized but malicious transactions can make a database useless by impairing its ...