The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (2002)
Oxford, England
Aug. 26, 2002 to Aug. 29, 2002
ISSN: 0730-3157
ISBN: 0-7695-1727-7

Preface (PDF)

pp. xix

Program Committee (PDF)

pp. xxii

Reviewers (PDF)

pp. xxiii
Plenary I — Keynote Address

Prolonging Software Life (PDF)

Terrence M. S. Heng , Motorola Global Software Group
pp. 3
Paper Session 1: Component Based Software Development (1)

Optimal Resource Allocation and Reliability Analysis for Component-Based Software Applications (Abstract)

Sy-Yen Kuo , National Taiwan University
Jung-Hua Lo , National Taiwan University
Michael R. Lyu , National Taiwan University
Chin-Yu Huang , National Taiwan University
pp. 7

Process-Oriented, Consistent Integration of Software Components (Abstract)

S. Thöne , University of Paderborn
R. Depke , University of Paderborn
G. Engels , University of Paderborn
M. Langham , S&N AG
pp. 13

Open Reuse of Component Designs in OPM/Web (Abstract)

Shmuel Katz , Technion - Israel Institute of Technology
Iris Reinhartz-Berger , Technion - Israel Institute of Technology
Dov Dori , Technion - Israel Institute of Technology
pp. 19
Paper Session 2: Software Evolution (1)

Quantitative Aspects of Requirements Evolution (Abstract)

Massimo Felici , University of Edinburgh
Stuart Anderson , University of Edinburgh
pp. 27

Requirements Specifications Evolution in a Multi-Perspective Environment (Abstract)

José J. Pazos-Arias , University of Vigo
Ana Belén Barragáns-Martínez , University of Vigo
Ana Fernández-Vilas , University of Vigo
Jorge García-Duque , University of Vigo
Rebeca P. Díaz-Redondo , University of Vigo
pp. 39
Paper Session 3: Software Process (1)

The Software Engineering Global Model (Abstract)

Salem Dakhli , Paris-Dauphine University
Claudine Toffolon , Littoral University
pp. 47

Resource Instantiation Policies for Software Process Environments (Abstract)

Heribert Schlebbe , Universit?t Stuttgart
Carla A. Lima Reis , Universidade Federal do Par? and Universidade Federal do Rio Grande do Sul
Rodrigo Quites Reis , Universidade Federal do Par? and Universidade Federal do Rio Grande do Sul
Daltro J. Nunes , Universidade Federal do Rio Grande do Sul
pp. 53

On the Business Impact of Software Process Improvement (Abstract)

Rob J. Kusters , Eindhoven University of Technology and Open University
Jos J.M. Trienekens , Eindhoven University of Technology
pp. 59
Paper Session 4: Software Architecture for Control Systems

Case Study: Componentization of an Industrial Control System (Abstract)

Andreas Sjögren , M?lardalen University
Frank Lüders , ABB Automation Technology Products AB
Ivica Crnkovic , M?lardalen University
pp. 67

Requirements Specification and Architecture Design for Internet-Based Control Systems (Abstract)

L. S. Tan , Central China Normal University
S. H. Yang , Loughborough University
X. Chen , Loughborough University
pp. 75

Distributed Agent Architecture for Port Automation (Abstract)

Huosheng Hu , University of Essex
Tom Thurston , University of Essex
pp. 81
Panel Session 1

FORTEST: Formal Methods and Testing (Abstract)

M. Harman , Brunel University
J. Clark , University of York
P. Krause , Philips Research Laboratories and University of Surrey
K. Bogdanov , University of Sheffield
J. Bowen , South Bank University
R. Hierons , Brunel University
pp. 91
Paper Session 5: Internet and Gigabit Net

Rights Protection for Digital Contents Redistribution Over the Internet (Abstract)

S. C. Cheung , Hong Kong University of Science and Technology
Hanif Curreem , Hong Kong University of Science and Technology
pp. 105

Gigabit Packet Classification by Using Lookahead Caching (Abstract)

Wei-Chun Tseng , Chunghwa Telecom Co., Ltd.
Pi-Chung Wang , Chunghwa Telecom Co., Ltd.
Chia-Tai Chan , Chunghwa Telecom Co., Ltd.
Yaw-Chung Chen , National Chiao-Tung University
pp. 117
Paper Session 6: Qua;ity Control (1)

Requirements Driven Quality Control (Abstract)

Stanisław Szejko , Technical University of Gdańsk
pp. 125

A Fuzzy Logic Framework to Improve the Performance and Interpretation of Rule-Based Quality Prediction Models for OO Software (Abstract)

