1187 search results - page 188 / 238 » On Modeling Cross-Talk Faults |
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
PRDC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
DSVIS
2005
Springer
14 years 2 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
PPAM
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving predi...
ICWE
2004
Springer
14 years 2 months ago
2004
Springer
Lookup of services is an important issues in many distributed systems. This paper deals with lookup in service-oriented architectures, such as Web services, P2P systems, GRIDs, or ...