286 search results - page 29 / 58 » Crypto Engineering: Some History and Some Case Studies |
ISPW
2005
IEEE
14 years 1 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
PPPJ
2004
ACM
14 years 1 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
The documentation of API functions typically conveys detailed specifications for the benefit of interested readers. In some cases, however, it also contains usage directives, such...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper, we study a cooperative network with one source-destination pair and a relay assisting their communication. All terminals have multiple antennas, which enables th...
FASE
2005
Springer
14 years 1 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...