1362 search results - page 234 / 273 » Model Checking Large Network Protocol Implementations |
112
click to vote
DRM
2004
Springer
15 years 7 months ago
2004
Springer
The current landscape for digital rights management (DRM) consists of various ad hoc technologies and platforms that largely focus on copy protection. The fragmented nature of the...
107
click to vote
SIGCOMM
1994
ACM
15 years 6 months ago
1994
ACM
Existing multicast routing mechanisms were intended for use within regions where a group is widely represented or bandwidth is universally plentiful. When group members, and sende...
142
click to vote
ESEM
2010
ACM
15 years 16 days ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
141
click to vote
KDD
2010
ACM
15 years 5 months ago
2010
ACM
This paper intends to provide some insights of a scientific problem: how likely one’s interests can be inferred from his/her social connections – friends, friends’ friends,...
117
click to vote
DPD
2000
15 years 1 months ago
2000
The Internet has solved the age-old problem of network connectivity and thus enabling the potential access to, and data sharing among large numbers of databases. However, enabling ...