839 search results - page 164 / 168 » Self-recovery in server programs |
89
Voted
CCS
2008
ACM
14 years 11 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
96
Voted
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
The standard SQL assumes that the users are aware of all tables and their schemas to write queries. This assumption may be valid when the users deal with a relatively small number...
90
Voted
CF
2005
ACM
14 years 11 months ago
2005
ACM
This paper evaluates how much extended dictionary-based code compression techniques can reduce the static code size. In their simplest form, such methods statically identify ident...
109
click to vote
DIALM
2005
ACM
14 years 11 months ago
2005
ACM
Wireless LANs operating within unlicensed frequency bands require random access schemes such as CSMA/CA, so that wireless networks from different administrative domains (for exam...
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...