276 search results - page 27 / 56 » Proving Properties of Dynamic Process Networks |
ACTA
2007
14 years 9 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
MIDDLEWARE
2004
Springer
15 years 3 months ago
2004
Springer
Recent evolution in computer networks clearly demonstrates a trend towards complex and dynamic networks. To fully exploit the potential of such heterogeneous and rapidly evolving ...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
We investigate a prototypical agent-based model, the Naming Game, on random geometric networks. The Naming Game is a minimal model, employing local communications that captures th...
76
Voted
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
For Peer-2-Peer (P2P) networks to realize their full potential their nodes need to coordinate and cooperate, to improve the performance of the network as a whole. But this requires...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Recent deregulation initiatives enable cellular providers to sell excess spectrum for secondary usage. In this paper, we investigate the problem of optimal spot pricing of spect...