5456 search results - page 158 / 1092 » General Equilibrium Theory |
176
click to vote
IANDC
2008
15 years 6 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...
168
click to vote
CORR
2004
Springer
15 years 6 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)...
155
click to vote
JITECH
2008
15 years 6 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...
147
click to vote
EMSOFT
2008
Springer
15 years 8 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...
159
click to vote
AAAI
1994
15 years 7 months ago
1994
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...