118 search results - page 24 / 24 » Scaling model checking of dataraces using dynamic informatio... |
CCS
2004
ACM
13 years 10 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
KDD
2005
ACM
14 years 5 months ago
2005
ACM
In this paper, we present a general framework to discover spatial associations and spatio-temporal episodes for scientific datasets. In contrast to previous work in this area, fea...
SIGCOMM
1994
ACM
13 years 9 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...