Sciweavers

4041 search results - page 257 / 809
» A Model of Creative Understanding
Sort
View
118
Voted
ISSTA
2006
ACM
15 years 11 months ago
A model and sensitivity analysis of the quality economics of defect-detection techniques
One of the main cost factors in software development is the detection and removal of defects. However, the relationships and influencing factors of the costs and revenues of defe...
Stefan Wagner
HICSS
2005
IEEE
148views Biometrics» more  HICSS 2005»
15 years 11 months ago
Common Data Model for Design Document Exchange in Business-to-Business Networks
Design documents can be exchanged in business-tobusiness networks through Product Data Management (PDM) system integration. This rarely used approach provides new possibilities fo...
Katrine Jokinen, Jukka Borgman, Reijo Sulonen
ICDM
2005
IEEE
137views Data Mining» more  ICDM 2005»
15 years 11 months ago
Leveraging Relational Autocorrelation with Latent Group Models
The presence of autocorrelation provides a strong motivation for using relational learning and inference techniques. Autocorrelation is a statistical dependence between the values...
Jennifer Neville, David Jensen
ER
2005
Springer
134views Database» more  ER 2005»
15 years 11 months ago
An Agent-Oriented Meta-model for Enterprise Modelling
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
Ivan Jureta, Stéphane Faulkner
TACAS
2005
Springer
88views Algorithms» more  TACAS 2005»
15 years 11 months ago
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
Viktor Schuppan, Armin Biere