1833 search results - page 96 / 367 » Mechanized Verification with Sharing |
102
Voted
EUROPKI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The Peer-to-Peer Wireless Network Confederation (P2PWNC) is designed to be an open self-organizing Wireless LAN (WLAN) roaming association where users from one WLAN can a...
125
Voted
ISCA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents ReVive, a novel general-purpose rollback recovery mechanism for shared-memory multiprocessors. ReVive carefully balances the conflicting requirements of avail...
94
Voted
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
The tagging technique has been widely applied in existing Web 2.0 systems, where users label resources with tags for effective classification and efficient retrieval of resource...
107
click to vote
ESORICS
2006
Springer
15 years 4 months ago
2006
Springer
A user who wants to use a service forbidden by their site's usage policy can masquerade their packets in order to evade detection. One masquerade technique sends prohibited tr...
103
click to vote
ESAW
2004
Springer
15 years 6 months ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...