Sciweavers

1677 search results - page 137 / 336
» On the Completeness of Quantum Computation Models
Sort
View
ACSAC
2009
IEEE
16 years 1 months ago
Modeling Modern Network Attacks and Countermeasures Using Attack Graphs
Abstract—By accurately measuring risk for enterprise networks, attack graphs allow network defenders to understand the most critical threats and select the most effective counter...
Kyle Ingols, Matthew Chu, Richard Lippmann, Seth E...
3DPVT
2006
IEEE
216views Visualization» more  3DPVT 2006»
16 years 18 days ago
Anatomically-Aware, Automatic, and Fast Registration of 3D Ear Impression Models
We present a registration framework based on feature points of anatomical 3D shapes represented in the point cloud domain. Anatomical information is utilized throughout the comple...
Alexander Zouhar, Tong Fang, Gozde B. Unal, Gregor...
EMSOFT
2004
Springer
15 years 12 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ICPR
2000
IEEE
15 years 11 months ago
Nonparametric Markov Random Field Model Analysis of the MeasTex Test Suite
This paper looks at the nonparametric, multiscale, Markov Random Field (MRF) model and its application in classifying the MeasTex Test Suite. The MeasTex Test Suite is a standard ...
Rupert Paget, I. Dennis Longstaff
EUROCRYPT
2004
Springer
15 years 12 months ago
On Generating the Initial Key in the Bounded-Storage Model
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...
Stefan Dziembowski, Ueli M. Maurer