Sciweavers

1134 search results - page 113 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
SAC
2005
ACM
15 years 12 months ago
An agent model for fault-tolerant systems
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
Avelino F. Zorzo, Felipe Rech Meneguzzi
ICFEM
2010
Springer
15 years 4 months ago
Model-Driven Protocol Design Based on Component Oriented Modeling
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
Prabhu Shankar Kaliappan, Hartmut König, Seba...
SCP
2010
172views more  SCP 2010»
15 years 4 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
WETICE
1997
IEEE
15 years 10 months ago
A Semantic Approach of Virtual Worlds Interoperability
This paper presents semantic approach for a solution of the problem of interoperability for virtual worlds. The semantic of virtual worlds and virtual entities is described using ...
Michel Soto, Sébastien Allongue
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
16 years 27 days ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...