5964 search results - page 411 / 1193 » A theory of speculative computation |
238
click to vote
Lecture Notes
These notes cover several topics such as The classic capital asset pricing model, The CAPM in general equilibrium, Infinite horizon economies, Continuous time models, Asset pricing...
218
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
207
click to vote
ERSHOV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Data privacy is an important application of ontology modularization. The aim is to publish one module while keeping the information of another module private. We show how...
186
click to vote
RP
2009
Springer
16 years 2 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
202
click to vote
ICTAC
2004
Springer
16 years 29 days ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...