Mounir Boukadoum , Universit? du Qu?bec ? Montr?al
Gang Mai , Universit? de Montr?al
Mohamed Serhani , Universit? de Montr?al
Houari A. Sahraoui , Universit? de Montr?al
Hassan M. Chawiche , Universit? de Montr?al
pp. 131

Application of Hazard Analysis to Software Quality Modelling (Abstract)

Hong Zhu , Oxford Brookes University
Yanlong Zhang , Oxford Brookes University
Qingning Huo , Oxford Brookes University
Sue Greenwood , Oxford Brookes University
pp. 139
Paper Session 7: Modelling with UML

A Toolset for Supporting UML Static and Dynamic Model Checking (Abstract)

James Huggins , Kettering University
Kevin Compton , University of Michigan
Wuwei Shen , Western Michigan University
pp. 147

From MSC and UML to SDL (Abstract)

Stephan Bourduas , Concordia University
Ferhat Khendek , Concordia University
Daniel Vincent , France Telecom R&D
pp. 153
Paper Session 8: XML and Semantic Web

Using XML to Integrate Existing Software Systems into the Web (Abstract)

Harry M. Sneed , Universit?t Regensburg and CaseConsult GmbH
pp. 167

XVIP: An XML-Based Video Information Processing System (Abstract)

Edward Yau , Chinese University of Hong Kong
Michael R. Lyu , Chinese University of Hong Kong
P. W. Chan , Chinese University of Hong Kong
C. H. Ngai , Chinese University of Hong Kong
pp. 173
Paper Session 9: Communication and Networking

Personalized Redirection of Communication (Abstract)

M. Howard Williams , Heriot-Watt University
Yuping Yang , Heriot-Watt University
pp. 187

Design and Implementation of a Network Application Architecture for Thin Clients (Abstract)

Chia-Chen Kuo , National Taiwan University
Jeng-Chun Chen , Philips Research East Asia
Ming-Syan Chen , National Taiwan University
Ping Ting , National Taiwan University
pp. 193

Distributed Checkpointing Using Synchronized Clocks (Abstract)

S. Neogy , Jadavpur University
P. K. DAS , Jadavpur University
A. Sinha , Jadavpur University
pp. 199
Panel Session 2

Entrepreneurship in Software Industry (Abstract)

M. Boasson , University of Amsterdam and Quarendo Invenietis b.v.
S.S. Yau , Arizona State University
D. Simmons , Texas A&M University and The Software Commercialization and Innovation Center Incorporated
W. C. Chu , TungHai University, ZeN Technologies Co., Ltd. and Flowing Ring Technologies Co., Ltd.
pp. 207
Paper Session 10: UML Application and Requirement Engineering

Case Study: Implementing a Web Based Auction System Using UML and Component-Based Programming (Abstract)

Kshamta Jerath , Washington State University
Frederick T. Sheldon , Washington State University
Young-Wook Baik , Daegu University
Young-Jik Kwon , Daegu University
pp. 211

Transformation and Integration Method of Scenarios (Abstract)

Zhang Hong Hui , Ritsumeikan University
Hiroshi Fujimoto , Ritsumeikan University
Atsushi Ohnishi , Ritsumeikan University
pp. 224
Paper Session 11: Ubiquitous Computing, Middleware and Embedded Systems

Development of Situation-Aware Application Software for Ubiquitous Computing Environments (Abstract)

Fariaz Karim , Arizona State University
Yu Wang , Arizona State University
Stephen S. Yau , Arizona State University
pp. 233

On Bootstrapping Replicated CORBA Applications (Abstract)

L. E. Moser , University of California at Santa Barbara
P. M. Melliar-Smith , University of California at Santa Barbara
W. Zhao , University of California at Santa Barbara
pp. 239

Strategies for Integration of a Non-OO EIS and the J2EE Framework (Abstract)

Shengru Tu , University of New Orleans
Paul Augustin , NOLA Computer Service
Gongqin Li , OTIS, Inc.
pp. 246
Paper Session 12: Software Engineering Profession and Methodology

Towards an MDA-Oriented Methodology (Abstract)

Marie-Pierre Gervais , Laboratoire d'Informatique de Paris 6 and Universit? Paris X
pp. 265

Reducing Risks of Widespread Faults and Attacks for Commercial Software Applications: Towards Diversity of Software Components (Abstract)

A. Baldwin , Hewlett-Packard Laboratories
M. Sadler , Hewlett-Packard Laboratories
K. Harrison , Hewlett-Packard Laboratories
Y. Beres , Hewlett-Packard Laboratories
M. Casassa Mont , Hewlett-Packard Laboratories
S. Shiu , Hewlett-Packard Laboratories
pp. 271
Industry Session 1: Software Process and Quality

Requirement Capturing and 3CR Approach (Abstract)

Vladislav Volkov , ISS<sup>1</sup>, Ukraine
Julia Kapitonova , ISS<sup>1</sup>, Ukraine
Alexander Letichevsky , ISS<sup>1</sup>, Ukraine
Vsevolod Kotlyarov , Motorola, GSG-Russia
Sergey Baranov , Motorola, GSG-Russia
pp. 279

Constructing an EJB Application in a WFMS (Abstract)

Huai-Jong Hsu , Flowring Technology Corp.
Feng-Jian Wang , National Chiao Tung University
Ta-Chun Lin , National Chiao Tung University
Jian-Wei Wang , National Chiao Tung University
pp. 284

Suitability of Evolutionary Algorithms for Evolutionary Testing (Abstract)

Joachirn Wegener , DairnlerChrysler AG
André Baresel , DairnlerChrysler AG
Harrnen Sthamer , DairnlerChrysler AG
pp. 287

Program C Editor through Voice Input (Abstract)

Masahiro Yamamoto , Hosei University
pp. 290

Preliminary Case Study on Software Reuse with Object Persistency Framework (Abstract)

Takeshi Nii , Hitachi Software Engineering Co., Ltd.
Hiroshi Suganuma , Hitachi Software Engineering Co., Ltd.
Kinya Nakamura , Hitachi Software Engineering Co., Ltd.
Norikazu Kijima , Hitachi Software Engineering Co., Ltd.
pp. 293
Paper Session 13: Measurement and Metrics

Evaluating Software Maintenance Cost Using Functional Redundancy Metrics (Abstract)

Tetsuji Fukaya , Toshiba Corporation
Takeo Imai , Toshiba Corporation
Yoshio Kataoka , Toshiba Corporation
pp. 299

Measuring Distance between Program Features (Abstract)

Joseph R. Horgan , Telcordia Technology
Swapna S. Gokhale , Telcordia Technology
W. Eric Wong , University of Texas at Dallas
pp. 307
Paper Session 14: Testing (1)

Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded (Abstract)

R. Paul , Department of Defense
Y. Na , Arizona State University
A. Saimi , Hitachi Software Engineering
W. T. Tsai , Arizona State University
F. Lu , Arizona State University
pp. 321

Metamorphic Testing of Programs on Partial Differential Equations: A Case Study (Abstract)

T. Y. Chen , Swinburne University of Technology
Jianqiang Feng , University of Hong Kong
T. H. Tse , University of Hong Kong
pp. 327

Expanding an Extended Finite State Machine to aid Testability (Abstract)

R. M. Hierons , Brunel University
H. Ural , University of Ottawa
T.-H. Kim , University of Ottawa
pp. 334
Panel Session 3

Are We At Last Seeing Global Movements Towards Software Engineering Professionalism? (Abstract)

T. H. Tse , University of Hong Kong
M. Ryan , Dublin City University
J. B. Thompson , University of Sunderland
C. K. Chang , University of Illinois at Chicago
D. B. Simmons , Texas A&M University
S. Rogerson , De Montfort University
pp. 343
Paper Session 15: Program Slicing and Analysis

Slice-Based Dynamic Memory Modelling — A Case Study (Abstract)

Bala Sivagurunathan , University of North London
Mark Harman , Brunel University
Yoga Sivagurunathan , KW International
pp. 351

Program Slicing via FermaT Transformations (Abstract)

M. P. Ward , De Montfort University
pp. 357
Paper Session 16: Process (2)

Early Experiences on Promoting Explicit Separation of Details to Improve Software Processes Reusability (Abstract)

Daltro José Nunes , Universidade Federal do Rio Grande do Sul
Carla A. Lima Reis , Universidade Federal do Par? and Universidade Federal do Rio Grande do Sul
Heribert Schlebbe , Universit?t Stuttgart
Rodrigo Quites Reis , Universidade Federal do Par? and Universidade Federal do Rio Grande do Sul
pp. 373
Paper Session 17: Web Based Systems (1)

The Application of Case-Based Reasoning to Early Web Project Cost Estimation (Abstract)

Emilia Mendes , University of Auckland
Nile Mosley , MXM Technology
Steve Counsell , University of London
pp. 393

Tolerating Changes in A Design P ychology Based Web Page Wrapper (Abstract)

Hewijin C. Jiau , National Cheng Kung University
Yang Li , BTexact Technologies
Hongji Yang , De Montfort University
Zhan Cui , BTexact Technologies
pp. 399

Reliability Assessment of WEB Applications (Abstract)

V. S. Alagar , Concordia University
O. Ormandjieva , Concordia University
pp. 405
Paper Session 18: Software Evolution (2)

Renaissance: A Method to Support Software System Evolution (Abstract)

Ian Warren , Lancaster University
Jane Ransom , Lancaster University
pp. 415

Investigating Large Software System Evolution: The Linux Kernel (Abstract)

G. Antoniol , University of Sannio
J. S. Sormani , École Polytechnique de Montréal
M. Dagenais , École Polytechnique de Montréal
S. Gradara , University of Sannio
P. Bachand , École Polytechnique de Montréal
E. Merlo , École Polytechnique de Montréal
pp. 421
Paper Session 19: Architecture for Development

A Distributed Architecture for Cooperative and Adaptative Multimedia Applications (Abstract)

Franck Luthon , LIUPPA, IUT Bayonne
Marc Dalmau , LIUPPA, IUT Bayonne
Philippe Roose , LIUPPA, IUT Bayonne
pp. 444

An Architecture-Based Approach for Component-Oriented Development (Abstract)

Hong Mei , Peking University
Feng Chen , Peking University
Qianxiang Wang , Peking University
Fuqing Yang , Peking University
pp. 450
Plenary II — Keynote Address
Industry Session 2: Software Tools

Dependency Analysis and Visualization as Tools to Prolong System Life (Abstract)

Stew Crawford-Hines , Institute for Zero Defect Software
Simon Hoare , Semantic Arts
Dave McComb , Semantic Arts
Simon Robe , Semantic Arts
pp. 463

A Reusable Software Architecture Model for Manufactory Management Information System (Abstract)

Yuanyuan Sun , Huachang Electrics & Communication Co., Ltd.
Feng Chen , Dalian University of Technology
Yuxin Wang , Dalian University of Technology
He Guo , Dalian University of Technology
pp. 469

Managing Software Quality with Defects (Abstract)

David N. Card , Software Productivity Consortium
pp. 472

ToolManager: A Tool for Management of CASE Tools (Abstract)

Ana Cristina Rouiller , Universidade Federal de Pernambuco
Sandro Ronaldo Bezerra Oliveira , Universidade da Amaz?nia
Alexandre Marcos Lins de Vasconcelos , Universidade Federal de Pernambuco
pp. 475
Paper Session 20: Web Based Systems (2)

An Approach to Identify Duplicated Web Pages (Abstract)

Massirniliano Di Penta , Università del Sannio
Giuseppe Antonio Di Lucca , Università di Napoli Federico II
Anna Rita Fasolino , Università di Napoli Federico II
pp. 481

Web Document Classification Based on Fuzzy Association (Abstract)

Xiuqi Li , Florida Atlantic University
Choochart Haruechaiyasak , University of Miami
Mei-Ling Shyu , University of Miami
Shu-Ching Chen , Florida International University
pp. 487

Application Assembly Using Web Services (Abstract)

Jay van Zyl , Rubico Products (Pty) Ltd,
pp. 493
Paper Session 21: Service Based Software

Trust Services: A Framework for Service-Based Solutions (Abstract)

Marco Casassa Mont , Hewlett-Packard Laboratories
Adrian Baldwin , Hewlett-Packard Laboratories
Simon Shiu , Hewlett-Packard Laboratories
pp. 507

Autonomous Real-Time Navigation Based on Work Load Situation in Demand-Oriented Information Service System (Abstract)

Teruyoshi Zenmyo , Tokyo Institute of Technology
Kinji Mori , Tokyo Institute of Technology
Helene Arfaoui , Tokyo Institute of Technology
pp. 514
Panel Session 4

Knowledge Transfer from University to Industry (Abstract)

J. Leighfield , CBE, Former Chairman of ISTEL
S. Szejko , Technical University of Gdansk
S. Rogerson , De Montfort University
A. Adam , University of Salford
N. Copp , Consignia
pp. 525
Paper Session 22: Quality Control (2)

Quality Models Reuse: Experimentation on Field (Abstract)

Giuseppe Visaggio , University of Bari
Alessandro Bianchi , University of Bari
Danilo Caivano , University of Bari
pp. 535

The Method of Software Reliability Growth Models Choice Using Assumptions Matrix (Abstract)

V. V. Sklyar , National Aerospace University
V. S. Kharchenko , National Aerospace University
V. Yu. Dubnitsky , National Aerospace University
O. M. Tarasyuk , National Aerospace University
pp. 541
Paper Session 23: Component Based Software Development (2)

Component Based System Framework for Dynamic B2B Interaction (Abstract)

Jinmin Hu , University of Twente
Paul Grefen , University of Twente
pp. 557

Control-Driven Coordination Based Assembling of Components (Abstract)

George A. Papadopoulos , University of Cyprus
Avraam Chimaris , University of Cyprus
pp. 572
Paper Session 24: Agent Based and Intelligent Systems

