Sciweavers

15644 search results - page 215 / 3129
» Brittle System Analysis
Sort
View
ICCS
2005
Springer
16 years 21 days ago
Arbitrary Relations in Formal Concept Analysis and Logical Information Systems
Sébastien Ferré, Olivier Ridoux, Ben...
MYCRYPT
2005
Springer
189views Cryptology» more  MYCRYPT 2005»
16 years 20 days ago
An Analysis of Double Base Number Systems and a Sublinear Scalar Multiplication Algorithm
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = kˆ i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤   c + o(1) ¡ log n log log n ....
Mathieu Ciet, Francesco Sica
SEKE
2005
Springer
16 years 20 days ago
Formal Analysis of Workflow Systems with Security Considerations
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi