1336 search results - page 216 / 268 » codes 2005 |
101
Voted
CASSIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
112
Voted
CASSIS
2005
Springer
15 years 6 months ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
102
click to vote
COORDINATION
2005
Springer
15 years 6 months ago
2005
Springer
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
DBISP2P
2005
Springer
15 years 6 months ago
2005
Springer
Structured peer-to-peer systems rely on replication as a basic means to provide fault-tolerance in presence of high churn. Most select replicas using either multiple hash functions...
101
Voted
DIGRA
2005
Springer
15 years 6 months ago
2005
Springer
Cinematography describes principles and techniques pertaining to the effective use of cameras to film live action. The correct application of these principles and techniques produ...