27th IEEE Annual International Computer Software and Applications Conference

Hongkong, September 30 - October 3, 2003

 COMPSAC 2003 AT-A-GLANCE

 

 

Monday

Tuesday

Wednesday

Thursday

 

November 3

November 4

November 5

November 6

09:00-10:30

Opening Session

Plenary Panel Session

Keynote Session

09:00-10:00

 

 

Keynote: 

Chair : Stephen S. Yau

Keynote:

 

 

Louis J. Blazy 

 

Robin  Bloomfield                    

 

10:30-11:00

Coffee Break

Coffee Break

Coffee Break   

10:00-10:30

 

11:00-12:30

Parallel Sessions:

Parallel Sessions:

Parallel Sessions:

10:30-12:00

Parallel Sessions:

 

1 Pervasive & Ubiquitous

    Computing

13 Collaborative Systems

22 Distributed Systems

28 System Reliability (1)

 

2 Panel: Homeland Security’s Cyber Comp.

14 Software Architecture &

      Framework

 

Workshop 3:

WEBSA2003 (1 of 3)

 

3 Software & System

    Testing (1)

15 Requirements

      Engineering

23 Component-Based

     Software Engineering

 

 

4 Software Reuse &

Management

16 Panel: Case Studies in

     Systems/Software Eng.

Workshop 2: Web &

 Security Informatics (1 of 3)

 

12:30-14:00

Lunch Break

Lunch Break

Lunch Break

12:00-13:30

Lunch Break

14:00-15:30

Parallel Sessions:

Parallel Sessions:

Parallel Sessions:

13:30-15:00

Parallel Sessions:

 

5 Middleware Systems

17 Internet & Web-based

     Systems

24 Network Systems

29 System Reliability (2)

 

6 Trustworthy Software

   Systems

18 Software

Reengineering (1)

 

Workshop 3:

WEBSA2003 (2 of 3)

 

7 Panel: Software Testing

19 Quality Management

25 Object-Oriented

      Development  (1)

 

 

8 Software Process

   Management

Workshop 1:

WACAI 2003 (1 of 2)

Workshop 2: Web &

Security Infrmatics (2 of 3)

 

15:30-16:00

Coffee Break

Coffee Break

Coffee Break

15:00-15:30

Coffee Break

16:00-17:30

Parallel Sessions:

Parallel Sessions:

Parallel Sessions:

Session:

 

9 Mobile and High

   Performance Systems

 

26 Enterprise Systems

 

 

10 Information Security

20 Software

Reengineering (2)

 

Workshop 3:

WEBSA2003 (3 of 3)

 

11 Software & System

     Testing (2)

21 Measurement  &

     Metrics

27 Object-Oriented

      Development (2)

 

 

12 Panel: Global Trends

     in SPI

Workshop 1:

WACAI 2003 (2 of 2)

Workshop 2: Web &

Security Informatics  (3 of 3)

 

 

CONFERENCE VENUE

 

Omni Richardson Hotel

701 East Campbell Road,

Richardson, Texas 75081

USA

SOCIAL FUNCTIONS

 
Conference Reception
6 pm, Monday   November 3  2003

Conference Banquet  

6 pm, Tuesday   November 4  2003

 

 

 COMPSAC 2003 TECHNICAL PROGRAM

 

Monday  November 3 2003

09:00-10:30 Opening Session

 

Welcome and Remarks: General Chair:  Robert Helms, University of Texas at Dallas, USA

Additional Greetings and Remarks: Steering Committee Chair: Stephen S. Yau, Arizona State University, USA 

Program Overview: Program Co-Chair: Jeffrey Voas, Cigital, Inc, USA

Keynote Address 1:  The Ruthless Pursuit of Frameworks and Patterns for Web-Based Applications: Louis J. Blazy, Deputy Assistant Secretary, Department of Housing and Urban Development, and Professor, Software Engineering, University of Maryland, USA

10:30-11:00 Coffee Break

11:00-12:30 Parallel Sessions

Session 1: Pervasive & Ubiquitous Systems

Chair: Peter In, Korea University, Korea

Mining Sequential Patterns Using Graph Search Techniques: Yin-Fu Huang and Shao-Yuan Lin, National Yunlin University of Science and Technology, Taiwan

