Sciweavers

3718 search results - page 42 / 744
» Programming by Integration in Robotics
Sort
View
SIGADA
1998
Springer
15 years 1 months ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
IFIP
1991
Springer
15 years 1 months ago
An Intelligent Integrated Interactive CAD-A Preliminary Report
Deyi Xue, Hideaki Takeda, Takashi Kiriyama, Tetsuo...
PPL
2008
77views more  PPL 2008»
14 years 9 months ago
Integrating Remote Invocations with Asynchronism and Cooperative Multitasking
In this paper we argue that it is possible to couple the advantages of programming with the well-known abstraction of RPC with asynchronous programming models adequate for wide-ar...
Noemi de La Rocque Rodriguez, Silvana Rossetto
RAS
2006
100views more  RAS 2006»
14 years 9 months ago
Aibo and Webots: Simulation, wireless remote control and controller transfer
This article introduces a new software tool that provides an accurate simulation of Sony Aibo robots and the capability to transfer controller programs from the simulation to the ...
Lukas Hohl, Ricardo A. Téllez, Olivier Mich...
AGENTS
1997
Springer
15 years 1 months ago
Integrated Premission Planning and Execution for Unmanned Ground Vehicles
Fielding robots in complex applications can stress the human operators responsible for supervising them, particularly because the operators might understand the applications but n...
Edmund H. Durfee, Patrick G. Kenny, Karl C. Kluge