845 search results - page 129 / 169 » Connecting Many-Sorted Theories |
154
click to vote
PRDC
2006
IEEE
15 years 11 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
147
click to vote
INFOSCALE
2006
ACM
15 years 11 months ago
2006
ACM
A fundamental paradigm in P2P is that of a large community of intermittently-connected nodes that cooperate to share files. Because nodes are intermittently connected, the P2P co...
164
click to vote
IWCMC
2006
ACM
15 years 11 months ago
2006
ACM
Inter-vehicular communication is fast emerging as a popular application for mobile ad-hoc networks. Content distribution in Vehicular Ad-Hoc Networks (VANET) is particularly chall...
148
click to vote
ICNP
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we analyze the problem of network disconnection in the context of large-scale P2P networks and understand how both static and dynamic patterns of node failure affec...
168
click to vote
PDP
2005
IEEE
15 years 10 months ago
2005
IEEE
Circulant graphs have been deeply studied in technical literature. Midimew networks are a class of distancerelated optimal circulant graphs of degree four which have applications ...