A Middleware Service for Secure Group Communication in Mobile Ad Hoc Networks: Stephen S. Yau and Xinyu Zhang, Arizona State University, USA  

Device State Recovery in Non-volatile Main Memory Systems: Ren Ohmura, Nobuyuki Yamasaki, and Yuichiro Anzai, Keio University, Japan

 

Session 2:  Panel: Homeland Security’s Cyber Component: A Survey of Legal Issues

Chair: Bret Michael, Naval Postgraduate School, USA

Panelists: Bret Michael, Naval Postgraduate School, USA

Thomas C. Wingfield, Potomac Institute for Policy Studies, USA

           Steven Roberts, University of Miami, USA

Session 3: Software and System Testing (1)

Chair:  T. Y. Chen, Swinburne University of Technology, Australia

BINTEST - Binary Search-based Test Case Generation: Sami Beydeda, University of Dortmund, Volker Gruhn, University of Leipzig, Germany

Automated Metamorphic Testing: Arnaud Gotlieb, IRISA/INRIA, Bernard Botella, THALES Airborne Systems, France

Smart Debugging Software Architectural Design in SDL: W. Eric Wong, Tatiana Sugeta, and Yu Qi, University of Texas at Dallas, USA, Jose C. Maldonado, University of Sao Paulo at Sap Carlos, Brazil

Session 4: Software Reuse & Management

Chair:  Huimin Lin, Institute of Software, Academy of Sciences, China

Lessons Learned from Software Engineering Multi-Agent Systems: David C. Kung, Hitesh Bhambhani, Sheila Nwokoro, Wesam Okasha, Ravindra Kambalakatta, and Praveen Sankuratri, University of Texas at Arlington, USA

Application of Tightly Coupled Engineering Team for Development of Test Automation Software – A real world Experience: Nader Kameli, Abraham Eapen, Ajay Pandey, Corey Miklos, Francoise Boudigou, Imelda Sutedjo, Manoj Paul, Vivek Vijay, and Wesley McDermott, Guidant Corporation, USA

A Cooperative Framework for Inter-Organizational Workflow System: Shung-Bin Yan and Feng-Jian Wang, National Chiao Tung University, Taiwan

12:30-14:00 Lunch Break

14:00-15:30 Parallel Sessions

Session 5: Middleware Systems

Chair:  Peter Henderson, University of Southampton, UK

Context Aware Deployment for Mobile Users: Chantal Taconet, Erik Putrycz, and Guy Bernard, Institut National des Telecommunications, France

Policy-based Separation of Concerns for Dynamic Code Mobility Management: Rebecca Montanari, Universita di Bologna, Cesare Stefanelli, Universita di Ferrara, and Gianluca Tonti, Universita di Bologna, Italy

Semantic-based Approach to Streaming XML Contents using Xstream: Eugene Y.C. Wong,

Alvin T.S. Chan, and Hong-Va Leong, Hong Kong Polytechnic University, Hong Kong

Session 6:  Trustworthy Software Systems

Chair: Karama Kanoun, LAAS-CNRS, France

Automating Checking of Models built using a Graphically Based Formal Modelling Language: Robert John Walters, University of Southampton, UK

Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems: Yiannis Papadopoulos, University of Hull, UK, Christian Grante, Volvo Cars, Sweden

Design and Implementation of a Cache-Conscious Index Manager for the Tachyon, a Main-Memory DBMS: Sang-Wook Kim and Kyung-Tae Lee, Kangwon National University, Won-Young Kim and Wan Choi, Electronics and Telecommunications Research Institute,

Panel Session 2:  Software Testing

Organizer: W.T. Tsai, Arizona State University, USA

Panelists: Ramesh Bharadwaj, Navel Research Lab., USA

                David Kung, University of Texas at Arlington, USA

                Raymond Paul, Department of Defense, USA

Session 7:  Panel: Software Testing

Organizer: W.T. Tsai, Arizona State University, USA

Panelists: Ramesh Bharadwaj, Navel Research Lab., USA

                David Kung, University of Texas at Arlington, USA

                Raymond Paul, Department of Defense, USA

                T. H. Tse, The University of Hong Kong, Hong Kong

