2650 search results - page 15 / 530 » Simulation and Control of Reactive Systems |
SIMULATION
2002
13 years 7 months ago
2002
TCC
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Since about two decades, many works have been made in order to provide solutions to the vehicle platoon problem. The main issue related to platoon systems consists in controling t...
EPIA
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
—Fast sensory-motor processing is challenging when using traditional frame-based cameras and computers. Here we show how a hybrid neuromorphic-procedural system consisting of an ...