4167 search results - page 403 / 834 » Regression model checking |
146
click to vote
OOIS
2001
Springer
15 years 11 months ago
2001
Springer
: This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaborat...
200
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
153
click to vote
CGVR
2006
15 years 8 months ago
2006
Conflict problem is one of the major issues in Collaborative CAD systems. Based on a flexible multi-user interaction framework for replicated Collaborative Solid Modeling (CSM) sys...
153
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
In intracranial pathological examinations using CT scan, brain midline shift (MLS) is an important diagnostic feature indicating the pathological severity and patient's survi...
163
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an efficient analog synthesis algorithm employing regression models of circuit matrices. Circuit matrix models achieve accurate and speedy synthesis of analog circuits...