Volume 2, No.1, July
2008 (published online 30 July 2008)
| 1 |
Applying Value-Based Software Process: An ERP Example |
|
|
LiGuo Huang, Barry Boehm, Hao Hu, Jian Lv, Cheng Qian |
| 17 |
Achieving Flexibility in Off-the-Shelf Middleware Services Integration |
|
|
Yan Li, Minghui Zhou, Donggang Cao, Lu Zhang, Hong Mei |
| 33 |
Modelling Route Instructions for Robust
Human-Robot Interaction on Navigation Tasks |
|
|
Hui Shi, Bernd Krieg-Bruckner |
| 61 |
Modular Church-Rosser Modulo: The Complete Picture |
|
|
Jean-Pierre Jouannaud, Yoshihito Toyama |
| 77 |
Random Event Structures |
|
|
Manfred Droste, Guo-Qiang Zhang |
Volume 1, No.1,
December 2007
(published online
29 December 2007 )
1 |
Editorial |
|
|
Ruqian Lu |
3 |
Some Results on Matchgates and Holographic Algorithms |
|
|
Jin-Yi Cai, Vinay Choudhary |
37 |
Desiderata for Languages to be Used in the Definition of Reference Business Processes |
|
|
Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser, Borislava I. Simidchieva |
67 |
Entropy-Inspired Competitive Clustering Algorithms |
|
|
Daoqiang Zhang, Songcan Chen, Zhi-Hua Zhou |
85 |
A Modal Characterization of r-Bisimilarity |
|
|
Jinjin Zhang, Zhaohui Zhu |
101 |
Coordinated Recovery of Middleware Services: A Framework and Experiments |
|
|
Hong Mei, Gang Huang, Tiancheng Liu, Junguo Li |
129 |
An Institutional View on Categorical Logic |
| |
|
Joseph Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder |
|
