9821 search results - page 1694 / 1965 » A Framework for the Development of Protocols |
161
click to vote
ACMIDC
2010
15 years 10 months ago
2010
Stories play an important role in the collaborative project work of children and adults in intercultural computer clubs “come_IN”. They constitute the narrative framework for ...
177
click to vote
ITP
2010
15 years 10 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
167
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we propose and develop a novel approach to the problem of optimally managing the tax, and more generally debt, collections processes at financial institutions. Our...
193
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Portable, reusable test collections are a vital part of research and development in information retrieval. Reusability is difficult to assess, however. The standard approach— si...
168
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...