29046 search results - page 94 / 5810 » Computable Models |
ICCSA
2003
Springer
15 years 8 months ago
2003
Springer
The aim of this paper is to develop a mathematical model with the ability to predict particle degradation during dilute phase pneumatic conveying. A numerical procedure, based on a...
IANDC
2007
15 years 2 months ago
2007
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
113
click to vote
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
113
click to vote
BMCV
2000
Springer
15 years 7 months ago
2000
Springer
First IEEE International Workshop on Biologically Motivated Computer Vision, Seoul, Korea (May 2000). There is considerable evidence that object recognition in primates is based o...