


default search action
27th COMPSAC 2003: Dallas, Texas, USA
- 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings. IEEE Computer Society 2003, ISBN 0-7695-2020-0

Pervasive and Ubiquitous Systems
- Yin-Fu Huang, Shao-Yuan Lin:

Mining Sequential Patterns Using Graph Search Techniques. 4-9 - Stephen S. Yau, Xinyu Zhang:

A Middleware Service for Secure Group Communication in Mobile Ad Hoc Networks. 10-15 - Ren Ohmura, Nobuyuki Yamasaki, Yuichiro Anzai:

Device State Recovery in Non-volatile Main Memory Systems. 16-
Panel
- James Bret Michael, Thomas C. Wingfield, Steven E. Roberts:

Homeland Security's Cyber Component: A Survey of Legal Issues. 24-
Software and System Testing (1)
- Sami Beydeda, Volker Gruhn:

BINTEST - Binary Search-based Test Case Generation. 28-33 - Arnaud Gotlieb, Bernard Botella:

Automated Metamorphic Testing. 34-40 - W. Eric Wong, Tatiana Sugeta, Yu Qi, José Carlos Maldonado:

Smart Debugging Software Architectural Design in SDL. 41-
Software Reuse and Management
- David Chenho Kung, Hitesh Bhambhani, Sheila Nwokoro, Wesam Okasha, Ravindra Kambalakatta, Praveen Sankuratri:

Lessons Learned from Software Engineering Multi-Agent Systems. 50-55 - Ajay Pandey, Nader Kameli, Abraham Eapen, Corey Miklos, Francoise Boudigou, Imelda Sutedjo, Manoj Paul, Vivek Vijay, Wesley Mcdermott:

Application of Tightly Coupled Engineering Team for Development of Test Automation Software - A Real World Experience. 56-63 - Shung-Bin Yan, Feng-Jian Wang:

A Cooperative Framework for Inter-Organizational Workflow System. 64-
Middleware Systems
- Chantal Taconet, Erik Putrycz, Guy Bernard:

Context Aware Deployment for Mobile Users. 74-81 - Rebecca Montanari, Gianluca Tonti, Cesare Stefanelli:

Policy-based Separation of Concerns for Dynamic Code Mobility Management. 82-90 - Eugene Y. C. Wong, Alvin T. S. Chan, Hong Va Leong

:
Semantic-based Approach to Streaming XML Contents using Xstream. 91-
Trustworthy Software Systems
- Robert John Walters:

Automating Checking of Models Built Using a Graphically Based Formal Modelling Language. 98-104 - Yiannis Papadopoulos, Christian Grante:

Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems. 105-110 - Kyung-Tae Lee, Inbum Jung, Changyeol Choi, Wan Choi, Sang-Wook Kim:

Design and Implementation of a Cache-Conscious Index Manager for the Tachyon, a Main Memory DBMS. 111-
Software Process Management
- Shaohua Liu, Jun Wei, Wei Xu:

Towards Dynamic Process with Variable Structure by Reflection. 120-125 - Dave Zubrow

:
Current Trends in the Adoption of the CMMI® Product Suite. 126-129 - Jongsook Lee, Jieun Lee, Seunghee Lee, Byoungju Choi:

A CC-based Security Engineering Process Evaluation Model. 130-
Mobile and High Performance Systems
- Jameela Al-Jaroodi, Nader Mohamed:

An Object-Passing Model for Parallel Programming. 138-143 - Peter Ahlbrecht, Silke Eckstein, Karl Neumann:

Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing Between Mobile and Stationary Subsystems. 144-150 - Yaxin Yu, Guoren Wang, Ge Yu, Gang Wu, Junan Hu, Nan Tang:

Data Placement and Query Processing Based on RPE Parallelisms. 151-
Information Security
- Adrian Spalka, Marcel Winandy:

A Protection Environment for Administrators of Windows 2000/XP Against Malicious Program Attacks. 158-163 - Khaled M. Khan, Jun Han:

