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 BibTeX
Volume 1 - (Volume 2)
Panels
Security Track
Security in Communication
Modeling Security
Vulnerabilities - Detecting and Assessment
- Yan Li, Shaobin Cheng, Lu Zhang, Bing Xie, Jiasu Sun:
Mining User Query Logs to Refine Component Description.
71-78
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Xiang Fu, Xin Lu, Boris Peltsverger, Shijun Chen, Kai Qian, Lixin Tao:
A Static Analysis Framework For Detecting SQL Injection Vulnerabilities.
87-96
Electronic Edition (link) BibTeX
Infrastructure,
Networking and Security
Requirements
Design and Modeling
Putting Models to Run
Event-Based and State-Based Modeling
Ontology for Requirements Elicitation
Analysis & Modeling
Life Cycle
Internet and Web-Based Systems
Component-Based Software and Architecture
Embedded systems
Process and Maintenance
Quality of Service
Quality of Service and Performance
Quality of Service and Service Composition
Modeling and Validation for Quality of Service
Quality
Validation and Assessment
Quantification
Coverage and Prioritization for Testing
Specification and Verification
Analysis and Testing
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
Electronic Edition (link) BibTeX
- Nien-Lin Hsueh, Peng-Hua Chu, Jonathan Lee, William C. Chu:
A Quality Verification Model for Design Pattern.
531-534
Electronic Edition (link) BibTeX
- Tomotaka Ishii, Tadashi Dohi, Hiroyuki Okamura:
Bivariate Software Fault-Detection Models.
535-538
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Feng Chen, Hongji Yang:
Model Oriented Evolutionary Redocumentation.
543-548
Electronic Edition (link) BibTeX
Industrial Track
Process Models
Data,
Repositories,
Design Methods
- Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius:
Towards a Design Methodology for Multiprocessor Platforms.
575-578
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Stephen Crouch, Peter Henderson, Robert John Walters:
DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data.
583-590
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Networking and Distribution
Fast Abstract
Software Engineering Methods and Tools
- Aurélie Aurilla Bechina Arntzen:
Services Oriented Architecture: integration requirements.
619-620
Electronic Edition (link) BibTeX
- Zhenyu Chen, Baowen Xu, Changhai Nie:
Comparing Fault-based Testing Strategies of General Boolean Specifications.
621-622
Electronic Edition (link) BibTeX
- M. E. Fayad:
Patterns Topology for Performance Evaluation.
623-624
Electronic Edition (link) BibTeX
- Shen Zhang, Yongji Wang, Feng Yuan, Li Ruan:
Mining Software Repositories to Understand the Performance of Individual Devel.
625-626
Electronic Edition (link) BibTeX
- Paolo Vercesi, Alberto Bartoli:
Adaptive Performance Tuning for Internet-BasedWorkflows.
627-628
Electronic Edition (link) BibTeX
- Jun Yu, Bin Xu, Hua Hu:
Towards Capability Maturity in Software Review.
629-630
Electronic Edition (link) BibTeX
- Zhongbin Wang:
Fuxi: An Agile Development Environment for Embedded Systems.
631-632
Electronic Edition (link) BibTeX
- Ke Jiang, Lei Zhang, Shigeru Miyake:
OCL4X: An Action Semantics Language for UML Model Execution.
633-636
Electronic Edition (link) BibTeX
Software Applications
- Zhi Jian Zhu, Mohammad Zulkernine:
Towards an Aspect-Oriented Intrusion Detection Framework.
637-638
Electronic Edition (link) BibTeX
- Haiping Zha, Lijie Wen, Jianmin Wang:
An InnovativeWorkflow Product Structure.
639-640
Electronic Edition (link) BibTeX
- Chengying Mao, Jinlong Zhang, Yansheng Lu:
Matrix-based Change Impact Analysis for Component-based Software.
641-642
Electronic Edition (link) BibTeX
- Ya-tao Yang, Zheng Yuan, Yong Fang, Ping Zeng:
A Novel Authentication Scheme Based on Trust-value Updated Model in Adhoc Network.
643-645
Electronic Edition (link) BibTeX
- Michael de la Maza:
Luv: A Programming Language for Describing Human Relationships.
645-646
Electronic Edition (link) BibTeX
- Chunming Gao, Xiaojuan Yuan, Huowang Chen:
Execution Mechanism of Service Proxy in Web Services Composition Execution Engine.
647-648
Electronic Edition (link) BibTeX
- Shuliang Zhang, Jiayan Gan, LiZhi Miao, Guonian Lv, Jiazhu Huang:
Study on GML Spatial Interoperability based on Web Service.
649-656
Electronic Edition (link) BibTeX
- Feixiang Zhu, Yingjun Zhang, Berlin Zhu:
Web System for Electronic Nautical Charts Service Based On ArcIMS.
657-661
Electronic Edition (link) BibTeX
Doctoral Symposium
Copyright © Sat May 16 23:03:09 2009
by Michael Ley (ley@uni-trier.de)
