IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Cart (Loading....) | Create Account | Sign In

Author Search^beta | Advanced Search | Preferences | | More Search Options

Browse Conference Publications > Dependable Systems and Network ...

Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on

| Create Account

IEEE Account

Change Username/Password
Update Address

Purchase Details

Payment Options
Order History
Access Purchased Documents

Profile Information

Communications Preferences
Profession and Education
Technical Interests

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options

Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on

Date 23-26 June 2002

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

Title History

Proceedings International Conference on Dependable Systems and Networks

DCC Author Index

IPDS Author Index

Model checking safety properties of servo-loop control systems

Measuring end-user availability on the Web: practical experience

Small byzantine quorum systems

Coordination of mobile processes with mobile groups

SREPT: a tool for Software Reliability Estimation and Prediction

PhFit: a general phase-type fitting tool

Formal development of an embedded verifier for Java Card byte code

Track-based disk logging

Validation and evaluation of a software solution for fault tolerant distributed synchronization

Performability analysis of guarded-operation duration: a successive model-translation approach

Recovery and performance balance of a COTS DBMS in the presence of operator faults

NFTAPE: networked fault tolerance and performance evaluator

Reducing recovery time in a small recursively restartable system

MAFALDA-RT: a tool for dependability assessment of real-time systems

Resource management policies in GPRS wireless internet access systems

Detecting processor hardware faults by means of automatically generated virtual duplex systems

Libsafe: transparent system-wide protection against buffer overflow attacks

Evaluating the impact of different document types on the performance of web cache replacement schemes

SMART: stochastic model-checking analyzer for reliability and timing

SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator

Analysis of failure and recovery rates in a wireless telecommunications system

Model checking performability properties

IEEE Account

Purchase Details

Profile Information

Need Help?