Sciweavers

3951 search results - page 264 / 791
» Automatic amortized analysis
Sort
View
TAMODIA
2008
15 years 8 months ago
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
Mieke Massink, Diego Latella, Maurice H. ter Beek,...
FLAIRS
2006
15 years 8 months ago
Design, Implementation and Performance Analysis of Pervasive Surveillance Networks
Pervasive surveillance implies the continuous tracking of multiple targets as they move about the monitored region. The tasks to be performed by a surveillance system are expresse...
Amit Goradia, Zhiwei Cen, Clayton Haffner, Ning Xi...
FORTE
2003
15 years 8 months ago
A Lightweight Formal Analysis of a Multicast Key Management Scheme
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
Mana Taghdiri, Daniel Jackson
WSCG
2004
163views more  WSCG 2004»
15 years 8 months ago
Fairing of Polygon Meshes Via Bayesian Discriminant Analysis
Design of an anisotropic diffusion-based filter that performs Bayesian classification for automatic selection of a proper weight for fairing polygon meshes is proposed. The data a...
Chun-Yen Chen, Kuo-Young Cheng, Hong-Yuan Mark Lia...
DIMVA
2010
15 years 6 months ago
dAnubis - Dynamic Device Driver Analysis Based on Virtual Machine Introspection
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
Matthias Neugschwandtner, Christian Platzer, Paolo...