31. COMPSAC 2007: Beijing, China
31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China. IEEE Computer Society 2007 ISBN 978-0-7695-2870-0
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
- 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
- Gautier Bastide, Abdelhak Seriai, Mourad Oussalah: Software Component Re-engineering for their Runtime Structural Adaptation. 109-114
Requirements
Design and Modeling
- 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
- 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
- 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
- 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
- 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
- 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
- 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
Industrial Track
Process Models
- Mira Kajko-Mattsson, Mi Ta, Lukas Wilczek: State of Modernization Practice in Four Swedish Organizations. 549-556
- 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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team