1676 search results - page 24 / 336 » Formal Development of Self-organising Systems |
LCTRTS
2001
Springer
14 years 1 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
ASIAN
2005
Springer
13 years 10 months ago
2005
Springer
This paper proposes a general consistency management methodology within ontology-driven WIS development. The contributions of this paper are follows: 1) introduces the concept stru...
IVEVA
2004
13 years 10 months ago
2004
Abstract. Interactive storytelling (IS) is an incipient field that has not been completely formalized yet. There is still a significant amount of research to be done. Especially re...
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...