Sciweavers

753 search results - page 101 / 151
» Completing a (k - 1)-Assignment
Sort
View
SIGMOD
1994
ACM
91views Database» more  SIGMOD 1994»
15 years 1 months ago
Estimating Page Fetches for Index Scans with Finite LRU Buffers
We describe an algorithm for estimating the number of page fetches for a partial or complete scan of a B-tree index. The algorithm obtains estimates for the number of page fetches ...
Arun N. Swami, K. Bernhard Schiefer
SIGOPSE
1992
ACM
15 years 1 months ago
Names should mean what, not where
Abstract-- This paper describes the design and implementation1 of IRIS: an intentional resource indicator service. IRIS springs from the concept that end-users should not be bogged...
James O'Toole, David K. Gifford
CONCUR
2007
Springer
15 years 1 months ago
Checking Coverage for Infinite Collections of Timed Scenarios
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
S. Akshay, Madhavan Mukund, K. Narayan Kumar
ECRIME
2007
15 years 1 months ago
Examining the impact of website take-down on phishing
Banks and other organisations deal with fraudulent phishing websites by pressing hosting service providers to remove the sites from the Internet. Until they are removed, the fraud...
Tyler Moore, Richard Clayton
EMNETS
2007
15 years 1 months ago
Orient-2: a realtime wireless posture tracking system using local orientation estimation
A realtime posture tracking system has been developed using a network of compact wireless sensor devices worn by the user. Each device is a complete inertial/magnetic tracking uni...
A. D. Young, M. J. Ling, D. K. Arvind