365 search results - page 40 / 73 » Liveness in Timed and Untimed Systems |
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The SmartCampus initiative aims to turn an urban university campus into a living laboratory for location aware community system services. To lay a foundation for this effort, the ...
P2P
2005
IEEE
14 years 3 months ago
2005
IEEE
The availability of a P2P service is a function of the individual peers’ availabilities, and it is often desirable to estimate how available a particular P2P service will be giv...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
— On a scene of a natural disaster, rescuers require heavy duty hydraulic machines to answer their need of large forces, or to approach an unreachable spot. Those industrial vehi...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
IWSAS
2001
Springer
14 years 2 months ago
2001
Springer
The idea of ubiquitous computing and smart environments is no longer a dream and has long become a serious area of research and soon this technology will start entering our every d...