2137 search results - page 120 / 428 » Proving Abstract Non-interference |
145
click to vote
ICGI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We report here a number of results concerning the learnability of th...
131
click to vote
ICOIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we present the set of base algorithms for generating connected random graphs (RG). RG can be used for testing different algorithms on networks. The fast al...
154
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
110
Voted
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
120
click to vote
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...