Sciweavers

2055 search results - page 128 / 411
» Generic Model Refactorings
Sort
View
112
Voted
FTCS
1998
79views more  FTCS 1998»
15 years 3 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
140
Voted
CVPR
2008
IEEE
16 years 3 months ago
Learning Bayesian Networks with qualitative constraints
Graphical models such as Bayesian Networks (BNs) are being increasingly applied to various computer vision problems. One bottleneck in using BN is that learning the BN model param...
Yan Tong, Qiang Ji
DEXAW
1999
IEEE
94views Database» more  DEXAW 1999»
15 years 6 months ago
Reuse, Validation and Verification of System Development Processes
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
Peter J. Funk, Ivica Crnkovic
CONCUR
2004
Springer
15 years 5 months ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen
106
Voted
JSYML
2008
112views more  JSYML 2008»
15 years 1 months ago
Internal consistency for embedding complexity
In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with ...
Sy-David Friedman, Katherine Thompson