A Security Characterisation Framework for Trustworthy Component Based Software Systems. 164-169 - Yuichiro Kanzaki, Akito Monden, Masahide Nakamura, Ken-ichi Matsumoto:

Exploiting Self-Modification Mechanism for Program Protection. 170-
Software and System Testing (2)
- Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen

:
Tolerance of Control-Flow Testing Criteria. 182-187 - Jianjun Zhao:

Data-Flow-Based Unit Testing of Aspect-Oriented Programs. 188-197 - Huo Yan Chen, Yu Xia Sun, T. H. Tse

:
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software. 198-
Plenary Panel Session
- Stephen S. Yau, Carl E. Landwehr, Jeffrey M. Voas, Thomas J. Weigert:

Challenges and Recent Advances in Developing Trustworthy Software-Based Systems. 208-
Collaborative Systems
- Qingning Huo, Hong Zhu, Sue Greenwood:

A Multi-Agent Software Environment for Testing Web-based Applications. 210-215 - Jia Zhang, Carl K. Chang, Jen-Yao Chung:

Mediating Electronic Meetings. 216-221 - Khaled Ragab, Naohiro Kaji, Koichi Moriyama, Kinji Mori:

Scalable Multilateral Communication Technique for Large-Scale Information Systems. 222-
Software Architecture and Framework
- Qianxiang Wang, Gang Huang, Junrong Shen, Hong Mei, Fuqing Yang:

Runtime Software Architecture Based Software Online Evolution. 230-235 - Alberto Rodrigues da Silva, Gonçalo Lemos, Tiago Matias, Marco Costa:

The XIS Generative Programming Techniques. 236-241 - Tsz Hin Ng, Shing-Chi Cheung:

Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. 242-
Requirements Engineering
- Hong Mei, Wei Zhang, Fang Gu:

A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines. 250-256 - Wing Lok Yeung, Karl R. P. H. Leung:

A Synergistic Interweaving of Formal and Informal Methods. 257-262 - Jia Zhang, Carl K. Chang, Jen-Yao Chung:

Mockup-driven Fast-prototyping Methodology for Web Requirements Engineering. 263-
Internet and Web-Based Systems
- Dickson K. W. Chiu

, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung:
Integrating Heterogeneous Web Services with WebXcript. 272-277 - Ke Hu, Wing Shing Wong:

A Probabilistic Model for Intelligent Web Crawlers. 278-282 - Carlos Pérez Leguízamo, Dake Wang, Kinji Mori:

Autonomous Decentralized Database System Reconstruction Technology through Mobile Agent Monitoring and Coordination. 283-
Software Reengineering (1)
- Ying Zou, Kostas Kontogiannis:

Incremental Transformation of Procedural Systems to Object Oriented Platforms. 290-295 - Ahmed E. Hassan, Richard C. Holt:

Migrating Web Frameworks Using Water Transformations. 296-303 - Bing Qiao, Hongji Yang, William C. Chu, Baowen Xu

:
Bridging Legacy Systems to Model Driven Architecture. 304-
Quality Management
- Gerardo Canfora, Luigi Cerulo, Luigi Troiano:

Transforming quantities into qualities in assessment of software systems. 312-319 - Artem Katasonov, Markku Sakkinen:

Information Quality Assessment of a Yellow-Pages Location-Based Service. 320-326 - Hisayuki Suzumori, Haruhiko Kaiya, Kenji Kaijiri:

VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development. 327-
Software Reengineering (2)
- Eunjoo Lee, Byungjeong Lee, Woochang Shin, Chisu Wu:

A Reengineering Process for Migrating from an Object-oriented Legacy System to a Component-based System. 336-341 - Richard C. Millham, Martin P. Ward, Hongji Yang:

Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. 342-347 - Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana

, Ugo de Carlini:
Recovering a Business Object Model from Web Applications. 348-
Measurement and Metrics
- Zhao Li, Jeff Tian:

Testing the Suitability of Markov Chains as Web Usage Models. 356-361 - David N. Card:

