3259 search results - page 409 / 652 » Modeling Autonomous-System Relationships |
158
click to vote
LICS
2005
IEEE
15 years 11 months 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...
171
click to vote
P2P
2005
IEEE
15 years 11 months 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...
143
click to vote
SRDS
2005
IEEE
15 years 11 months 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...
135
click to vote
CHARME
2005
Springer
15 years 11 months 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 ...
163
click to vote
DSVIS
2005
Springer
15 years 11 months 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...