Sciweavers

4099 search results - page 480 / 820
» A Framework for Interactive Proof
Sort
View
CHI
1997
ACM
15 years 11 months ago
Developing Collaborative Applications Using the World Wide Web "Shell"
The components of the World Wide Web, which we call the World Wide Web Shell, provide a framework for collaborative application development in much the same way as an expert syste...
Alison Lee, Andreas Girgensohn
CHI
1993
ACM
15 years 10 months ago
ADEPT: Advanced Design Environment for Prototyping with Task Models
tasks to be performed. This Abstract Artifact Model is a description of the form of the artifact(s) without any nt to concrete implementation detail. The Abstract Artifact Model is...
Peter Johnson, Stephanie Wilson, Panos Markopoulos...
DPPI
2007
ACM
15 years 10 months ago
Shared moments: opportunities for mobile phones in religious participation
The near ubiquity of mobile phones in the world and in people's lives, have created new opportunities for reinterpretation of what these devices are and what they do. One area...
Rhiannon Sterling, John Zimmerman
CW
2004
IEEE
15 years 10 months ago
Creating Cyberworlds: Experiences in Computer Science Education
This article shows that the creation of cyberworlds (interactive virtual environments) can be an excellent educational tool covering a wide range of computer science and engineeri...
Mario Gutiérrez, Daniel Thalmann, Fré...
EWSA
2006
Springer
15 years 10 months ago
Eliminating Execution Overhead of Disabled Optional Features in Connectors
Connectors are used to realize component interactions in component systems. Apart from their primary function, which is mediating the communication, their implementation can also s...
Lubomír Bulej, Tomás Bures