10670 search results - page 2039 / 2134 » Required Information Release |
107
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
125
click to vote
FOCS
2004
IEEE
15 years 5 months ago
2004
IEEE
We consider the approximate nearest neighbour search problem on the Hamming cube {0, 1}d. We show that a randomised cell probe algorithm that uses polynomial storage and word size...
123
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
This paper considers the problem of password-authenticated key exchange (PAKE) in a client-server setting, where the server authenticates using a stored password file, and it is de...
114
click to vote
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
115
Voted
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...