default search action
31st COMPSAC 2007: Beijing, China - Volume 1
- 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1. IEEE Computer Society 2007, ISBN 978-0-7695-2870-0
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
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
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
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
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
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
A Model-based Object-oriented Approach to Requirement Engineering (MORE). 153-156 - Liwen Lin, Suzanne M. Embury
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
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
- Zongyong 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
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 M. L. 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, Tak-John Koo:
A Semantic Anchoring Infrastructure for the Design of Embedded Systems. 287-294 - Sérgio Soares
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
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
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
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
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
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
Bivariate Software Fault-Detection Models. 535-538 - Asif Qumer
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
Towards a Design Methodology for Multiprocessor Platforms. 575-578 - Vanilson Arruda Burégio
Specification, Design and Implementation of a Reuse Repository. 579-582 - Stephen Crouch
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
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
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
An InnovativeWorkflow Product Structure. 639-640 - Chengying Mao
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
Model Checking of Component Connectors. 673-675 - Xuanzhe Liu, Gang Huang, Hong Mei:
Towards End User Service Composition. 676-678
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: