Sciweavers

2542 search results - page 458 / 509
» One step ahead
Sort
View
CCS
2006
ACM
15 years 10 months ago
Beyond separation of duty: an algebra for specifying high-level security policies
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
Ninghui Li, Qihua Wang
CIT
2006
Springer
15 years 10 months ago
A new collision resistant hash function based on optimum dimensionality reduction using Walsh-Hadamard transform
Hash functions play the most important role in various cryptologic applications, ranging from data integrity checking to digital signatures. Our goal is to introduce a new hash fu...
Barzan Mozafari, Mohammad Hasan Savoji
FMCAD
2004
Springer
15 years 10 months ago
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
Orna Grumberg, Assaf Schuster, Avi Yadgar
CVPR
2006
IEEE
15 years 10 months ago
Blind Haze Separation
Outdoor imaging is plagued by poor visibility conditions due to atmospheric scattering, particularly in haze. A major problem is spatially-varying reduction of contrast by stray r...
Sarit Shwartz, Einav Namer, Yoav Y. Schechner
EWCBR
2006
Springer
15 years 9 months ago
Contextualised Ambient Intelligence Through Case-Based Reasoning
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
Anders Kofod-Petersen, Agnar Aamodt