Sciweavers

599 search results - page 36 / 120
» A Systematic Analysis Patterns Specification
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
13 years 9 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
BMCBI
2006
118views more  BMCBI 2006»
13 years 10 months ago
Identification of gene expression patterns using planned linear contrasts
Background: In gene networks, the timing of significant changes in the expression level of each gene may be the most critical information in time course expression profiles. With ...
Hao Li, Constance L. Wood, Yushu Liu, Thomas V. Ge...
LADC
2007
Springer
14 years 4 months ago
Security Patterns and Secure Systems Design
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
Eduardo B. Fernández
BMCBI
2006
116views more  BMCBI 2006»
13 years 10 months ago
ROKU: a novel method for identification of tissue-specific genes
Background: One of the important goals of microarray research is the identification of genes whose expression is considerably higher or lower in some tissues than in others. We wo...
Koji Kadota, Jiazhen Ye, Yuji Nakai, Tohru Terada,...
GIS
2006
ACM
13 years 10 months ago
Reactions to geovisualization: an experience from a European project
The paper is written jointly by two parties, computer scientists specializing in geovisualization and experts in forestry, who cooperated within a joint project. The authors tell ...
Gennady L. Andrienko, Natalia V. Andrienko, Richar...