3387 search results - page 590 / 678 » Model-Checking for Real-Time Systems |
MOMM
2009
ACM
14 years 1 months ago
2009
ACM
The wide spread of mobiles as handheld devices would naturally lead to various innovative applications that makes use of their ever increasing presence in our daily life. One such...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
Wireless sensor networks (WSNs) are subject to significant resource constraints. Particularly, routing protocols for lowrate WSNs suffer from maintaining routing metrics and sta...
MODELS
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
Visual-servoing tasks for mobile robots characteristically require the processing of vast amounts of navigational information which can impede the performance of even the most wel...
VR
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes how a physical simulation can be integrated with our Responsive Workbench system to support complex assembly tasks involving multiple hands and users. Our sys...