12289 search results - page 314 / 2458 » computing 2006 |
173
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...
132
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
128
click to vote
MST
2006
15 years 4 months ago
2006
We investigate the characterizations of effective randomness in terms of Martin-L
141
click to vote
NPL
2002
15 years 4 months ago
2002
Weinvestigatedthe emergenceoforientingbehavior in arti
119
Voted
JCB
1998
15 years 4 months ago
1998
We introduce a new model of molecular computation that we call the sticker model. Like many previous proposals it makes use of DNA strands as the physical substrate in which infor...