2556 search results - page 143 / 512 » The Triconnected Abstraction of Process Models |
202
click to vote
ENTCS
2008
15 years 7 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
193
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
193
Voted
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Abstract A divide-and-conquer algorithm for computing the parametric yield of large analog circuits is presented. The algorithm targets applications whose performance spreads could...
162
click to vote
IJCAI
2003
15 years 8 months ago
2003
paper, we present an abstract framework for learning a finite domain constraint solver modeled by a set of operators enforcing a consistency. The behavior of the consistency to be...
206
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...