31. COMPSAC 2007: Beijing, China

Volume 1 - (Volume 2)

Panels

• Bruce M. McMillin:
  Future Trends: Computing as a Core Discipline. 3-7
  
• David Card:
  Challenges and Experiences in Industry-University Research Collaboration and Technology Transition. 8-9
  
• Paolo Bellavista:
  "Middleware for Next-Generation Converged Networks and Services: Myths or Reality?". 10-15
  
• Sahra Sedigh:
  Ethics in Computing. 16
  
• Doo-Hwan Bae:
  Software Process Improvement for Small Organizations. 17
  
• Stephen Chen:
  Plenary Panel Title: Software for the Mobile Inter. 18
  
• Rajesh Subramanyan:
  Test Automation in Practice. 19
  

Security Track

Security in Communication

• Navya Sidharth, Jigang Liu:
  A Framework for Enhancing Web Services Security. 23-30
  
• Yunfa Li, Hai Jin, Deqing Zou, Jieyun Chen, Zongfen Han:
  A Scalable Service Scheme for Secure Group Communication in Grid. 31-38
  
• Xia Wang, Johnny Wong:
  An End-to-end Detection of Wormhole Attack in Wireless Ad-hoc Networks. 39-48
  

Modeling Security

• Munirul M. Haque, Sheikh Iqbal Ahamed:
  An Omnipresent Formal Trust Model (FTM) for Pervasive Computing Environment. 49-56
  
• Munirul M. Haque, Sheikh Iqbal Ahamed, Haifeng Li, K. M. Ibrahim Asif:
  An Authentication based Lightweight Device Discovery (ALDD) Model for Pervasive Computing Environment. 57-64
  
• Komsan Srivisut, Pornsiri Muenchaisri:
  Defining and Detecting Bad Smells of Aspect-Oriented Software. 65-70
  

Vulnerabilities - Detecting and Assessment

• Yan Li, Shaobin Cheng, Lu Zhang, Bing Xie, Jiasu Sun:
  Mining User Query Logs to Refine Component Description. 71-78
  
• Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen:
  A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. 79-86
  
• Xiang Fu, Xin Lu, Boris Peltsverger, Shijun Chen, Kai Qian, Lixin Tao:
  A Static Analysis Framework For Detecting SQL Injection Vulnerabilities. 87-96
  

Infrastructure, Networking and Security

• Ghizlane El-Boussaidi, Hafedh Mili:
  A model-driven framework for representing and applying design patterns. 97-100
  
• Travis C. Service, Daniel R. Tauritz, William M. Siever:
  Infrastructure Hardening: A Competitive Coevolutionary Methodology Inspired by Neo-Darwinian Arms Races. 101-104
  
• Shihui Wang, Yan Zhang, Wei Wang:
  Reliable Self-Clustering P2P Overlay Networks. 105-108
  
• Gautier Bastide, Abdelhak Seriai, Mourad Oussalah:
  Software Component Re-engineering for their Runtime Structural Adaptation. 109-114
  

Requirements

Design and Modeling

• Tao Wei, Jian Mao, Wei Zou, Yu Chen:
  Structuring 2-way Branches in Binary Executables. 115-118
  
• Sindolfo Miranda Filho, Luiz Eduardo Cunha Leite, Guido Lemos de Souza Filho, Silvio Romero de Lemos Meira:
  FLEXCM - A Component Model for Adaptive Embedded Systems. 119-126
  
• Sukhamay Kundu:
  Structuring Software Functional Requirements For Automated Design And Verification. 127-136
  

Putting Models to Run

• Xiping Song, Beatrice Hwong, Gilberto Matos, Arnold Rudorfer:
  Understanding and Classifying Requirements for Computer-Aided Healthcare Workflows. 137-144
  
• Dubravka Ilic:
  Deriving Formal Specifications from Informal Requirements. 145-152
  
• Chih-Wei Lu, William C. Chu, Chih-Hung Chang, Ching-Huey Wang:
  A Model-based Object-oriented Approach to Requirement Engineering (MORE). 153-156
  
• Liwen Lin, Suzanne M. Embury, Brian Warboys:
  Tool Support to Implementing Business Rules in Database Applications. 157-162
  

Event-Based and State-Based Modeling

• Ahlem Ben Younes, Leila Jemni Ben Ayed:
  Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. 163-170
  
• Moshiur Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, Aditya Ghose:
  Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations. 171-178
  
• Bei-Bei Yin, Chenggang Bai, Kai-Yuan Cai:
  A Data Mining Approach for Software State Definition. 179-188
  

