3387 search results - page 265 / 678 » Model-Checking for Real-Time Systems |
209
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
In many applications we can deploy large number of sensors spanning wide geographical areas, to monitor environmental phenomena. The analysis of the data collected by such sensor ...
223
click to vote
ADAEUROPE
2006
Springer
16 years 1 months ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
208
click to vote
ISMAR
2005
IEEE
16 years 22 days ago
2005
IEEE
We present a real-time system that can draw virtual patterns or images on deforming real objects by estimating both the deformations and the shading parameters. We show that this ...
208
click to vote
ISORC
2005
IEEE
16 years 22 days ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
214
click to vote
ISORC
2005
IEEE
16 years 22 days ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...