13593 search results - page 547 / 2719 » Performance Analysis of MD5 |
200
click to vote
ALP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
194
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
215
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
This work casts the traffic analysis of anonymity systems, and in particular mix networks, in the context of Bayesian inference. A generative probabilistic model of mix network ar...
188
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
A profound analysis of all relevant business data in the company is necessary for optimizing business processes effectively. Current analyses typically exclusively run on business...
217
click to vote
SNPD
2008
15 years 8 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...