Ontology for Requirements Elicitation

• Zong-yong Li, Zhi-xue Wang, Ying-ying Yang, Yue Wu, Ying Liu:
  Towards a Multiple Ontology Framework for Requirements Elicitation and Reuse. 189-195
  
• Jian Xiang, Lin Liu, Wei Qiao, Jingwei Yang:
  SREM: A Service Requirements Elicitation Mechanism based on Ontology. 196-203
  
• Wen Zhou, Zongtian Liu, Yan Zhao:
  Ontology Learning by Clustering Based on Fuzzy Formal Concept Analysis. 204-210
  

Analysis & Modeling

• Yikun Zhang, Peng Yin, Du-Wu Cui, Hui Xia:
  A Method of Requirement Inconsistency Analysis. 211-214
  
• Vishal Sadana, Xiaoqing Frank Liu:
  Analysis of Conflicts among Non-Functional Requirements Using Integrated Analysis of Functional and Non-Functional Requirements. 215-218
  
• Xiao He, Zhiyi Ma, Weizhong Shao, Ge Li:
  A metamodel for the notation of graphical modeling languages. 219-224
  

Life Cycle

Internet and Web-Based Systems

• Shuchao Wan, Jun Wei, Jingyu Song, Hua Zhong:
  A Satisfaction Driven Approach for the Composition of Interactive Web Services. 225-232
  
• Xiaoming Zhang:
  Knowledge Hiding in Data Mining by Transaction Adding and Removing. 233-240
  
• Clarissa Cassales Marquezan, Carlos Raniery Paula dos Santos, Ewerton Monteiro Salvador, Maria Janilce Bosquiroli Almeida, Sérgio Luis Cechin, Lisandro Zambenedetti Granville:
  Performance Evaluation of Notifications in a Web Services and P2P-Based Network Management Overlay. 241-250
  

Component-Based Software and Architecture

• Jicheng Fu, Farokh B. Bastani, I-Ling Yen:
  Iterative Planning in the Context of Automated Code Synthesis. 251-259
  
• Wei Li, Zhikun Zhao:
  Automating Dynamic Reconfiguration for Non-Stop Dataflow Systems. 260-267
  
• Kendra Cooper, João W. Cangussu, W. Eric Wong:
  An Architectural Framework for the Design and Analysis of Autonomous Adaptive Systems. 268-278
  

Embedded systems

• Xavier Guerin, Katalin Popovici, Wassim Youssef, Frédéric Rousseau, Ahmed Amine Jerraya:
  Flexible Application Software Generation for Heterogeneous Multi-Processor System-on-Chip. 279-286
  
• Graham Hemingway, Hang Su, Kai Chen, T. John Koo:
  A Semantic Anchoring Infrastructure for the Design of Embedded Systems. 287-294
  
• Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima:
  Concurrency Control Modularization with Aspect-Oriented Programming. 295-300
  

Process and Maintenance

• Juan Li, Nan Jiang, Mingshu Li, Qing Wang, Yanwu Yang:
  Tracking Projects through A Three-Dimensional Software Development Model. 301-308
  
• Hsinyi Jiang, Tien N. Nguyen, Carl K. Chang, Fei Dong:
  Traceability Link Evolution Management with Incremental Latent Semantic Indexing. 309-316
  
• Renuka Sindhgatta, Krishnakumar Pooloth:
  Identifying Software Decompositions by Applying Transaction Clustering on Source Code. 317-326
  

Quality of Service

Quality of Service and Performance

• Yan Liu, Ian Gorton, Liming Zhu:
  Performance Prediction of Service-Oriented Applications based on an Enterprise Service Bus. 327-334
  
• Qianxiang Wang, Yonggang Liu, Min Li, Hong Mei:
  An Online Monitoring Approach for Web services. 335-342
  
• Chao Tong, Xiaopeng Gao, Wei Chen, Xiang Long:
  SQS: A Secure and QoS Guaranteed Solution for Mobile Service. 343-352
  

Quality of Service and Service Composition

• Jingyu Song, Jun Wei, Shuchao Wan, Hua Zhong:
  An Interaction Instance Oriented Approach for Web Application Integration in Portals. 353-360
  
• Chunming Gao, Meiling Cai, Huowang Chen:
  QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm. 361-367
  
• Xiaoying Bai, Dezheng Xu, Guilan Dai:
  Dynamic Reconfigurable Testing of Service-Oriented Architecture. 368-378
  

