3387 search results - page 572 / 678 » Model-Checking for Real-Time Systems |
RTAS
2006
IEEE
14 years 3 months ago
2006
IEEE
The evolution of battery technology is not being able to keep up with the increasing performance demand of mobile embedded systems. Therefore, battery life has become an important...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
A continuous technological innovation in software has brought development in integration technologies that promise the real time enterprise-wide systems integration. Healthcare or...
ICCV
2005
IEEE
14 years 2 months ago
2005
IEEE
Although large displays could allow several users to work together and to move freely in a room, their associated interfaces are limited to contact devices that must generally be s...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— Few systems have integrated the correct tactile and kinesthetic force feedback response with an accurate computational model of a compliant environment. We examine several desi...
MMM
2005
Springer
14 years 2 months ago
2005
Springer
Browsing a digital video library can be very tedious especially with an ever expanding collection of multimedia material. We present a novel framework for extracting sub-window sh...