Sciweavers

698 search results - page 73 / 140
» dagstuhl 2007
Sort
View
DAGSTUHL
2003
15 years 2 months ago
PiLib: A Hosted Language for Pi-Calculus Style Concurrency
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
Vincent Cremet, Martin Odersky
95
Voted
DAGSTUHL
2003
15 years 2 months ago
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach
The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenariobased philosophy, and uses the language of live sequenc...
David Harel, Hillel Kugler, Gera Weiss
106
Voted
DAGSTUHL
2003
15 years 2 months ago
Self-Stabilization and Behavioral Diversity of Embodied Adaptive Locomotion
Locomotion is of fundamental importance in understanding adaptive behavior. In this paper we present two case studies of robot locomotion that demonstrate how higher level of behav...
Fumiya Iida, Rolf Pfeifer
80
Voted
DAGSTUHL
2003
15 years 2 months ago
How Should Control and Body Systems Be Coupled? A Robotic Case Study
Abstract. This study is intended to deal with the interdependency between control and body systems, and to discuss the “relationship as it should be” between these two systems....
Akio Ishiguro, Toshihiro Kawakatsu
DAGSTUHL
2003
15 years 2 months ago
Self-Reconfigurable Robots: Platforms for Emerging Functionality
We have studied modular self-reconfigurable robots that are capable of changing their overall shape and functionality by automatic recombination of homogenous robotic modules. Our ...
Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa,...