2407 search results - page 138 / 482 » A Tool for Abstraction in Model Checking |
177
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
177
click to vote
AI
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
187
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. One of the key challenges faced when developing contextaware pervasive systems is to capture the set of inputs that we want a system to adapt to. Arbitrarily specifying r...
218
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
182
click to vote
CASSIS
2004
Springer
16 years 9 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...