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
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
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
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
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
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, T. Y. 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
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
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
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.
last updated on 2024-11-13 23:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: