169 search results - page 11 / 34 » Towards a formal framework for Choreography |
IJAOSE
2008
13 years 8 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
AO
2006
13 years 8 months ago
2006
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...
AMR
2006
Springer
14 years 5 days ago
2006
Springer
Most of the currently existing image retrieval systems make use of either low-level features or semantic (textual) annotations. A combined usage during annotation and retrieval is ...
GIR
2006
ACM
14 years 2 months ago
2006
ACM
Vague spatial information such as “x is located at walking distance of y” is abundant on the web. In this contribution, we propose a framework to represent such spatial inform...