2875 search results - page 20 / 575 » Model checking agentspeak |
CACM
2010
14 years 10 months ago
2010
74
Voted
ACSD
2010
IEEE
14 years 10 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...
94
Voted
DLOG
2010
14 years 10 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...
FSTTCS
2010
Springer
14 years 10 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...
ICPADS
2010
IEEE
14 years 10 months ago
2010
IEEE