|
|
31st International Conference on Technology of Object-Oriented Language and Systems Nanjing, China September 22-September 25 ISBN: 0-7695-0393-4 Table of Contents
Class Algebra for Ontology Reasoning (Abstract)
Dan Buehrer, National Chung Cheng University
Lee Chee-Hwa, National Chung Cheng University pp. 2
Software Evolution: Prototypical Deltas (Abstract)
Eydun Eli Jacobsen, University of Southern Denmark/Odense University
Bent Bruun Kristensen, University of Southern Denmark/Odense University
Palle Nowack, University of Southern Denmark/Odense University
Torben Worm, University of Southern Denmark/Odense University pp. 14
W. Al-Ahmad, American University of Sharjah
E. Steegmans, Katholieke Universiteit Leuven pp. 31
LEAD++: An Object-Oriented Language Based on a Reflective Model for Dynamic Software Adaptation (Abstract)
Noriki Amano, Japan Advanced Institute of Science and Technology
Takuo Watanabe, Japan Advanced Institute of Science and Technology pp. 41
Synchronizing Java Threads Using Assertions (Abstract)
Miguel Katrib, University of Havana
Damian Fernandez, University of Havana
Ernesto Pimentel, University of Malaga pp. 51
Wenjun Li, Zhongshan University
Xiaocong Zhou, Zhongshan University
Shixian Li, Zhongshan University pp. 61
Chengkai Li, Nanjing University
Bing Mao, Nanjing University
Daoxu Chen, Nanjing University
Li Xie, Nanjing University pp. 67
Xiaocong Fan, Nanjing University
Dianxiang Xu, Nanjing University
Guoliang Zheng, Nanjing University pp. 77
Dell Zhang, Southeast University
Yisheng Dong, Southeast University pp. 83
JMSAS: A Mobile Software Agent System (Abstract)
Chong Chen, Beijing University of Aeronautics and Astronautics
Jiwen Huo, Beijing University of Aeronautics and Astronautics
Zhongfan Mai, Beijing University of Aeronautics and Astronautics pp. 89
Strategies and Techniques of Freeze/Melt (Abstract)
Yu Li, Nanjing University
Yongsen Xu, Nanjing University
Gaoyan Xie, Nanjing University
Zhiyuan Zhan, Nanjing University pp. 98
Two-Level Modeling (Abstract)
Anthony Lauder, University of Kent at Canterbury
Stuart Kent, University of Kent at Canterbury pp. 108
Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas (Abstract)
K.S. Cheung, City University of Hong Kong
K.O. Chow, City University of Hong Kong
T.Y. Cheung, City University of Hong Kong pp. 118 pp. 126
Mei Lu, Chinese Academy of Sciences
Xinpei Zhao, Chinese Academy of Sciences
Mingshu Li, Chinese Academy of Sciences pp. 133
Bingyang Zhou, University of Southern Queensland pp. 142
Radu Marinescu, Politehnica University of Timisoara, pp. 146
Yania Crespo, Universidad de La Habana
Juan José Rodríguez, Universidad de Valladolid
José Manuel Marqués, Universidad de Valladolid pp. 166
Klaus Marius Hansen, University of Aarhus
Michael Thomsen, University of Aarhus pp. 177
Weiquan Zhao, University of South Australia
Jian Chen, University of South Australia pp. 191
Chang-Jiun Tsai, National Chiao-Tung University
Shian-Shyong Tseng, National Chiao-Tung University
Yu-Co Wu, National Chiao-Tung University pp. 200
Kai Tan, Wuhan University
Zi-yu Lin, Wuhan University
Sheng-qun Tang, Wuhan University
De-chun Peng, Wuhan University pp. 204
A Equivalent Object-Oriented Schema Evolution Approach Using the Path-Independence Language (Abstract)
Jiaheng Lu, Shanghai Jiaotong University
Chuangliang Dong, Shanghai Jiaotong University
Weiwen Dong, Shanghai Jiaotong University pp. 212
Yanbo Han, Yalande New Technology Research Center
Thorsten Schaaf, Free University of Berlin
Hongbing Pang, Beijing University of Aeronautics and Astronautics pp. 218 pp. 225 pp. 232
Yingjun Li, Nanjing University
Jian Lu, Nanjing University pp. 239
Hui Jiang, Institute of Communications Engineering
Dong Lin, Institute of Communications Engineering
Xiren Xie, Institute of Communications Engineering pp. 245
Wenpin Jiao, Institute of Computing Technology, CAS
Zhongzhi Shi, Institute of Computing Technology, CAS pp. 253
Yunfeng Wang, Nanjing University
Bixin Li, Nanjing University
Jun Pang, Nanjing University
Ming Zha, Nanjing University
Guoliang Zheng, Nanjing University pp. 261
Zhong Wang, Dalian University of Technology
Zhongxian Chi, Dalian University of Technology
Chen-guang Wang, Dalian University of Technology pp. 267
Test Selection from UML Statecharts (Abstract)
Liuying Li, ChangSha Institute of Technology
ZhiChang Qi, ChangSha Institute of Technology pp. 273
Gilda Pour, California State University at San Jose pp. 282
Yun Yang, Deakin University
Paul Wojcieszak, Deakin University pp. 292
Correct Composition of Distributed Systems (Abstract)
Thomas Genßler, FZI Karlsruhe
Welf Löwe, Universit?t Karlsruhe pp. 296
A Java Networking API for ATM Networks (Abstract)
Z. Huang, University of Otago
S. Cranefield, University of Otago
K.M.V. Chee, University of Otago
Martin Purvis, University of Otago pp. 306 pp. 316 pp. 320 pp. 326
Yufeng Liu, Beijing University of Aeronautics and Astronautics
Shuzhen Yao, Beijing University of Aeronautics and Astronautics pp. 331
Hong An, University of Science and Technology of China
Hong Li, University of Science and Technology of China
Ming Wu, University of Science and Technology of China
Yongchang Ji, University of Science and Technology of China
Zhihui Chen, University of Science and Technology of China
Feng Wang, University of Science and Technology of China
Guoliang Chen, University of Science and Technology of China pp. 336
Feng Wang, University of Science and Technology of China
Qilong Zheng, University of Science and Technology of China
Hong An, University of Science and Technology of China
Guoliang Chen, University of Science and Technology of China pp. 342
Building a Repository for Workflow Systems (Abstract)
Chengfei Liu, University of Technology at Sydney
Xuemin Lin, The University of New South Wales
Xiaofang Zhou, University of Queensland
Maria Orlowska, University of Queensland pp. 348
Li Wang, Deakin University
Wanlei Zhou, Deakin University pp. 358
Xue Li, The University of New South Wales pp. 362
Shi-guang Ju, Jiangsu University of Science and Technology
Sergio V. Chapa, Jiangsu University of Science and Technology
Wei-he Chen, Jiangsu University of Science and Technology pp. 372
Li Zhu, Xi'an Jiaotong University and Northwest Institute of Nuclear Technology
Shouqi Zheng, Xi'an Jiaotong University
Zhijun Zheng, Xi'an Jiaotong University
Junhui Zhou, Northwest Institute of Nuclear Technology
Yinqiu Yu, Northwest Institute of Nuclear Technology pp. 386
Federated Query Service Based on CORBA (Abstract)
Ruey-Kai Sheu, National Chiao Tung University
Shyan-Ming Yuan, National Chiao Tung University pp. 392 pp. 400 pp. 406
Wenyang Bai, Nanjing University
Zhigang Li, Nanjing University
Lijun Ying, Nanjing University
and Jiepan Xu, Nanjing University pp. 414
N. Bajgoric, Bogazi?i University
I.K. Altinel, Bogazi?i University
M. Draman, Bogazi?i University
A.T. Ünal, Bogazi?i University pp. 424
Pierpaolo Vittorini, University of L'Aquila
Paolino Di Felice, University of L'Aquila pp. 428
Xuemin Lin, University of New South Wales
Chengfei Liu, University of Technology at Sydney
Yanchun Zhang, University of Southern Queensland
Xiaofang Zhou, University of Queensland pp. 440 pp. 448
Zhiwu Xie, Naval Academy of Engineering
Jun Yu, Naval Academy of Engineering
Jinyang Liu, Hubei Institute of Technology pp. 458
Yunlong Zhu, Chinese Academy of Sciences
Hongxin Li, Chinese Academy of Sciences
Jinsong Xue, Chinese Academy of Sciences
Hongtao Wang, Chinese Academy of Sciences pp. 465
Yue Wang, Shanghai Jiaotong University
Tiansi Dong, Shanghai Jiaotong University
Liangxian Xu, Shanghai Jiaotong University
Ruzhan Lu, Shanghai Jiaotong University pp. 471 pp. 477 pp. 484 Usage of this product signifies your acceptance of the Terms of Use.
| |||||||||||||||||||||||||||||||
