Sciweavers

67 search results - page 5 / 14
» Student progress monitoring tool using treeview
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
13 years 7 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
CSREASAM
2006
13 years 8 months ago
User Interface Design of the Interactive Fingerprint Recognition (INFIR) System
- INFIR (Interactive Fingerprint Recognition) is an interactive fingerprint recognition and visualization tool. The tool is designed to cope with the problems related to automated ...
Sara Nasser, Sergiu Dascalu, Gregory Vert
ENTCS
2006
115views more  ENTCS 2006»
13 years 7 months ago
Analyzing the Uses of a Software Modeling Tool
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz...
RTAS
1997
IEEE
13 years 11 months ago
Efficient Run-Time Monitoring of Timing Constraints
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...
Aloysius K. Mok, Guangtian Liu
ECSCW
1993
13 years 8 months ago
Sharing To-Do Lists with a Distributed Task Manager
: We describe a simple and powerful tool for the management of distributed work: the Task Manager. Common tasks may be shared and manipulated independently by a number of people. T...
Thomas Kreifelts, Elke Hinrichs, Gerd Woetzel