925 search results - page 43 / 185 » Typing Component-Based Communication Systems |
CGO
2009
IEEE
14 years 1 months ago
2009
IEEE
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
IMA
1997
Springer
14 years 1 months ago
1997
Springer
This paper is concerned with key escrow protocols for use in international communications environments, where communication domains do not necessarily trust one another. It is conc...
WWIC
2007
Springer
14 years 4 months ago
2007
Springer
In this paper, we introduce a cross-layer diversity framework for multi-air interface wireless communication devices. As an initial step, we focus on devices, of the cellular phone...
IESS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract: The time-triggered System-on-a-Chip (SoC) architecture provides a generic multicore system platform for a family of composable and dependable giga-scale SoCs. It supports...