1362 search results - page 162 / 273 » Model Checking Large Network Protocol Implementations |
205
click to vote
ANCS
2011
ACM
14 years 3 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...
123
click to vote
CN
2008
15 years 3 months ago
2008
During the last decade, the study of large scale complex networks has attracted a substantial amount of attention and works from several domains: sociology, biology, computer scie...
147
click to vote
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
Traditional mobile ad hoc routing protocols fail to deliver any data in Intermittently Connected Mobile Ad Hoc Networks (ICMN's) because of the absence of complete end-to-end ...
150
click to vote
ICIC
2009
Springer
15 years 1 months ago
2009
Springer
IEEE recently standardized 802.21-2008 Media Independent Handover (MIH) standard. MIH is a key milestone toward the evolution of integrated heterogeneous 4G wireless networks. MIH ...
120
click to vote
KIVS
1997
Springer
15 years 7 months ago
1997
Springer
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing...