Sciweavers

2092 search results - page 63 / 419
» A domain specific modeling language for multiagent systems
Sort
View
JOT
2007
169views more  JOT 2007»
13 years 8 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
UML
2001
Springer
14 years 1 months ago
A Formal Mapping between UML Static Models and Algebraic Specifications
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
Liliana Favre
ENTCS
2008
78views more  ENTCS 2008»
13 years 8 months ago
Silver: an Extensible Attribute Grammar System
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...
Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krish...
EUSFLAT
2001
130views Fuzzy Logic» more  EUSFLAT 2001»
13 years 10 months ago
Autonomous robot behaviours for co-operative agents using fuzzy logic and subtractive clustering
Intelligent autonomous robots and multiagent systems, having different skills and capabilities for specific subtasks, have the potential to solve problems more efficiently and eff...
Alexandros Mouzakitis, Geoff Roberts
ESAW
2006
Springer
14 years 14 days ago
Current Issues in Multi-Agent Systems Development
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
Rafael H. Bordini, Mehdi Dastani, Michael Winikoff