12478 search results - page 1614 / 2496 » Secure Interaction Design |
182
click to vote
OOPSLA
2005
Springer
16 years 1 months ago
2005
Springer
As object-oriented class libraries evolve, classes are occasionally deprecated in favor of others with roughly the same functionality. In Java’s standard libraries, for example,...
186
click to vote
PPDP
2005
Springer
16 years 1 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...
246
click to vote
SPC
2005
Springer
16 years 1 months ago
2005
Springer
Alice first meets Bob in an entertainment shop, then, they wish to share multimedia content, but Do they know what are trustworthy users? How do they share such information in a s...
220
click to vote
SIGOPSE
2004
ACM
16 years 1 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 ...
177
click to vote
WOSP
2004
ACM
16 years 1 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...