Centrum Wiskunde & Informatica

Renarrating Linguistic Architecture Presentation

V. Zaytsev (Vadim)

January 2012
Modeling Just-in-Time Communication On the Optimal Resource Utilization in Distributed Real-Time Multimedia Applications Article

International Journal on Multimedia Tools and Applications, 941-971.

R. Yang (Ran), R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra and H. Bal

January 2012
Revenue Maximization with Quality Assurance for Composite Web Services In Proceedings

D.T.H. Worm (Daniël), M. Zivkovic, J.L. van den Berg (Hans) and R.D. van der Mei (Rob)

January 2012
Product-form results for two-queue networks with shared resources Article

Performance Evaluation

W. van der Weij (Wemke), N.M. van Dijk and R.D. van der Mei (Rob)

January 2012
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study In Proceedings

F.S. de Boer (Frank), E. Broch Johnsen, R Haehnle, R. Schlatte (Rudolf) and P.Y.H. Wong

January 2012
Verification of object-oriented programs: A transformational approach Article

Journal of Computer and System Sciences, 78(3)

F.S. de Boer (Frank)

January 2012
Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

Formal Aspects of Computing, 187-216.

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

January 2012
Minimizing the Waiting Time for Emergency Surgery Article

Operations Research for Health Care, 1(2-3), 34-44.

J.T. van Essen (Theresia), J.L. Hurink (Johann), E.W. Hans and A. Oversberg

January 2012

Publication

Renarrating Linguistic Architecture Presentation

Modeling Just-in-Time Communication On the Optimal Resource Utilization in Distributed Real-Time Multimedia Applications Article

Revenue Maximization with Quality Assurance for Composite Web Services In Proceedings

Product-form results for two-queue networks with shared resources Article

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study In Proceedings

Verification of object-oriented programs: A transformational approach Article

Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

Minimizing the Waiting Time for Emergency Surgery Article

Address

CWI researchers

Questions or comments?

Publication

Renarrating Linguistic Architecture Presentation

Modeling Just-in-Time Communication On the Optimal Resource Utilization in Distributed Real-Time Multimedia Applications Article

Revenue Maximization with Quality Assurance for Composite Web Services In Proceedings

Product-form results for two-queue networks with shared resources Article

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study In Proceedings

Verification of object-oriented programs: A transformational approach Article

Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

Minimizing the Waiting Time for Emergency Surgery Article

Workflow

Workflow

Add Content