Session 8: Software Process Management

Chair:  David Card, Software Productivity Consortium, USA

Towards Dynamic Process with Variable Structure by Reflection: Shaohua Liu, Jun Wei, and Wei Xu, The Chinese Academy of Sciences, China

Current Trends in the Adoption of the CMMI Product Suite: David Zubrow, SEI, Carneige-Mellon University, USA

A CC-based Security Engineering Process Evaluation Model: Jongsook Lee, Jieun Lee, Seunghee Lee, and Byoungju Choi , Ewha Womans University, Korea

 

15:30-16:00 Coffee Break

16:00-17:30 Parallel Sessions

Session 9: Mobile and High Performance Systems

Chair:  Kinji Mori, Tokyo Institute of Technology, Japan

An Object-Passing Model for Parallel Programming: Jameela Al-Jaroodi and Nader Mohamed, University of NebraskaLincoln, USA

Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing Between Mobile and Stationary Subsystems: Peter Ahlbrecht, Silke Eckstein, and Karl Neumann, Tech. Univ. Braunschweig, Germany

Data Placement and Query Processing Based on RPE Parallelisms: Yaxin Yu, Gang Wu, Junan Hu, and Nan Tang, Northeastern University, China

Session 10: Information Security

Chair:  Ramesh Bharadwaj, Navel Research Lab., USA

A Protection Environment for Administrators of Windows 2000/XP Against Malicious Program Attacks: Adrian Spalka, Marcel Winandy, and Hanno Langweg, University of Bonn, Germany

A Security Characterisation Framework for Trustworthy Component Based Software Systems: Khaled M. Khan, University of Western Sydney, and Jun Han, Monash University, Australia

Exploiting Self-Modification Mechanism for Program Protection: Yuichiro Kanzaki, Akito Monden, Masahide Nakamura, and Ken-ichi Matsumoto, Nara Institute of Science and Technology, Japan

Session 11: Software and System Testing (2)

Chair: Sami Beydeda, University of Leipzig, Germany

Tolerance of Control-Flow Testing Criteria: Sergiy A. Vilkomir, Kalpesh Kapoor, and Jonathan P. Bowen, South Bank University, UK

Data Flow-Based Unit Testing of Aspect-Oriented Programs: Jianjun Zhao, Fukuoka Institute of Technology, Japan

A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software: Huo Yan Chen, Yu Xia Sun, Jinan University, China and T.H. Tse, The University of Hong Kong, Hong Kong

Session 12:  Panel: Global Trends in SPI

Organizer: Stephen Chen, Motorola, USA

Panelists: David Card, Software Productivity Consortium, USA

                Roger Fordham, Motorola, USA

                David Zubrow, Carneige-Mellon University, USA

 

18:00-19:30 Conference Reception

19:30-21:30

Planning Meeting for COMPSAC2004

September 28 – October 1, 2004

Hong Kong

 

Tuesday  November 4 2003

09:00-10:30 Plenary Session 1

Panel: Challenges and Recent Advances in Developing Trustworthy Software-Based Systems

 

Chair: Stephen S. Yau, Arizona State University, USA

Panelists:  Carl Landwehr, National Science Foundation, USA

                  Jeffrey Voas, Cigital, Inc., USA

                 Thomas Weigert, Motorola Global Software Group, USA

10:30-11:00 Coffee Break

11:00-12:30 Parallel Sessions

 

Session 13: Collaborative Systems

Chair:  Hans-Dieter Enrich, Technical University Braunschweig, Germany

A Multi-Agent Software Environment for Testing Web-based Applications: Qingning Huo, Hong Zhu, and Sue Greenwood, Oxford Brookes University, UK

Mediating Electronic Meetings: Jia Zhang, infiNET Solutions, Carl K. Chang, Iowa State University, Jen-Yao Chung, IBM Watson Research, USA

Scalable Multilateral Communication Technique for Large-Scale Information Systems:

 Khaled Ragab, Takanori Ono, Naohiro Kaji, and Kinji Mori, Tokyo Institute of Technology, Japan

Session 14:  Software Architecture & Framework

Chair: Jeff Lei, University of Texas, Arlington, USA

