1734 search results - page 145 / 347 » its 2000 |
155
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes a prototype and analytical studies of a spherical rolling robot, a new design of a nonholonomic system. The spherical robot is driven by two remotely controll...
142
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
We argue that a roadmap for software engineering and the Internet currently should be based on standards for complex data and document structures, like the Extensible Markup Langu...
158
click to vote
IDMS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
147
click to vote
IFM
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
152
click to vote
ISER
2000
Springer
15 years 9 months ago
2000
Springer
: Autonomous long range navigation in partially known planetary-like terrain is an open challenge for robotics. Navigating several hundreds of meters without any human intervention...