1362 search results - page 251 / 273 » Model Checking Large Network Protocol Implementations |
ICMCS
2008
IEEE
15 years 4 months ago
2008
IEEE
This proposal presents a new error robust strategy for encoding redundant pictures for the H.264/AVC standard. The method is based on providing motion vectors as redundant data, i...
ISCC
2006
IEEE
15 years 3 months ago
2006
IEEE
While the Mobile IP protocol does not exclude the use of multiple Home Agents (HAs), it does not impose any particular model either. Recent solutions propose that a mobile node us...
116
click to vote
WMASH
2003
ACM
15 years 2 months ago
2003
ACM
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
JSAC
2011
14 years 4 months ago
2011
Abstract—The increasing demand for wireless access in vehicular environments (WAVE) supporting a wide range of applications such as traffic safety, surveying, infotainment etc.,...
IAT
2006
IEEE
15 years 3 months ago
2006
IEEE
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...