University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 541–570 of 34,156 items
Thumbnail for Machine assisted browsing for the naive user
Machine assisted browsing for the naive user
Fox, Mark S.; Palay, Andrew J.

Thumbnail for Variant Narrowing and Equational Unification
Variant Narrowing and Equational Unification
Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for A Catalog of Security-oriented Program Transformations
A Catalog of Security-oriented Program Transformations
Hafiz, Munawar; Adamczyk, Paul; Johnson, Ralph

Thumbnail for Role-Based Access Control in a Mobile Environment
Role-Based Access Control in a Mobile Environment
Compagnoni, Adriana; Gunter, Elsa L.; Bidinger, Philippe

Thumbnail for ReBA: Refactoring-aware Binary Adaption of Evolving Libraries
ReBA: Refactoring-aware Binary Adaption of Evolving Libraries
Dig, Danny; Negara, Stas; Johnson, Ralph; Mohindra, Vibhu

Thumbnail for RankSQL: Query Algebra and Optimization for Relational Top-k Queries
RankSQL: Query Algebra and Optimization for Relational Top-k Queries
Li, Chengkai; Chang, Kevin Chen-Chuan; Ilyas, Ihab F.; Song, Sumin

Thumbnail for Efficient Monitoring of Parametric Context Free Patterns
Efficient Monitoring of Parametric Context Free Patterns
Meredith, Patrick O'Neil; Jin, Dongyun; Chen, Feng; Rosu, Grigore

Thumbnail for Term-Generic First-Order Logic
Term-Generic First-Order Logic
Papescu, Andrei; Rosu, Grigore

Thumbnail for Data Obfuscation for Privacy-Enhanced Collaborative Filtering
Data Obfuscation for Privacy-Enhanced Collaborative Filtering
Berkovsky, Shlomo; Eytani, Yaniv; Kuflik, Tsvi; Ricci, Francesco

Thumbnail for Effectively Checking or Disproving the Finite Variant Property
Effectively Checking or Disproving the Finite Variant Property
Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Efficient Audit-based Compliance for Relational Data Retention
Efficient Audit-based Compliance for Relational Data Retention
Hasan, Ragib; Winslett, Marianne; Mitra, Soumyadeb

Thumbnail for A Rewriting Logic Approach to Type Inference
A Rewriting Logic Approach to Type Inference
Ellison, Chucky M.; Serbanuta, Traian Florin; Rosu, Grigore