381 search results - page 47 / 77 » Tableaux for Acceptance Logic |
109
Voted
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
101
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
97
Voted
SAFECOMP
2009
Springer
15 years 8 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
113
Voted
IOLTS
2008
IEEE
15 years 8 months ago
2008
IEEE
— Error correcting coding is the dominant technique to achieve acceptable soft-error rates in memory arrays. In many modern circuits, the number of memory elements in the random ...
116
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...