Centrum Wiskunde & Informatica

Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development In Proceedings

C.P.T. de Gouw (Stijn) and F.S. de Boer (Frank)

January 2013
Socially-Aware Multimedia Authoring: past, present, and future Article

ACM Transactions on Multimedia Computing, Communications, and Applications, 9(1s)

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and R.L. Guimarães (Rodrigo Laiola)

January 2013
QStream: A Suite of Streams In Proceedings

J. Winter (Joost)

January 2013
Next-Generation Interfaces: multimedia, multimodal and fluid Lecture

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

January 2013
Social interaction design for online video and television Lecture

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

January 2013
Parallel queueing networks with Markov-modulated service speeds in heavy traffic Article

ACM SIGMETRICS Performance Evaluation Review, 41(2), 47-49.

J.-P.L. Dorsman (Jan-Pieter), M. Vlasiou (Maria) and A.P. Zwart (Bert)

January 2013
Alphametic Cryptarithms and Polychromatic Coppices in Rascal Presentation

V. Zaytsev (Vadim)

January 2013
Scheduling in polling systems in heavy traffic Article

ACM SIGMETRICS Performance Evaluation Review, 41(2), 41-43.

R. Bekker (Rene), J.-P.L. Dorsman (Jan-Pieter), R.D. van der Mei (Rob), P. Vis (Petra) and E.M.M. Winands

January 2013

Previous

Next