27th Annual International Computer Software and Applications Conference. proceedings : COMPSAC 2003 : 3-6 November, 2003, Dallas, Texas, USA / sponsored by IEEE Computer Society.

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

IEEE Computer Society.

Conference Name:

COMPSAC (27th : 2003 : Dallas, Tex.)

Language:

English

Subjects (All):

Computer programming--Congresses.

Computer programming.

Computer software--Congresses.

Computer software.

Expert systems (Computer science)--Congresses.

Expert systems (Computer science).

Genre:

Conference papers and proceedings.

Physical Description:

xviii, 710 pages : illustrations

Other Title:

International Computer Software and Applications Conference

COMPSAC 2003

Computer Software and Applications Conference, 2003, COMPSAC 2003, proceedings, 27th Annual International.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society Press, [2002]

System Details:

Mode of access: World Wide Web.

text file

Contents:

The Ruthless Pursuit of Frameworks and Patterns for Web-Based Applications / Louis Blazy

Session 1 Pervasive and Ubiquitous Systems

Mining Sequential Patterns Using Graph Search Techniques / Y.-F. Huang, S.-Y. Lin 4

A Middleware Service for Secure Group Communication in Mobile Ad Hoc Networks / S. Yau, X. Zhang 10

Device State Recovery in Non-volatile Main Memory Systems / R. Ohmura, N. Yamasaki, Y. Anzai 16

Homeland Security's Cyber Component: A Survey of Legal Issues / Organizer: Bret Michael, Panelist: Bret Michael, Thomas Wingfield, Steven Roberts 24

Session 3 Software and System Testing (1)

BINTEST

Binary Search-Based Test Case Generation / S. Beydeda, V. Gruhn 28

Automated Metamorphic Testing / A. Gotlieb, B. Botella 34

Smart Debugging Software Architectural Design in SDL / W. Wong, T. Sugeta, Y. Qi, J. Maldonado 41

Session 4 Software Reuse and Management

Lessons Learned from Software Engineering Multi-Agent Systems / D. Kung, H. Bhambhani, S. Nwokoro, W. Okasha, R. Kambalakatta, P. Sankuratri 50

Application of Tightly Coupled Engineering Team for Development of Test Automation Software

A Real World Experience / A. Pandey, N. Kameli, A. Eapen, C. Miklos, F. Boudigou, I. Sutedjo, M. Paul, V. Vijay, W. McDermott 56

A Cooperative Framework for Inter-Organizational Workflow System / S.-B. Yan, F.-J. Wang 64

Session 5 Middleware Systems

Context Aware Deployment for Mobile Users / C. Taconet, E. Putrycz, G. Bernard 74

Policy-Based Separation of Concerns for Dynamic Code Mobility Management / R. Montanari, G. Tonti, C. Stefanelli 82

Semantic-Based Approach to Streaming XML Contents Using Xstream / E. Wong, A. Chan, H.-V. Leong 91

Session 6 Trustworthy Software Systems

Automating Checking of Models Built Using a Graphically Based Formal Modelling Language / R. Walters 98

Techniques and Tools for Automated Safety Analysis and Decision Support for Redundancy Allocation in Automotive Systems / Y. Papadopoulos, C. Grante 105

Design and Implementation of a Cache-Conscious Index Manager for the Tachyon, a Main Memory DBMS / K.-T. Lee, I. Jung, C.-Y. Choi, W. Choi, S.-W. Kim 111

Software Testing / Organizer: Wei-tek Tsai, Panelist: Ramesh Bharadwaj, David Kung, Raymond Paul, T H. Tse

Session 8 Software Process Management

Towards Dynamic Process with Variable Structure by Reflection / S. Liu, J. Wei, W. Xu 120

Current Trends in the Adoption of the CMMI Product Suite / D. Zubrow 126

A CC-Based Security Engineering Process Evaluation Model / J. Lee, J. Lee, S. Lee, B. Choi 130

Session 9 Mobile and High Performance Systems

