1690 search results - page 117 / 338 » Algorithmic Properties of Millstream Systems |
115
click to vote
DFG
2007
Springer
15 years 10 months ago
2007
Springer
: Nowadays, the design of so-called consistent time-stepping schemes that basically feature a physically correct time integration, is still a state-of-the-art topic in the area of ...
144
click to vote
SFM
2007
Springer
15 years 10 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
118
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
139
click to vote
QEST
2005
IEEE
15 years 10 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
134
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
— We propose a novel complementarity model for a general three-dimensional manipulation system with rolling and sliding contacts to solve the forward dynamics problem. The key id...