1796 search results - page 185 / 360 » An Approach to Compositional Model Checking |
90
Voted
ACSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
The individual vulnerabilities of hosts on a network can be combined by an attacker to gain access that would not be possible if the hosts were not interconnected. Currently avail...
110
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
85
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
107
click to vote
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. There is a huge diversity of definitions of "visually meaningful" image segments, ranging from simple uniformly colored segments, textured segments, through sym...
112
Voted
ISCC
2006
IEEE
15 years 6 months ago
2006
IEEE
Genetic Algorithms are very powerful search methods that are used in different optimization problems. Parallel versions of genetic algorithms are easily implemented and usually in...