29082 search results - page 5346 / 5817 » The Time-Triggered Model of Computation |
202
click to vote
ESOP
2006
Springer
15 years 10 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 ...
177
click to vote
ESORICS
2006
Springer
15 years 10 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...
191
click to vote
ESTIMEDIA
2006
Springer
15 years 10 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...
182
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
The present paper describes a case-based reasoning solution for solving the task of selecting adequate templates for realizing messages describing actions in a given domain. This s...
195
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....