414 search results - page 80 / 83 » Using Strongest Postconditions to Improve Software Quality |
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
All practical wireless communication systems are prone to errors. At the symbol level such wireless errors have a well-defined structure: when a receiver decodes a symbol erroneou...
BMCBI
2006
2006
ZCURVE_V: a new self-training system for recognizing protein-coding genes in viral and phage genomes
13 years 7 months ago
Background: It necessary to use highly accurate and statistics-based systems for viral and phage genome annotations. The GeneMark systems for gene-finding in virus and phage genom...
BMCBI
2004
13 years 7 months ago
2004
Background: Carbohydrates are involved in a variety of fundamental biological processes and pathological situations. They therefore have a large pharmaceutical and diagnostic pote...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Major research challenges in discovering Web services include, provisioning of services across multiple or heterogeneous registries, differentiating between services that share si...
SAC
2004
ACM
14 years 27 days ago
2004
ACM
Healthcare information systems play an important role in improving healthcare quality. As providing healthcare increasingly changes from isolated treatment episodes towards a cont...