3387 search results - page 642 / 678 » Model-Checking for Real-Time Systems |
CHI
2001
ACM
14 years 8 months ago
2001
ACM
In human-to-human interaction, people sometimes are able to pick up and respond sensitively to the other's internal state as it shifts moment by moment over the course of an ...
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...
AFRIGRAPH
2006
ACM
14 years 1 months ago
2006
ACM
The computation of high-fidelity images in real-time remains one of the key challenges for computer graphics. Recent work has shown that by understanding the human visual system,...
SENSYS
2006
ACM
14 years 1 months ago
2006
ACM
Small-form-factor, low-power wireless sensors—motes—are convenient to deploy, but lack the bandwidth to capture and transmit raw high-frequency data, such as human voices or n...
SSDBM
2005
IEEE
14 years 1 months ago
2005
IEEE
Recent advancements in sensor technology have made it possible to collect enormous amounts of data in real time. However, because of the sheer volume of data most of it will never...