2875 search results - page 231 / 575 » Model checking agentspeak |
129
click to vote
ISMVL
2010
IEEE
15 years 9 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
134
click to vote
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
—Contexts, the pieces of information that capture the characteristics of computing environments, are often inconsistent in the dynamic and uncertain pervasive computing environme...
149
click to vote
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...
122
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
132
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...