The concepts of autonomous agent and multi-agent system appropriate levels of abstraction for the design, implementation and simulation of many complex, distributed computational s...
Michael Luck, Peter McBurney, Jorge Gonzalez-Palac...
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Simulators are used in research and training because they provide a realistic and safe environment for participants. In the course of conducting a comprehensive study of patient c...
Efthimis N. Efthimiadis, Kenric W. Hammond, Ryan L...
Abstract: The vision process is very complex and requires for its realization in artificial systems a fundamentally new technology for systems generation. This must be based on pr...
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...