An Object-Passing Model for Parallel Programming / J. Al-Jaroodi, N. Mohamed 138

Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing between Mobile and Stationary Subsystems / P. Ahlbrecht, S. Eckstein, K. Neumann 144

Data Placement and Query Processing Based on RPE Parallelisms / Y. Yu, G. Wang, G. Yu, G. Wu, J. Hu, N. Tang 151

Session 10 Information Security

A Protection Environment for Administrators of Windows 2000/XP Against Malicious Program Attacks / A. Spalka, M. Winandy 158

A Security Characterisation Framework for Trustworthy Component Based Software Systems / K. Khan, J. Han 164

Exploiting Self-Modification Mechanism for Program Protection / Y. Kanzaki, A. Monden, M. Nakamura, K.-i. Matsumoto 170

Session 11 Software and System Testing (2)

Tolerance of Control-Flow Testing Criteria / S. Vilkomir, K. Kapoor, J. Bowen 182

Data Flow-Based Unit Testing of Aspect-Oriented Programs / J. Zhao 188

A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software / H. Chen, Y. Sun, T. Tse 198

Global Trends in SPI / Organizer: Stephen Chen, Panelist: David Card, Roger Fordham, David Zubrow

Plenary Panel Session

Challenges and Recent Advances in Developing Trustworthy Software-Based Systems / Chair: Stephen S. Yau, Panelist: Carl Landwehr, Jeffrey Voas, Thomas Weigert 208

Session 13 Collaborative Systems

A Multi-Agent Software Environment for Testing Web-Based Applications / Q. Huo, H. Zhu, S. Greenwood 210

Mediating Electronic Meetings / J. Zhang, C. Chang, J.-Y. Chung 216

Scalable Multilateral Communication Technique for Large-Scale Information Systems / K. Ragab, N. Kaji, K. Moriyama, K. Mori 222

Session 14 Software Architecture and Framework

Runtime Software Architecture Based Software Online Evolution / Q. Wang, G. Huang, J. Shen, H. Mei, F. Yang 230

The XIS Generative Programming Techniques / A. da Silva, G. Lemos, T. Matias, M. Costa 236

Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution / T. Ng, S. Cheung 242

Session 15 Requirements Engineering

A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines / H. Mei, W. Zhang, F. Gu 250

A Synergistic Interweaving of Formal and Informal Methods / W. Yeung, K. Leung 257

Mockup-Driven Fast-Prototyping Methodology for Web Requirements Engineering / J. Zhang, C. Chang, J.-Y. Chung 263

Case Studies in Systems/Software Engineering / Orgaizer: Louis Blazy, Panelist: Jeanne Behnke, Caroline M. Birog, Robert T. McCann

Session 17 Internet and Web-Based Systems

Integrating Heterogeneous Web Services with WebXcript / D. Chiu, D. Kok, A. Lee, S. Cheung 272

A Probabilistic Model for Intelligent Web Crawlers / K. Hu, W. Wong 278

Autonomous Decentralized Database System Reconstruction Technology through Mobile Agent Monitoring and Coordination / C. Leguizamo, D. Wang, K. Mori 283

Session 18 Software Reengineering (1)

Incremental Transformation of Procedural Systems to Object Oriented Platforms / Y. Zou, K. Kontogiannis 290

Migrating Web Frameworks Using Water Transformations / A. Hassan, R. Holt 296

Bridging Legacy Systems to Model Driven Architecture / B. Qiao, H. Yang, W. Chu, B. Xu 304

Session 19 Quality Management

Transforming Quantities into Qualities in Assessment of Software Systems / G. Canfora, L. Cerulo, L. Troiano 312

Information Quality Assessment of a Yellow-Pages Location-Based Service / A. Katasonov, M. Sakkinen 320

VDM over PSP: A Pilot Course for VDM Beginners to Confirm Its Suitability for Their Development / H. Suzumori, H. Kaiya, K. Kaijiri 327

Paper Session 20 Software Reengineering (2)

