3081 search results - page 442 / 617 » A Formal Ontology of Properties |
175
click to vote
FORMATS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
161
click to vote
FOSSACS
2007
Springer
16 years 21 days ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
182
click to vote
FROCOS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
172
click to vote
ICCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Many knowledge representation mechanisms consist of linkbased structures; they may be studied formally by means of unordered trees. Here we consider the case where labels...
164
click to vote
ICICS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...