5722 search results - page 745 / 1145 » Security Function Interactions |
175
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
154
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
171
click to vote
SIGOPSE
2004
ACM
15 years 12 months ago
2004
ACM
Research in sensor networks, continuous queries (CQ), and other domains has been motivated by powerful applications that aim to aggregate, assimilate, and interact with scores of ...
135
click to vote
WOSP
2004
ACM
15 years 12 months ago
2004
ACM
While the use of network intrusion detection systems (nIDS) is becoming pervasive, evaluating nIDS performance has been found to be challenging. The goal of this study is to deter...
204
click to vote
ESAS
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we describe the advantages of using iterative Diffie-Hellman (IDH) key trees for mobile ad-hoc group communication. We focus on the Treebased Group Diffie-Hellman (...