2594 search results - page 45 / 519 » Elements of a Theory of Simulation |
130
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
159
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
100
click to vote
FLAIRS
2004
15 years 3 months ago
2004
It is a vital and challenging issue in AI community to get the "Right Information" to the "Right People" in the "Right Language" in the "Right T...
119
click to vote
CSCW
2002
ACM
15 years 1 months ago
2002
ACM
An activity theory model and a mediating artifacts hierarchy were employed to help identify the needs for tools for customer support engineers who documented solutions to customer...
JCT
2010
15 years 12 days ago
2010
We prove a collection of conjectures of D. White [37], as well as some related conjectures of Abuzzahab-Korson-Li-Meyer [1] and of Reiner and White [21], [37], regarding the cyclic...