1833 search results - page 95 / 367 » Mechanized Verification with Sharing |
81
Voted
PUC
2007
15 years 9 days ago
2007
This paper proposes a notion of interaction corpus, a captured collection of human behaviors and interactions among humans and artifacts. Digital multimedia and ubiquitous sensor t...
179
Voted
MIS
2011
Springer
14 years 7 months ago
2011
Springer
By exchanging events in a vehicular ad hoc network (VANET), drivers can receive information that allows them to find relevant places (e.g., parking spaces) or avoid dangerous/unde...
87
Voted
ACNS
2008
Springer
15 years 7 months ago
2008
Springer
File-sharing worms have been terrorizing Peer-to-peer (P2P) systems in recent years. Existing defenses relying on users’ individual recoveries or limiting users’ file-sharing ...
109
Voted
UCS
2007
Springer
15 years 7 months ago
2007
Springer
Many of today’s proposed RFID privacy schemes rely on the encryption of tag IDs with user-chosen keys. However, password management quickly becomes a bottleneck in such proposals...
IPTPS
2005
Springer
15 years 6 months ago
2005
Springer
Of the many P2P file-sharing prototypes in existence, BitTorrent is one of the few that has managed to attract millions of users. BitTorrent relies on other (global) components f...