Sciweavers

4922 search results - page 310 / 985
» Internet time out
Sort
View
GC
2004
Springer
15 years 11 months ago
Towards a Formal Treatment of Secrecy Against Computational Adversaries
Polynomial time adversaries based on a computational view of cryptography have additional capabilities that the classical Dolev-Yao adversary model does not include. To relate thes...
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
MHCI
2004
Springer
15 years 11 months ago
Mobile Support for Team-Based Field Surveys
This paper describes a study of the use of multimedia networked location-aware mobile computers to support team-based survey-oriented fieldwork. Existing systems do not provide ful...
Malcolm Hall, Philip D. Gray
HICSS
2003
IEEE
107views Biometrics» more  HICSS 2003»
15 years 11 months ago
Leveraging Mobile Technology for m-Learning: 3rd Generation Threaded Discussions
Emerging mobile technologies hold great promise for educational institutions seeking to extend the learning experience to an increasingly nomadic and timechallenged student commun...
Timothy R. Hill
WORDS
2003
IEEE
15 years 11 months ago
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
Jan Gustafsson, Björn Lisper, Christer Sandbe...
CIKM
2003
Springer
15 years 11 months ago
Time-based language models
We explore the relationship between time and relevance using TREC ad-hoc queries. A type of query is identified that favors very recent documents. We propose a time-based language...
Xiaoyan Li, W. Bruce Croft