Centrum Wiskunde & Informatica

Countering Digital Forensics: An Identity Based Ephemerizer Cryptosystem Tech Report

S.K. Nair, C. Gamage, M.T. Dashti (Mohammad), B. Crispo and A.S. Tanenbaum (Andrew)

January 2006
Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday Book Chapter

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and R. de Vrijer

January 2006
Model checking software for microcontrollers Tech Report

B. Schlich, M. Rohrbach, M. Weber (Michael) and S. Kowalewski

January 2006
A Rationale for Creating an interactive-tv profile for smil In Proceedings

D.C.A. Bulterman (Dick)

January 2006
Experiences with User-Centered Multimedia systems deployment In Proceedings

D.C.A. Bulterman (Dick)

January 2006
An Architecture for Viewer-Side Enrichment of TV Content In Proceedings

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and A.J. Jansen (Jack)

January 2006
An Architecture for End-User tv content enrichment In Proceedings

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and A.J. Jansen (Jack)

January 2006
Present and Future of Software Graphics Architectures for Interactive Television In Proceedings

P.S. César Garcia (Pablo Santiago)

January 2006

Previous

Next