Centrum Wiskunde & Informatica

Using The Meta-Environment for Maintenance and Renovation In Proceedings

M.G.J. van den Brand (Mark), M. Bruntink (Magiel), G.R. Economopoulos (Giorgos Robert), H.A. de Jong (Hayco), P. Klint (Paul), A.T. Kooiker (Taeke), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

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
Models and temporal logical specifications for timed component connectors Article

Software and Systems Modeling, 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
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
Effici\"{e}nt verzenden van digitale bestanden over het internet Article

StatOR, 2007(1), 28-31.

I.M. Verloop (Maaike)

March 2007
Advancing translational research with the Semantic Web Article

BMC Bioinformatics, 8(3), 1-16.

A. Ruttenberg, T. Clark (Tim), W. Bug, M. Samwald, O. Bodenreider, D. Doherty, H. Chen (Helen), K. Forsberg, Y. Gao, V. Kashyap, et al. J. Luciano, C. Ogbuji, E. Neumann, K.-H. Cheung

March 2007

Publication

Using The Meta-Environment for Maintenance and Renovation In Proceedings

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

Models and temporal logical specifications for timed component connectors Article

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

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

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

Effici\"{e}nt verzenden van digitale bestanden over het internet Article

Advancing translational research with the Semantic Web Article

Address

CWI researchers

Questions or comments?

Publication

Using The Meta-Environment for Maintenance and Renovation In Proceedings

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

Models and temporal logical specifications for timed component connectors Article

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

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

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

Effici\"{e}nt verzenden van digitale bestanden over het internet Article

Advancing translational research with the Semantic Web Article

Workflow

Workflow

Add Content