Sciweavers

Share
464 search results - page 93 / 93
» Session Types = Intersection Types Union Types
Sort
View
MOBIWAC
2009
ACM
9 years 10 months ago
Protocol design and analysis of a HIP-based per-application mobility management platform
Rapid evolution of wireless networking has provided wide-scale of different wireless access technologies like Bluetooth, ZigBee, 802.11a/b/g, DSRC, 3G UMTS, LTE, WiMAX, etc. The c...
László Bokor, László T...
ACNS
2015
Springer
18views Cryptology» more  ACNS 2015»
3 years 11 months ago
Post-Quantum Forward-Secure Onion Routing - (Future Anonymity in Today's Budget)
The onion routing (OR) network Tor provides anonymity to its users by routing their encrypted traffic through three proxies (or nodes). The key cryptographic challenge, here, is ...
Satrajit Ghosh, Aniket Kate
DM
1998
195views more  DM 1998»
9 years 3 months ago
On basis-exchange properties for matroids
We give a counterexample to a conjecture by Wild about binary matroids. We connect two equivalent lines of research in matroid theory: a simple type of basis-exchange property and ...
Joseph E. Bonin
MOBICOM
2004
ACM
9 years 9 months ago
The changing usage of a mature campus-wide wireless network
Wireless Local Area Networks (WLANs) are now commonplace on many academic and corporate campuses. As “Wi-Fi” technology becomes ubiquitous, it is increasingly important to und...
Tristan Henderson, David Kotz, Ilya Abyzov
books