Sciweavers

359 search results - page 48 / 72
» On Complete Primitives for Fairness
Sort
View
MOMM
2009
ACM
162views Communications» more  MOMM 2009»
14 years 2 days ago
Towards an interactive multimedia experience for club music and dance
In this paper, we describe completed and ongoing work towards an interactive multimedia system that will appeal to today’s youth culture identified as most likely to adopt such ...
Dennis Majoe, Irena Kulka, Jan Schacher
ADC
2000
Springer
98views Database» more  ADC 2000»
13 years 11 months ago
A Generalized Modeling Framework for Schema Versioning Support
Advanced object-oriented applications require the management of schema versions, in order to cope with changes in the structure of the stored data. Two types of versioning have be...
Fabio Grandi, Federica Mandreoli, Maria Rita Scala...
CHI
1994
ACM
13 years 11 months ago
Interactive graphic design using automatic presentation knowledge
We present three novel tools for creating data graphics: (1) SageBrush, for assembling graphics from primitive objects like bars, lines and axes, (2) SageBook, for browsing previo...
Steven F. Roth, John Kolojejchick, Joe Mattis, Jad...
ITP
2010
159views Mathematics» more  ITP 2010»
13 years 11 months ago
Programming Language Techniques for Cryptographic Proofs
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 ...
Gilles Barthe, Benjamin Grégoire, Santiago ...
CAAN
2006
Springer
13 years 11 months ago
Optimal Gossiping with Unit Size Messages in Known Topology Radio Networks
Gossiping is a communication primitive where each node of a network possesses a unique message that is to be communicated to all other nodes in the network. We study the gossiping ...
Fredrik Manne, Qin Xin