Centrum Wiskunde & Informatica

Deploying Loosely Coupled, Component-based Applications into distributed environments In Proceedings

A. Heydarnoori (Abbas), F. Mavaddat and F. Arbab (Farhad)

January 2006
Towards an Automated Deployment Planner for Composition of Web Services as Software Components Article

Electronic Notes in Theoretical Computer Science, 239-253.

A. Heydarnoori (Abbas), F. Mavaddat and F. Arbab (Farhad)

January 2006
SEPID: A Simple Enhanced Process for Interactive-systems Development In Proceedings

M.M. Jaghoori (Mohammad Mahdi), S.-H. Mirian-Hosseinabadi and H. Sheikhveisi

January 2006
Modere: the model-checking engine of Rebeca In Proceedings

M.M. Jaghoori (Mohammad Mahdi), A. Movaghar (Ali) and M. Sirjani (Marjan)

January 2006
Interaction and Coordination of Tools for Structured Data In Proceedings

J.N. Kok (Joost) and F. Arbab (Farhad)

January 2006
A Channel Based Communication Model with a Weighted Mobility In Proceedings

T. Limniotes, G.A. Papadopoulos (George) and F. Arbab (Farhad)

January 2006
Components as coalgebras: The refinement dimension Article

Theoretical Computer Science, 276-294.

S. Meng and L.S. Barbosa

January 2006
Formal Semantics and Analysis of Component Connectors in reo Article

Electronic Notes in Theoretical Computer Science, 83-99.

M.R. Mousavi, M. Sirjani (Marjan) and F. Arbab (Farhad)

January 2006

Previous

Next