17 search results - page 4 / 4 » A Formalization of the Strong Normalization Proof for System... |
ACISP
2006
Springer
13 years 9 months ago
2006
Springer
Efficient authentication is one of important security requirements in mobile ad hoc network (MANET) routing systems. The techniques of digital signatures are generally considered a...
TCS
2011
13 years 5 days ago
2011
Fuzzy cellular automata (FCA) are continuous cellular automata where the local rule is defined as the “fuzzification" of the local rule of a corresponding Boolean cellula...