2092 search results - page 120 / 419 » A domain specific modeling language for multiagent systems |
ENTCS
2000
13 years 8 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Decentralised coordination in multi-agent systems is typically achieved using communication. However, in many cases, communication is expensive to utilise because there is limited...
JMM2
2006
13 years 9 months ago
2006
Augmented Reality (AR) technologies open up new possibilities especially for task-focused domains such as assembly and maintenance. However, it can be noticed that there is still a...
ENTCS
2006
13 years 9 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
ACL
2006
13 years 10 months ago
2006
The noisy channel model approach is successfully applied to various natural language processing tasks. Currently the main research focus of this approach is adaptation methods, ho...