Modeling and Validation for Quality of Service

• Jing Zhou, Guosun Zeng:
  Validity Checking On Grid Service Composition. 379-382
  
• Dafei Yin, Bin Chen, Yu Fang:
  A Fast Replica Selection Algorithm for Data Grid. 383-387
  
• Kun Wang, Wuwei Shen:
  Improving the Accuracy of UML Class Model Recovery. 387-390
  
• Dalila Tamzalit, Nassima Sadou, Mourad Oussalah:
  Connectors conveying Software Architecture Evolution. 391-396
  

Quality

Validation and Assessment

• W. K. Chan, Jeffrey C. F. Ho, T. H. Tse:
  Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs. 397-404
  
• Jayson P. Vucovich, Robert B. Stone, Xiaoqing Frank Liu, Irem Y. Tumer:
  Risk Assessment in Early Software Design Based on the Software Function-Failure Design Method. 405-412
  
• Andres S. Orrego, Gregory E. Mundy:
  SRAE: An Integrated Framework for Aiding in the Verification and Validation of Legacy Artifacts in NASA Flight Control Systems. 413-422
  

Quantification

• Katerina Goseva-Popstojanova, Margaret Hamill:
  Architecture-Based Software Reliability: Why Only a Few Parameters Matter? 423-430
  
• Sai Zhang, Jianjun Zhao:
  On Identifying Bug Patterns in Aspect-Oriented Programs. 431-438
  
• Chu-Ti Lin, Chin-Yu Huang, Chuan-Ching Sue:
  Measuring and Assessing Software Reliability Growth through Simulation-Based Approaches. 439-448
  

Coverage and Prioritization for Testing

• W. Eric Wong, Yu Qi, Lei Zhao, Kai-Yuan Cai:
  Effective Fault Localization using Code Coverage. 449-456
  
• Jun-Ru Chang, Chin-Yu Huang:
  A Study of Enhanced MC/DC Coverage Criterion for Software Testing. 457-464
  
• Bo Qu, Changhai Nie, Baowen Xu, Xiaofang Zhang:
  Test Case Prioritization for Black Box Testing. 465-474
  

Specification and Verification

• Ying Jin:
  Formal Verification of Protocol Properties of Sequential Java Programs. 475-482
  
• Fei Xie, Huaiyu Liu:
  Unified Property Specification for Hardware/Software Co-Verification. 483-490
  
• Dianxiang Xu, Izzat Alsmadi, Weifeng Xu:
  Model Checking Aspect-Oriented Design Specification. 491-500
  

Analysis and Testing

• Jingbo Zhang, Rongcai Zhao, Jianmin Pang:
  Parameter and Return-value Analysis of Binary Executables. 501-508
  
• Lian Yu, Wenping Xiao, Chang Yan Chi, Lin Ma, Hui Su:
  Test Case Generation for Collaborative Real-time Editing Tools. 509-516
  
• Guilan Dai, Xiaoying Bai, Yongbo Wang, Fengjun Dai:
  Contract-Based Testing for Web Services. 517-526
  

Quality, Diversity and Services

• Xiaofeng Cui, Yanchun Sun, Gang Huang, Hong Mei:
  Architectural Adaptation Addressing the Criteria of Multiple Quality Attributes in Mission-Critical Systems. 527-530
  
• Nien-Lin Hsueh, Peng-Hua Chu, Jonathan Lee, William C. Chu:
  A Quality Verification Model for Design Pattern. 531-534
  
• Tomotaka Ishii, Tadashi Dohi, Hiroyuki Okamura:
  Bivariate Software Fault-Detection Models. 535-538
  
• Asif Qumer, Brian Henderson-Sellers:
  Construction of an Agile Software Product-Enhancement Process by Using an Agile Software Solution Framework (ASSF) and Situational Method Engineering. 539-542
  
• Feng Chen, Hongji Yang:
  Model Oriented Evolutionary Redocumentation. 543-548
  

Industrial Track

Process Models

• Mira Kajko-Mattsson, Mi Ta, Lukas Wilczek:
  State of Modernization Practice in Four Swedish Organizations. 549-556
  
• Thomas Weigold, Thorsten Kramp, Peter Buhler:
  ePVM - An Embeddable Process Virtual Machine. 557-564
  
• Yunxiang Zheng, Lei Li, Hai Wan:
  State-based Process Description Model in Chinese E-government Affair System. 565-568
  
