4502 search results - page 705 / 901 » Regular Model Checking |
192
click to vote
IANDC
2007
15 years 6 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
183
click to vote
JISE
2007
15 years 6 months ago
2007
Unlike normal wireless ad hoc networks, end-to-end connection may not exist in DTNs Thus, the Message Ferrying (MF) scheme has been proposed as a strategy for providing connectivi...
189
click to vote
PRL
2000
15 years 6 months ago
2000
We demonstrate the advantages of using Bayesian multi layer perceptron (MLP) neural networks for image analysis. The Bayesian approach provides consistent way to do inference by c...
158
click to vote
ALIFE
1999
15 years 5 months ago
1999
tion, structural dissolutionAbstract We constructed a simple evolutionary system, "evoloop," on a deterministic nine-state five-neighbor cellular automata (CA) space by i...
171
click to vote
ENGL
2008
15 years 4 months ago
2008
Mobile application development belongs on the complicated, but quite regular software development environment that includes many different solutions possibilities in the developmen...