Sciweavers

4880 search results - page 642 / 976
» Manuals as Structured Programs
Sort
View
IUI
1997
ACM
15 years 11 months ago
Inductive Task Modeling for User Interface Customization
This paper describes ActionStreams, a system for inducing task models from observations of user activity. The model can represent several task structures: hierarchy, variable sequ...
David Maulsby
EUROMICRO
1996
IEEE
15 years 11 months ago
Software Monitoring and Debugging Using Compressed Signature Sequences
Signature based error detection techniques (e.g. the application of watchdog processors) can be easily extended to support software debugging. The run-time sequence of signatures ...
István Majzik
VLSID
1994
IEEE
124views VLSI» more  VLSID 1994»
15 years 11 months ago
ILP-Based Scheduling with Time and Resource Constraints in High Level Synthesis
In this paper, we present a formal analysis of the constraints of the scheduling problem, and evaluate the structure of the scheduling polytope described by those constraints. Pol...
Samit Chaudhuri, Robert A. Walker
BIRTHDAY
2006
Springer
15 years 10 months ago
Data Flow Analysis for CCS
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
Hanne Riis Nielson, Flemming Nielson
ACE
2004
152views Education» more  ACE 2004»
15 years 8 months ago
The Evaluation of Courses in Information Systems
This paper presents a process for evaluating an e-commerce course in order to determine whether the structure and design is appropriate for student learning. Evaluation is importa...
Kay C. Bryant