Centrum Wiskunde & Informatica

Models and temporal logical specifications for timed component connectors Article

Software and System Modelling, 6(1), 59-82.

F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank) and J.J.M.M. Rutten (Jan)

March 2007
Flecs, a Flexible Coupling Shell. Application to Fluid-Structure Interaction In Proceedings

M. Nool (Margreet), E.J. Lingen, A. de Boer and H. Bijl

March 2007
Language Parametric Module Management for IDEs In Proceedings

P. Klint (Paul), A.T. Kooiker (Taeke) and J.J. Vinju (Jurgen)

March 2007
Personalized Museum Experience: The Rijksmuseum Use Case In Proceedings

L. Aroyo (Lora), R. Brussee, L. Rutledge (Lloyd), P. Gorgels, N. Stash and Y. Wang (Yanjing)

March 2007
Model checking a cache coherence protocol for a Java DSM implementation Article

Journal of Logic and Algebraic Programming, 71(1), 1-43.

J. Pang (Jun), W.J. Fokkink (Wan), R. Hofman (Rutger) and R. Veldema

March 2007
Depth map calculation for a variable number of moving objects using Markov sequential object processes Tech Report

M.N.M. van Lieshout (Marie-Colette)

March 2007
Simple Crosscutting Concerns Are Not So Simple: Analyzing Variability in Large-scale Idioms-based Implementations In Proceedings

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

March 2007
User-centered control within multimedia presentations Article

ACM Multimedia Systems Journal, 12(4-5), 423-438.

D.C.A. Bulterman (Dick)

March 2007

Previous

Next