2501 search results - page 394 / 501 » Obligations and Their Interaction with Programs |
153
click to vote
ENTCS
2007
15 years 4 months ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
112
click to vote
NAR
2008
15 years 4 months ago
2008
In addition to maintaining the GenBank(R) nucleic acid sequence database, the National Center for Biotechnology Information (NCBI) provides analysis and retrieval resources for th...
134
click to vote
BIOINFORMATICS
2005
15 years 4 months ago
2005
BioLingua is an interactive, web-based programming environment that enables biologists to analyze biological systems by combining knowledge and data through direct end-user progra...
198
Voted
VEE
2012
ACM
14 years 2 days ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
160
click to vote
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
Genetic programming makes it possible to automatically search the space of possible programs. First we evolved a behavior-based control architecture using computer simulations. Th...