1362 search results - page 161 / 273 » Model Checking Large Network Protocol Implementations |
121
click to vote
PPPJ
2006
ACM
15 years 9 months ago
2006
ACM
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...
124
click to vote
GCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In peer-to-peer (P2P) overlay networks, the mechanism of a peer randomly joining and leaving a network, causes a topology mismatch between the overlay and the underlying ...
138
click to vote
NDSS
2003
IEEE
15 years 8 months ago
2003
IEEE
The current trend in mobile networking is towards mobile hosts that have multiple network interfaces, e.g., WLAN and GPRS. However, when the current Internet architecture was orig...
139
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...
212
click to vote
AICT
2010
IEEE
14 years 7 months ago
2010
IEEE
— Several research groups are working on designing new security architectures for 4G networks such as Hokey and Y-Comm. Since designing an efficient security module requires a cl...