2957 search results - page 333 / 592 » Processing Self Corrections |
151
click to vote
3DIM
2005
IEEE
16 years 8 days ago
2005
IEEE
We present a new method for registering multiple 3D scans of a colored object. Each scan is regarded as a color and range image of the object recorded by a pinhole camera. Conside...
164
click to vote
ACSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
Logging and auditing is an important system facility for monitoring correct system operation and for detecting potential security problems. We present an architecture for implemen...
200
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
180
Voted
DEXAW
2005
IEEE
16 years 7 days ago
2005
IEEE
In the domain of bioinformatics, the role played in the biological process by proteins, that act as transmitters and receivers of information thus ruling the mechanisms that deter...
158
click to vote
FDL
2005
IEEE
16 years 7 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...