Sciweavers

10575 search results - page 1823 / 2115
» T2Script Programming Language
Sort
View
CSCLP
2006
Springer
15 years 7 months ago
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
Marc Meister, Khalil Djelloul, Thom W. Frühwi...
ESAW
2006
Springer
15 years 7 months ago
A Definition of Exceptions in Agent-Oriented Computing
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
ESAW
2006
Springer
15 years 7 months 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
EWSA
2006
Springer
15 years 7 months ago
Introspective Model-Driven Development
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
Thomas Büchner, Florian Matthes
FOSSACS
2006
Springer
15 years 7 months ago
Smooth Orchestrators
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
Cosimo Laneve, Luca Padovani
« Prev « First page 1823 / 2115 Last » Next »