6 search results - page 1 / 2 » Playing with Maude |
MAUDE
2007
Springer
13 years 10 months ago
2007
Springer
JOT
2007
13 years 4 months ago
2007
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...
ISVC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Computer assisted procedures play a key role in the improvement of surgical operations. The current techniques in simulation potentially lead to more accuracy, more safet...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
IAJIT
2010
13 years 3 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...