1676 search results - page 161 / 336 » Formal Development of Self-organising Systems |
192
click to vote
APIN
1998
15 years 5 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
163
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
132
click to vote
HYBRID
2009
Springer
16 years 29 days ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
163
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
With the advancement of wireless network and mobile computing, there is an increasing need to build a mobile le system that can perform e ciently and correctly for accessing onlin...
142
click to vote
ECOWS
2006
Springer
15 years 9 months ago
2006
Springer
Web Services are increasingly being used to create a wide range of distributed systems, many of which involve legacy software. Developing service interfaces for these legacy syste...