Sciweavers

2250 search results - page 340 / 450
» Interactive Explanation of Software Systems
Sort
View
ACSE
1998
ACM
15 years 8 months ago
Extending HCI in the computer science curriculum
This paper discusses the teaching of Human-Computer Interaction (HCI) at opposite ends of the Computer Science course curriculum. We provide tips on course content within final-y...
Andy Cockburn, Tim Bell
ESEC
1997
Springer
15 years 8 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
CASES
2004
ACM
15 years 8 months ago
Translating affine nested-loop programs to process networks
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere
AVI
2010
15 years 5 months ago
3D attentional maps: aggregated gaze visualizations in three-dimensional virtual environments
Gaze visualizations hold the potential to facilitate usability studies of interactive systems. However, visual gaze analysis in threedimensional virtual environments still lacks m...
Sophie Stellmach, Lennart Nacke, Raimund Dachselt
ATAL
2010
Springer
15 years 5 months ago
MAS-DisCoSim 4 PDP: a testbed for multi-agent solutions to PDPs
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
Jelle Van Gompel, Bart Tuts, Rutger Claes, Mario C...