Sciweavers

761 search results - page 25 / 153
» A Reactive Approach to Explanation
Sort
View
CCS
2000
ACM
15 years 4 months ago
Composition and integrity preservation of secure reactive systems
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
Birgit Pfitzmann, Michael Waidner
FPLAY
2008
15 years 1 months ago
Crafting game-models using reactive system design
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
David Harel, Itai Segall, Hillel Kugler, Yaki Sett...
ECCV
1994
Springer
15 years 3 months ago
Integration and Control of Reactive Visual Processes
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...
James L. Crowley, Jean Marc Bedrune, Morten Bekker...
ICRA
1998
IEEE
155views Robotics» more  ICRA 1998»
15 years 4 months ago
Reactive Visual Control of Multiple Non-Holonomic Robotic Agents
We have developed a multiagent robotic system including perception, cognition, and action components to function in a dynamicenvironment. The system involves the integration and c...
Kwun Han, Manuela M. Veloso
FLAIRS
2004
15 years 1 months ago
Constraint Processing with Reactive Agents
The integration of methods of Constraint Programming and Multi-Agent-Systems is discussed in this paper. We describe different agent topologies for Constraint Satisfaction Problem...
Georg Ringwelski, Richard J. Wallace