Sciweavers

2860 search results - page 177 / 572
» The Greenfoot Programming Environment
Sort
View
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
16 years 8 days ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
VL
2003
IEEE
129views Visual Languages» more  VL 2003»
16 years 5 days ago
Context-aware computing support for the educationally disadvantaged
The educationally disadvantaged people in contextaware computing are those without any programming experience, and are unable to build context-aware applications with the current ...
Timothy Sohn
ECAL
1999
Springer
15 years 11 months ago
Arithmetic Operations on Self-Replicating Cellular Automata
In this paper, we present a possible implementation of arithmetic functions (notably, addition and multiplication) using self-replicating cellular automata. The operations are per...
Enrico Petraglio, Jean-Marc Henry, Gianluca Tempes...
VW
1998
Springer
174views Virtual Reality» more  VW 1998»
15 years 11 months ago
Webots: Symbiosis Between Virtual and Real Mobile Robots
Abstract. This paper presents Webots: a realistic mobile robot simulator allowing a straightforward transfer to real robots. The simulator currently support the Khepera mobile robo...
Olivier Michel
HICSS
1994
IEEE
155views Biometrics» more  HICSS 1994»
15 years 11 months ago
Concurrent Simulation and Control of Robot Tasks
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
Ulrich Mehlhaus