Sciweavers

6318 search results - page 1054 / 1264
» Data Leakage Detection
Sort
View
PERCOM
2003
ACM
16 years 6 months ago
Self-Adaptive Leasing for Jini
Distributed systems require strategies to detect and recover from failures. Many protocols for distributed systems employ a strategy based on leases, which grant a leaseholder acc...
Kevin Bowers, Kevin Mills, Scott Rose
MOBISYS
2003
ACM
16 years 6 months ago
Reservations for Conflict Avoidance in a Mobile Database System
Mobile computing characteristics demand data management systems to support independent operation. However, the execution of updates in a mobile client usually need to be considere...
Nuno M. Preguiça, José Legatheaux Ma...
MICCAI
2009
Springer
16 years 3 months ago
Multivariate Tensor-Based Brain Anatomical Surface Morphometry via Holomorphic One-Forms
Abstract. Here we introduce multivariate tensor-based surface morphometry using holomorphic one-forms to study brain anatomy. We computed new statistics from the Riemannian metric ...
Yalin Wang, Tony F. Chan, Arthur W. Toga, Paul M. ...
EUROGRAPHICS
2010
Eurographics
16 years 3 months ago
Uncertain 2D Vector Field Topology
We introduce an approach to visualize stationary 2D vector fields with global uncertainty obtained by considering the transport of local uncertainty in the flow. For this, we ex...
Mathias Otto, Tobias Germer, Hans-Christian Hege, ...
PEPM
2009
ACM
16 years 3 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
« Prev « First page 1054 / 1264 Last » Next »