715 search results - page 67 / 143 » Automatic Programming for Sequence Control |
125
Voted
APLAS
2003
ACM
15 years 6 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
111
Voted
NAR
2000
15 years 2 months ago
2000
The Eukaryotic Promoter Database (EPD) is an annotated non-redundant collection of experimentally characterised eukaryotic POL II promoters. The underlying definition of a promote...
115
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
111
Voted
AAAI
1998
15 years 4 months ago
1998
The Interchamber Monitoring and Control (IMC) system is semi-autonomous, intelligent software that controls life support systems designed for recycling air in remote space habitat...
130
Voted
DILS
2005
Springer
15 years 8 months ago
2005
Springer
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...