Theoretical and reflective study based on scientific literature and critical analysis of authors related to teaching strategies through simulation for training in cardiopulmonary resuscitation (CPR). Current teaching methodologies CPR involve realistic simulation strategies and simulations in virtual environments, but the first method provides the best results, allowing proactivity of individua...

Encouraged by significant advances in algorithms and tools for verification and analysis, high level modeling and programming techniques, natural language programming, etc., we feel it is time for a major change in the way complex software and systems are developed. We present a vision that will shift the power balance between human engineers and the development and runtime environments. The id...

Multi-agent systems are increasingly being used in complex applications due to features such as autonomy, proactivity, flexibility, robustness and social ability. However, these very features also make verifying multi-agent systems a challenging task. In this paper, we propose a mechanism, including automated tool support, for early phase defect detection by comparing agent interaction specific...

Autonomic computing is a computing system that can manage itself by self-configuration, self-healing, self-optimizing and self-protection. Researchers have been emphasizing the strong role that multi agent systems can play progressively towards the design and implementation of complex autonomic systems. The important of autonomic computing is to create computing systems capable of managing them...

While adaptation research significantly extends our understanding of how users adapt in reacting to new technology, scant attention has been given to the phenomenon of second-wave, proactive innovations, following the implementation of a disruptive information technology (IT). A proactive user behavior with IT voluntarily steps out of the defined job requirements and creates a new application o...

Agent-based distributed systems are increasingly used in various application domains, where autonomy, proactivity and cooperation are required. Correspondingly, the demands on the quality of the delivered agents are growing. However, testing remains a challenging activity and systematic and automated approaches are still missing. We propose a novel framework for the continuous testing of multi-...

SoFAR, the Southampton Framework for Agent Research, is a versatile multi-agent framework designed for Distributed Information Management tasks. SoFAR embraces the notion of proactivity as the opportunistic reuse of the services provided by other agents, and provides the means to enable agents to locate suitable service providers. The contribution of SoFAR is to combine ideas from the distribut...

In this paper we present the new logic programming language DALI, aimed at defining agents and agent systems. A main design objective for DALI has been that of introducing in a declarative fashion all the essential features, while keeping the language as close as possible to the syntax and semantics of the plain Horn–clause language. Special atoms and rules have been introduced, for representin...

Recent expectations regarding a new generation of the Web strongly depend on a success of Semantic Web technology. Resource Description Framework (RDF) is the basis for explicit and machine-readable representations of semantics of various Web resources and enables a framework for interoperability of future Semantic Web-based applications. However it has been pointed out that RDF is not suitable...

Automated fault forecasting proactivity offers a promising closed-loop approach for conventional network failure management activities. Automated intelligent failure forcasting requires the capability to prefilter the observation data so as to remove irrelevant features or factors from multi-dimensional observation data. In this paper, we propose a new hybrid methodology of combining the rough-...