3931 search results - page 258 / 787 » Separation logic and abstraction |
161
click to vote
ASIAN
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
148
click to vote
MONTEREY
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
168
click to vote
PADL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
156
click to vote
ISQED
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
195
click to vote
JSAI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...