3387 search results - page 617 / 678 » Model-Checking for Real-Time Systems |
ICDM
2003
IEEE
14 years 2 months ago
2003
IEEE
The data stream captured by recording inhabitantdevice interactions in an environment can be mined to discover significant patterns, which an intelligent agent could use to automa...
RTAS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
RTCSA
2003
IEEE
14 years 2 months ago
2003
IEEE
Current hard real-time technologies are unable to support a new class of applications that have real-time constraints but with dynamic request arrivals and unpredictable resource r...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
We present a method for real-time sound propagation that captures all wave effects, including diffraction and reverberation, for multiple moving sources and a moving listener in a...
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Face-to-face meetings usually encompass several modalities including speech, gesture, handwriting, and person identification. Recognition and integration of each of these modalit...