786 search results - page 52 / 158 » A Software System for Secure Computer Aided Exams |
196
click to vote
COLING
2010
15 years 29 days ago
2010
The system presented is a web application designed to aid linguistic research with data collection and online publishing. It is a service mainly for linguists and language experts...
168
click to vote
CISC
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. The Trusted Computing Group (TCG) defines the specifications for the Trusted Platform Module (TPM) and corresponding trust mechanisms that allow a TPM-enabled platform ...
146
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
277
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
157
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Lightweight genome viewer (lwgv) is a web-based tool for visualization of sequence annotations in their chromosomal context. It performs most of the functions of large...