10666 search results - page 1850 / 2134 » Quantum programming languages |
154
Voted
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
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...
177
click to vote
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
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...
104
Voted
EWSA
2006
Springer
15 years 8 months ago
2006
Springer
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...
150
Voted
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
129
click to vote
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...