Sciweavers

7890 search results - page 308 / 1578
» The MathSAT 3 System
Sort
View
161
Voted
ASIACRYPT
2001
Springer
15 years 11 months ago
Provable Security of KASUMI and 3GPP Encryption Mode f8
Within the security architecture of the 3GPP system there is a standardised encryption mode f8 based on the block cipher KASUMI. In this work we examine the pseudorandomness of the...
Ju-Sung Kang, Sang Uk Shin, Dowon Hong, Okyeon Yi
IJACTAICIT
2010
175views more  IJACTAICIT 2010»
15 years 3 months ago
Achieving CMMI Maturity Level 3 by Implementing FEAF Reference Models
The basic purpose of an Enterprise Architecture project is creating integrity among different enterprise components, including processes, systems, technologies, and etc. While CMM...
Fatemeh Kafili Kasmaee, Ramin Nassiri, Gholamreza ...
CVPR
2011
IEEE
15 years 2 months ago
An Analysis of Using High-Frequency Sinusoidal Illumination to Measure the 3D Shape of Translucent Objects
Using optical triangulation methods to measure the shape of translucent objects is difficult because subsurface scattering contaminates measurements of the “direct” reflecti...
Michael Holroyd, Jason Lawrence
ICCV
2011
IEEE
14 years 6 months ago
Physically-based Motion Models for 3D Tracking: A Convex Formulation
In this paper, we propose a physically-based dynamical model for tracking. Our model relies on Newton’s second law of motion, which governs any real-world dynamical system. As a...
Mathieu Salzmann, Raquel Urtasun
CODES
2010
IEEE
15 years 4 months ago
A greedy buffer allocation algorithm for power-aware communication in body sensor networks
Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. In spite of their potentials for many application domains,...
Hassan Ghasemzadeh, Roozbeh Jafari