The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005) (2005)
Edinburgh
July 26, 2005 to July 28, 2005
ISBN: 0-7695-2413-3
TABLE OF CONTENTS
Papers
Introduction
Committees (PDF)
pp. xvii-xviii
Keynote Address I
Software Testing (I)
Yvan Labiche , Carleton University
pp. 7-12
Shuhao Li , National Laboratory for Parallel and Distributed Processing
Ji Wang , National Laboratory for Parallel and Distributed Processing
Xin Wang , National Laboratory for Parallel and Distributed Processing
Zhi-Chang Qi , National Laboratory for Parallel and Distributed Processing
pp. 13-18
Peng Wu , Chinese Academy of Sciences
pp. 19-24
William E. Howden , University of California at San Diego
pp. 25-32
Process Management
Scott D. Miller , Purdue University
Aditya P. Mathur , Purdue University
Raymond A. DeCarlo , Purdue University
pp. 35-40
G. Lorenzo Thione , FX Palo Alto Laboratory
Dewayne E. Perry , University of Texas at Austin
pp. 47-56
Software Architecture and Metric
Jody L. Sharpe , University of Texas at Dallas
João W. Cangussu , University of Texas at Dallas
pp. 59-64
Victor K. Y. Chan , Macao Polytechnic Institute
W. Eric Wong , University of Texas at Dallas
pp. 65-70
Tingting Han , Nanjing University
Taolue Chen , Nanjing University
Jian Lu , Nanjing University
pp. 71-76
Swapna S. Gokhale , University of Connecticut
Sherif Yacoub , Hewlett-Packard Labs
pp. 77-82
Panel: High-Assurance Software for Mobile Tele-Health Systems
null (PDF)
pp. null
Software Reengineering and Service-Based Systems
Ying Pan , Peking University
Lei Wang , Deutsche Bank AG
Lu Zhang , Peking University
Bing Xie , Peking University
Fuqing Yang , Peking University
pp. 89-94
Dowming Yeh , National Kaohsiung Normal University
Pei-Chen Sun , National Kaohsiung Normal University
William Chu , TungHai University
Chien-Lung Lin , Siliconware Precision Industries
Hongji Yang , De Montfort University
pp. 95-100
Wei-Tek Tsai , Arizona State University
Yinong Chen , Arizona State University
Raymond Paul , United States Department of Defense
Hai Huang , Arizona State University
Xinyu Zhou , Arizona State University
Xiao Wei , Arizona State University
pp. 101-106
S. S. Yau , Arizona State University
D. Huang , Arizona State University
H. Gong , Arizona State University
H. Davulcu , Arizona State University
pp. 107-112
Middleware and Agent-Based Systems
Arnor Solberg , SINTEF
Devon Simmonds , Colorado State University
Raghu Reddy , Colorado State University
Sudipto Ghosh , Colorado State University
Robert France , Colorado State University
pp. 121-126
Ji Wang , National Laboratory for Parallel and Distributed Processing
Rui Shen , National Laboratory for Parallel and Distributed Processing
Hong Zhu , Oxford Brookes University
pp. 127-132
Shung-Bin Yan , National Chiao Tung University
Zu-Nien Lin , National Chiao Tung University
Hsun-Jen Hsu , National Chiao Tung University
Feng-Jian Wang , National Chiao Tung University
pp. 133-140
Security and Privacy (I)
Panel: Industry and Academia: Can They Agree on Best Practice Within Software Engineering?
null (PDF)
pp. null
Pierre Bourque , ?cole de Technologie Sup?rieure
pp. 175
Requirement and Design (I)
Mechelle Gittens , IBM Corporation
Yong Kim , IBM Corporation
David Godwin , IBM Corporation
pp. 179-185
Juha Savolainen , Nokia Research Center
Ian Oliver , Nokia Research Center
Mike Mannion , Glasgow Caledonian University
Hailang Zuo , Glasgow Caledonian University
pp. 186-195
Cristina Cerschi Seceleanu , Åbo Akademi University and Turku Centre for Computer Science
pp. 196-203
Yukiteru Yoshihara , Hosei University
Takao Miura , Hosei University
pp. 204-210
Formal Methods
Yanhui Li , Southeast University
Baowen Xu , Southeast University, Jiangsu Institute of Software Quality and Wuhan University
Jianjiang Lu , Southeast University, Jiangsu Institute of Software Quality and PLA University of Science and Technology
Dazhou Kang , Southeast University
Peng Wang , Southeast University
pp. 221-226
Weijia Deng , Chinese Academy of Sciences
Huimin Lin , Chinese Academy of Sciences
pp. 227-232
Martin Ward , De Montfort University
Hussein Zedan , De Montfort University
pp. 233-238
Networked, Distributed, and Embedded Systems (I)
Mark Grechanik , University of Texas at Austin
Dewayne E. Perry , University of Texas at Austin
Don Batory , University of Texas at Austin
pp. 241-248
Ryosuke Miyoshi , Hosei University
Takao Miura , Hosei University
Isamu Shioya , Sanno University
pp. 249-255
A. Armbruster , University of Missouri-Rolla
M. Gosnell , University of Missouri-Rolla
B. McMillin , University of Missouri-Rolla
M. L. Crow , University of Missouri-Rolla
pp. 256-263
Plenary Panel: Security and Privacy in Distributed Collaborative Systems
null (PDF)
pp. null
Piero Bonatti , Università di Napoli Federico II
pp. 268-269
Dengguo Feng , Chinese Academy of Sciences
Ji Xiang , Chinese Academy of Sciences
pp. 270-271
Internet Web Systems
John Bailey , University Of Durham
Elizabeth Burd , University Of Durham
pp. 275-280
Yuh-Jzer Joung , National Taiwan University
Cheng Yen , National Taiwan University
Chung-Tang Huang , National Taiwan University
Yi-Jhan Huang , National Taiwan University
pp. 281-286
Michael Ruth , University of New Orleans
Feng Lin , University of New Orleans
Shengru Tu , University of New Orleans
pp. 287-292
I-Chen Wu , National Chiao Tung University
Jui-Yuan Su , National Chiao Tung University
Loon-Been Chen , National Chiao Tung University
pp. 293-298
Verification and Validation
Yu Lei , University of Texas at Arlington
David Kung , University of Texas at Arlington
Oizhi Ye , University of Texas at Arlington
pp. 301-306
Jinchun Xia , Iowa State University
Yujia Ge , Iowa State University, Now at Zhejiang Gongshang University
Carl K. Chang , Iowa State University
pp. 307-312
Yanlong Zhang , Oxford Brookes University and Manchester Metropolitan University
Hong Zhu , Oxford Brookes University
Sue Greenwood , Oxford Brookes University
pp. 313-318
Puntip Pattaraintakorn , Mahidol University
Nick Cercone , Dalhousie University
Kanlaya Naruedomkul , Mahidol University
pp. 319-325
Panel: Model-Based Software Testing and Verification
null (PDF)
pp. null
Mats P. E. Heimdahl , University of Minnesota
pp. 330
Mobile and Pervasive/Ubiquitous Computing
Geoff West , Curtin University of Technology
Stewart Greenhill , Curtin University of Technology
Svetha Venkatesh , Curtin University of Technology
pp. 335-340
Alexei Iliasov , University of Newcastle upon Tyne
Alexander Romanovsky , University of Newcastle upon Tyne
pp. 341-350
Jon Davis , Curtin University of Technology
Andrew Tierney , Curtin University of Technology
Elizabeth Chang , Curtin University of Technology
pp. 351-358
Insuk Park , Information and Communications University
Dongman Lee , Information and Communications University
Soon J. Hyun , Information and Communications University
pp. 359-364
Panel: 21st-Century Global Software Development and Education
null (PDF)
pp. null
null (PDF)
J. Barrie Thompson , University of Sunderland
pp. 372
Requirement and Design (II)
Fumiko Nagoya , Hosei University
Shaoying Liu , Hosei University
Yuting Chen , Hosei University
pp. 375-380
Vicky Nassis , La Trobe University
R. Rajugan , University of Technology at Sydney
Tharam S. Dillon , University of Technology at Sydney
Wenny Rahayu , La Trobe University
pp. 388-395
Matt Ryan , University of Missouri - Rolla
Sojan Markose , University of Missouri - Rolla
Xiaoqing (Frank) Liu , University of Missouri - Rolla
Ying Cheng , University of Missouri - Rolla
pp. 396-402
Reliable Systems
Koji Ohishi , Hiroshima University
Hiroyuki Okamura , Hiroshima University
Tadashi Dohi , Hiroshima University
pp. 405-410
Jing Zhao , Harbin Institute of Technology
Hong-Wei Liu , Harbin Institute of Technology
Gang Cui , Harbin Institute of Technology
Xiao-Zong Yang , Harbin Institute of Technology
pp. 411-416
Engelbert Hubbers , Radboud University Nijmegen
Bart Jacobs , Radboud University Nijmegen
Wolter Pieters , Radboud University Nijmegen
pp. 417-424
Tim Storer , University of St. Andrews
Ishbel Duncan , University of St. Andrews
pp. 425-430
Keynote Address II
Software Testing (II)
Tafline Murnane , La Trobe University
Richard Hall , La Trobe University
Karl Reed , La Trobe University
pp. 437-442
Jian Bing Li , University of Alberta
James Miller , University of Alberta
pp. 443-448
George Devaraj , University of Minnesota
Mats P. E. Heimdahl , University of Minnesota
Donglin Liang , University of Minnesota
pp. 455-462
Jerry Gao , San Jose State University
Raquel Espinoza , San Jose State University
Jingsha He , Beijing University of Technology
pp. 463-470
Dependability and Fault Tolerance
Sergiy A. Vilkomir , University of Limerick
David L. Parnas , University of Limerick
Veena B. Mendiratta , Lucent Technologies
Eamonn Murphy , University of Limerick
pp. 473-478
Nik Looker , University of Durham
Malcolm Munro , University of Durham
Jie Xu , University of Leeds
pp. 479-484
Tiancheng Liu , Peking University
Gang Huang , Peking University
Gang Fan , Peking University
Hong Mei , Peking University
pp. 485-490
Guohui Li , Huazhong University of Science and Technology
LihChyun Shu , National Cheng Kung University
pp. 491-496
Panel: How Democratic Will E-Democracy Be?
null (PDF)
pp. null
Stuart Anderson , University of Edinburgh
Massimo Felici , University of Edinburgh
pp. 499
Ian Brown , University College London
pp. 500
Peter Ryan , University of Newcastle
pp. 501
Jacques Bus , European Commission - Information Society and Media Directorate General
pp. 502
Security and Privacy (II)
En Tzu Wang , National Dong Hwa University
Guanling Lee , National Dong Hwa University
Yu Tzu Lin , National Dong Hwa University
pp. 511-516
Engin Kirda , Technical University of Vienna
Christopher Kruegel , Technical University of Vienna
pp. 517-524
Fang-Yie Leu , Tunghai University
Jia-Chun Lin , Tunghai University
Ming-Chang Li , Tunghai University
Chao-Tung Yang , Tunghai University
pp. 525-530
Networked, Distributed, and Embedded Systems (II)
Hung-Chang Hsiao , National Tsing-Hua University
Chung-Ta King , National Tsing-Hua University
pp. 533-538
K. S. Bae , Electronics and Telecommunications Research Institute
K. K. Kim , Electronics and Telecommunications Research Institute
Y. G. Chung , Electronics and Telecommunications Research Institute
W. P. Yu , Electronics and Telecommunications Research Institute
pp. 539-544
Egon Teiniker , Salomon Automation GmbH
Robert Lechner , Salomon Automation GmbH
Gernot Schmoelzer , Graz University of Technology and Salomon Automation GmbH
Christian Kreiner , Graz University of Technology and Salomon Automation GmbH
Zsolt Kovács , Salomon Automation GmbH
Reinhold Weiss , Graz University of Technology
pp. 545-550
Hidenori Umeno , Kumamoto University
Masato Kiyama , Kumamoto University
Takafumi Fukunaga , Kumamoto Prefectual College of Technology
Takashige Kubo , Hitachi System & Service, Ltd.
pp. 551-560
Author Index
Author Index (PDF)
pp. 563-565
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool