Sciweavers

4285 search results - page 261 / 857
» Differential Behavioral Analysis
Sort
View
RTSS
2008
IEEE
16 years 1 months ago
Schedulability and Compatibility of Real Time Asynchronous Objects
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S...
ICRA
2005
IEEE
139views Robotics» more  ICRA 2005»
16 years 8 days ago
Making Collective Behaviours to work through Implicit Communication
— The aim of this paper is to investigate how stigmergic information allow each individual of a group of autonomous robots to take advantages from other individual behaviors. The...
Antonio D'Angelo, Enrico Pagello
FPLAY
2008
15 years 8 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...
DMS
2008
167views Multimedia» more  DMS 2008»
15 years 8 months ago
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
Nariman Mani, Vahid Garousi, Behrouz Homayoun Far
MM
2010
ACM
160views Multimedia» more  MM 2010»
15 years 6 months ago
Automatic role recognition based on conversational and prosodic behaviour
This paper proposes an approach for the automatic recognition of roles in settings like news and talk-shows, where roles correspond to specific functions like Anchorman, Guest or ...
Hugues Salamin, Alessandro Vinciarelli, Khiet Truo...