1980 search results - page 383 / 396 » Compositional Model Checking of Real Time Systems |
RTCSA
2007
IEEE
14 years 2 months ago
2007
IEEE
RFID middleware systems collect and filter RFID streaming data gathered continuously by numerous readers to process requests from applications. These requests are called continuou...
IWANN
2009
Springer
14 years 8 days ago
2009
Springer
Abstract. Ubiquitous computing research have extended traditional environments in the so–called Intelligent Environments. All of them use their capabilities for pursuing their in...
DAC
2008
ACM
13 years 9 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...
RTAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
SENSYS
2006
ACM
14 years 1 months ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...