5638 search results - page 171 / 1128 » On presence |
148
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
The time is approaching when information can be written into DNA. This tutorial work surveys the methods for designing code words using DNA, and proposes a simple code that avoids ...
155
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-...
189
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
163
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...
157
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Self-replication is a fundamental property of many interesting physical, formal and biological systems, such as crystals, waves, automata, and especially forms of natural...