Sciweavers

2488 search results - page 253 / 498
» A Model for the Prediction of R-tree Performance
Sort
View
CCS
2006
ACM
15 years 10 months ago
Modelling the relative strength of security protocols
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
Ho Chung, Clifford Neuman
CBSE
2008
Springer
15 years 8 months ago
A Component Model for Control-Intensive Distributed Embedded Systems
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
Séverine Sentilles, Aneta Vulgarakis, Tom&a...
ICIP
2005
IEEE
16 years 8 months ago
A spatio-temporal model of the selective human visual attention
A new spatio-temporal model for simulating the bottomup visual attention is proposed. It has been built from numerous important properties of the Human Visual System (HVS). This p...
Olivier Le Meur, Dominique Thoreau, Patrick Le Cal...
ICASSP
2009
IEEE
16 years 1 months ago
Applying improved spectral modeling for High Quality voice conversion
In this work, accurate spectral envelope estimation is applied to Voice Conversion in order to achieve High-Quality timbre conversion. True-Envelope based estimators allow model o...
Fernando Villavicencio, Axel Röbel, Xavier Ro...
ECBS
2008
IEEE
86views Hardware» more  ECBS 2008»
16 years 1 months ago
A Formal Model for Network-Wide Security Analysis
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
Petr Matousek, Jaroslav Ráb, Ondrej Rysavy,...