Sciweavers

2328 search results - page 329 / 466
» Component Frameworks - A Case Study
Sort
View
CSFW
2011
IEEE
14 years 4 months ago
Formal Analysis of Protocols Based on TPM State Registers
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
HICSS
2007
IEEE
75views Biometrics» more  HICSS 2007»
15 years 11 months ago
Multiple Measures of Website Effectiveness and their Association with Service Quality in Health and Human Service Agencies
Although many different measures of website effectiveness have been developed, few studies have rigorously compared and contrasted the measures. Based on the organizational effect...
Eric W. Welch, Sanjay K. Pandey
COST
2007
Springer
163views Multimedia» more  COST 2007»
15 years 10 months ago
Affordances and Cognitive Walkthrough for Analyzing Human-Virtual Human Interaction
This study investigates how the psychological notion of affordance, known from human computer interface design, can be adopted for the analysis and design of communication of a use...
Zsófia Ruttkay, Rieks op den Akker
ICB
2007
Springer
104views Biometrics» more  ICB 2007»
15 years 10 months ago
Repudiation Detection in Handwritten Documents
The problems that arise in forensic document examination, are usually quite different from that of traditional writer identification and verification tasks, where the data is ass...
Sachin Gupta, Anoop M. Namboodiri
IPPS
2006
IEEE
15 years 10 months ago
Analysis of a reconfigurable network processor
In this paper an analysis of a dynamically reconfigurable processor is presented. The network processor incorporates a processor and a number of coprocessors that can be connected...
Christopher Kachris, Stamatis Vassiliadis