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 Perez Leguizamo, 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 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 A. 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 W. 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, 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 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 M. 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, H. 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
• 
  Liu Wu-dong, He Ke-qing, Yingshi, Hui Xu, Jing Yi-xin: A Pattern Language Model for Framework Development. 669-673
• 
  Liu Chao, He Keqing, Liu Jie, Ying Shi: 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-

last updated on Sun May 26 03:42:08 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page