1757 search results - page 308 / 352 » Alternating Refinement Relations |
COCO
2007
Springer
15 years 6 months ago
2007
Springer
Interactive hashing, introduced by Naor, Ostrovsky, Venkatesan and Yung (CRYPTO ’92), plays an important role in many cryptographic protocols. In particular, it is a major compo...
107
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— The wireless LAN technology 802.11, also called Wi-Fi, offers high speed wireless Internet access for local area environments. WLANs provide much higher data rates than the mob...
126
Voted
ISMAR
2006
IEEE
15 years 6 months ago
2006
IEEE
Magic Lens is a small inset window embedded in a large context view, which provides an alternative view to the region of interest selected from the context view. This metaphor is ...
106
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
IMC
2006
ACM
15 years 6 months ago
2006
ACM
Network managers are inevitably called upon to associate network traffic with particular applications. Indeed, this operation is critical for a wide range of management functions...