Sciweavers

9821 search results - page 115 / 1965
» A Framework for the Development of Protocols
Sort
View
EUROCRYPT
2006
Springer
15 years 8 months ago
Polling with Physical Envelopes: A Rigorous Analysis of a Human-Centric Protocol
We propose simple, realistic protocols for polling that allow the responder to plausibly repudiate his response, while at the same time allow accurate statistical analysis of poll ...
Tal Moran, Moni Naor
SP
2000
IEEE
15 years 8 months ago
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
John A. Clark, Jeremy L. Jacob
DSVIS
2000
Springer
15 years 8 months ago
SUIT - Context Sensitive Evaluation of User Interface Development Tools
Developers of interactive software are confronted by a variety of software tools to help them design and implement user interfaces. They often resort to ad hoc means of tool select...
Joanna Lumsden, Philip D. Gray
DSVIS
2000
Springer
15 years 8 months ago
User Interface Declarative Models and Development Environments: A Survey
Model-Based User Interface Development Environments (MB-UIDEs) provide a context within which user interface declarative models can be constructed and related, as part of the user...
Paulo Pinheiro da Silva
NIPS
1992
15 years 5 months ago
Using Aperiodic Reinforcement for Directed Self-Organization During Development
We present a local learning rule in which Hebbian learning is conditional on an incorrect prediction of a reinforcement signal. We propose a biological interpretation of such a fr...
P. Read Montague, Peter Dayan, Steven J. Nowlan, T...