loading...
  • I
  • ICECCS
  • 2005
  • 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)
Advanced Search 
10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)
Shanghai, China
June 16-June 20
ISBN: 0-7695-2284-X
Table of Contents
Introduction
Tutorials
J. S. Dong, National University of Singapore
D. Dan, Power Automation Pte Ltd
pp. 2
Paolo Nesi, Universit? degli Studi di Firenze
pp. 3
Luciano Baresi, Politecnico di Milano
Sam Guinea, Politecnico di Milano
pp. 4
Workshop on SOFL
Yuting Chen, Hosei University
Shaoying Liu, Hosei University
Fumiko Nagoya, Hosei University
pp. 6-7
Fumiko Nagoya, Hosei University
Shaoying Liu, Hosei University
Yuting Chen, Hosei University
pp. 10-11
Yao Shen, Shanghai Jiao Tong University
Haopeng Chen, Shanghai Jiao Tong University
pp. 14-15
Hao-peng Chen, Shanghai Jiao Tong University
Yao Shen, Shanghai Jiao Tong University
Jian-wei Jiang, Shanghai Jiao Tong University
pp. 16-17
Workshop on Using Metamodels to Support MDD
Jun Kong, University of Texas at Dallas
Kang Zhang, University of Texas at Dallas
Jing Dong, University of Texas at Dallas
pp. 24-25
Jing Liu, Shanghai University
Huaikou Miao, Shanghai University
pp. 26-27
Jean B?zivin, ATLAS Group (LINA & INRIA)
Fr?d?ric Jouault, ATLAS Group (LINA & INRIA)
David Touzet, ATLAS Group (LINA & INRIA)
pp. 28-29
Keynote Speech
null
Parallel Session: Software Architecture
Yali Zhu, Peking University
Gang Huang, Peking University
Hong Mei, Peking University
pp. 56-65
Parallel Session: Analysis and Verification (1)
Guido Menkhaus, University of Salzburg
Urs Frei, University of Applied Sciences St. Gallen
Jörg Wüthrich, University of Applied Sciences St. Gallen
pp. 67-75
Oystein Hallaraker, University of California at Santa Barbara
Giovanni Vigna, University of California at Santa Barbara
pp. 85-94
Parallel Session: Formal Methods (1)
Parallel Session: Networks (1)
L. Wang, Fujian University of Technology
Z. P. Chen, Fujian University of Technology
X. H. Jiang, Fujian University of Technology
pp. 127-131
Wen Chen, Shanghai Jiao Tong University
Feiyu Lei, Shanghai Jiao Tong University
Weinong Wang, Shanghai Jiao Tong University
pp. 132-137
Intelligent Failure Prediction with Hybrid Neural Rough Nets in Complex Telecommunication Networks (Paper Withdrawn from Conference)
Parallel Session: Program Slicing
Yingzhou Zhang, Southeast University and Jiangsu Institute of Software Quality
Baowen Xu, Southeast University, Jiangsu Institute of Software Quality and National Key Laboratory of Software Engineering in Wuhan University
pp. 147-154
Yajuan Pan, State University of New York at Albany
Dai Pan, State University of New York at Albany
Mei-Hwa Chen, State University of New York at Albany
pp. 155-164
Parallel Session: Real Time Systems
Piotr Tomaszewski, Blekinge Institute of Technology
Lars Lundberg, Blekinge Institute of Technology
Jim H?kansson, Blekinge Institute of Technology
Daniel H?ggander, Blekinge Institute of Technology
pp. 166-175
Jun Li, Huazhong University of Science and Technology
Fumin Yang, Huazhong University of Science and Technology
Yansheng Lu, Huazhong University of Science and Technology
pp. 176-183
Parallel Session: Analysis and Verification (2)
Siv Hilde Houmb, Norwegian University of Science and Technology
Geri Georg, Colorado State University
Robert France, Colorado State University
James Bieman, Colorado State University
Jan Jürjens, Technical University of Munich
pp. 195-204
P. Bellini, University of Florence
I. Bruno, University of Florence
P. Nesi, University of Florence
D. Rogai, University of Florence
pp. 205-214
Parallel Session: Security
Jan J?rjens, Technische Universit?t M?nchen
Markus Lehrhuber, Technische Universit?t M?nchen
Guido Wimmel, Technische Universit?t M?nchen
pp. 224-233
Viktoria Felmetsger, University of California at Santa Barbara
Giovanni Vigna, University of California at Santa Barbara
pp. 234-243
Parallel Session: Web Systems
Gaoliang Peng, Harbin Institute of Technology
Wenjian Liu, Harbin Institute of Technology
Xutang Zhang, Harbin Institute of Technology
pp. 245-251
Juan Miguel G?mez, National University of Ireland
Giner Alor Hernandez, Research and Advanced Studies Center of IPN (CINVESTAV)
Jose Oscar Olmedo, Research and Advanced Studies Center of IPN (CINVESTAV)
Christoph Bussler, National University of Ireland
pp. 252-259
null
Parallel Session: Component-Based Technologies
Ching-Cheng Lee, California State University at Hayward
Sudeshna Ghosh, California State University at Hayward
pp. 274-282
Leonardo Mariani, Università degli Studi di Milano Bicocca
Mauro Pezzè, Università degli Studi di Milano Bicocca
pp. 292-301
Parallel Session: Formal Methods (2)
Jing Sun, University of Auckland
Hongyu Zhang, RMIT University
Yuan Fang Li, National University of Singapore
Hai Wang, University of Manchester
pp. 303-312
Maty Sylla, Wayne State University
Frank Stomp, Wayne State University
Willem-Paul de Roever, Christian-Albrechts-Universität zu Kiel
pp. 313-321
Li Yang, Florida International University
Raimund K. Ege, Florida International University
Huiqun Yu, East China University of Science & Technology
pp. 322-331
Parallel Session: Networks (2)
Zhihong Huo, Huazhong University of Science and Technology
Huajing Fang, Huazhong University of Science and Technology
pp. 333-340
Li Wang, Xian Jiaotong University
Zeng-zhi Li, Xian Jiaotong University
Yan-ping Chen, Xian Jiaotong University
Ke Xue, Xian Jiaotong University
pp. 341-348
Deqing Zou, Huazhong University of Science and Technology
Weizhong Qiang, Huazhong University of Science and Technology
Xuanhua Shi, Huazhong University of Science and Technology
pp. 349-356
Parallel Session: Software Systems
Baolin Sun, Wuhan University of Science and Engineering
Hua Chen, Wuhan University of Science and Engineering
Layuan Li, Wuhan University of Technology
pp. 358-365
Zhiming Zhao, University of Amsterdam
Dick van Albada, University of Amsterdam
Peter Sloot, University of Amsterdam
pp. 366-375
Parallel Session: Wireless Communication
Zhigang Liao, Xi?an Jiaotong University
Zengzhi Li, Xi?an Jiaotong University
Yan Chen, Xi?an Jiaotong University
Tao Zhan, Northwest Polytechnical University
pp. 377-383
Zhigang Zhao, Ministry of Education and Northeastern University
Changqing Gong, Ministry of Education and Northeastern University
Guangxing Wang, Ministry of Education and Northeastern University
pp. 394-400
Parallel Session: Analysis and Verification (3)
Xiaoshan Li, University of Macau
Zhiming Liu, United Nations University
Jifeng He, United Nations University
pp. 411-420
Parallel Session: Testing (1)
Xin Wang, National Laboratory for Parallel and Distributed Processing
Zhi-Chang Qi, National Laboratory for Parallel and Distributed Processing
Shuhao Li, National Laboratory for Parallel and Distributed Processing
pp. 440-449
Parallel Session: Design
Parallel Session: Formal Methods (3)
J. S. Dong, National University of Singapore
R. Duke, University of Queensland
P. Hao, National University of Singapore
pp. 488-497
Robert Colvin, Victoria University of Wellington
Lindsay Groves, Victoria University of Wellington
pp. 507-516
null
Finally Taming Concurrency?
Parallel Session: Testing (2)
Trung Dinh-Trong, Colorado State University
Nilesh Kawane, Colorado State University
Sudipto Ghosh, Colorado State University
Robert France, Colorado State University
Anneliese A. Andrews, Washington State University
pp. 519-528
Jun Sun, National University of Singapore
Jin Song Dong, National University of Singapore
pp. 529-538
W. Eric Wong, University of Texas at Dallas
Yu Lei, University of Texas at Arlington
Xiao Ma, University of Texas at Dallas
pp. 539-548
Parallel Session: Evaluation and Measurement
Mauro Pezzè, University of Milano-Bicocca
Davide Tosi, University of Milano-Bicocca
Gian Pietro Picco, Politecnico di Milano
pp. 569-578
Parallel Session: Evolution
Jianmin Jiang, Chinese Academy of Sciences and Chongqing Technology and Business University
Jinzhao Wu, Chinese Academy of Sciences and Universitat Mannheim
pp. 580-589
Lei Wu, University of Montreal
Houari Sahraoui, University of Montreal
Petko Valtchev, University of Montreal
pp. 600-609
Author Index
Author Index (PDF)
pp. 611-612
Usage of this product signifies your acceptance of the Terms of Use.