Sciweavers

2128 search results - page 188 / 426
» A general characterization of indulgence
Sort
View
ACSAC
2003
IEEE
15 years 10 months ago
Modeling of Multiple Agent based Cryptographic Key Recovery Protocol
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...
Shinyoung Lim, Sangseung Kang, Joo-Chan Sohn
ICCAD
1995
IEEE
114views Hardware» more  ICCAD 1995»
15 years 10 months ago
Sequential synthesis using S1S
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
Adnan Aziz, Felice Balarin, Robert K. Brayton, Alb...
CHI
2010
ACM
15 years 10 months ago
A death in the family: opportunities for designing technologies for the bereaved
Following the death of a loved one, bereaved family members use technology in several ways to respond to their loss. However, very little is known about how technology intersects ...
Michael Massimi, Ronald M. Baecker
HYBRID
2009
Springer
15 years 9 months ago
Distributed Wombling by Robotic Sensor Networks
This paper proposes a distributed coordination algorithm for robotic sensor networks to detect boundaries that separate areas of abrupt change of spatial phenomena. We consider an ...
Jorge Cortés
BMVC
2001
15 years 9 months ago
Illumination technique for optical dynamic range compression and offset reduction
This paper presents a novel illumination technique for image processing in environmentswhich are characterized by large intensity fluctuations and hence a high optical dynamic ra...
C. Koch, S.-B. Park, Tim J. Ellis, A. Georgiadis