Project Tags: Systems, Networks and Cloud Computing

Formal reasoning about languages for distributed computation

Foundational research in programming language semantics has given us the ability to design languages for sequential programming with strong theoretical properties, which translate into run-time assurance for programs written in…

Cameranets: Coverage, networking and storage problems in wireless multimedia sensor networks

Wireless multimedia sensor networks are networks of multimedia sensors (e.g., web cameras) that are interconnected and collaboratively work on monitoring an area of interest. They have wide range of applications…

Designing new income generation options using delay tolerant networks: A partnership with Reach Out to Asia (ROTA)

The proposed research extends the state-of-the-art in the fields of “applications of Delay/Disruption Tolerant Network technology” and “information communication technology for development” by exploring computing and network technology solutions to…

I-gest – multi-point low-cost gesture-based input platform

Traditional input devices limit mobility, accessibility and interactivity. These devices are also unintuitive, require experience, and limit the potential user-base [1]. In fact, for decades, human-computer interaction has largely remained…