University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 481–510 of 34,156 items
Thumbnail for Sensor Placement Revisited in a Realistic Environment
Sensor Placement Revisited in a Realistic Environment
Yang, Yong; Hou, I-Hong; Hou, Jennifer C.; Shankar, Millikarjun; Rao, Nageswara S.

Thumbnail for Quality of Authentication in Ad Hoc Networks
Quality of Authentication in Ad Hoc Networks
Yi, Seung; Harris, Albert F., III; Kravets, Robin

Thumbnail for Congruences for Visibly Pushdown Languages
Congruences for Visibly Pushdown Languages
Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for On the Expressiveness and Complexity of Randomization in Finite State Monitors
On the Expressiveness and Complexity of Randomization in Finite State Monitors
Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for Scene Discovery by Matrix Factorization
Scene Discovery by Matrix Factorization
Loeff, Nicolas; Farhadi, Ali; Forsyth, David A.

Thumbnail for Learning to Verify Branching Time Properties
Learning to Verify Branching Time Properties
Vardhan, Abhay; Viswanathan, Mahesh

Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties
Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties
Sobeih, Ahmed A.; d'Amorim, Marcelo; Viswanathan, Mahesh; Marinov, Darko; Hou, Jennifer C.