Sciweavers

2392 search results - page 435 / 479
» Performance modeling from software components
Sort
View
FM
1997
Springer
258views Formal Methods» more  FM 1997»
14 years 3 days ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
MKWI
2008
135views Business» more  MKWI 2008»
13 years 9 months ago
Ontology-based process mediation in the European project BRITE
: Service-oriented architectures (SOA) are recent architectures enabling interoperable machine-to-machine process interaction by generating a comprehensive view of independent soft...
Ansgar Mondorf, Timo Herborn
ISMB
1993
13 years 9 months ago
Pattern Discovery in Gene Regulation: Designing an Analysis Environment
Interactions that determinecellular fate are exceedingly complex, can take place at different levels of gene regulation and involve a large numberof components(such as genes, prot...
Stella Veretnik, Bruce R. Schatz
COMPUTER
2008
84views more  COMPUTER 2008»
13 years 8 months ago
e-Science, caGrid, and Translational Biomedical Research
We describe the informatics requirements of translational biomedical research projects and how e-Science tools can be used to address them. We use pattern templates to describe the...
Joel H. Saltz, Tahsin M. Kurç, Shannon Hast...
BMCBI
2005
126views more  BMCBI 2005»
13 years 7 months ago
GANN: Genetic algorithm neural networks for the detection of conserved combinations of features in DNA
Background: The multitude of motif detection algorithms developed to date have largely focused on the detection of patterns in primary sequence. Since sequence-dependent DNA struc...
Robert G. Beiko, Robert L. Charlebois