2875 search results - page 20 / 575 » Model checking agentspeak |
86
Voted
CACM
2010
15 years 20 days ago
2010
ACSD
2010
IEEE
15 years 12 days 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...
114
click to vote
DLOG
2010
15 years 11 days 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...
101
click to vote
FSTTCS
2010
Springer
15 years 11 days 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
15 years 9 days ago
2010
IEEE