Sciweavers

32117 search results - page 434 / 6424
» Design for Unanticipated Use..
Sort
View
CRYPTO
1994
Springer
98views Cryptology» more  CRYPTO 1994»
15 years 11 months ago
Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols
Suppose we are given a proof of knowledge P in which a prover demonstrates that he knows a solution to a given problem instance. Suppose also that we have a secret sharing scheme S...
Ronald Cramer, Ivan Damgård, Berry Schoenmak...
EMNETS
2007
15 years 10 months ago
An HMM framework for optimal sensor selection with applications to BSN sensor glove design
Laparoscopic surgical training is a challenging task due to the complexity of instrument control and demand on manual dexterity and hand-eye coordination. Currently, training and ...
Rachel C. King, Louis Atallah, Ara Darzi, Guang-Zh...
ICDCS
2010
IEEE
15 years 10 months ago
A New Buffer Cache Design Exploiting Both Temporal and Content Localities
: This paper presents a Least Popularly Used buffer cache algorithm to exploit both temporal locality and content locality of I/O requests. Popular data blocks are selected as refe...
Jin Ren, Qing Yang
198
Voted
ICSOFT
2007
15 years 8 months ago
Solving Design Issues in Web Meta-Model Approach to Support End-User Development
End-user development is proposed as a solution to the issues business organisations face when developing web applications to support their business processes. We are proposing a me...
Buddhima De Silva, Athula Ginige
171
Voted
TVLSI
2008
151views more  TVLSI 2008»
15 years 6 months ago
Guest Editorial Special Section on Design Verification and Validation
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
I. Harris, D. Pradhan