Runtime Software Architecture Based Software Online Evolution: Qianxiang Wang, Gang Huang, Junrong Shen, Hong Mei, and Fuqing Yang, Peking University, China

Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution: T.H. Ng and S.C. Cheung, Hong Kong University of Science and Technology, Hong Kong

The XIS Generative Programming Techniques: Alberto Rodrigues da Silva, Instituto SuperiorTecnico / INESC-ID, Portugal

Session 15:  Requirements Engineering

Chair: Hongji Yang, De Montfort University, UK

A Feature-Oriented Approach to Modeling and Reusing Requirements of Software Product Lines: Hong Mei, Wei Zhang, and Fang Gu, Peking University, China

A Synergistic Interweaving of Formal and Informal Methods: W.L. Yeung, Lingnan University, Karl R.P.H. Leung, Hong Kong Institute of Vocational Education, Hong Kong

Mockup-Driven Fast-Prototyping for Web Requirements Engineering: Jia Zhang, infiNET Solutions, Carl K. Chang, Iowa State University, Jen-Yao Chung, IBM Watson Research, USA

Session 16: Panel: Case Studies in Systems/Software Engineering

Chair: Louis Blazy, Department of Housing and Urban Development and University of Maryland, USA

Panelists: Jeanne Behnke, NASA Godard Space Flight Center, USA

                Caroline M. Birog, American Chemical Society, USA

                Robert T. McCann, Lockheed Matin Management & Data Systems, USA

 

12:30-14:00 Lunch Break

14:00-15:30 Parallel Sessions

Session 17: Internet & Web-based Systems

Chair: Kendra Cooper, University of Texas, Dallas, USA

Integrating Heterogeneous Web Services with WebXcript: Dickson K. W. Chiu, Danny Kok, and Alex K.C. Lee, Chinese University of Hong Kong and S.C. Cheung, Hong Kong University of Science and Technology, Hong Kong

A Probabilistic Model for Intelligent Web Crawler: Ke Hu and Wing Shing Wong, Chinese University of Hong Kong, Hong Kong

Autonomous Decentralized Database System Reconstruction Technology through Mobile Agent Monitoring and Coordination: Carlos Perez Leguizamo, Dake Wang, and Kinji Mori, Tokyo Institute of Technology, Japan

Session 18: Software Reengineering (1)

Chair: T. H. Tse, The University of Hong Kong, Hong Kong

Incremental Transformation of Procedural Systems to Object Oriented Platforms: Ying Zou and Kostas Kontogiannis, University of Waterloo, Canada

Migrating Web Frameworks Using Water Transformations: Ahmed E. Hassan and Richard C. Holt, University of Waterloo, Canada

Bridging Legacy Systems to Model Driven Architecture: Bing Qiao and Hongji Yang, De Montfort University, UK

Session 19: Quality Management

Chair:  Hong Zhu, Oxford Brookes University, UK

Transforming quantities into qualities in assessment of software systems: Gerardo Canfora, Luigi Cerulo, and Luigi Troiano, University of Sannio, Italy

Information Quality Assessment of a Yellow-Pages Location-Based Service: Artem Katasonov and Markku Sakkinen, University of Jyvaskyla, Finland

VDM over PSP:A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development: Hisayuki Suzumori , Haruhiko Kaiya, and Kenji Kaijiri, Shinshu University, Japan

15:30-16:00 Coffee Break

16:00-17:30 Parallel Sessions

 

Session 20: Software Reengineering (2)

Chair:  Feng-Jian Wang, National Chiao Tung University, Taiwan

A Reengineering Process for Migrating from an Object-Oriented Legacy System to a

Component-Based System: Eunjoo Lee, Seoul National University, Woochang Shin, Seokyeong University, Byungjeong Lee, University of Seoul, and Chisu Wu, Seoul National University, Korea

Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System: Richard Millham, Martin Ward, and Hongji Yang, De Montfort Univ., UK

Recovering a Business Object Model from Web Applications: Giuseppe Antonio Di Lucca, University of Sannio, Anna Rita Fasolino, Porfirio Tramontana, and Ugo De Carlini, University of Napoli, Italy

Session 21: Measurement & Metrics