A Reengineering Process for Migrating from an Object-Oriented Legacy System to a Component-Based System / E. Lee, B. Lee, W. Shin, C. Wu 336

Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System / R. Millham, M. Ward, H. Yang 342

Recovering a Business Object Model from Web Applications / G. Di Lucca, A. Fasolino, P. Tramontana, U. De Carlini 348

Session 21 Measurement and Metrics

Testing the Suitability of Markov Chains as Web Usage Models / Z. Li, J. Tian 356

Integrating Practical Software Measurement and the Balanced Scorecard / D. Card 362

A Cut-Based Algorithm for Reliability Analysis of Terminal-Pair Network Using OBDD / Y.-R. Chang, H.-Y. Lin, S.-Y. Kuo 368

The Pursuit of Trust: Finding a Way Through the High Assurance Landscape / Robin Bloomfield

Session 22 Distributed Systems

IBHIS: Integration Broker for Heterogeneous Information Sources / I. Kotsiopoulos, J. Keane, M. Turner, P. Layzell, F. Zhu 378

Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes / A. Tai, K. Tso, W. Sanders 385

Implementation of Nonstop Software Update for Client-Server Applications / W.-K. Wei, K.-F. Ssu, H. Jiau 391

Session 23 Component Based Software Engineering

A Test-Driven Component Development Framework Based on the CORBA Component Model / E. Teiniker, S. Mitterdorfer, L. Johnson, C. Kreiner, Z. Kovacs, R. Weiss 400

Information Use in CBSE Design / S. Owen, D. Budgen, P. Brereton 406

Variable Strength Interaction Testing of Components / M. Cohen, P. Gibbons, W. Mugridge, C. Colbourn, J. Collofello 413

Session 24 Network Systems

An Integrated Approach to Scatternet Traffic Management in Bluetooth Ad Hoc Networks / L. Shek, Y.-K. Kwok 420

Distributed Garbage Collection by Timeouts and Backward Inquiry / S.-W. Ryu, E. Im, B. Neuman 426

Facilitating Secure Ad hoc Service Discovery in Public Environments / F. Zhu, M. Mutka, L. Ni 433

Session 25 Object-Oriented Development (1)

Precise Specification to Compound Patterns with ExLePUS / J. Mak, C. Choy, D. Lun 440

Scenario Architecture

A Methodology to Build a Global View of OO Software System / Y. Tsai, H. Jiau, K.-F. Ssu 446

A Role-Based Metamodeling Approach to Specifying Design Patterns / D.-K. Kim, R. France, S. Ghosh, E. Song 452

Session 26 Enterprise Systems

A Toolkit for Developing Web-Based Information Systems: Case Studies / T. Bodhuin, M. Tortorella 460

Rapid Verification of Embedded Systems Using Patterns / W. Tsai, L. Yu, F. Zhu, R. Paul 466

Software Documentation-Driven Manufacturing / Luqi, X. Liang, L. Zhang, V. Berzins 472

Session 27 Object Oriented Development (2)

Meta Model Approach for Mediation / M. Shiroiwa, T. Miura, I. Shioya 480

A Flexible Framework for Replication in Distributed Systems / E. Im, B. Neuman 486

A Graph Grammar Approach to Software Architecture Verification and Transformation / J. Kong, K. Zhang, J. Dong, G. Song 492

Paper Session 28 System Reliability

Sensitivity Analysis of Software Reliability for Component-Based Software Applications / J.-H. Lo, C.-Y. Huang, S.-Y. Kuo, M. Lyu 500

Effects of Introducing Survival Behaviours into Automated Negotiators / P. Henderson, S. Crouch, R. Walters, Q. Ni 506

An Architecture of Wireless Web and Dialogue System Convergence for Multimodal Service Interaction over Converged Networks / F. Liu, J. Li, X. Shan, W. Chou 513 Session 29 System Reliability (2)

Deductive Schedulability Verification Methodology of Real-Time Software Using Both Refinement Verification and Hybrid Automata / S. Yamane 527

