11436 search results - page 2078 / 2288 » Modeling Real Reasoning |
219
click to vote
PADS
2005
ACM
16 years 19 days ago
2005
ACM
ct This paper provides an overview of the WarpIV Simulation Kernel that was designed to be an initial implementation of the Standard Simulation Architecture (SSA). WarpIV is the ne...
223
click to vote
UML
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
191
click to vote
VMCAI
2005
Springer
16 years 16 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
197
click to vote
FMCAD
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
199
click to vote
EDOC
2003
IEEE
16 years 10 days ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...