Chair: Nader Kameli, Guidant Corp., USA

Testing the Suitability of Markov Chains as Web Usage Models: Zhao Li and Jeff Tian, Southern Methodist University, USA

Integrating Practical Software Measurement and the Balanced Scorecard: David Card, Software Productivity Consortium, USA

A Cut-Based Algorithm for Reliability Analysis of Terminal-Pair Network Using OBDD: Yung-Ruei Chang, Hung-Yau Lin, and Sy-Yen Kuo, National Taiwan University, Taiwan

18:00-21:30 COMPSAC2003 Dinner Banquet

 

 

Wednesday November 5 2003

09:00-10:00 Plenary Session 2

Chair:  Jeffrey Voas, Cigital, Inc., USA

Keynote Address 2:  The Pursuit of Trust: Finding a Way Through the High Assurance Landscape: Robin Bloomfield, Professor, Adelard and City University, London, UK

10:00-10:30 Coffee Break

10:30-12:00 Parallel Sessions 

Session 22: Distributed Systems

Chair:  Rida Bazzi, Arizona State University, USA

IBHIS: Integration Broker for Heterogeneous Information Sources: Ioannis Kotsiopoulos and John Keane, UMIST, Mark Turner, University of Keele, Paul Layzell, UMIST, Fujun Zhu, University of Durham, UK

Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes: Ann T. Tai and Kam S. Tso, IA Tech, Inc, and William Sanders, University of Illinois, USA

Implementation of Nonstop Software Update for Client-Server Applications: Wen-Kang Wei, Kuo-Feng Ssu, and Hewijin Christine Jiau, National Cheng Kung University, Taiwan

Session 23:  Component-Based Software Engineering

Chair:  I-Ling Yen, University of Texas, Dallas,  USA

A Test-Driven Component Development Framework based on the CORBA Component Model: Egon Teiniker, Stefan Mitterdorfer, Graz University of Technology and Salomon Automation GmbH, Leif Morgan Johnson, Salomon Automation GmbH, Christian Kreiner, Graz University of Technology and Salomon Automation GmbH, Zsolt Kovacs, Salomon Automation GmbH, and Reinhold Weiss, Graz University of Technology, Austria

Information Use in CBSE Design: Stephen Owen, David Budgen, and Pearl Brereton, Keele University, UK

Variable Strength Interaction Testing of Components: Myra B. Cohen, Peter B. Gibbons, and Warwick B. Mugridge, University of Auckland, New Zealand, Charles J. Colbourn, and James S. Collofello, Arizona State University, USA

Just What Could Possibly Go Wrong in B2B Integration?: Dean Kuo, Alan Fekete, Paul Greenfield, Julian Jang, and Doug Palmer, CSIRO,  Australia

12:00-13:30 Lunch Break

13:30-15:00 Parallel Sessions

Session 24:  Network Systems

Chair: Carl Chang, Iowa State University, USA

An Integrated Approach to Scatternet Traffic Management in Bluetooth Ad Hoc Networks: Liza Lai-Yee Shek and Yu-Kwong Kwok, University of Hong Kong, Hong Kong

Distributed Garbage Collection by Timeouts and Backward Inquiry: Sung-Wook Ryu, Veritas Software Co., USA, Eul Gyu Im, National Security Research Inst., Korea, B. Clifford Neuman, Univ. of Southern California., USA

Facilitating Secure Ad hoc Service Discovery in Public Environments: Feng Zhu, Matt Mutka, Michigan State University, USA, and Lionel Ni, Michigan State University, USA and Hong Kong University of  Science and Technology, Hong Kong

Session 25:  Object-Oriented Development (1)

Chair: Mei Hong, Peking University, China

Precise Specification to Compound Patterns with ExLePUS: Jeffrey K. H. Mak, Clifford S.T.Choy, and Daniel P.K. Lun, The Hong Kong Polytechnic University, Hong Kong

Scenario Architecture - A Methodology to Build a Global View of OO Software System: Yiausyu Tsai and Hewijin Christine Jiau, National Cheng Kung University, Taiwan

A Role-Based Metamodeling Approach to Specifying Design Patterns: Dae-Kyoo Kim, Robert France, Sudipto Ghosh, and Eunjee Song, Colorado State University, USA

 