MADSS: A Multi-Agent Based Distributed Scripting System (Abstract)

Jim-Min Lin , Feng Chia University
Zeng-Wei Hong , Feng Chia University
Guo-Ming Fang , Feng Chia University
pp. 581

Extending Applications Using Reflective Assistant Agents (Abstract)

Giuseppe Pappalardo , Università di Catania
Emiliano Tramontana , Università di Catania
Corrado Santoro , Università di Catania
Antonella Di Stefano , Università di Catania
pp. 587

Supporting Event Based Traceability through High-Level Recognition of Change Events (Abstract)

Carl K. Chang , University of Illinois at Chicago, Now at Iowa State University
Yujia Ge , University of Illinois at Chicago, Now at Iowa State University
Jane Cleland-Huang , University of Illinois at Chicago, Now at DePaul University
pp. 595
Paper Session 25: Web Application and Pattern Language

WWM: A Practical Methodology for Web Application Modeling (Abstract)

Wanchai Rivepiboon , Chulalongkorn University
Chanwit Kaewkasi , Chulalongkorn University
pp. 603

Developing Web-Based Applications through e-Prototyping (Abstract)

Martti Jeenicke , Hamburg University
Ralf Klischewski , Hamburg University
Wolf-Gideon Bleek , Hamburg University
pp. 609

A Process for Framework Construction Based on a Pattern Language (Abstract)

Rosana T. V. Braga , Universidade de São Paulo
Paulo Cesar Masiero , Universidade de São Paulo
pp. 615
Paper Session 26: Application Framework and Concurrency

Defining the Problems of Framework Reuse (Abstract)

Douglas Kirk , University of Strathclyde
Marc Roper , University of Strathclyde
Murray Wood , University of Strathclyde
pp. 623

An Application Framework for TCP/IP Applications (Abstract)

Han-Myung Chang , Nanzan University
Yoshinari Hachisu , Nanzan University
Masami Noro , Nanzan University
Atsushi Kumazaki , Nanzan University
pp. 627

Design and Implementation of the Concurrency Control Manager in the Main-Memory DBMS Tachyon (Abstract)

Byoung-Ho Kim , Kangwon National University
Wan Choi , Electronics and Telecommunications Research Institute
Sang-Wook Kim , Kangwon National University
pp. 635
Paper Session 27: Formal Methods (1)

A Formal Method for Analyzing Software Architecture Models in SAM (Abstract)

Lian Mo , Florida International University
Yi Deng , Florida International University
Xudong He , Florida International University
Huiqun Yu , Florida International University
pp. 645

The Semantics of Extended SOFL (Abstract)

Jin Song Dong , National University of Singapore
Shaoying Liu , Hosei University
pp. 653

Formalizing Incremental Design in Real-time Area: SCTL/MUS-T (Abstract)

José J. Pazos Arias , Universidad de Vigo
Ana Fernández Vilas , Universidad de Vigo
A. Belén Barragáns Martínez , Universidad de Vigo
Rebeca P. Díaz Redondo , Universidad de Vigo
pp. 659
Paper Session 28: Mobile Computing

MoCha: A Middleware Based on Mobile Channels (Abstract)

Frank de Boer , Centrum voor Wiskunde en Informatica
Juan Guillen Scholten , Centrum voor Wiskunde en Informatica
Farhad Arbab , Centrum voor Wiskunde en Informatica
Marcello Bonsangue , Leiden University
pp. 667

Towards a Software Architecture for Distributed and Mobile Collaborative Systems (Abstract)

Schahram Dustdar , Technical University of Vienna
Harald Gall , Technical University of Vienna
pp. 674

A QoS-Sensitive Content Adaptation System for Mobile Computing (Abstract)

F. C. M. Lau , University of Hong Kong
W. Y. Lum , University of Hong Kong
pp. 680
Paper Session 29: Software Maintenance

Object Identification in Legacy Code as a Grouping Problem (Abstract)

Houari Sahraoui , Universit? de Montr?al
Petko Valtchev , Universit? de Montr?al
Shiqiang Shen , Universit? de Montr?al
Idrissa Konkobo , Universit? de Montr?al
pp. 689

Software Maintainability Improvement: Integrating Standards and Models (Abstract)

Yeh-Ching Chung , Feng Chia University
Baowen Xu , Wuhan University
Chih-Wei Lu , Feng Chia University
Chih-Hung Chang , Feng Chia University
William C. Chu , Tunghai University
Yueh-Min Huang , Cheng Kung University
pp. 697

Understanding SQL through Iconic Interfaces (Abstract)

Silvio Stefanucci , University of Sannio
Gerardo Canfora , University of Sannio
Lerina Aversano , University of Sannio
Andrea De Lucia , University of Sannio
pp. 703
Paper Session 30: Formal Methods (2)

