365 search results - page 41 / 73 » Liveness in Timed and Untimed Systems |
BIOSYSTEMS
2008
13 years 10 months ago
2008
The world's objective pattern is formed through consistent histories of quantum measurements originating as different branches of the same wave function. When we come close t...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
Granularity control is an effective means for trading power consumption with performance on dense shared memory multiprocessors, such as multi-SMT and multi-CMP systems. In this p...
COMPSAC
1997
IEEE
14 years 2 months ago
1997
IEEE
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
BIOSTEC
2011
12 years 10 months ago
2011
Among other strategic action points, the Ambient Assisted Living Joint Programme framework has defined telemedicine and remote monitoring as major applications for improved qualit...
MDM
2007
Springer
14 years 4 months ago
2007
Springer
We envision that in some wireless sensor network applications, such as environmental monitoring, assisted living, and industrial control, handheld devices will be used from time t...