13631 search results - page 2220 / 2727 » Event-Based Performance Analysis |
206
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
190
click to vote
DEXA
2004
Springer
15 years 11 months ago
2004
Springer
Multi-File Caching issues arise in applications where a set of jobs are processed and each job requests one or more input files. A given job can only be started if all its input fi...
213
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
Multi-homed and overlay networks are two widely studied approaches aimed at leveraging the inherent redundancy of the Internet's underlying routing infrastructure to enhance ...
202
click to vote
CHES
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...
181
click to vote
EEE
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we propose a new efficient and secure micro-payment scheme, named e-coupons, which can provide the users the facility of delegating their spending capability to oth...