Centrum Wiskunde & Informatica

The Formal Specification Language mCRL2 In Proceedings

J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), Y.S. Usenko (Yaroslav), M.A. Reniers (Michel) and M.J. van Weerdenburg (Muck)

January 2007
Structured Document Retrieval, Multimedia Retrieval, and Entity Ranking Using PF/Tijah In Proceedings

T. Tsikrika (Theodora), P. Serdyukov, H. Rode (Henning), T.H.W. Westerveld (Thijs), R. Aly, D. Hiemstra and A.P. de Vries (Arjen)

January 2007
Cooperative Scans: Dynamic Bandwidth Sharing in a DBMS In Proceedings

M. Zukowski (Marcin), S. A. B. C. Héman (Sándor), N.J. Nes (Niels) and P.A. Boncz (Peter)

January 2007
/facet: A Generic Facet Browser Including Temporal and Spatial Visualization Manual

M. Hildebrand (Michiel)

January 2007
Widget Manipulation Revisited: a Case Study in Modeling Interactions Between Experimental Conditions In Proceedings

J.-B. Martens, R. van Liere (Robert) and A.J.F. Kok (Arjan)

January 2007
Model Checking of Component Connectors In Proceedings

M. Izadi (Mohammad), A. Movaghar (Ali) and F. Arbab (Farhad)

January 2007
Performance Evaluation and Experimental Assessment - Conscience or Curse of Database Research? In Proceedings

I. Manolescu and S. Manegold (Stefan)

January 2007
Distributed Extended Beam Search for Quantitative Model Checking In Proceedings

A.J. Wijs (Anton) and B. Lisser (Bert)

January 2007

Previous

Next