CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Interactive Digital Television and Multimedia Systems In Proceedings
P.S. César Garcia (Pablo Santiago) and K. Chorianopoulos (Konstantinos)
January 2006 -
Open Graphical Framework for interactive tv Article
International Journal on Multimedia Tools and Applications, 189-203.P.S. César Garcia (Pablo Santiago), J. Vierinen and P. Vuorimaa
January 2006 -
A Graphics Architecture for high-end interactive television terminals Article
ACM Transactions on Multimedia Computing, Communications, and Applications, 343-357.P.S. César Garcia (Pablo Santiago), J. Vierinen and P. Vuorimaa
January 2006 -
January 2006
-
NIPS Software
January 2006 -
Security of multi-party protocols: Epistemics and verification Magazine Article
D.J.N. van Eijck (Jan), F. Dechesne (Francien), S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco), E.P. de Vink (Erik) and Y. Wang (Yanjing)
January 2006 -
VeriGEM: A verification grid for enhanced model checking Magazine Article
B. Haverkort, J.F. Groote (Jan Friso), J.C. van de Pol (Jaco), M. Kuntz and M. Weber (Michael)
January 2006 -
FNB Daisy-III Player Software
January 2006