1011 search results - page 110 / 203 » Exception Analysis for Java |
ICICS
2010
Springer
13 years 8 months ago
2010
Springer
By now, many voting protocols have been proposed that, among others, are designed to achieve coercion-resistance, i.e., resistance to vote buying and voter coercion. Scantegrity II...
ICEIS
2009
IEEE
13 years 8 months ago
2009
IEEE
One of the main difficulties of pattern mining is to deal with items of different nature in the same itemset, which can occur in any domain except basket analysis. Indeed, if we co...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
ACSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
Securely authenticating a human user without assistance from any auxiliary device in the presence of powerful passive adversaries is an important and challenging problem. Passive ...
ICIP
2008
IEEE
14 years 4 months ago
2008
IEEE
The goal of this paper is to investigate the impact of dictionary choosing for a total variation dictionary model. After theoretical analysis, we present the experiments in which ...