1061 search results - page 136 / 213 » Dependently Sorted Logic |
162
click to vote
LATA
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situat...
174
click to vote
RTAS
2009
IEEE
16 years 26 days ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
151
click to vote
IISWC
2008
IEEE
16 years 17 days ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...
169
click to vote
CSL
2007
Springer
16 years 9 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
141
click to vote
FOSSACS
2007
Springer
16 years 9 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...