Sciweavers

15644 search results - page 215 / 3129
» Brittle System Analysis
Sort
View
ICCS
2005
Springer
16 years 3 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 2 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 2 days ago
Formal Analysis of Workflow Systems with Security Considerations
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi