Sciweavers

1779 search results - page 140 / 356
» Patterns of Component Evolution
Sort
View
KDD
2009
ACM
232views Data Mining» more  KDD 2009»
14 years 8 months ago
Classification of software behaviors for failure detection: a discriminative pattern mining approach
Software is a ubiquitous component of our daily life. We often depend on the correct working of software systems. Due to the difficulty and complexity of software systems, bugs an...
David Lo, Hong Cheng, Jiawei Han, Siau-Cheng Khoo,...
BMCBI
2006
102views more  BMCBI 2006»
13 years 8 months ago
Microarray analysis distinguishes differential gene expression patterns from large and small colony Thymidine kinase mutants of
Background: The Thymidine kinase (Tk) mutants generated from the widely used L5178Y mouse lymphoma assay fall into two categories, small colony and large colony. Cells from the la...
Tao Han, Jianyong Wang, Weida Tong, Martha M. Moor...
ESOP
2007
Springer
14 years 2 months ago
Using History Invariants to Verify Observers
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
K. Rustan M. Leino, Wolfram Schulte
ECAL
2003
Springer
14 years 1 months ago
Evolving Fractal Gene Regulatory Networks for Robot Control
Fractal proteins are a new evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Ma...
Peter J. Bentley
IASSE
2004
13 years 9 months ago
The Bosco Project - A JMI-Compliant Template-based Code Generator
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
Pascal André, Gilles Ardourel, Gerson Suny&...