Specification and Verification of Spatial Data Types with B-Toolkit (Abstract)

Kim Yong Chun , United Nations University
Dang Van Hung , United Nations University
pp. 711

Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems (Abstract)

Gaurav Singal , University of Illinois at Chicago
Ugo Buy , University of Illinois at Chicago
pp. 717

A Tableau-Based Procedure for Model Checking Programs (Abstract)

Gigliola Vaglini , Università di Pisa
Antonella Santone , University of Sannio
pp. 723
Industry Session 3: Software Reuse and Evolution

Process Diagnostics (Abstract)

Gargi Keeni , Tata Consultancy Services
V. S. Phanindra , Tata Consultancy Services
Mala Murugappan , Tata Consultancy Services
pp. 734

Interaction-Driven Definition of e-Business Processes (Abstract)

Christian Zirpins , University of Hamburg
Giacomo Piccinelli , Hewlett-Packard Laboratories
pp. 738
Paper Session 31: Frameworks

Framework for Goal Driven System Design (Abstract)

Juha Savolainen , Nokia Research Center
Juha Kuusela , Leegur
pp. 749

A Nested Invocation Suppression Framework for Active Replication Fault-Tolerant CORBA (Abstract)

Deron Liang , Academia Sinica and National Taiwan Ocean University
Chen-Liang Fang , National Taiwan University of Science and Technology
JiChiang Tsai , National Chung Hsing University
pp. 757
Paper Session 32: Management (1)

ContentP2P: A Peer-to-Peer Content Management System (Abstract)

Sandro Manzo , University of Sannio
Gerardo Canfora , University of Sannio
Maria Luisa Villani , University of Sannio
Vincenzo F. Rollo , University of Sannio
pp. 773

An Investigation of Prediction Models for Project Management (Abstract)

Rachel Harrison , University of Reading
Manoranjan Satpathy , University of Reading
Daniel Rodríguez , University of Reading
Javier Dolado , University of the Basque Country
pp. 779

A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study (Abstract)

Martin S. Feather , California Institute of Technology
Shaosong Xu , Texas A&M University
Hoh Peter In , Texas A&M University
pp. 785
Paper Session 33: File System and Information Management

SIFA: A Scalable File System with Intelligent File Allocation (Abstract)

Jiun-Long Huang , National Taiwan University
Ming-Syan Chen , National Taiwan University
Cheen Liao , Synology Co. Ltd.
Cheng-Ming Chao , National Taiwan University
Hsiao-Ping Tsai , National Taiwan University
pp. 793

A File Naming Scheme Using Hierarchical-Keywords (Abstract)

Harumasa Tada , Osaka University
Osamu Honda , Osaka University
Masahiro Higuchi , Kinki University
pp. 799

Private Information Retrieval in the Presence of Malicious Failures (Abstract)

Erica Y. Yang , University of Durham
Jie Xu , University of Durham
Keith H. Bennett , University of Durham
pp. 805
Panel Session 5

System-Level Issues and Approaches in Software Development (Abstract)

W. Buchanan , Napier University
I. Crnkovic , Mälardalen University
Stephanie White , Long Island University
E. Brown , Cànan Ltd.
D. Mulcare , Ellijay
J. Rosenblit , University of Arizona
K. Jackson , SD-SCION UK Ltd.
pp. 813
Paper Session 34: Testing (2)

Temporal Modeling of Software Test Coverage (Abstract)

Arif Ghafoor , Purdue University
Sahra Sedigh-Ali , Purdue University
Raymond A. Paul , Pentagon
pp. 823

Hypothesis Testing for Module Test in Software Development (Abstract)

Wei-Tek Tsai , Arizona State University
Akira K. Onoma , Hosei University
Tsuneo Yamaura , Hitachi Software Engineering
pp. 829
Paper Session 35: System Development with Java

Concurrency Control with Java and Relational Databases (Abstract)

Paulo Borba , Federal University of Pernambuco
Sérgio Soares , Federal University of Pernambuco
pp. 843

Generating a Pattern-Based Application Development Environment for Enterprise JavaBeans (Abstract)

Kai Koskimies , Tampere University of Technology
Imed Hammouda , Tampere University of Technology
pp. 856
Paper Session 36: Compression, Pattern Matching and Genetic Algorithms

A Dictionary-Based Compressed Pattern Matching Algorithm (Abstract)

Hsu-Chun Yen , National Taiwan University
Meng-Hang Ho , Academia Sinica
pp. 873

Parallel Genetic Algorithms with Schema Migration (Abstract)

