103 search results - page 10 / 21 » A Contract-based Approach to Designing Safe Systems |
JCST
2010
13 years 2 months ago
2010
Abstract The significant overhead related to frequent location updates from moving objects often results in poor performance. As most of the location updates do not affect the quer...
ICRA
2000
IEEE
14 years 2 days ago
2000
IEEE
Our goal is to make vehicle teleoperation accessible to all users. To do this, we are developing easy-to-use yet capable Web tools which enable efficient, robust teleoperation in...
AOIS
2004
13 years 9 months ago
2004
Abstract. In recent years, the rapid development of network infrastructure and the spread of terminals capable of network access have made it possible to access networks at any pla...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
We present the design, development, and evaluation of an end-user installable, whole house power consumption sensing system capable of gathering accurate real-time power use that ...
ASWSD
2006
Springer
13 years 11 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...