2661 search results - page 500 / 533 » Model Checking Performability Properties |
BMCBI
2010
13 years 8 months ago
2010
Background: Oligonucleotide arrays have become one of the most widely used high-throughput tools in biology. Due to their sensitivity to experimental conditions, normalization is ...
BMCBI
2010
13 years 8 months ago
2010
Background: Mass spectrometry (MS) is an essential analytical tool in proteomics. Many existing algorithms for peptide detection are based on isotope template matching and usually...
JSW
2007
13 years 8 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
BC
2004
13 years 8 months ago
2004
Antennae are the main organs of the arthropod tactile sense. In contrast to other senses that are capable of retrieving spatial information, e.g. vision, spatial sampling of tactil...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...