2873 search results - page 190 / 575 » Model Checking and the Mu-calculus |
111
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
130
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
123
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
130
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...