Centrum Wiskunde & Informatica

Autonomous runtime QoS control for composite services in Service Oriented Archtecture In Proceedings

J.W. Bosman (Joost), J.L. van den Berg (Hans) and R.D. van der Mei (Rob)

January 2015
Expressiveness modulo bisimilarity of regular expressions with parallel composition Article

Mathematical Structures in Computer Science

J.C.M. Baeten (Jos), S.P. Luttik (Bas), T. Muller (Tim) and P.J.A. van Tilburg (Paul)

January 2015
The role of supervisory controller synthesis in automatic control software development Article

Science of Computer Programming, 97(1), 17-22.

J.C.M. Baeten (Jos) and J. Markovski (Jasen)

January 2015
Heavy-traffic limits for polling models with exhaustive service and non-FCFS service orders Article

Advances in Applied Probability, 47(4), 989-1014.

P. Vis (Petra), R. Bekker (Rene) and R.D. van der Mei (Rob)

January 2015
An efficient heuristic for real-time ambulance redeployment Article

Operations Research for Health Care, 27-35.

C.J. Jagtenberg (Caroline), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

January 2015
On the estimation of the true demand in call centers with redials and reconnects Article

European Journal of Operational Research, 246(1), 250-262.

S. Ding (Sihan), G.M. Koole (Ger) and R.D. van der Mei (Rob)

January 2015
A simulation model for Emergency Medical service call centers In Proceedings

M. van Buuren (Martin), G.J. Kommer (Geert Jan), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

January 2015
Formations of monoids, congruences, and formal languages Tech Report

A. Ballester-Bolinches, E. Cosme-Llopez, R. Esteban-Romero and J.J.M.M. Rutten (Jan)

January 2015

Publication

Autonomous runtime QoS control for composite services in Service Oriented Archtecture In Proceedings

Expressiveness modulo bisimilarity of regular expressions with parallel composition Article

The role of supervisory controller synthesis in automatic control software development Article

Heavy-traffic limits for polling models with exhaustive service and non-FCFS service orders Article

An efficient heuristic for real-time ambulance redeployment Article

On the estimation of the true demand in call centers with redials and reconnects Article

A simulation model for Emergency Medical service call centers In Proceedings

Formations of monoids, congruences, and formal languages Tech Report

Address

CWI researchers

Questions or comments?

Publication

Autonomous runtime QoS control for composite services in Service Oriented Archtecture In Proceedings

Expressiveness modulo bisimilarity of regular expressions with parallel composition Article

The role of supervisory controller synthesis in automatic control software development Article

Heavy-traffic limits for polling models with exhaustive service and non-FCFS service orders Article

An efficient heuristic for real-time ambulance redeployment Article

On the estimation of the true demand in call centers with redials and reconnects Article

A simulation model for Emergency Medical service call centers In Proceedings

Formations of monoids, congruences, and formal languages Tech Report

Workflow

Workflow

Add Content