1581 search results - page 224 / 317 » Mechanizing Inductive Reasoning |
100
Voted
WWW
2008
ACM
16 years 17 days ago
2008
ACM
Because it is an integral part of the Internet routing apparatus, and because it allows multiple instances of the same service to be "naturally" discovered, IP Anycast h...
88
Voted
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
Presence-sharing is an emerging platform for mobile applications, but presence-privacy remains a challenge. Privacy controls must be flexible enough to allow sharing between both ...
EDBTW
2010
Springer
15 years 6 months ago
2010
Springer
Requirements for a traffic monitoring system can be very demanding as both privacy and performance aspects have to be taken into account jointly. Moreover, the legislation sets fo...
112
click to vote
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—In IEEE 802.11 Wireless LAN (WLAN) systems, techniques such as acknowledgement, retransmission, and transmission rate adaptation, are frame-level mechanisms designed for combati...
112
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...