1676 search results - page 5 / 336 » Formal Development of Self-organising Systems |
AGENTS
2000
Springer
14 years 1 months ago
2000
Springer
FASE
2000
Springer
14 years 12 days ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
ICSOFT
2007
13 years 10 months ago
2007
SOSYM
2008
13 years 8 months ago
2008
ZUM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...