1362 search results - page 133 / 273 » Model Checking Large Network Protocol Implementations |
155
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
121
Voted
ICS
1999
Tsinghua U.
15 years 7 months ago
1999
Tsinghua U.
This paper proposes a novel way to use virtual memorymapped communication (VMMC) to reduce the failover time on clusters. With the VMMC model, applications’ virtual address spac...
141
Voted
ICNP
2000
IEEE
15 years 7 months ago
2000
IEEE
Fair queueing of rate and delay-sensitive packet flows in a shared-medium, multihop wireless network remains largely unaddressed because of the unique design issues such as locat...
155
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
Clustering is an important characteristic of most sensor applications. In this paper we define COSMOS, the Cluster-based, heterOgeneouS MOdel for Sensor networks. The model assum...
150
Voted
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Despite years of research and development, pioneering deployments of multihop wireless networks have not proven successful. The performance of routing and transport is ...