University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 91–120 of 5,335 items
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 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 Formal Specification of the Moebius Modeling Framework
Formal Specification of the Moebius Modeling Framework
Deavours, Daniel Duane

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

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 Simulation debugging and visualization in the Mobius modeling framework
Simulation debugging and visualization in the Mobius modeling framework
Buchanan, Craig

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

Thumbnail for The psychology of satire: Epicurean ethics in Horace's Sermones
The psychology of satire: Epicurean ethics in Horace's Sermones
Yona, Sergio

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 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 Improved Techniques for Parallel Discrete Event Simulation
Improved Techniques for Parallel Discrete Event Simulation
Kuratti, Anand

Thumbnail for Addressing challenges to quantitative security modeling
Addressing challenges to quantitative security modeling
Rausch, Michael J

Thumbnail for Honoring their voices: A refugee family, an early childhood education program, and the spaces in between - A case study through a Bourdieusian lens
Honoring their voices: A refugee family, an early childhood education program, and the spaces in between - A case study through a Bourdieusian lens
Olguin, Ana Aracelly

Thumbnail for On the Democritean concept of poetic inspiration
On the Democritean concept of poetic inspiration
Wash, Leon

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 Game-theoretic intrusion response and recovery
Game-theoretic intrusion response and recovery
Aliari Zonouz, Saman

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 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 A job server for parallel and concurrent execution of Möbius simulators
A job server for parallel and concurrent execution of Möbius simulators
Wright, Ronald

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

Thumbnail for An Adaptive Quality of Service Aware Middleware for Replicated Services
An Adaptive Quality of Service Aware Middleware for Replicated Services
Krishnamurthy, Sudha

Thumbnail for Bounded Aggregation Techniques to Solve Large Markov Models
Bounded Aggregation Techniques to Solve Large Markov Models
Daly, David M.

Thumbnail for Achieving network resiliency using sound theoretical and practical methods
Achieving network resiliency using sound theoretical and practical methods
Noureddine, Mohammad

Thumbnail for Self and body in Plato: Phaedo, Republic, Timaeus
Self and body in Plato: Phaedo, Republic, Timaeus
Karatzoglou, Orestis

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

Thumbnail for A response taxonomy and cost model for advanced metering infrastructures
A response taxonomy and cost model for advanced metering infrastructures
Fawaz, Ahmed

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

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

Thumbnail for Information-fusion-based methods to improve the detection of advanced cyber threats
Information-fusion-based methods to improve the detection of advanced cyber threats
Bohara, Atul