3387 search results - page 609 / 678 » Model-Checking for Real-Time Systems |
RTCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...
RTCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
This work is motivated by a strong market demand in the replacement of NOR flash memory with NAND flash memory to cut down the cost in many embedded-system designs, such as mobi...
RTCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
— To use the tremendous hardware resources available in next generation MultiProcessor Systems-on-Chip (MPSoC) efficiently, rapid and accurate design space exploration (DSE) met...
RTCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
Compared to all emerging issues, privacy is probably the most prominent concern when it comes to judging the effects of a wide spread deployment of ubiquitous computing. On one ha...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...