CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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
-
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 -
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. Kinoshita, J. Luciano, M.S. Marshall (Scott), C. Ogbuji, J. Rees (Jonathan), S. Stephens, E. Wu (Elizabeth), D. Zaccagninni, T. Hongsermeier, E. Neumann, I. Herman (Ivan) and K.-H. Cheung
March 2007
-
User-centered control within multimedia presentations Article
ACM Multimedia Systems Journal, 12(4-5), 423-438.March 2007
-
Strengthened semidefinite programming bounds for codes Article
Mathematical Programming, 109(2-3), 239-261.March 2007
-
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
-
Reduction of symmetric semidefinite programs using the regular $*$-representation Article
Mathematical Programming, 109(2-3), 613-624.E. de Klerk (Etienne), D.V. Pasechnik and A. Schrijver (Lex)
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