Baowen Xu , Southeast University
Zhenqiang Chen , Southeast University
Yu Guan , Southeast University
Karl R. P. H. Leung , Hong Kong Institute of Vocational Education
pp. 879
Paper Session 37: Management (2)

Multi-Criteria Preference Analysis for Systematic Requirements Negotiation (Abstract)

Hoh Peter In , Texas A&M University
Tom Rodgers , Texas A&M University
David Olson , University of Nebraska
pp. 887

Enhanced Intranet Management in a DHCP-Enabled Environment (Abstract)

Jenq-Haur Wang , National Taiwan University
Tzao-Lin Lee , National Taiwan University
pp. 893

Achieving Scalability in Hierarchical Location Services (Abstract)

Gerco Ballintijn , Vrije Universiteit Amsterdam
Maarten van Steen , Vrije Universiteit Amsterdam
pp. 899
Paper Session 38: Code Coupling, INformation Retrieval and Scheduling

An Effective Content-Based Visual Image Retrieval System (Abstract)

Borko Furht , Florida Atlantic University
Xiuqi Li , Florida Atlantic University
Mei-Ling Shyu , University of Miami
Shu-Ching Chen , Florida Atlantic University
pp. 914

New Model and Scheduling Protocol for Transactional Workflows (Abstract)

Yulin Feng , Chinese Academy of Sciences
Jun Wei , Chinese Academy of Sciences
Ke Ding , Chinese Academy of Sciences
Beihong Jin , Chinese Academy of Sciences
pp. 920
Workshop 1: Web Security and the Semantic Web

Web and Information Security: Workshop Summary (PDF)

Bhavani Thuraisingham , National Science Foundation
Elena Ferrari , University of Como
pp. 933

An Application of Directory Service Markup Language (DSML) for Role-Based Access Control (RBAC) (Abstract)

Dongwan Shin , University of North Carolina at Charlotte
Gail-Joon Ahn , University of North Carolina at Charlotte
Joon S. Park , Syracuse University
pp. 934

A Chinese Wall Approach to Privacy Policies for the Web (Abstract)

Frans A. Lategan , Rand Afrikaans University
Martin S. Olivier , Rand Afrikaans University
pp. 940

Ma X : An Access Control System for Digital Libraries and the Web (Abstract)

Andrea Perego , Università degli Studi di Milano
Elena Ferrari , Università degli Studi delléInsubria
Elisa Bertino , Università degli Studi di Milano
pp. 945

Hybrid Role Hierarchy for Generalized Temporal Role Based Access Control Model (Abstract)

Arif Ghafoor , Purdue University
Elisa Bertino , Universit? di Milano
James B. D. Joshi , Purdue University
pp. 951
Workshop 2: Dependable On-Line Upgrading of Distributed Systems

Dependable On-Line Upgrading of Distributed Systems (PDF)

Alexander Romanovsky , University of Newcastle upon Tyne
Iain Smith , Dependable Systems Ltd.
pp. 975

Online Upgrades Become Standard (Abstract)

L. A. Tewksbury , Eternal Systems, Inc. and University of California at Santa Barbara
P. M. Melliar-Smith , Eternal Systems, Inc. and University of California at Santa Barbara
L. E. Moser , Eternal Systems, Inc. and University of California at Santa Barbara
pp. 982

A Structured Approach to Handling On-Line Interface Upgrades (Abstract)

Alexander Romanovsky , University of Newcastle upon Tyne
Ian Welch , University of Newcastle upon Tyne
Cliff Jones , University of Newcastle upon Tyne
pp. 1000

Using RAIC for Dependable On-line Upgrading of Distributed Systems (Abstract)

Debra J. Richardson , University of California at Irvine
Chang Liu , University of California at Irvine
pp. 1006

Metadata Support for Safe Component Upgrades (Abstract)

Přemysl Brada , University of West Bohemia in Pilsen
pp. 1017

Dynamically Evolvable Distributed Systems (Abstract)

Scott Malabarba , University of California at Davis
Tim Stapko , University of California at Davis
Raju Pandey , University of California at Davis
Brant Hashii , University of California at Davis
pp. 1022

A Dynamic Upgrade Mechanism Based on Publish/Subscribe Interaction (Abstract)

M. R. V. Chaudron , Eindhoven University of Technology
F. van de Laar , Eindhoven University of Technology and Philips Research Laboratories
pp. 1034

Towards Upgrading Actively Replicated Servers On-the-Fly (Abstract)

Hein Meling , Norwegian University of Science and Technology
Marcin Solarski , Fraunhofer FOKUS
pp. 1038
Workshop 3: Cooperative Supports for Distributed Software Engineering Processes

Generalised Environment for Process Management in Cooperative Software Engineering (Abstract)

