Sciweavers

2205 search results - page 54 / 441
» Mutation Operators for Specifications
Sort
View
BMCBI
2008
92views more  BMCBI 2008»
13 years 8 months ago
Proteochemometric modeling of HIV protease susceptibility
Background: A major obstacle in treatment of HIV is the ability of the virus to mutate rapidly into drug-resistant variants. A method for predicting the susceptibility of mutated ...
Maris Lapinsh, Martin Eklund, Ola Spjuth, Peteris ...
BMCBI
2008
99views more  BMCBI 2008»
13 years 8 months ago
Exhaustive prediction of disease susceptibility to coding base changes in the human genome
Background: Single Nucleotide Polymorphisms (SNPs) are the most abundant form of genomic variation and can cause phenotypic differences between individuals, including diseases. Ba...
Vinayak Kulkarni, Mounir Errami, Robert Barber, Ha...
FTRTFT
1994
Springer
13 years 12 months ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
Manfred Broy, Ketil Stølen
JOT
2010
142views more  JOT 2010»
13 years 6 months ago
On Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah
ECAI
2008
Springer
13 years 9 months ago
Propositional merging operators based on set-theoretic closeness
In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile...
Patricia Everaere, Sébastien Konieczny, Pie...