1615 search results - page 137 / 323 » Distributed Forward Checking |
108
Voted
FIDJI
2004
Springer
15 years 6 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
119
click to vote
EUROPAR
2000
Springer
15 years 6 months ago
2000
Springer
This paper investigates the potential for automatic mapping of typical embedded applications to architectures with multimedia instruction set extensions. For this purpose a (patter...
133
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
105
click to vote
ESORICS
2003
Springer
15 years 7 months ago
2003
Springer
Recently, David Chaum proposed an electronic voting scheme that combines visual cryptography and digital processing. It was designed to meet not only mathematical security standard...
118
click to vote
FGIT
2009
Springer
15 years 9 months ago
2009
Springer
Recently, most of malicious web pages include obfuscated codes in order to circumvent the detection of signature-based detection systems .It is difficult to decide whether the sti...