1362 search results - page 217 / 273 » Model Checking Large Network Protocol Implementations |
135
click to vote
SACMAT
2003
ACM
15 years 8 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
135
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Peer-to-Peer (P2P) applications continue to grow in popularity, and have reportedly overtaken Web applications as the single largest contributor to Internet traffic. Using traces ...
149
click to vote
NGC
2000
Springer
15 years 6 months ago
2000
Springer
Delivering data to on-line game participants requires the game data to be "customized" in real-time to each participant's characteristics. Using multicast in such a...
124
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
111
Voted
ICS
2005
Tsinghua U.
15 years 8 months ago
2005
Tsinghua U.
Parallel I/O needs to keep pace with the demand of high performance computing applications on systems with ever-increasing speed. Exploiting high-end interconnect technologies to ...