619 search results - page 94 / 124 » IFIP |
105
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
115
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
In this paper we present new concepts to resolve ECU (Electronic Control Unit) failures in FlexRay networks. Our approach extends the FlexRay bus schedule by redundant slots with m...
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
133
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...