COMPSAC B

107 papers

YearTitle / Authors
200327th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings
2003A CC-based Security Engineering Process Evaluation Model.
Jongsook Lee, Jieun Lee, Seunghee Lee, Byoungju Choi
2003A Cooperative Framework for Inter-Organizational Workflow System.
Shung-Bin Yan, Feng-Jian Wang
2003A Cut-Based Algorithm for Reliability Analysis of Terminal-Pair Network Using OBDD.
Yung-Ruei Chang, Hung-Yau Lin, Ing-Yi Chen, Sy-Yen Kuo
2003A Dynamic Information Retrieval System for the Web.
Xiangzhu Gao, San Murugesan, Bruce W. N. Lo
2003A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines.
Hong Mei, Wei Zhang, Fang Gu
2003A Flexible Framework for Replication in Distributed Systems.
Eul-Gyu Im, B. Clifford Neuman
2003A Framework for Web-based Research Support Systems.
Yiyu Yao
2003A Graph Grammar Approach to Software Architecture Verification and Transformation.
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
2003A Hierarchical Strategy for Testing Web-Based Applications and Ensuring Their Reliability.
Jeff Tian, Li Ma, Zhao Li, Akif Günes Koru
2003A Methodology for Hiding Knowledge in XML Document Collections.
Tom Johnsten, Robert B. Sweeney, Vijay V. Raghavan
2003A Middleware Service for Secure Group Communication in Mobile Ad Hoc Networks.
Stephen S. Yau, Xinyu Zhang
2003A Multi-Agent Software Environment for Testing Web-based Applications.
Qingning Huo, Hong Zhu, Sue Greenwood
2003A Multiple-Tier Model Manipulation Architecture for Enterprise Decision Making.
Zhihong Liang, Shaoyun Li, Hongzhi Liao, Hongwei Kang, Qing Duan, Hua Zhou, Hongji Yang
2003A Pattern Language Model for Framework Development.
Wudong Liu, Keqing He, Yingshi, Hui Xu, Yixin Jing
2003A Probabilistic Model for Intelligent Web Crawlers.
Ke Hu, Wing Shing Wong
2003A Protection Environment for Administrators of Windows 2000/XP Against Malicious Program Attacks.
Adrian Spalka, Marcel Winandy
2003A Reengineering Process for Migrating from an Object-oriented Legacy System to a Component-based System.
Eunjoo Lee, Byungjeong Lee, Woochang Shin, Chisu Wu
2003A Role-Based Metamodeling Approach to Specifying Design Patterns.
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song
2003A Security Characterisation Framework for Trustworthy Component Based Software Systems.
Khaled M. Khan, Jun Han
2003A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.
Huo Yan Chen, Yu Xia Sun, T. H. Tse
2003A Supervised Visual Wrapper Generator for Web-Data Extraction.
Xiaofeng Meng, Haiyan Wang, Dongdong Hu, Chen Li
2003A Synergistic Interweaving of Formal and Informal Methods.
Wing Lok Yeung, Karl R. P. H. Leung
2003A Test-Driven Component Development Framework based on the CORBA Component Model.
Egon Teiniker, Stefan Mitterdorfer, Leif Morgan Johnson, Christian Kreiner, Zsolt Kovács, Reinhold Weiss
2003A Toolkit for Developing Web-based Information Systems: Case Studies.
Thierry Bodhuin, Maria Tortorella
2003Ad Hoc Software Interfacing: Enterprise Application Integration (EAI) when Middleware is Overkil.
Arthur Alexander Reyes, José R. Espino, Vijai Mohan, Monica Nadkar
2003An Architecture of Wireless Web and Dialogue System Convergence for Multimodal Service Interaction Over Converged Networks.
Feng Liu, J. Jenny Li, Xueshan Shan, Wu Chou
2003An Efficient Defect Estimation Method for Software Defect Curves.
Chenggang Bai, Kai-Yuan Cai, Tsong Yueh Chen
2003An Experience of Applying Architecture-based Approach to Build a Component-based Requirements Management Toolset.
Muhammad Ali Babar
2003An Integrated Approach to Scatternet Traffic Management in Bluetooth Ad Hoc Networks.
Liza Lai-Yee Shek, Yu-Kwong Kwok
2003An Object-Passing Model for Parallel Programming.
Jameela Al-Jaroodi, Nader Mohamed
2003Application of Tightly Coupled Engineering Team for Development of Test Automation Software - A Real World Experience.
Ajay Pandey, Nader Kameli, Abraham Eapen, Corey Miklos, Francoise Boudigou, Imelda Sutedjo, Manoj Paul, Vivek Vijay, Wesley Mcdermott
2003Automated Metamorphic Testing.
Arnaud Gotlieb, Bernard Botella
2003Automating Checking of Models Built Using a Graphically Based Formal Modelling Language.
Robert John Walters
2003Autonomous Decentralized Database System Reconstruction Technology through Mobile Agent Monitoring and Coordination.
Carlos Pérez Leguízamo, Dake Wang, Kinji Mori
2003BINTEST - Binary Search-based Test Case Generation.
Sami Beydeda, Volker Gruhn
2003Bridging Legacy Systems to Model Driven Architecture.
Bing Qiao, Hongji Yang, William C. Chu, Baowen Xu
2003Challenges and Recent Advances in Developing Trustworthy Software-Based Systems.
Stephen S. Yau, Carl E. Landwehr, Jeffrey M. Voas, Thomas J. Weigert
2003Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing Between Mobile and Stationary Subsystems.
Peter Ahlbrecht, Silke Eckstein, Karl Neumann
2003Context Aware Deployment for Mobile Users.
Chantal Taconet, Erik Putrycz, Guy Bernard
2003Current Trends in the Adoption of the CMMI® Product Suite.
Dave Zubrow
2003Data Placement and Query Processing Based on RPE Parallelisms.
Yaxin Yu, Guoren Wang, Ge Yu, Gang Wu, Junan Hu, Nan Tang
2003Data-Flow-Based Unit Testing of Aspect-Oriented Programs.
Jianjun Zhao
2003Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata.
Satoshi Yamane
2003Design and Implementation of a Cache-Conscious Index Manager for the Tachyon, a Main Memory DBMS.
Kyung-Tae Lee, Inbum Jung, Changyeol Choi, Wan Choi, Sang-Wook Kim
2003Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System.
Richard C. Millham, Martin P. Ward, Hongji Yang
2003Device State Recovery in Non-volatile Main Memory Systems.
Ren Ohmura, Nobuyuki Yamasaki, Yuichiro Anzai
2003Discovering Cyber Communities from the WWW.
Xiaohua Hu, Jianchao Han, Nick Cercone
2003Distributed Garbage Collection by Timeouts and Backward Inquiry.
Sung-Wook Ryu, Eul-Gyu Im, B. Clifford Neuman
2003Effects of Introducing Survival Behaviours into Automated Negotiators.
Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni
2003Enterprise Application Integration using a Component-based Architecture.
Piyush Maheshwari
2003Exploiting Self-Modification Mechanism for Program Protection.
Yuichiro Kanzaki, Akito Monden, Masahide Nakamura, Ken-ichi Matsumoto
2003Facilitating Secure Ad hoc Service Discovery in Public Environments.
Feng Zhu, Matt W. Mutka, Lionel M. Ni
2003Flexible Fault Tolerance in Configurable Middleware for Embedded Systems.
Kevin E. Dorow
2003Homeland Security's Cyber Component: A Survey of Legal Issues.
James Bret Michael, Thomas C. Wingfield, Steven E. Roberts
2003IBHIS: Integration Broker for Heterogeneous Information Sources.
Ioannis Kotsiopoulos, John A. Keane, Mark Turner, Paul J. Layzell, Fujun Zhu
2003Implementation of Nonstop Software Update for Client-Server Applications.
Wen-Kang Wei, Kuo-Feng Ssu, Hewijin Christine Jiau
2003Incremental Transformation of Procedural Systems to Object Oriented Platforms.
Ying Zou, Kostas Kontogiannis
2003Information Flows in E-Government.
Tsau Young Lin
2003Information Quality Assessment of a Yellow-Pages Location-Based Service.
Artem Katasonov, Markku Sakkinen
2003Information use in CBSE design.
Stephen Owen, David Budgen, Pearl Brereton
2003Integrating Heterogeneous Web Services with WebXcript.
Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung
2003Integrating Practical Software Measurement and the Balanced Scorecard.
David N. Card
2003Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification.
Paul A. Bailes, Colin J. M. Kemp
2003Intelligent Mobile Agents for Efficient and Inexpensive e-Shopping.
Lin Lu, Yan-Qing Zhang
2003Intelligent Web Topics Search Using Early Detection and Data Analysis.
Ching-Cheng Lee, Yixin Yang
2003Internet-based Decision Support: Towards E-Hospital.
Shusaku Tsumoto, Shoji Hirano, Eisuke Hanada
2003Just What Could Possibly Go Wrong In B2B Integration?
Dean Kuo, Alan D. Fekete, Paul Greenfield, Julian Jang, Doug Palmer
2003Lessons Learned from Software Engineering Multi-Agent Systems.
David Chenho Kung, Hitesh Bhambhani, Sheila Nwokoro, Wesam Okasha, Ravindra Kambalakatta, Praveen Sankuratri
2003MDA-based Development of E-Learning System.
Hong Wang, Dong Zhang
2003Managing Security Policy in a Large Distributed Web Services Environment.
Symon Chang, Qiming Chen, Meichun Hsu
2003Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System.
James Bret Michael, Thomas C. Wingfield, Duminda Wijesekera
2003Mediating Electronic Meetings.
Jia Zhang, Carl K. Chang, Jen-Yao Chung
2003Meta Model Approach for Mediation.
Masataro Shiroiwa, Takao Miura, Isamu Shioya
2003Migrating Web Frameworks Using Water Transformations.
Ahmed E. Hassan, Richard C. Holt
2003Mining Sequential Patterns Using Graph Search Techniques.
Yin-Fu Huang, Shao-Yuan Lin
2003Mockup-driven Fast-prototyping Methodology for Web Requirements Engineering.
Jia Zhang, Carl K. Chang, Jen-Yao Chung
2003Next Generation Application Integration: Challenges and New Approaches.
Ian Gorton, Dave Thurman, Judi Thomson
2003PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications.
Qingkai Ma, Wei Hao, Wei Li, Manghui Tu, I-Ling Yen
2003Policy-based Separation of Concerns for Dynamic Code Mobility Management.
Rebecca Montanari, Gianluca Tonti, Cesare Stefanelli
2003Precise Specification to Compound Patterns with ExLePUS.
Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun
2003Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution.
Tsz Hin Ng, Shing-Chi Cheung
2003Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes.
Ann T. Tai, Kam S. Tso, William H. Sanders
2003Rapid Verification of Embedded Systems Using Patterns.
Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul
2003Recovering a Business Object Model from Web Applications.
Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana, Ugo de Carlini
2003Regression Testing for Web Applications Based on Slicing.
Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen
2003Runtime Software Architecture Based Software Online Evolution.
Qianxiang Wang, Gang Huang, Junrong Shen, Hong Mei, Fuqing Yang
2003Scalable Multilateral Communication Technique for Large-Scale Information Systems.
Khaled Ragab, Naohiro Kaji, Koichi Moriyama, Kinji Mori
2003Scenario Architecture - A Methodology to Build a Global View of OO Software System.
Yiausyu Earl Tsai, Hewijin Christine Jiau, Kuo-Feng Ssu
2003Security Issues for the Semantic Web.
Bhavani Thuraisingham
2003Semantic-based Approach to Streaming XML Contents using Xstream.
Eugene Y. C. Wong, Alvin T. S. Chan, Hong Va Leong
2003Sensitivity Analysis of Software Reliability for Component-Based Software Applications.
Jung-Hua Lo, Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu
2003Situation-Aware Personalized Information Retrieval for Mobile Internet.
Stephen S. Yau, Huan Liu, Dazhi Huang, Yisheng Yao
2003Smart Debugging Software Architectural Design in SDL.
W. Eric Wong, Tatiana Sugeta, Yu Qi, José Carlos Maldonado
2003Software Documentation-Driven Manufacturin.
Luqi, Xianzhong Liang, Lynn Zhang, Valdis Berzins
2003Some Domain Patterns in Web Application Framework.
Chao Liu, Keqing He, Jie Liu, Shi Ying
2003Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems.
Yiannis Papadopoulos, Christian Grante
2003Testing the Suitability of Markov Chains as Web Usage Models.
Zhao Li, Jeff Tian
2003The XIS Generative Programming Techniques.
Alberto Rodrigues da Silva, Gonçalo Lemos, Tiago Matias, Marco Costa
2003Tolerance of Control-Flow Testing Criteria.
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen
2003Toward an Easy Programming Environment for Implementing Mobile Applications: A Fleet Application Case Study using SyD Middleware.
Sushil K. Prasad, Michael Weeks, Yanqing Zhang, Alexander Zelikovsky, Saeid Belkasim, Raj Sunderraman, Vijay K. Madisetti
2003Towards Dynamic Process with Variable Structure by Reflection.
Shaohua Liu, Jun Wei, Wei Xu
2003Transforming quantities into qualities in assessment of software systems.
Gerardo Canfora, Luigi Cerulo, Luigi Troiano
2003VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development.
Hisayuki Suzumori, Haruhiko Kaiya, Kenji Kaijiri
2003Variable Strength Interaction Testing of Components.
Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugridge, Charles J. Colbourn, James S. Collofello
2003Web-Based Support for Managing Large Collections of Software Artefact.
Cornelia Boldyreff, James Brittle, Chris Korhonen, Phyo Kyaw, Janet Lavery, David Nutter, Stephen Rank
2003Workshop on Architectures for Complex Application Integration (WACAI 2003).
Piyush Maheshwari, Ian Gorton, Anna Liu