2314 search results - page 310 / 463 » What is a Model |
163
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
150
click to vote
CRYPTO
2006
Springer
15 years 8 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
122
click to vote
COMPSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Developers of e-commerce applications are often unrealistic about how their site will be used, and about possible outcomes during site usage. The most commonly considered outcomes...
145
click to vote
ASPDAC
1995
ACM
15 years 8 months ago
1995
ACM
A new approach for power analysis of microprocessorshas recently been proposed [1]. The idea is to look at the power consumption in a microprocessor from the point of view of the ...
141
click to vote
SPW
2000
Springer
15 years 8 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...