Matteo Gaeta , Consorzio CRMPA and Universit? di Salerno
Pierluigi Ritrovato , Consorzio CRMPA
pp. 1049

FlowManager: A Workflow Management System Based on Petri Nets (Abstract)

Lerina Aversano , University of Sannio
Aniello Cimitile , University of Sannio
Pierpaolo Gallucci , University of Sannio
Maria Luisa Villani , University of Sannio
pp. 1054

Applying Workflow Management to Support Massive Maintenance (Abstract)

Eugenio Pompella , EDS Italia Software S.p.A.
Silvio Stefanucci , University of Sannio
Lerina Aversano , University of Sannio
Sergio Betti , EDS Italia Software S.p.A.
pp. 1060

A Unified Process Support Framework for Global Software Development (Abstract)

Elena Maslova , University of the West of England
Jin Sa , University of the West of England
pp. 1065

Tool Support for Distributed Inspection (Abstract)

Filippo Lanubile , University of Bari
Teresa Mallardo , University of Sannio
pp. 1071

Maintenance in Joint Software Development (Abstract)

Pierre F. Tiako , Oklahoma State University
pp. 1077

Active Artefact Management for Distributed Software Engineering (Abstract)

Stephen Rank , University Of Durham
David Nutter , University Of Durham
Cornelia Boldyreff , University Of Durham
pp. 1081

Palant?r: Coordinating Distributed Workspaces (Abstract)

Anita Sarma , University of California at Irvine
André van der Hoek , University of California at Irvine
pp. 1093

A Decision Model Supporting Cooperative Work as an Experience Package (Abstract)

Corrado Aaron Visaggio , Politecnico di Bari
Danilo Caivano , Universit? di Bari
Maria Teresa Baldassarre , Universit? di Bari
Giuseppe Visaggio , Universit? di Bari
pp. 1098

An Actor-Oriented Approach to Distributed Product Management Systems (Abstract)

Ping Jiang , Glasgow Caledonian University
Quentin Mair , Glasgow Caledonian University
pp. 1109

MOTION: A Peer-to-Peer Platform for Mobile Teamwork Support (Abstract)

Engin Kirda , Technical University of Vienna
Gerald Reif , Technical University of Vienna
Pascal Fenkam , Technical University of Vienna
Harald Gall , Technical University of Vienna
pp. 1115
Workshop 4: Foundation of Data Mining via Granular and Rough Computing

Foundations of Data Mining via Granular and Rough Computing (PDF)

T. Y. Lin , California State University at San Jose
Shusaku Tsumoto , Shimane Medical University
James F. Peters , University of Manitoba
pp. 1123

Theorize with Data Using Rough Sets (Abstract)

Z Pawlak , University of Information Technology and Management
pp. 1125

Mining Decision-Rule Preference Model from Rough Approximation of Preference Relation (Abstract)

Roman Slowinski , Poznan University of Technology
Salvatore Greco , University of Catania
Benedetto Matarazzo , University of Catania
pp. 1129

A Rough Set Approach to Measuring Information Granules (Abstract)

Z. Pawlak , Polish Academy of Sciences
J. F. Peters , University of Manitoba
A. Skowron , Warsaw University
pp. 1135

Software Quality Knowledge Discovery: A Rough Set Approach (Abstract)

Taechon Ahn , Won-Kwang University
James F. Peters , University of Manitoba
Sheela Ramanna , University of Winnipeg and University of Manitoba
pp. 1140

Postprocessing of Rule Sets Induced from a Melanoma Data Set (Abstract)

Jerzy W. Grzymala-Busse , University of Kansas
Zdzislaw S. Hippe , University of Information, Technology and Management
pp. 1146

Issues in Modeling for Data Mining (Abstract)

Tsau Young Lin , California State University at San Jose
pp. 1152

Association Rules and Non-Classical Logics (Abstract)

Tetsuya Murai , Hokkaido University
Michinori Nakata , Josai International University
Yoshiharu Sato , Hokkaido University
pp. 1158

Logic-Based Granular Prototyping (Abstract)

Kaoru Hirota , Tokyo Institute of Technology
Andrzej Bargiela , Nottingham Trent University
Witold Pedrycz , University of Alberta
pp. 1164

On Similarity Measures for Cluster Analysis in Clinical Laboratory Examination Databases (Abstract)

Shoji Hirano , Shimane Medical University
Xiaoguang Sun , Shimane Medical University
Shusaku Tsumoto , Shimane Medical University
pp. 1170

Rule and Matroid Theory (Abstract)

Shusaku Tsumoto , Shimane Medical University
pp. 1176
Author Index

Author Index (PDF)

pp. 1182
88 ms
(Ver 3.1 (10032016))