9821 search results - page 326 / 1965 » A Framework for the Development of Protocols |
187
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
397
click to vote
INFOCOM
2012
IEEE
14 years 5 months ago
2012
IEEE
We derive bounds on the expected loss for authentication protocols in channels which are constrained due to noisy
conditions and communication costs. This is motivated by a
numbe...
167
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
A considerable number of serious games have been developed over the last ten years, with varying degrees of success. Due to a lack of clear standards and guidelines for game devel...
191
click to vote
DALT
2004
Springer
16 years 7 days ago
2004
Springer
We report on the development of an agent-based system, called ΦLOG, for the specification and execution of phylogenetic inference applications. We detail the implementation of th...
177
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
We describe the software environment that has been developed for the management and support of planning missions in the SAR domain. We have chosen to develop a configurable environ...