A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements

Rocha, Camilo; Meseguer, José
University of Illinois Urbana-Champaign

iPDA: An Integrity-Protecting Private Data Aggregation Scheme for Wireless Sensor Networks

He, Wenbo; Nguyen, Hoang; Liu, Xue; Nahrstedt, Klara; Abdelzaher, Tarek F.
University of Illinois Urbana-Champaign

Non-compliant and Proud: A Case Study of HTTP Compliance

Adamczyk, Paul; Hafiz, Munawar; Johnson, Ralph E.
University of Illinois Urbana-Champaign

Numerical Method for Darcy Flow Derived Using Discrete Exterior Calculus

Hirani, Anil N.; Nakshatrala, K.B.; Chaudhry, J.H.
University of Illinois Urbana-Champaign

Barrier Coverage: Deploying Robot Guards to Prevent Intrusion

Kloder, Stephen
University of Illinois Urbana-Champaign

Principles of Instruction-Level Distributed Processing

Salverda, Pierre M.
University of Illinois Urbana-Champaign

Visualization of Social and other Scale-Free Networks

Jia, Yuntao; Hoberock, Jared; Garland, Michael; Hart, John C.
University of Illinois Urbana-Champaign

Predicting and Explaining Automatic Testing Tool Effectiveness

Daniel, Brett; Boshernitsan, Marat
University of Illinois Urbana-Champaign

A Trust Management Approach for Flexible Policy Management in Security-Typed Languages

Bandhakavi, Sruthi; Winsborough, William; Winslett, Marianne
University of Illinois Urbana-Champaign

iDSRT: Integrated Dynamic Soft Real-time Architecture for Critical Infrastructure Data Delivery over WLAN

Nguyen, Hoang; Rivas, Raoul; Nahrstedt, Klara
University of Illinois Urbana-Champaign

Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems

Caccamo, Marco
University of Illinois Urbana-Champaign

Universal Transfer Learning

Mahmud, M.M. Hassan
University of Illinois Urbana-Champaign

Domain Adaptation in Natural Language Processing

Jiang, Jing
University of Illinois Urbana-Champaign

Multiparty Trust Negotiation: A New Approach to Distributed Authorization

Zhang, Charles C.; Winslett, Marianne
University of Illinois Urbana-Champaign

Protecting SIP Proxy Servers from Ringing-based Denial-of-Service Attacks

Conner, William G.; Nahrstedt, Klara
University of Illinois Urbana-Champaign

Topic Detection and Tracking in Personal Search History

Gupta, Kamal Kant
University of Illinois Urbana-Champaign

Efficient Software Checking for Fault Tolerence

Yu, Jing
University of Illinois Urbana-Champaign

Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Sobeih, Ahmed A.
University of Illinois Urbana-Champaign

Enhancing Reliability in Storage-Centric Sensor Networks

Nayyeri, Amir; Abdelzaher, Tarek F.
University of Illinois Urbana-Champaign

An Interaction Framework for Managing Applications and Input in Multiple Display Environments

Biehl, Jacob T.
University of Illinois Urbana-Champaign

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.
University of Illinois Urbana-Champaign

Learning Models for Multi-Viewpoint Object Detection

Kushal, Akash M.
University of Illinois Urbana-Champaign

Alibi: A novel approach for detecting insider-based jamming attacks in wireless networks

Nguyen, Hoang; Pongthawornkamol, Thadpong; Nahrstedt, Klara
University of Illinois Urbana-Champaign

Querying Streaming XML Using Visibly Pushdown Automata

Clark, Robert
University of Illinois Urbana-Champaign

Parsing C/C++ Code without Preprocessing

Padioleau, Yoann
University of Illinois Urbana-Champaign

The Analysis of Online Communities using Interactive Content-based Social Networks

Gruzd, Anatoliy; Haythornthwaite, Caroline A.
University of Illinois Urbana-Champaign

Staging Static Analyses for Program Generation (Extended Version)

Aktemur, T. Baris; Kamin, Samuel; Katelman, Michael
University of Illinois Urbana-Champaign

iShare: Exploiting Opportunistic Ad hoc Connections for Improving Data Download of Cellular Users

Vu, Long; Rimac, Ivica; Hilt, Volker; Hofmann, Markus; Nahrstedt, Klara
University of Illinois Urbana-Champaign

Automated Discovery and Analysis of Social Networks from Threaded Discussions

Gruzd, Anatoliy; Haythornthwaite, Caroline A.
University of Illinois Urbana-Champaign

On the Expressiveness and Complexity of Randomization in Finite State Monitors

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh
University of Illinois Urbana-Champaign