317 search results - page 35 / 64 » Reasoning about the Implementation of Concurrency Abstractio... |
122
click to vote
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
125
click to vote
DLOG
2007
15 years 3 months ago
2007
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as formalisms capable of capturing and reasoning about imprecise and vague knowledge. The last years, research in Desc...
148
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
109
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
117
click to vote
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...