2225 search results - page 247 / 445 » Logical Structures in the Lexicon |
156
click to vote
IEEEPACT
2007
IEEE
16 years 26 days ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
150
click to vote
CALCO
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
167
click to vote
FCT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
198
click to vote
FMICS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
190
click to vote
LFCS
2007
Springer
16 years 21 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...