Sciweavers

15379 search results - page 2899 / 3076
» Protecting users from
Sort
View
VSTTE
2010
Springer
15 years 1 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
FAST
2009
15 years 1 months ago
Causality-Based Versioning
Versioning file systems provide the ability to recover from a variety of failures, including file corruption, virus and worm infestations, and user mistakes. However, using versio...
Kiran-Kumar Muniswamy-Reddy, David A. Holland
166
Voted
ICEGOV
2009
ACM
15 years 1 months ago
A web-based performance monitoring system for e-government services
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
Simon Fong, Ho Si Meng
ICMCS
2010
IEEE
231views Multimedia» more  ICMCS 2010»
15 years 1 months ago
Event based news video people classification and ranking using multimodality features
Existing research on news video analysis mainly concentrates on structure analysis, semantic concept detection, annotation and search. However, little work has been contributed to...
Chunxi Liu, Qingming Huang, Shuqiang Jiang, Changs...
140
Voted
IJDET
2010
123views more  IJDET 2010»
15 years 1 months ago
An Adaptive Course Generation Framework
: Existing adaptive e-learning methods are supported by student (user) profiling for capturing student characteristics, and course structuring for organizing learning materials acc...
Frederick W. B. Li, Rynson W. H. Lau, Parthiban Dh...
« Prev « First page 2899 / 3076 Last » Next »