1676 search results - page 5 / 336 » Formal Development of Self-organising Systems |
159
click to vote
FASE
2000
Springer
15 years 9 months 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
15 years 7 months ago
2007
164
click to vote
ZUM
2005
Springer
15 years 11 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...