5388 search results - page 833 / 1078 » The Active Elastic Model |
157
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
181
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
172
click to vote
ICES
2003
Springer
15 years 12 months ago
2003
Springer
The communication mechanism used by the biological cells of higher animals is an integral part of an organisms ability to tolerate cell deficiency or loss. The massive redundancy ...
171
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
Peer-to-peer computing and networking, an emerging model of communication and computation, has recently started to gain significant acceptance. This model not only enables client...
162
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...