7623 search results - page 1273 / 1525 » Constructive Volume Modeling |
143
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— The success of NASA’s Mars Exploration Rovers has demonstrated the important benefits that mobility adds to planetary exploration. Very soon, mission requirements will impos...
122
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— For the design of an automated transportation system in an actual seaport container terminal, it is necessary to take into consideration the maintenance of operating robots (AG...
152
click to vote
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...
158
click to vote
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
The assessment of routing protocols for wireless networks is a difficult task, because of the networks’ highly dynamic behavior and the absence of benchmarks. However, some of ...
157
click to vote
RSP
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...