15:00-15:30 Coffee Break

15:30-17:30 Parallel Sessions

Session 26:  Enterprise Systems

Chair:  Dick B. Simmons, Texas A & M University, USA

A Toolkit for Developing Web-based Information Systems: Case Studies: Thierry Bodhuin, PST and University of Sannio, and Maria Tortorella, University of Sannio, Italy

Rapid Verification of Embedded Systems Using Patterns: W.T. Tsai, Arizona State University, F. Zhu, University of Minnesota, R. Paul, Department of Defense, L. Yu, C. Fan, and D. Wang, Arizona State University, USA

Software Documentation-Driven Manufacturing: Luqi, Xianzhong Liang, Lin Zhang, and Valdis Berzins, US Naval Postgraduate School, USA

Session 27: Object Oriented Development (2)

Chair: William Chu, TungHai University, Taiwan

Meta Model Approach for Mediation: Masataro Shiroiwa and Takao Miura, Hosei University, Isamu Shioya, Sanno University, Japan

A Flexible Framework for Replication in Distributed Systems: Eul Gyu Im, National Security Research Institute, Korea, B. Clifford Neuman, University of Southern California, USA

A Graph Grammar Approach to Software Architecture Verification and Transformation: Jun Kong, Kang Zhang, Jing Dong, and Guanglei Song, The University of Texas at Dallas, USA

Thursday  November 6 2003

11:00-12:30

Session 28: System Reliability (1)

Chair: Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics, China

Sensitivity Analysis of Software Reliability for Component-Based Software Applications: Jung-Hua Lo, Chin-Yu Huang, and Sy-Yen Kuo, National Taiwan University, Taiwan, Michael R. Lyu, The Chinese University of Hong Kong, Hong Kong

Effects of Introducing Survival Behaviours into Automated Negotiators: Peter Henderson, Stephen Crouch, Robert John Walters, and Qinglai Ni, University of Southampton, UK

An Architecture of Wireless Web and Dialogue System Convergence for Multimodal Service Interaction Over Converged Networks: Feng Liu, J. Jenny Li, Xueshan Shan, and Wu Chou, Avaya Labs Research, USA

12:30-14:00 Lunch Break

14:00-15:30

Session 29: System Reliability (2)

Chair: Michael R. Lyu, The Chinese University of Hong Kong, Hong Kong

Integrating Runtime Assertions With Dynamic Types: Structuring Derivation From An Incomputable Specification: Paul A. Bailes and Colin J.M. Kemp, The University of Queensland, Australia

Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata: Satoshi Yamane, Kanazawa University, Japan

An Efficient Defect Estimation Method for Software Defect Curves: Chenggang Bai and Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics, China, and T.Y. Chen, Swinburne University of Technology, Australia

 

15:30-16:00 Coffee Break

 

 COMPSAC 2003 WORKSHOPS

Tuesday November 4 2003

14:00-15:30, Break, 16:00-17:30

 Workshop 1:  Workshop on Architectures for Complex Application Integration (WACAI2003)

Organiser and Chair:  Piyush Maheshwari, The University of New South Wales, Australia

Workshop Chair’s Introduction: Piyush Maheshwari, The University of New South Wales, Australia

An Experience of Applying Architecture-based Approach to Build a Component-based Requirements Management Toolset: Muhammad Ali Babar, The University of New South Wales, Australia

§    Enterprise Application Integration Using a Component-based Distributed Object

Architecture: Piyush Maheshwari, The University of New South Wales, Australia

§    Flexible Fault Tolerance in Configurable Middleware for Embedded Systems: Kevin

 Dorow, Pacific NorthWest National Laboratory, USA

§    Ad Hoc Software Interfacing: Enterprise Application Integration (EAI) When

 Middleware Is Overkill: Arthur A. Reyes, Jose R. Espino, Vijai Mohan and Monica

 Nadkar, University of Texas at Arlington, USA

§    Next Generation Application Integration: Challenges and New Approach: Ian Gorton, Pacific National Laboratory, USA

Wednesday November 5 2003

10:30-12:00, Lunch Break, 13:30-15:00, Break, 15:30-17:00

