University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 3,532 items
Thumbnail for Simultaneous Simulation of Alternative Configurations of Markovian System Models
Simultaneous Simulation of Alternative Configurations of Markovian System Models
Gaonkar, Shravan; Sanders, William H.

Thumbnail for Dependency-Based Decomposition of Systems Involving Rare Events
Dependency-Based Decomposition of Systems Involving Rare Events
Rozier, Eric W.D.; Sanders, William H.

Thumbnail for An Approach for Bounding Reward Measures in Markov Models Using Aggregation
An Approach for Bounding Reward Measures in Markov Models Using Aggregation
Daly, David M.; Buchholz, Peter; Sanders, William H.

Thumbnail for Extended Abstracts: PMCCS3: Third International Workshop on Performability Modeling of Computer and Communication Systems
Extended Abstracts: PMCCS3: Third International Workshop on Performability Modeling of Computer and Communication Systems
Balakrishnan, Meera; Meyer, John F.; Sanders, William H.

Thumbnail for Semi-Passive Replication in the Presence of Byzantine Faults
Semi-Passive Replication in the Presence of Byzantine Faults
Ramasamy, HariGovind V.; Agbaria, Adnan; Sanders, William H.

Thumbnail for Scaling File Systems to Support Petascale Clusters: A Dependability Analysis to Support Informed Design Choices
Scaling File Systems to Support Petascale Clusters: A Dependability Analysis to Support Informed Design Choices
Gaonkar, Shravan; Rozier, Eric; Tong, Anthony; Sanders, William H.

Thumbnail for An Actor-Centric, Asset-Based Monitor Deployment Model for Cloud Computing
An Actor-Centric, Asset-Based Monitor Deployment Model for Cloud Computing
Thakore, Uttam; Weaver, Gabriel A.; Sanders, William H.

Thumbnail for Automatic Verification of Distributed and Layered Security Policy Implementations
Automatic Verification of Distributed and Layered Security Policy Implementations
Singh, Sankalp; Sanders, William H.; Nicol, David M.; Seri, Mouna

Thumbnail for IRMA via SDN: Intrusion Response and Monitoring Appliance via Software-Defined Networking
IRMA via SDN: Intrusion Response and Monitoring Appliance via Software-Defined Networking
Ujcich, Benjamin E.; Rausch, Michael J.; Nahrstedt, Klara; Sanders, William H.

Thumbnail for Stochastic Modeling of Intrusion-Tolerant Server Architectures for Dependability and Performance Evaluation
Stochastic Modeling of Intrusion-Tolerant Server Architectures for Dependability and Performance Evaluation
Gupta, Vishu; Lam, Vinh; Ramasamy, HariGovind V.; Sanders, William H.; Singh, Sankalp

Thumbnail for Mobile Learning Communities - Are We There Yet?
Mobile Learning Communities - Are We There Yet?
Nahrstedt, Klara; Campbell, Roy H.; Gupta, Indranil; Karahalios, Karrie G.; Kravets, Robin; Kamin, Sam; Sanders, William H.

Thumbnail for Link Gradients: Predicting the Impact of Network Latency on Multi-Tier Applications
Link Gradients: Predicting the Impact of Network Latency on Multi-Tier Applications
Chen, Shuyi; Joshi, Kaustubh R.; Hiltunen, Matti A.; Sanders, William H.; Schlichting, Richard D.

Thumbnail for Diverse partial memory replication
Diverse partial memory replication
Lefever, Ryan M.

Thumbnail for Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics
Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics
Gaonkar, Shravan

Thumbnail for A path-based framework for analyzing large markov models
A path-based framework for analyzing large markov models
Lam, Vinh V.

Thumbnail for Data-driven methods to improve resource utilization, fraud detection, and cyber-resilience in smart grids
Data-driven methods to improve resource utilization, fraud detection, and cyber-resilience in smart grids
Badrinath Krishna, Varun

Thumbnail for Formal Specification of the Moebius Modeling Framework
Formal Specification of the Moebius Modeling Framework
Deavours, Daniel Duane

Thumbnail for Modeling human decision points in complex systems
Modeling human decision points in complex systems
Eskins, Douglas

Thumbnail for Improved Techniques for Parallel Discrete Event Simulation
Improved Techniques for Parallel Discrete Event Simulation
Kuratti, Anand

Thumbnail for Simulation debugging and visualization in the Mobius modeling framework
Simulation debugging and visualization in the Mobius modeling framework
Buchanan, Craig

Thumbnail for AQuA: A Framework for Providing Adaptive Fault Tolerance to Distributed Applications
AQuA: A Framework for Providing Adaptive Fault Tolerance to Distributed Applications
Ren, Yansong

Thumbnail for Game-theoretic intrusion response and recovery
Game-theoretic intrusion response and recovery
Aliari Zonouz, Saman

Thumbnail for Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
Derisavi, Salem

Thumbnail for Stochastic -Model -Driven Adaptation and Recovery in Distributed Systems
Stochastic -Model -Driven Adaptation and Recovery in Distributed Systems
Joshi, Kaustubh Raghunandan

Thumbnail for Determining cost-effective intrusion detection approaches for an advanced metering infrastructure deployment using advise
Determining cost-effective intrusion detection approaches for an advanced metering infrastructure deployment using advise
Rausch, Michael J.

Thumbnail for A generalized adversary decision algorithm and analytic solution methods for advise models
A generalized adversary decision algorithm and analytic solution methods for advise models
Ford, Michael

Thumbnail for The cyber-physical topology language: definition and operations
The cyber-physical topology language: definition and operations
Cheh, Carmen

Thumbnail for Trusted and high assurance systems
Trusted and high assurance systems
Okhravi, Hamed

Thumbnail for Automatic verification of security policy implementations
Automatic verification of security policy implementations
Singh, Sankalp

Thumbnail for Deployment considerations for intrusion detection systems in advanced metering infrastructure
Deployment considerations for intrusion detection systems in advanced metering infrastructure
Grochocki, David