1414 search results - page 140 / 283 » Combining Intruder Theories |
94
Voted
FM
1999
Springer
15 years 5 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
90
Voted
AI
1998
Springer
15 years 5 months ago
1998
Springer
This paper presents and evaluates sequential instance-based learning (SIBL), an approach to action selection based upon data gleaned from prior problem solving experiences. SIBL le...
100
Voted
KBSE
1997
IEEE
15 years 5 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
113
click to vote
BIRTHDAY
1997
Springer
15 years 5 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
112
click to vote
CCL
1994
Springer
15 years 5 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...