786 search results - page 8 / 158 » A Software System for Secure Computer Aided Exams |
SEKE
1995
Springer
13 years 11 months ago
1995
Springer
This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused ...
ISWC
1998
IEEE
13 years 11 months ago
1998
IEEE
To date augmented realities are typically operated in only a small de ned area, in the order of a large room. This paper reports on our investigation into expanding augmented real...
SIGUCCS
2003
ACM
14 years 22 days ago
2003
ACM
After years of providing no-cost printing in its computing sites, the University of Delaware (UD) decided to move to a fee-based printing scheme for its student computing sites. T...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...