Sciweavers

511 search results - page 97 / 103
» Automatically Generating User Interfaces for Device Federati...
Sort
View
POPL
2003
ACM
14 years 8 months ago
From symptom to cause: localizing errors in counterexample traces
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
Thomas Ball, Mayur Naik, Sriram K. Rajamani
HT
2003
ACM
14 years 28 days ago
Publishing evolving metadocuments on the web
Metadocuments are documents that consist primarily of references to other documents, and elements within them. Our active browsing web visualization tool generates an evolving ser...
Andruid Kerne, Madhur Khandelwal, Vikram Sundaram
CHI
2010
ACM
13 years 8 months ago
Designing with mobile digital storytelling in rural Africa
We reflect on activities to design a mobile application to enable rural people in South Africa's Eastern Cape to record and share their stories, which have implications for `...
Nicola J. Bidwell, Thomas Reitmaier, Gary Marsden,...
WWW
2005
ACM
14 years 8 months ago
Using XForms to simplify Web programming
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
Richard Cardone, Danny Soroker, Alpana Tiwari
ISORC
2000
IEEE
14 years 2 days ago
Architecture, Design Methodology, and Component-Based Tools for a Real-Time Inspection System
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
John Albert Horst