12289 search results - page 2157 / 2458 » computing 2006 |
126
click to vote
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
Ad hoc networks are a type of computational system whose members may fail to, or choose not to, comply with the laws governing their behaviour. We are investigating to what extent ...
146
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
150
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
132
click to vote
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
139
click to vote
ESTIMEDIA
2006
Springer
15 years 8 months ago
2006
Springer
Parallelization of embedded software is often desirable for power/performance-related considerations for computation-intensive applications that frequently occur in the signal-pro...