955 search results - page 110 / 191 » Model Checking Operator Procedures |
PG
1998
IEEE
14 years 2 months ago
1998
IEEE
We propose a 3D mesh-dragging method useful for intuitive, efficient geometric modeling of free-form polygonal models. With our method, the user can drag a part of a triangular me...
EDCC
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
BMCBI
2007
13 years 10 months ago
2007
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
CAV
1994
Springer
14 years 2 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...