1833 search results - page 307 / 367 » Mechanized Verification with Sharing |
145
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...
129
click to vote
FIRSTMONDAY
2010
15 years 3 months ago
2010
Computer games have increasingly been the focus of user-led innovations in the form of game mods. This paper examines how different kinds of socio-technical affordances serve to o...
146
click to vote
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
—Gossip-based Peer-to-Peer protocols proved to be very efficient for supporting dynamic and complex information exchange among distributed peers. They are useful for building an...
139
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Many popular algorithms for fast packet forwarding and filtering rely on the tree data structure. Examples are the trie-based IP lookup and packet classification algorithms. W...
140
click to vote
JUCS
2010
15 years 2 months ago
2010
: Directories provide a general mechanism for describing resources and enabling information sharing within and across organizations. Directories must resolve differing structures a...