We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
Data related to the coordination and modulation between visual information, gaze direction and arm reaching movements in primates are analyzed from a computational point of view. T...
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...