1902 search results - page 70 / 381 » Differential Dynamic Logics |
164
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Differential Power Analysis (DPA) presents a major challenge to mathematically-secure cryptographic protocols. Attackers can break the encryption by measuring the energy consumed i...
146
click to vote
ISBI
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper, we propose a novel variational framework for the reconstruction of dynamic objects from sparse and noisy tomographic data. Using an object-based scene model, we dev...
143
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
151
click to vote
WSC
1989
15 years 6 months ago
1989
One of the factors affecting the performance of distributed simulation models is the assignment of logical processes to processors. This paper outlines a dynamic allocation scheme...