• Juha Savolainen, Ian Oliver, Varvana Myllärniemi, Tomi Männistö:
  Analyzing and Re-structuring Product Line Dependencies. 569-574
  

Data, Repositories, Design Methods

• Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius:
  Towards a Design Methodology for Multiprocessor Platforms. 575-578
  
• Vanilson Arruda Burégio, Eduardo Santana de Almeida, Daniel Lucrédio, Silvio Romero de Lemos Meira:
  Specification, Design and Implementation of a Reuse Repository. 579-582
  
• Stephen Crouch, Peter Henderson, Robert John Walters:
  DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data. 583-590
  
• Ling Li, Shengqun Tang, Lina Fang, Ruliang Xiao, Xinguo Deng, Youwei Xu, Yang Xu:
  VOEditor: a Visual Environment for Ontology Construction and Collaborative Querying of Semantic Web Resources. 591-600
  

Networking and Distribution

• Weishan Zhang, Dong Han, Thomas Kunz, Klaus Marius Hansen:
  Mobile Game Development: Object-Orientation or Not. 601-608
  
• Mahdi Niamanesh, Rasool Jalili:
  A Dynamic-Reconfigurable Architecture for Protocol Stacks of Networked Systems. 609-612
  
• Jiuyuan Huo, Liqun Liu, Li Liu, Yi Yang, Lian Li:
  A Study on Distributed Resource Information Service in Grid System. 613-618
  

Fast Abstract

Software Engineering Methods and Tools

• Aurélie Aurilla Bechina Arntzen:
  Services Oriented Architecture: integration requirements. 619-620
  
• Zhenyu Chen, Baowen Xu, Changhai Nie:
  Comparing Fault-based Testing Strategies of General Boolean Specifications. 621-622
  
• M. E. Fayad:
  Patterns Topology for Performance Evaluation. 623-624
  
• Shen Zhang, Yongji Wang, Feng Yuan, Li Ruan:
  Mining Software Repositories to Understand the Performance of Individual Devel. 625-626
  
• Paolo Vercesi, Alberto Bartoli:
  Adaptive Performance Tuning for Internet-BasedWorkflows. 627-628
  
• Jun Yu, Bin Xu, Hua Hu:
  Towards Capability Maturity in Software Review. 629-630
  
• Zhongbin Wang:
  Fuxi: An Agile Development Environment for Embedded Systems. 631-632
  
• Ke Jiang, Lei Zhang, Shigeru Miyake:
  OCL4X: An Action Semantics Language for UML Model Execution. 633-636
  

Software Applications

• Zhi Jian Zhu, Mohammad Zulkernine:
  Towards an Aspect-Oriented Intrusion Detection Framework. 637-638
  
• Haiping Zha, Lijie Wen, Jianmin Wang:
  An InnovativeWorkflow Product Structure. 639-640
  
• Chengying Mao, Jinlong Zhang, Yansheng Lu:
  Matrix-based Change Impact Analysis for Component-based Software. 641-642
  
• Ya-tao Yang, Zheng Yuan, Yong Fang, Ping Zeng:
  A Novel Authentication Scheme Based on Trust-value Updated Model in Adhoc Network. 643-645
  
• Michael de la Maza:
  Luv: A Programming Language for Describing Human Relationships. 645-646
  
• Chunming Gao, Xiaojuan Yuan, Huowang Chen:
  Execution Mechanism of Service Proxy in Web Services Composition Execution Engine. 647-648
  
• Shuliang Zhang, Jiayan Gan, LiZhi Miao, Guonian Lv, Jiazhu Huang:
  Study on GML Spatial Interoperability based on Web Service. 649-656
  
• Feixiang Zhu, Yingjun Zhang, Berlin Zhu:
  Web System for Electronic Nautical Charts Service Based On ArcIMS. 657-661
  

Doctoral Symposium

• Walisa Romsaiyud, Somnuk Kereto:
  Challenges in Selecting COTS Component Guidelines. 661-663
  
• Tatiane Macedo Prudencio Lopes, Clovis Torres Fernandes:
  Management and Control of Coding and Testing of Component-based Software. 664-666
  
• Sabnam Sengupta, Swapan Bhattacharya:
  Functional Specifications of Object Oriented Systems: A Model Driven Framework. 667-672
  
• Mohammad Izadi, Ali Movaghar, Farhad Arbab:
  Model Checking of Component Connectors. 673-675
  
• Xuanzhe Liu, Gang Huang, Hong Mei:
  Towards End User Service Composition. 676-678
  

Last update Wed Feb 15 04:57:38 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page