Sciweavers

5643 search results - page 871 / 1129
» Retrieval Evaluation in Practice
Sort
View
CP
2009
Springer
16 years 8 months ago
Constraint-Based Optimal Testing Using DNNF Graphs
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
Anika Schumann, Martin Sachenbacher, Jinbo Huang
ESORICS
2009
Springer
16 years 8 months ago
Authentic Time-Stamps for Archival Storage
Abstract. We study the problem of authenticating the content and creation time of documents generated by an organization and retained in archival storage. Recent regulations (e.g.,...
Alina Oprea, Kevin D. Bowers
SIGCSE
2009
ACM
179views Education» more  SIGCSE 2009»
16 years 8 months ago
Methods, metrics and motivation for a green computer science program
Computer science educators are uniquely positioned to promote greater awareness of Green Computing, using the academic setting to encourage environmentally conscious use of techno...
Mujtaba Talebi, Thomas Way
SIGCSE
2009
ACM
169views Education» more  SIGCSE 2009»
16 years 8 months ago
The impact of instructor initiative on student learning: a tutoring study
In the quest to find instructional approaches that benefit student learning, engagement, and retention, evidence suggests providing students with hands-on practice is a worthwhile...
Kristy Elizabeth Boyer, Robert Phillips, Michael D...
COORDINATION
2009
Springer
16 years 8 months ago
Mobility Models and Behavioural Equivalence for Wireless Networks
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
Jens Chr. Godskesen, Sebastian Nanz