6137 search results - page 1138 / 1228 » Securing Collaborative Applications |
PDCAT
2004
Springer
14 years 2 months ago
2004
Springer
Today’s cryptanalysis on symmetric key cryptography is encouraging the use of larger key sizes and complex algorithms to achieve an unbreakable state. However, this leads an inc...
PEPM
2004
ACM
14 years 2 months ago
2004
ACM
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
SAFECOMP
2004
Springer
14 years 2 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
CCGRID
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes two systems to recover the Internet connectivity impaired by private networks and firewalls. These devices cause asymmetry in the Internet, making peer-to-pee...