University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3211–3240 of 8,215 items
Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage   Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for Dynamic Response of Tuned Secondary Systems
Dynamic Response of Tuned Secondary Systems
Ruzicka, G.C.; Robinson, A.R.

Thumbnail for Computing tie strength
Computing tie strength
Gilbert, Eric E.