1090 search results - page 87 / 218 » The Equivalence between Biology and Computation |
97
Voted
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
86
Voted
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
103
Voted
CONCUR
1993
Springer
15 years 4 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...
103
click to vote
RECOMB
2010
Springer
15 years 2 months ago
2010
Springer
In this work we consider an inference task that biologists are very good at: deciphering biological processes by bringing together knowledge that has been obtained by experiments u...
133
click to vote
BIOINFORMATICS
2011
14 years 7 months ago
2011
Motivation: High-throughput methods for detecting molecular interactions have produced large sets of biological network data with much more yet to come. Analogous to sequence alig...