Sciweavers

1767 search results - page 137 / 354
» An Integrated Model for Cellular Analysis
Sort
View
KBSE
2000
IEEE
15 years 10 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
HICSS
2006
IEEE
145views Biometrics» more  HICSS 2006»
16 years 13 days ago
Resource Decisions in Software Development Using Risk Assessment Model
The resource decisions in software project using cost models do not satisfy managerial decision, as it does not support trade-off analysis among resources. A Bayesian net approach...
Wiboon Jiamthubthugsin, Daricha Sutivong
JSW
2008
130views more  JSW 2008»
15 years 6 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
BMCBI
2006
166views more  BMCBI 2006»
15 years 6 months ago
Extraction of phylogenetic network modules from the metabolic network
Background: In bio-systems, genes, proteins and compounds are related to each other, thus forming complex networks. Although each organism has its individual network, some organis...
Takuji Yamada, Minoru Kanehisa, Susumu Goto
NAR
2011
209views Computer Vision» more  NAR 2011»
14 years 9 months ago
CancerResource: a comprehensive database of cancer-relevant proteins and compound interactions supported by experimental knowled
During the development of methods for cancer diagnosis and treatment, a vast amount of information is generated. Novel cancer target proteins have been identified and many compoun...
Jessica Ahmed, Thomas Meinel, Mathias Dunkel, Manu...