3259 search results - page 409 / 652 » Modeling Autonomous-System Relationships |
179
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
188
click to vote
P2P
2005
IEEE
16 years 10 days ago
2005
IEEE
Simultaneous overlay networks compete for network resources and disrupt each other. If they cooperate with each other, the collective performance can be improved and they can coex...
166
Voted
SRDS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
148
click to vote
CHARME
2005
Springer
16 years 9 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
175
click to vote
DSVIS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper we attempt to formalise some of the basic attributes of performative interaction against a background of sociological analysis in order to better understand...