6800 search results - page 934 / 1360 » Testing with Functions as Specifications |
228
click to vote
ICAIL
2005
ACM
16 years 11 days ago
2005
ACM
Computational resources for research in legal environments have historically implied remote access to large databases of legal documents such as case law, statutes, law reviews an...
174
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
174
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: With the rapid emergence of RNA databases and newly identified non-coding RNAs, an efficient compression algorithm for RNA sequence and structural information is neede...
191
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: In recent years, RNA molecules that are not translated into proteins (ncRNAs) have drawn a great deal of attention, as they were shown to be involved in many cellular ...
199
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Genome wide association (GWA) studies are now being widely undertaken aiming to find the link between genetic variations and common diseases. Ideally, a well-powered G...