11022 search results - page 1829 / 2205 » Programming Systems for Autonomy |
165
click to vote
HIPEAC
2005
Springer
16 years 9 days ago
2005
Springer
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
189
click to vote
ICTAC
2005
Springer
16 years 9 days ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
185
Voted
IFIP
2005
Springer
16 years 9 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
166
click to vote
IFIP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
178
click to vote
IMR
2005
Springer
16 years 9 days ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...