The Human-Computer Interaction community has long been concerned with design. Terms such as ‘creativity’ and ‘innovation’ are frequently used when referring to the design ...
- The choice of programming language, the approach by which students are taught and the software tools made available to students have been controversial issues in many ways. While...
Robert M. Siegfried, David Chays, Katherine Herber...
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
Wireless network researchers are hungry for data about how real users, applications, and devices use real networks under real network conditions. CRAWDAD, the Community Resource f...
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...