9006 search results - page 1664 / 1802 » Modeling Software |
136
click to vote
EUROCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Denoting by P = [k]G the elliptic-curve double-and-add multiplication of a public base point G by a secret k, we show that allowing an adversary access to the projective representa...
116
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
126
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
117
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
106
click to vote
IMR
2004
Springer
15 years 8 months ago
2004
Springer
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...