26 search results - page 2 / 6 » atva 2007 |
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...