An Efficient Defect Estimation Method for Software Defect Curves / C. Bai, K.-Y. Cai, T. Chen 534

Compsac 2003 Workshops

Workshop 1 Workshop on Architectures for Complex Application Integration (WACAI2003) / Organizer and Chair: Piyush Maheshwari 542

Just What Could Possibly Go Wrong in B2B Integration? / D. Kuo, A. Fekete, P. Greenfield, J. Jang, D. Palmer 544

An Experience of Applying Architecture-Based Approach to Build a Component-Based Requirements Management Toolset / M. Babar 550

Enterprise Application Integration Using a Component-Based Architecture / P. Maheshwari 557

Flexible Fault Tolerance in Configurable Middleware for Embedded Systems / K. Dorow 563

Ad Hoc Software Interfacing Enterprise Application Integration (EAI) When Middleware Is Overkill / A. Reyes, J. Espino, V. Mohan, M. Nadkar 570

Next Generation Application Integration/Challenges and New Approaches / I. Gorton, D. Thurman, J. Thomson 576

Workshop 2 Web and Security Informatics Workshop / Organizer and Chair: Tsau Young Lin

Intelligent Web Topics Search Using Early Detection and Data Analysis / C.-C. Lee, Y. Yang 584

Discovering Cyber Communities from the WWW / X. Hu, J. Han, N. Cercone 590

Internet-Based Decision Support: Toward E-Hospital / S. Tsumoto, S. Hirano, E. Hanada 595

A Framework for Web-Based Research Support Systems / Y. Yao 601

Intelligent Mobile Agents for Efficient and Inexpensive e-Shopping / L. Lu, Y.-Q. Zhang 607

Managing Security Policy in Large Distributed Web Services Environment / S. Chang, Q. Chen, M. Hsu 610

Information Flows in E-Government / T. Lin 616

Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System / J. Michael, T. Wingfield, D. Wijesekera 622

A Methodology for Hiding Knowledge in XML Document Collections / T. Johnsten, R. Sweeney, V. Raghavan 628

Security for the Semantic Web / B. Thuraisingham 633

Situation-Aware Personalized Information Retrieval for Mobile Internet / S. Yau, H. Liu, D. Huang, Y. Yao 639

Workshop 3 Web Based Systems and Applications (WEBSA2003) / Organizer and Chair: Baowen Xu

A Multiple-Tier Model Manipulation Architecture for Enterprise Decision Making / Z. Liang, S. Li, H. Liao, H. Kang, Q. Duan, H. Zhou, H. Yang 646

Regression Testing for Web Applications Based On Slicing / L. Xu, B. Xu, Z. Chen, J. Jiang, H. Chen 652

A Supervised Visual Wrapper Generator for Web-Data Extraction / X. Meng, H. Wang, D. Hu, C. Li 657

A Dynamic Information Retrieval System for the Web / X. Gao, S. Murugesan, B. Lo 663

A Pattern Language Model for Framework Development / L. Wu-dong, H. Ke-qing, Yingshi, X. Hui, J. Yixing 669

Some Domain Patterns in Web Application Framework / L. Chao, H. Keqing, L. Jie, Y. Shi 674

Web-Based Support for Managing Large Collections of Software Artefacts / C. Boldyreff, J. Brittle, C. Korhonen, P. Kyaw, J. Lavery, D. Nutter, S. Rank 678

MDA-Based Development of E-Learning System / H. Wang, D. Zhang, J. Zhou 684

PeAgen

A Mobile Agent System to Support Secure Internet and Web Applications / Q. Ma, W. Hao, W. Li, M. Tu, I.-L. Yen 690

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

A Hierarchical Strategy for Testing Web-Based Applications and Ensuring Their Reliability / J. Tian, L. Ma, Z. Li, A. Koru 702.

Notes:

"IEEE Computer Society Order Number PR02020"--T.p. verso.

Includes bibliographical references and author index.

ISBN:

0769520200

9780769520209

OCLC:

53623183

Access Restriction:

Restricted for use by site license.