1187 search results - page 188 / 238 » On Modeling Cross-Talk Faults |
173
click to vote
HICSS
2005
IEEE
15 years 11 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...
199
click to vote
PRDC
2005
IEEE
15 years 11 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...
181
click to vote
DSVIS
2005
Springer
15 years 11 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...
150
click to vote
PPAM
2005
Springer
15 years 11 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...
165
click to vote
ICWE
2004
Springer
15 years 11 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 ...