1362 search results - page 240 / 273 » Model Checking Large Network Protocol Implementations |
129
click to vote
ICNP
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Multipath streaming protocols have recently attracted much attention because they provide an effective means to provide high-quality streaming over the Internet. However...
100
click to vote
ISMAR
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we present a new vision-based approach for transmitting virtual models for Augmented Reality (AR). A two dimensional representation of the virtual models is embedded...
109
click to vote
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
108
click to vote
CG
2005
Springer
15 years 1 months ago
2005
Springer
We derive a complete component framework for transforming standalone VR applications into full-fledged multithreaded Collaborative Virtual Reality Environments (CVREs), after char...
TPDS
2008
15 years 1 months ago
2008
IEEE 802.15.4 is a new standard uniquely designed for low-rate wireless personal area networks. It targets ultralow complexity, cost, and power for low-rate wireless connectivity a...