2877 search results - page 138 / 576 » Biological Computing |
ASM
2000
ASM
15 years 2 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
ASM
1998
ASM
15 years 2 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
ISMB
1993
14 years 11 months ago
1993
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
ISMB
1993
14 years 11 months ago
1993
Wesurvey and discuss issues required of intelligent systems to support research efforts in locus mapping. In particular wefocus on the issues of order, on howone can automate the ...
BMCBI
2008
14 years 10 months ago
2008
ent> <title> <p>Highlights from the Fourth International Society for Computational Biology (ISCB) Student Council Symposium</p> </title> <editor>Lu...