5499 search results - page 151 / 1100 » Generalized Rewrite Theories |
148
click to vote
IANDC
2008
15 years 4 months ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
131
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
141
click to vote
EPIA
2005
Springer
15 years 10 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
130
click to vote
JITECH
2008
15 years 4 months ago
2008
: The use of information technology (IT) in organizations has undergone dramatic changes the past 30 years. As a result, it has become increasingly common to adopt a services rathe...
121
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...