2253 search results - page 142 / 451 » The ComFoRT Reasoning Framework |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
CASCON
2006
13 years 11 months ago
2006
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
SDMW
2010
Springer
13 years 8 months ago
2010
Springer
In an outsourced database framework, clients place data management with specialized service providers. Of essential concern in such frameworks is data privacy. Potential clients ar...
TIME
2007
IEEE
14 years 4 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...