Sciweavers

2501 search results - page 60 / 501
» Obligations and Their Interaction with Programs
Sort
View
UM
2009
Springer
14 years 3 months ago
Recognition of Users' Activities Using Constraint Satisfaction
Ideally designed software allow users to explore and pursue interleaving plans, making it challenging to automatically recognize user interactions. The recognition algorithms prese...
Swapna Reddy, Ya'akov Gal, Stuart M. Shieber
APSEC
1997
IEEE
14 years 1 months ago
A Test-case Generation Method for Concurrent Programs Including Task-types
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not ...
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
ACMIDC
2008
13 years 10 months ago
Tangible programming and informal science learning: making TUIs work for museums
In this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss fiv...
Michael S. Horn, Erin Treacy Solovey, Robert J. K....
ACSE
2000
ACM
14 years 1 months ago
The information environments program - a new design based IT degree
The University of Queensland has recently established a new design-focused, studio-based IT degree at a new “flexible-learning” campus. The Bachelor of Information Environment...
Michael Docherty, Peter Sutton, Margot Brereton, S...
TABLETOP
2008
IEEE
14 years 3 months ago
TurTan: A tangible programming language for creative exploration
This paper introduces TurTan, a tangible programming language for creative exploration inspired by Logo, which uses a tabletop interface with tangible objects. The aim of this pro...
Daniel Gallardo, Carles Fernandes Julià, Se...