1362 search results - page 236 / 273 » Model Checking Large Network Protocol Implementations |
136
click to vote
WCRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
125
click to vote
MOBISYS
2003
ACM
16 years 1 months ago
2003
ACM
This paper introduces adaptation-aware editing and progressive update propagation, two novel mechanisms that enable authoring multimedia content and collaborative work on mobile d...
115
click to vote
ICNP
2002
IEEE
15 years 7 months ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...
135
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
136
click to vote
ICPPW
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...