51986 search results - page 103 / 10398 » Are There New Models of Computation |
159
click to vote
SP
2006
IEEE
15 years 12 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
145
click to vote
IPMI
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. A new approach is proposed to estimate the spatial distribution of shear modulus of tissues in-vivo. An image sequence is acquired using a standard medical ultrasound sca...
143
click to vote
SACRYPT
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we present a simple method for generating random-based signatures when random number generators are either unavailable or of suspected quality (malicious or accident...
135
click to vote
GRC
2007
IEEE
16 years 5 days ago
2007
IEEE
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
COMPUTER
2004
15 years 5 months ago
2004