Integrating Practical Software Measurement and the Balanced Scorecard. 362-367 - Yung-Ruei Chang, Hung-Yau Lin, Ing-Yi Chen, Sy-Yen Kuo:

A Cut-Based Algorithm for Reliability Analysis of Terminal-Pair Network Using OBDD. 368-
Distributed Systems
- Ioannis Kotsiopoulos, John A. Keane, Mark Turner, Paul J. Layzell, Fujun Zhu:

IBHIS: Integration Broker for Heterogeneous Information Sources. 378-384 - Ann T. Tai, Kam S. Tso, William H. Sanders:

Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes. 385-390 - Wen-Kang Wei, Kuo-Feng Ssu, Hewijin Christine Jiau:

Implementation of Nonstop Software Update for Client-Server Applications. 391-
Component Based Software Engineering
- Egon Teiniker, Stefan Mitterdorfer, Leif Morgan Johnson, Christian Kreiner, Zsolt Kovács, Reinhold Weiss:

A Test-Driven Component Development Framework based on the CORBA Component Model. 400-405 - Stephen Owen, David Budgen, Pearl Brereton:

Information use in CBSE design. 406-412 - Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugridge, Charles J. Colbourn, James S. Collofello:

Variable Strength Interaction Testing of Components. 413-
Network Systems
- Liza Lai-Yee Shek, Yu-Kwong Kwok:

An Integrated Approach to Scatternet Traffic Management in Bluetooth Ad Hoc Networks. 420-425 - Sung-Wook Ryu, Eul-Gyu Im

, B. Clifford Neuman:
Distributed Garbage Collection by Timeouts and Backward Inquiry. 426-432 - Feng Zhu, Matt W. Mutka, Lionel M. Ni:

