William H Sanders

Interim Director, Discovery Partners Institute

1985 …2019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1985 2019

Filter
Conference contribution
1985

STOCHASTIC ACTIVITY NETWORKS: STRUCTURE, BEHAVIOR, AND APPLICATION.

Meyer, J. F., Movaghar, A. & Sanders, W. H., Dec 1 1985, Unknown Host Publication Title. IEEE, p. 106-115 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Markov processes
Fault tolerance
Petri nets
1986

METASAN: A PERFORMABILITY EVALUATION TOOL BASED ON STOCHASTIC ACTIVITY NETWORKS.

Sanders, W. H. & Meyer, J. F., Dec 1 1986, Unknown Host Publication Title. Stone, H. S. (ed.). IEEE, p. 807-816 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault tolerance
Petri nets
Software packages
User interfaces
1987

PERFORMABILITY EVALUATION OF DISTRIBUTED SYSTEMS USING STOCHASTIC ACTIVITY NETWORKS.

Sanders, W. H. & Meyer, J. F., Jan 1 1987, Unknown Host Publication Title. IEEE, p. 111-120 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1989

Performability of a token bus network under transient fault conditions

Meyer, J. F., Muralidhar, K. H. & Sanders, W. H., Dec 1 1989, Digest of Papers - FTCS (Fault-Tolerant Computing Symposium). Anon (ed.). Publ by IEEE, p. 175-182 8 p. (Digest of Papers - FTCS (Fault-Tolerant Computing Symposium)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Network protocols
Computer networks
Local area networks
Industrial plants

Reduced base model construction methods for stochastic activity networks

Sanders, W. H. & Meyer, J. F., Dec 1 1989, Proc Third Int Workshop Petri Nets Perform Models PNPM89. Anon (ed.). Publ by IEEE, p. 74-84 11 p. (Proc Third Int Workshop Petri Nets Perform Models PNPM89).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer architecture
Random processes
Telecommunication networks
Amplification
Large scale systems
1990

Evaluation of a picture archiving and communication system with combined voice and data traffic

Alsafadi, Y., Sanders, W. H. & Martinez, R., 1990, Proceedings of SPIE - The International Society for Optical Engineering. Dwyer, S. J. III. & Jost, R. G. (eds.). Publ by Int Soc for Optical Engineering, Vol. 1234 pt 2. p. 484-494 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Picture archiving and communication systems
network control
traffic
telecommunication
evaluation

Performance evaluation of a picture archiving and communication system using stochastic activity networks

Martinez, R., Sanders, W. H., Alsafadi, Y., Nam, J., Ozeki, T. & Komatsu, K., Dec 1 1990, Proceedings of SPIE - The International Society for Optical Engineering. Dwyer, S. J. III. & Jost, R. G. (eds.). Publ by Int Soc for Optical Engineering, p. 167-178 12 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 1234 pt 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Picture archiving and communication systems
telecommunication
evaluation
commands
Supervisory personnel
1991

Definition and evaluation of the data-link layer of PACnet

Alsafadi, Y. H., Martinez, R. & Sanders, W. H., 1991, Proceedings of SPIE - The International Society for Optical Engineering. Publ by Int Soc for Optical Engineering, Vol. 1446. p. 129-140 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

data links
Interfaces (computer)
Network protocols
Picture archiving and communication systems
evaluation

Performability evaluation of CSMA/CD and CSMA/DCR protocols under transient fault conditions

Prodromides, K. H. & Sanders, W. H., Oct 1 1991, Proceedings - Symposium on Reliability in Distributed Software and Database Systems. Publ by IEEE, p. 166-176 11 p. (Proceedings - Symposium on Reliability in Distributed Software and Database Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Carrier sense multiple access
Network protocols

Performability modeling with UltraSAN

Couvillion, J., Freire, R., Johnson, R., Obal, W. D., Qureshi, M. A., Rai, M., Sanders, W. H. & Tvedt, J. E., Jan 1 1991, Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991. Institute of Electrical and Electronics Engineers Inc., p. 290-299 10 p. 238791. (Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Performability
Petri nets
Stochastic Petri Nets
User Model
Dependability
1992

A modular method for evaluating the performance of picture archiving and communication systems

Kudrimoti, A. S. & Sanders, W. H., Jan 1 1992, Computer-Based Medical Systems - Proceedings of the 5th Annual IEEE Symposium, CBMS 1992. Institute of Electrical and Electronics Engineers Inc., p. 44-53 10 p. 244964. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 1992-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Radiology Information Systems
Picture archiving and communication systems
Hospital beds
Reaction Time
Software
1993

A model-based foundation for evaluating large scale telecommunications systems

Obal, W. D. & Sanders, W. H., Jan 1 1993, Proceedings of Phoenix Conference on Computers and Communications, PCCC 1993. Institute of Electrical and Electronics Engineers Inc., p. 367-369 3 p. 344502. (Proceedings of Phoenix Conference on Computers and Communications, PCCC 1993).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Importance sampling
Telecommunication systems

Dependability evaluation using UltraSAN

Sanders, W. H. & Obal, W. D., Dec 1 1993, Digest of Papers - International Symposium on Fault-Tolerant Computing. Anon (ed.). Publ by IEEE, p. 674-679 6 p. (Digest of Papers - International Symposium on Fault-Tolerant Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Random processes
Demonstrations
Fault tolerant computer systems
Numerical methods
Decomposition
1995

Modeling recycle: a case study in the industrial use of measurement and modeling

Malhis, L. M., West, S. C., Kant, L. A. & Sanders, W. H., 1995, Proceedings - International Computer Performance and Dependability Symposium. p. 285-294 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tapes
Data storage equipment
Magnetic tape
Data transfer

Performance analysis of the raid 5 disk array

Kuratti, A. & Sanders, W. H., 1995, Proceedings - International Computer Performance and Dependability Symposium. p. 236-245 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault tolerance
Analytical models
Data storage equipment
Processing

The effect of workload on the performance and availability of voting algorithms

Qureshi, M. A. & Sanders, W. H., Jan 1 1995, Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 1995. IEEE Computer Society, p. 217-224 8 p. 378684. (Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Voting
Workload
Availability
Servers
Server
1996

Expected impulse rewards in Markov regenerative stochastic Petri nets

German, R., Vanmoorsel, A. P. A., Qureshi, M. A. & Sanders, W. H., Jan 1 1996, Application and Theory of Petri Nets 1996 - 17th International Conference, Proceedings. Reisig, W. & Billington, J. (eds.). Springer-Verlag, p. 172-191 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1091).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Stochastic Petri Nets
Petri nets
Reward
Impulse
Supplementary Variable

Overview of UltraSAN

Obal, W. D., Qureshi, M. A., Deavours, D. D. & Sanders, W. H., 1996, Proceedings -IEEE International Computer Performance and Dependability Symposium, IPDS. IEEE, p. 63 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Report generators
Petri nets
Software packages
User interfaces
1997

An efficient disk-based tool for solving very large markov models

Deavours, D. D. & Sanders, W. H., Jan 1 1997, Computer Performance Evaluation: Modelling Techniques and Tools - 9th International Conference, 1997, Proceedings. Marie, R., Plateau, B., Rubino, G. & Calzarossa, M. (eds.). Springer-Verlag, p. 58-71 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1245).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Markov Model
Gauss-Seidel
Computer Modeling
Iterative Solution
State Transition
1999

An efficient well-specified check

Deavours, D. D. & Sanders, W. H., Jan 1 1999, Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999. Institute of Electrical and Electronics Engineers Inc., p. 124-133 10 p. 796559. (Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Unstable
Directly proportional
Generalized Stochastic Petri Net
Petri nets
Reward

Building dependable distributed applications using AQUA

Ren, J., Cukier, M., Rubel, P., Sanders, W. H., Bakken, D. E. & Karr, D. A., Jan 1 1999, Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999. Institute of Electrical and Electronics Engineers Inc., p. 189-196 8 p. 809494. (Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault tolerance
Common object request broker architecture (CORBA)
Monitoring
Costs

Fault injection based on a partial view of the global state of a distributed system

Cukier, M., Chandra, R., Henke, D., Pistole, J. & Sanders, W. H., Dec 1 1999, Proceedings of the IEEE Symposium on Reliable Distributed Systems. IEEE, p. 168-177 10 p. (Proceedings of the IEEE Symposium on Reliable Distributed Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Clocks
Synchronization

Integrated frameworks for multi-level and multi-formalism modeling

Sanders, W. H., Jan 1 1999, Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999. Institute of Electrical and Electronics Engineers Inc., p. 2-9 8 p. 796527. (Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Dependability
Computer networks
Computer systems
Modeling
Evaluation

Proteus: A flexible infrastructure to implement adaptive fault tolerance in AQuA

Sabnis, C., Cukier, M., Ren, J., Rubel, P., Sanders, W. H., Bakken, D. E. & Karr, D. A., Jan 1 1999, Dependable Computing for Critical Applications 7. Rushby, J. & Weinstock, C. B. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 149-168 20 p. 814294. (Dependable Computing for Critical Applications 7).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault tolerance
Common object request broker architecture (CORBA)
Managers
Costs
2000

GSU middleware architecture design

Tso, K. S., Tai, A. T., Alkalai, L., Chau, S. N. & Sanders, W. H., Jan 1 2000, Proceedings - 5th IEEE International Symposium on High Assurance Systems Engineering, HASE 2000. IEEE Computer Society, p. 212-215 4 p. 895464. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; vol. 2000-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault tolerance
Middleware
Dynamic random access storage
Microcontrollers
Redundancy

Loki: A state-driven fault injector for distributed systems

Chandra, R., Lefever, R. M., Cukier, M. & Sanders, W. H., Dec 1 2000, Proceedings of the 2002 International Conference on Dependable Systems and Networks. p. 237-242 6 p. (Proceedings of the 2002 International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Graphical user interfaces
User interfaces
Clocks
Synchronization
Experiments

Möbius: An extensible tool for performance and dependability modeling

Daly, D., Deavours, D. D., Doyle, J. M., Webster, P. G. & Sanders, W. H., Jan 1 2000, Computer Performance Evaluation: Modelling Techniques and Tools - 11th International Conference, TOOLS 2000, Proceedings. Haverkort, B. R., Bohnenkamp, H. C. & Smith, C. U. (eds.). Springer-Verlag, p. 332-336 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1786).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Möbius
Dependability
Modeling

On low-cost error containment and recovery methods for guarded software upgrading

Tai, A. T., Tso, K. S., Alkalai, L., Chau, S. N. & Sanders, W. H., 2000, Proceedings - International Conference on Distributed Computing Systems. IEEE, p. 548-555 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Recovery
Costs
Message passing
Fault tolerance
Redundancy
2001

A dynamic replica selection algorithm for tolerating timing faults

Krishnamurthy, S., Sanders, W. H. & Cukier, M., Dec 1 2001, Proceedings of the International Conference on Dependable Systems and Networks. Young, D. C. & Young, D. C. (eds.). p. 107-116 10 p. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Servers
Common object request broker architecture (CORBA)
Fault tolerance
Middleware
Set theory

Implementing a stochastic process algebra within the möbius modeling framework

Clark, G. & Sanders, W. H., Jan 1 2001, Process Algebra and Probabilistic Methods: Performance Modelling and Verification - Joint International Workshop, PAPM-PROBMIV 2001, Proceedings. Springer Verlag, Vol. 2165. p. 200-215 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2165).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Stochastic Process Algebra
Random processes
Algebra
Dependability
Modeling

Stochastic activity networks: Formal definitions and concepts

Sanders, W. H. & Meyer, J. F., Jan 1 2001, Lectures on Formal Methods andPerformance Analysis - 1st EEF/Euro Summer School on Trends in Computer Science, Revised Lectures. Brinksma, E., Hermanns, H. & Katoen, J-P. (eds.). Springer-Verlag, p. 315-343 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2090).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Performability
Möbius
Dependability
Modeling
Evaluate

Synergistic coordination between software and hardware fault tolerance techniques

Tai, A. T., Tso, K. S., Alkalai, L., Chau, S. N. & Sanders, W. H., Dec 1 2001, Proceedings of the International Conference on Dependable Systems and Networks. Young, D. C. & Young, D. C. (eds.). p. 369-378 10 p. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault tolerance
Hardware
Network protocols
Distributed computer systems
Software design
2002

An adaptive framework for tunable consistency and timeliness using replication

Krishnamurthy, S., Sanders, W. H. & Cukier, M., Dec 1 2002, Proceedings of the 2002 International Conference on Dependable Systems and Networks. p. 17-26 10 p. (Proceedings of the 2002 International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quality of service
Specifications
Monitoring

Experimental evaluation of the unavailability induced by a group membership protocol

Joshi, K. R., Cukier, M. & Sanders, W. H., Jan 1 2002, Dependable Computing - EDCC-4 - 4th European Dependable Computing Conference, Proceedings. Bondavalli, A. & Thevenod-Fosse, P. (eds.). Springer-Verlag, p. 140-158 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2485).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Experimental Evaluation
Communication systems
Group Communication
Communication
Costs

Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system

Ramasamy, H. V., Cukier, M. & Sanders, W. H., Jan 1 2002, Proceedings - 2002 Pacific Rim International Symposium on Dependable Computing, PRDC 2002. IEEE Computer Society, p. 9-18 10 p. 1185613. (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC; vol. 2002-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Communication systems
Network protocols
Formal verification
Formal specification

Modeling of service-level agreements for composed services

Daly, D., Kar, G. & Sanders, W. H., Jan 1 2002, Management Technologies for E-Commerce and E-Business Applications - 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, Proceedings. Feridun, M., Babin, G. & Kropf, P. (eds.). Springer-Verlag, p. 4-5 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2506).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Service Level Agreement
Web services
Processing
Modeling
Transaction Processing

Overview: An integrated framework for performance engineering and resource-aware compilation

Sanders, W. H., Polychronopoulos, C., Huang, T., Courtney, T., Daly, D., Deavours, D. & Derisavi, S., Jan 1 2002, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002. Institute of Electrical and Electronics Engineers Inc., 1 p. 1016574. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Compilation
Engineering
Resources
Distributed Applications
Communication Systems

Passive replication schemes in AQuA

Ren, Y. J., Rubel, P., Seri, M., Cukier, M., Sanders, W. H. & Courtney, T., Jan 1 2002, Proceedings - 2002 Pacific Rim International Symposium on Dependable Computing, PRDC 2002. IEEE Computer Society, p. 125-130 6 p. 1185628. (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC; vol. 2002-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Scalability
Fault tolerance
Quality of service

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

Tai, A. T., Sanders, W. H., Alkalai, L., Chau, S. N. & Tso, K. S., Dec 1 2002, Proceedings of the 2002 International Conference on Dependable Systems and Networks. p. 561-570 10 p. (Proceedings of the 2002 International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Degradation
Composite materials

Performance evaluation of a probabilistic replica selection algorithm

Krishnamurthy, S., Sanders, W. H. & Cukier, M., Jan 1 2002, Proceedings of the 7th International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2002. Institute of Electrical and Electronics Engineers Inc., p. 119-127 9 p. 1000044. (Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS; vol. 2002-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Middleware
Quality of service
Servers
Experiments
Statistical Models

Performance evaluation of a QoS-aware framework for providing tunable consistency and timeliness

Krishnamurthy, S., Sanders, W. H. & Cukier, M., Jan 1 2002, 2002 10th IEEE International Workshop on Quality of Service, IWQos 2002. Institute of Electrical and Electronics Engineers Inc., p. 214-223 10 p. 1006589. (IEEE International Workshop on Quality of Service, IWQoS; vol. 2002-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quality of service

Quantifying the cost of providing intrusion tolerance in group communication systems

Ramasamy, H. G. V., Pandey, P., Lyons, J., Cukier, M. & Sanders, W. H., Dec 1 2002, Proceedings of the 2002 International Conference on Dependable Systems and Networks. p. 229-238 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Communication systems
Costs

The möbius state-level abstract functional interface

Derisavi, S., Kemper, P., Sanders, W. H. & Courtney, T., Dec 1 2002, Computer Performance Evaluation: Modelling Techniques and Tools - 12th International Conference, TOOLS 2002, Proceedings. p. 31-50 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2324 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

State-space Representation
Labeled Transition System
Sparse matrix
Jacobi
Uniformization
2003

An experimental evaluation of correlated network partitions in the coda distributed file system

Lefever, R. M., Cukier, M. & Sanders, W. H., Dec 1 2003, Proceedings - 22nd International Symposium on Reliable Distributed Systems, SRDS 2003. p. 273-282 10 p. (Proceedings of the IEEE Symposium on Reliable Distributed Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Distributed File System
Experimental Evaluation
Servers
Partition
Repair

Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system

Ramasamy, H. G. V., Cukier, M. & Sanders, W. H., Jan 1 2003, Foundations of Intrusion Tolerant Systems, OASIS 2003. Lala, J. H. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 251-260 10 p. 1264937. (Foundations of Intrusion Tolerant Systems, OASIS 2003).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Communication systems
Network protocols
Formal verification
Formal specification

Quantifying the cost of providing intrusion tolerance in group communication systems

Ramasamy, H. G. V., Pandey, P., Lyons, J., Cukier, M. & Sanders, W. H., Jan 1 2003, Foundations of Intrusion Tolerant Systems, OASIS 2003. Lala, J. H. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 241-250 10 p. 1264936. (Foundations of Intrusion Tolerant Systems, OASIS 2003).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Communication systems
Costs

Survival by defense-enabling

Pal, P., Webber, F., Schantz, R., Loyall, J., Watro, R., Sanders, W., Cukier, M. & Gossett, J., Jan 1 2003, Foundations of Intrusion Tolerant Systems, OASIS 2003. Lala, J. H. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 261-269 9 p. 1264938. (Foundations of Intrusion Tolerant Systems, OASIS 2003).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2004

Approximate computation of transient results for large Markov chains

Buchholz, P. & Sanders, W. H., Dec 1 2004, Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004. p. 126-135 10 p. (Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Markov processes
Transient analysis

A structured path-based approach for computing transient rewards of large CTMCs

Lam, V. V., Buchholz, P. & Sanders, W. H., Dec 1 2004, Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004. p. 136-145 10 p. (Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Markov processes
Information services
Availability

Distributed snapshots for mobile computing systems

Agbaria, A. & Sanders, W. H., Jun 15 2004, Proceedings - Second IEEE Annual Conference on Pervasive Computing and Communications, PerCom 2004. p. 177-186 10 p. (Proceedings - Second IEEE Annual Conference on Pervasive Computing and Communications, PerCom).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mobile computing