Sciweavers

3706 search results - page 589 / 742
» System Description: E-KRHyper
Sort
View
CSFW
2007
IEEE
14 years 4 months ago
Compositional Security for Task-PIOAs
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
CVPR
2007
IEEE
14 years 4 months ago
Trajectory Series Analysis based Event Rule Induction for Visual Surveillance
In this paper, a generic rule induction framework based on trajectory series analysis is proposed to learn the event rules. First the trajectories acquired by a tracking system ar...
Zhang Zhang, Kaiqi Huang, Tieniu Tan, Liangsheng W...
DATE
2007
IEEE
145views Hardware» more  DATE 2007»
14 years 4 months ago
Using an innovative SoC-level FMEA methodology to design in compliance with IEC61508
This paper proposes an innovative methodology to perform and validate a Failure Mode and Effects Analysis (FMEA) at System-on-Chip (SoC) level. This is done in compliance with the...
Riccardo Mariani, Gabriele Boschi, Federico Colucc...
DSD
2007
IEEE
120views Hardware» more  DSD 2007»
14 years 4 months ago
Cotransformation Provides Area and Accuracy Improvement in an HDL Library for LNS Subtraction
The reduction of the cumbersome operations of multiplication, division, and powering to addition, subtraction and multiplication is what makes the Logarithmic Number System (LNS) ...
Panagiotis D. Vouzis, Sylvain Collange, Mark G. Ar...
HICSS
2007
IEEE
159views Biometrics» more  HICSS 2007»
14 years 4 months ago
Patch Review Processes in Open Source Software Development Communities: A Comparative Case Study
In spite of the overwhelming success of Free/Open Source Software (F/OSS) like Apache and GNU/Linux, there is a limited understanding of the processes and methodologies that speci...
Jai Asundi, Rajiv Jayant