2851 search results - page 389 / 571 » Operationalizing Conceptual Models Based on a Model of Depen... |
159
click to vote
IV
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper describes research on the use of multiple views for modelling products and processes in the design of complex products. Single visual representations of design models o...
171
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
169
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
176
click to vote
KDD
1998
ACM
15 years 10 months ago
1998
ACM
We present the notion of Ranking for evaluation of two-class classifiers. Ranking is based on using the ordering information contained in the output of a scoring model, rather tha...
168
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...