3387 search results - page 508 / 678 » Model-Checking for Real-Time Systems |
MHCI
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes a study of the use of multimedia networked location-aware mobile computers to support team-based survey-oriented fieldwork. Existing systems do not provide ful...
NIME
2004
Springer
14 years 3 months ago
2004
Springer
Sonic City is a wearable system enabling the use of the urban environment as an interface for real-time electronic music making, when walking through and interacting with a city. ...
ICDCS
2003
IEEE
14 years 3 months ago
2003
IEEE
Current intrusion detection systems work in isolation from access control for the application the systems aim to protect. The lack of coordination and inter-operation between thes...
ISLPED
2000
ACM
14 years 2 months ago
2000
ACM
We introduce an energy consumption analysis of complex digital systems through a case study of ARM7TDMI RISC processor by using a new energy measurement technique. We developed a ...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents a novel mechanism for dynamic rate control of prioritised Voice Over IP (VoIP) traffic in real time. The system uses our proposed variable bit rate speech codec...