1140 search results - page 37 / 228 » Progress on Certifying Algorithms |
144
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
145
click to vote
AAECC
2007
Springer
15 years 2 months ago
2007
Springer
Abstract We describe a method to approximate a segment of the intersection curve of two implicitly defined surfaces by a rational parametric curve. Starting from an initial soluti...
283
click to vote
TMA
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. In this paper we present an algorithm that is able to progressively discover nodes of a Skype overlay P2P network. Most notably, super nodes in the network core. Starting...
103
click to vote
EUROPKI
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
107
click to vote
FPGA
1997
ACM
15 years 6 months ago
1997
ACM
Event identification in photon counting ICCD detectors requires a high level image analysis which cannot be easily described algorithmically: neural networks are promising to appr...