Centrum Wiskunde & Informatica

QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata Article

Fundamenta Informaticae, 95(1), 103-128.

M. Sun (Meng) and F. Arbab (Farhad)

January 2009
A Coalgebraic Semantic Framework for Reasoning about Interaction Designs Book Chapter

M. Sun (Meng) and L.S. Barbosa

January 2009
A First Step towards Security Policy Compliance of Connectors In Proceedings

M. Sun (Meng)

January 2009
On coordination, autonomy and time In Proceedings

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M. Dastani

January 2009
Rewriting agent societies strategically In Proceedings

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M. Dastani

January 2009
Architecting Security with Paradigm in Architecting Dependable Systems IV Book Chapter

S. Andova, L.P.J. Groenewegen (Luuk), J.H.S. Verschuren (Jan) and E.P. de Vink (Erik)

January 2009
Integer linear programming in computational biology Book Chapter

E. Althaus, G.W. Klau (Gunnar), O. Kohlbacher, H.P. Lenhof and K. Reinert (Knut)

January 2009
Real-Time Bag of Words, Approximately In Proceedings

J.R.R. Uijlings, A.W.M. Smeulders (Arnold) and R.J.H. Scha

January 2009

Previous

Next