5255 search results - page 932 / 1051 » Formal Methods for Privacy |
150
Voted
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...
125
Voted
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
149
Voted
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
163
click to vote
MM
2009
ACM
15 years 8 months ago
2009
ACM
Television news has become the predominant way of understanding the world around us, but individual news broadcasters can frame or mislead an audience’s understanding of politic...
148
Voted
FM
2009
Springer
15 years 8 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...