Sciweavers

279 search results - page 1 / 56
» i* Diagnoses: A Quality Process for Building i* Models
Sort
View
CAISE
2008
Springer
13 years 6 months ago
i* Diagnoses: A Quality Process for Building i* Models
Antonio de Pádua Albuquerque Oliveira, Juli...
CSB
2005
IEEE
130views Bioinformatics» more  CSB 2005»
13 years 10 months ago
iSimBioSys: An "In Silico" Discrete Event Simulation Framework for Modeling Biological Systems
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
Samik Ghosh, Preetam Ghosh, Kalyan Basu, Sajal K. ...
QEST
2005
IEEE
13 years 10 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha
WWW
2008
ACM
14 years 5 months ago
Computing minimum cost diagnoses to repair populated DL-based ontologies
Ontology population is prone to cause inconsistency because the populating process is imprecise or the populated data may conflict with the original data. By assuming that the int...
Jianfeng Du, Yi-Dong Shen
PROMISE
2010
12 years 11 months ago
Case-based reasoning vs parametric models for software quality optimization
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
Adam Brady, Tim Menzies