Facilitating Secure Ad hoc Service Discovery in Public Environments. 433-
Object-Oriented Development (1
- Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy

, Daniel Pak-Kong Lun:
Precise Specification to Compound Patterns with ExLePUS. 440-445 - Yiausyu Earl Tsai, Hewijin Christine Jiau, Kuo-Feng Ssu:

Scenario Architecture - A Methodology to Build a Global View of OO Software System. 446-451 - Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song

:
A Role-Based Metamodeling Approach to Specifying Design Patterns. 452-
Enterprise Systems
- Thierry Bodhuin, Maria Tortorella:

A Toolkit for Developing Web-based Information Systems: Case Studies. 460-465 - Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul:

Rapid Verification of Embedded Systems Using Patterns. 466-471 - Luqi, Xianzhong Liang, Lynn Zhang, Valdis Berzins:

Software Documentation-Driven Manufacturin. 472-
Object Oriented Development (2)
- Masataro Shiroiwa, Takao Miura, Isamu Shioya:

Meta Model Approach for Mediation. 480-485 - Eul-Gyu Im

, B. Clifford Neuman:
A Flexible Framework for Replication in Distributed Systems. 486-491 - Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song:

A Graph Grammar Approach to Software Architecture Verification and Transformation. 492-
System Reliability (1)
- Jung-Hua Lo, Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu:

Sensitivity Analysis of Software Reliability for Component-Based Software Applications. 500-505 - Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni:

Effects of Introducing Survival Behaviours into Automated Negotiators. 506-512 - Feng Liu, J. Jenny Li, Xueshan Shan, Wu Chou:

An Architecture of Wireless Web and Dialogue System Convergence for Multimodal Service Interaction Over Converged Networks. 513-
System Reliability (2)
- Paul A. Bailes, Colin J. M. Kemp:

Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. 520-526 - Satoshi Yamane:

Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata. 527-533 - Chenggang Bai, Kai-Yuan Cai, Tsong Yueh Chen:

An Efficient Defect Estimation Method for Software Defect Curves. 534-
Workshop 1
- Piyush Maheshwari, Ian Gorton, Anna Liu:

Workshop on Architectures for Complex Application Integration (WACAI 2003). 542-543 - Dean Kuo, Alan D. Fekete, Paul Greenfield

, Julian Jang
, Doug Palmer
:
Just What Could Possibly Go Wrong In B2B Integration? 544-549 - Muhammad Ali Babar:

An Experience of Applying Architecture-based Approach to Build a Component-based Requirements Management Toolset. 550-556 - Piyush Maheshwari:

Enterprise Application Integration using a Component-based Architecture. 557-562 - Kevin E. Dorow:

Flexible Fault Tolerance in Configurable Middleware for Embedded Systems. 563-569 - Arthur Alexander Reyes, José R. Espino, Vijai Mohan, Monica Nadkar:

Ad Hoc Software Interfacing: Enterprise Application Integration (EAI) when Middleware is Overkil. 570-575 - Ian Gorton, Dave Thurman, Judi Thomson:

Next Generation Application Integration: Challenges and New Approaches. 576-
Workshop 2
- Ching-Cheng Lee, Yixin Yang:

Intelligent Web Topics Search Using Early Detection and Data Analysis. 584-589 - Xiaohua Hu, Jianchao Han, Nick Cercone:

Discovering Cyber Communities from the WWW. 590-594 - Shusaku Tsumoto, Shoji Hirano, Eisuke Hanada:

Internet-based Decision Support: Towards E-Hospital. 595-600 - Yiyu Yao:

A Framework for Web-based Research Support Systems. 601-606 - Lin Lu, Yan-Qing Zhang:

Intelligent Mobile Agents for Efficient and Inexpensive e-Shopping. 607-609 - Symon Chang, Qiming Chen, Meichun Hsu:

Managing Security Policy in a Large Distributed Web Services Environment. 610-615 - Tsau Young Lin:

Information Flows in E-Government. 616-620 - James Bret Michael, Thomas C. Wingfield, Duminda Wijesekera:

Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System. 621-626 - Tom Johnsten, Robert B. Sweeney, Vijay V. Raghavan:

A Methodology for Hiding Knowledge in XML Document Collections. 627-631 - Bhavani Thuraisingham:

Security Issues for the Semantic Web. 632-637 - Stephen S. Yau, Huan Liu, Dazhi Huang, Yisheng Yao:

Situation-Aware Personalized Information Retrieval for Mobile Internet. 638-
Workshop 3
- Zhihong Liang, Shaoyun Li, Hongzhi Liao, Hongwei Kang, Qing Duan, Hua Zhou, Hongji Yang:

A Multiple-Tier Model Manipulation Architecture for Enterprise Decision Making. 646-651 - Lei Xu, Baowen Xu

, Zhenqiang Chen, Jixiang Jiang, Huowang Chen:
Regression Testing for Web Applications Based on Slicing. 652-656 - Xiaofeng Meng, Haiyan Wang, Dongdong Hu, Chen Li:

A Supervised Visual Wrapper Generator for Web-Data Extraction. 657-662 - Xiangzhu Gao, San Murugesan, Bruce W. N. Lo:

A Dynamic Information Retrieval System for the Web. 663-667 - Wudong Liu, Keqing He, Yingshi, Hui Xu, Yixin Jing:

A Pattern Language Model for Framework Development. 669-673 - Chao Liu, Keqing He, Jie Liu, Shi Ying:

Some Domain Patterns in Web Application Framework. 674-677 - Cornelia Boldyreff, James Brittle, Chris Korhonen, Phyo Kyaw, Janet Lavery, David Nutter, Stephen Rank:

Web-Based Support for Managing Large Collections of Software Artefact. 678-683 - Hong Wang, Dong Zhang:

MDA-based Development of E-Learning System. 684-689 - Qingkai Ma, Wei Hao, Wei Li, Manghui Tu, I-Ling Yen:

PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications. 690-695 - Sushil K. Prasad, Michael Weeks, Yanqing Zhang, Alexander Zelikovsky

, Saeid Belkasim, Raj Sunderraman, Vijay K. Madisetti:
Toward an Easy Programming Environment for Implementing Mobile Applications: A Fleet Application Case Study using SyD Middleware. 696-701 - Jeff Tian, Li Ma, Zhao Li, Akif Günes Koru:

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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














