7557 search results - page 1379 / 1512 » Modeling Timed Concurrent Systems |
248
click to vote
SENSYS
2006
ACM
15 years 10 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...
154
Voted
SAFECOMP
2005
Springer
15 years 10 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
161
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
We present an analysis of the spatial covariance structure of an articulated motion prior in which joint angles have a known covariance structure. From this, a well-known, but ofte...
160
click to vote
SIGECOM
2003
ACM
15 years 9 months ago
2003
ACM
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...
120
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...