Workshop 2:  Web & Security Informatics Workshop

Organiser and Chair:  Tsau Young Lin, San Jose State University, USA

Workshop Chair’s Introduction: Tsau Young Lin, San Jose State University, USA

Intelligent Web Topics Search Using Early Detection and Data Analysis: Ching-Cheng Lee and Yixin Yang, California State University at Hayward, USA

Discovering Cyber Communities from WWW: Xiaohua Hu, Drexel University, Jianchao Han, California State University, Nick Cercone, Dalhousie University, USA

Internet-Based Decision Support: toward E-hospital: Shusaku Tsumoto, Shoji Hirano and Eisuke Hanada, Shimane Medical University, Japan

A Framework for Web-based Research Support Systems: Yiyu Yao, University of Regina, Canada

Intelligent Mobile Agents for Efficient and Inexpensive e-Shopping: Lin Lu and Yan-Qing Zhang, Georgia State University, USA

Managing Security Policy in Large Distributed Web Services Environment: Symon Chang, and Qiming Chen, Commerce One Inc., USA

Information Flow in E-Government: Tsau Young  Lin, San Jose State University, USA

Measured Responses to Cyber Attacks using Schmitt Analysis: A Case Study of Attack Scenarios for Software-Intensive Mass Transportation Systems: J. B. Michael and T. C. Wingfield, Naval Postgraduate School, USA

A Methodology for Hiding Knowledge in XML Document Collections: Vijay V. Raghavan, University of Louisiana Lafayette, Tom Johnsten, Robert B. Sweeney, University of South Alabama, USA

Security for the Semantic Web: Bhavani Thuraisingham, The National Science Foundation, USA

Situation-Aware Personalized Information Retrieval for Mobile Internet: Stephen S. Yau, Huan Liu, Dazhi Huang, and Yisheng Yao, Arizona State University, USA

Thursday November 6 2003

11:00-12:30, Lunch Break, 14:00-15:30, Break, 16:00-17:30

Workshop 3:  Web Based Systems and Applications (WEBSA2003)

Organiser and Chair:  Baowen Xu, Southeast University, China

Workshop Chair’s Introduction: Baowen Xu, Southeast University, China

A Multiple-Tier Model Manipulation Architecture on Enterprise Decision Making: Zhihong Liang, Shaoyun Li, Hongwei Kang, Qing Duan, Hua Zhou, and Hongji Yang, De Montfort University, UK

Regression Testing for Web Applications Based On Slicing: Lei Xu and Baowen Xu, Southeast University, China

A Supervised Visual Wrapper Generator for Web-Data Extraction: Xiaofeng Meng, Haiyan Wang, Chen Li, Huizhong Kou, People’s University of China, China

A Dynamic Information Retrieval System for the Web: Xiangzhu Gao and San Murugesan, Southern Cross University, Australia

A Pattern Language Model for Framework Development: Liu Wudong, He Keqing, Ying Shi, Xu Hui, Jing Yixing, Wuhan University, China

Some Domain Patterns in Web Application Framework: Liu Chao, He Keqing, Liu Jie, Ying Shi, Fujitsu Limited, Japan

Web-Based Support for Managing Large Collections of Software Artefacts: Cornelia Boldyreff, Phyo Kyaw, Janet Lavery, David Nutter, and Stephen Rank, University of Durham, UK

MDA-based Development of E-Learning System: Hong Wang   and Dong Zhang, Carleton University, Canada

PeAgent – A Mobile Agent System to Support Secure Internet and Web Applications: Qingkai Ma, Wei Hao, Wei Li, Manghui Tu, I-Ling Yen, University of Texas at Dallas, USA

Toward an Easy Programming Environment for Implementing Mobile Applications: A Fleet Application Case Study Using SyD Middleware: S. K. Prasad, M. Weeks, Y. Zhang, A. Zelikovsky, S. Belkasim,

R. Sunderraman, and V. Madisetti, Georgia State University, USA

A Hierarchical Strategy for Testing Web-Based Applications and Ensuring Their

Reliability: Jeff Tian, Li Ma, Zhao Li and A. Gunes Koru, Southern Methodist

University, USA