• 
  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 [ contents ]

Volume 2 - (Volume 1)

31st Annual International Computer Software and Applications Conference - Vol. 2- (COMPSAC 2007) 2007-07-24 / 2007-07-27; Beijing, China;

AOAsia 2007 Workshop: 3rd IEEE Asian Workshop on Aspect-Oriented Software Development

• 
  Yi Wang, Jianjun Zhao: Specifying Pointcuts in AspectJ. 5-10
• 
  Damijan Rebernak, Marjan Mernik: A tool for compiler construction based on aspect-oriented specifications. 11-16
• 
  Cyrille Artho, Zhongwei Chen, Shinichi Honiden: AOP-based automated unit test classification of large benchmarks. 17-22
• 
  Kung Chen, Ju-Bing Chen: Aspect-Based Instrumentation for Locating Memory Leaks in Java Programs. 23-28
• 
  Dapeng Liu, Shaochun Xu: A Combined Concept Location Method for Java Programs. 29-42

EMOBS 2007 Workshop: The First IEEE International Workshop on Engineering Mobile-Based Software and Applications

Applications and Services

• 
  Matthias Book, Volker Gruhn: An Instant Messaging Framework for Flexible Interaction with Rich Clients. 43-48
• 
  Jerry Zeyu Gao, Lekshmi Prakash, Rajini Jagatesan: Understanding 2D-BarCode Technology and Applications in M-Commerce - Design and Implementation of A 2D Barcode Processing Solution. 49-56
• 
  Ning Liu, Rong Li, Zhenyu Yang, Hongyang Chao: An Optimization Method for Real-Time Natural Phenomena Simulation on WinCE Platform. 57-62

Key Technologies for M-Commerce

• 
  Vu Hong Khiem, Kibong Kang, Keung Hae Lee: MiniWap: Navigating WAP with Minimo. 63-68
• 
  Chun-Yen Hsu, Jean-Lien C. Wu, Shun-Te Wang: A One-Dimensional Probabilistic Model of Wireless Multihop Internet Access. 69-74
• 
  Yingfang Fu, Jingsha He, Guorui Li: A Distributed Intrusion Detection Scheme for Mobile Ad Hoc Networks. 75-80

Middleware and Service Platforms

• 
  Celso Maciel da Costa, Marcelo da Silva Strzykalski, Guy Bernard: An Aspect Oriented Middleware Architecture for Adaptive Mobile Computing Applications. 81-86
• 
  Jui-Nan Lin, Jiun-Long Huang: A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development. 87-95

Ambient Intelligence and Pervasive Computing

• 
  Rui Chen, Yibin Hou, Zhangqin Huang, Yong Zhang, Hui Li: Framework for Local Ambient Intelligence Space: The AmI-Space Project. 95-100
• 
  Li Zhang, Zhen-lian Shi, Qi Shen: A Service Discovery Architecture based on Anycast in Pervasive Computing Environments. 101-108

Mobility Support

• 
  Georg Treu, Johannes Martens, Matthias Schicker, Marc Breisinger, Axel Küpper: Vs Golf - Developing Location-based Multi-Player Games. 109-114
• 
  Ming-Hsien Yu, Hsing Mei: Speed-Based Mobility Management for Heterogeneous Wireless Networks Interworking. 115-120
• 
  Weider D. Yu, Sunita Sharma: A Mobile Database Design Methodology for Mobile Software Solutions. 121-130

ESAS 2007 Workshop: The Second IEEE International Workshop on Engineering Semantic Agent Systems

Applications

• 
  Sang-Kyun Kim, Kyu-Chul Lee: Trend Analysis using a TemporalWeb Ontology Language in News Domains. 131-136
• 
  Xiangzhong Feng: Construction of Collaborative Design Environment Based on Multi-Agent. 137-140
• 
  Jia Chen, Yue Wu, Ming Li, Bei Hui: Multi-Agent System-based Hierarchy Grid Middleware. 141-146

Platforms

• 
  Yong-Feng Lin, Jason Jen-Yen Chen: OWL-Based Description for Agent Interaction. 147-152
• 
  Liang Xiao, David Robertson, Madalina Croitoru, Paul H. Lewis, Srinandan Dashmapatra, David Dupplaw, Bo Hu: Adaptive Agent Model: an Agent Interaction and Computation Model. 153-158
• 
  Wei Huang, Elia El-Darzi, Li Jin: Extending the Gaia Methodology for the Design and Development of Agent-based Software Systems. 159-168

Models

• 
  Wang Dan, Zhao Rongjuan: An Ontology-based Semantic Resource Sharing Model in P2P System. 169-176

Keynote Speech

• 
  Aditya Ghose, George Koliadis: Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations. 177-184

Position Papers

• 
  Mehmet A. Orgun: Intelligent Agents and P2P Semantic Web. 185
• 
  Atilla Elçi: A Distress Call: Needing Tools to Large-Scale Semantic-Aware Agent Systems. 186
• 
  Masoud Mohammadian: Semantic Web and Intelligent Agents Research and Practice Masoud Mohammadian. 187-196

IWSC 2007 Workshop: The Fourth IEEE International Workshop on Software Cybernetics

Papers I

• 
  Fevzi Belli, Mubariz Eminov, Nida Gökçe: Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study. 197-203
• 
  Qianxiang Wang: Qianxiang Wang. 204-210

Invited Talks

• 
  Stephen S. Yau, Dazhi Huang, Luping Zhu: An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems. 211-216
• 
  Harald A. Stieber: A Family of Software Reliability Growth Models. 217-224

Panel Discussion

• 
  Eric Yu: Social Modeling for System Security. 225

Papers II

• 
  Lin Liu, Zhi Jin, Ruqian Lu: Towards Controllable Requirements Engineering Processes based on Cybernetics. 229-232
• 
  Xiaoying Bai, Yinong Chen, Zhongkui Shao: Adaptive Web Services Testing. 233-236
• 
  Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai, W. Eric Wong: A Control-Theoretic Approach to QoS Adaptation in Data Stream Management Systems Design. 237-248

IWSSE 2007 Workshop: The First IEEE International Workshop on Security in Software Engineering

• 
  Mohammad Gias Uddin, Hossain Shahriar, Mohammad Zulkernine: ACIR: An Aspect-Connector for Intrusion Response. 249-254
• 
  Keqin Li, Laurent Mounier, Roland Groz: Test Generation from Security Policies Specified in Or-BAC. 255-260
• 
  Liang Xiao, Andrew Peet, Paul H. Lewis, Srinandan Dashmapatra, Carlos Sáez, Madalina Croitoru, Javier Vicente, Horacio González-Vélez, Magí Lluch i Ariet: An Adaptive Security Model for Multi-agent Systems and Application to a Clinical Trials Environment. 261-268
• 
  K. M. Ibrahim Asif, Sheikh Iqbal Ahamed, Nilothpal Talukder: Avoiding Privacy Violation for Resource Sharing in Ad hoc Networks of Pervasive Computing Environment. 269-274
• 
  Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie: Conformance Checking of Access Control Policies Specified in XACML. 275-280
• 
  Koen Buyens, Riccardo Scandariato, Wouter Joosen: Process Activities Supporting Security Principles. 281-292

KASET 2007 Workshop: The First IEEE International Workshop on Development and Application of Knowledge Based Software Engineering Tool

General Software Engineering and Tool

• 
  Limin Shen, Wenwen Jiang, Chunyan Gao: Setting and Evaluation of Flexible Points on Software User Interface. 293-298
• 
  Rudolf Ramler, Klaus Wolfmaier, Thomas Natschläger: Observing Distributions in Size Metrics: Experience from Analyzing Large Software Systems. 299-304
• 
  Yan Luo, Torsten Bergander, A. Ben Hamza: Software Reliability Growth Modelling using aWeighted Laplace Test Statistic. 305-312

Knowledge-Based Software Engineering Tool

• 
  Hong Zhang, Hongjun Su: A Collaborative System for Software Engineering Education. 313-318
• 
  Li Jiang, Armin Eberlein: A Tool For Requirements Engineering Process Development. 319-325
• 
  Elena Cardenas Vargas, Hanna Oktaba, Silvia Guardati, Ana Lilia Laureano: Agents, Case-Based Reasoning and their relation to the Mexican Software Process Model (MoProSoft). 326-334

Programming Tools and Techniques

• 
  Shi Zhang, Linpeng Huang: Type-Safe Dynamic Update Transaction. 335-340
• 
  Ioannis N. Athanasiadis, Ferdinando Villa, Andrea Emilio Rizzoli: Ontologies, JavaBeans and Relational Databases for enabling semantic programming. 341-346
• 
  J. García, Antonio Gavilanes, A. Gil, Pedro J. Martín: CGR: a Tool for Programming Using Schemes. 347-354

System Modelling, Risk and Policy Management

• 
  Yulin Ding, Yan Zhang: System Modification Case Studies. 355-360
• 
  Hsinyi Jiang, Carl K. Chang, Jinchun Xia, Shuxing Cheng: A History-Based Automatic Scheduling Model for Personnel Risk Management. 361-366
• 
  Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo: Managing Policy Interactions in KNX-Based Smart Homes. 367-378

QUORS 2007 Workshop: the 1st IEEE International Workshop on Quality Oriented Reuse of Software

Aspects and SE

• 
  Yanhong Guo, Guifa Teng, Yueli Li, Fang Wang, Yang Zhao, Jianbin Ma: Improvement of Object-Oriented System Analysis and Design with Aspects. 379-384
• 
  Jianjun Pu, Zhuopeng Zhang, Jian Kang, Yang Xu, Hongji Yang: Using Aspect Orientation in Understanding Legacy COBOL Code. 385-390
• 
  Yiming Lau, Wenyun Zhao, Xin Peng, Shan Tang: A Connector-Centric Approach to Aspect-Oriented Software Evolution. 391-398

Components and QoS

• 
  Jingyue Li, Anita Gupta, Jon Arvid Børretzen, Reidar Conradi: The Empirical Studies on Quality Benefits of Reusing Software Components. 399-402
• 
  Yankui Feng, Xiaodong Liu, Jon M. Kerridge: A product line based aspect-oriented generative unit testing approach to building quality components. 403-408
• 
  Yiming Yang, Xin Peng, Wenyun Zhao: An Automatic Connector Generation Method for Dynamic Architecture. 409-414
• 
  Marcel van Amstel, Christian F. J. Lange, Michel R. V. Chaudron: Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams. 415-424

Internet Applications

• 
  Wentao Zhang, Yan Yang, Shengqun Tang, Lina Fang: QoS-driven Service Selection Optimization Model and Algorithms for Composite Web Services. 425-431
• 
  Zhifeng Gu, Juan-Zi Li, Jie Tang, Bin Xu, Ruobo Huang: Verification of Web Service Conversations Specified in WSCL. 432-437
• 
  Shikun Zhou, Xiaodong Liu: Quality Metrics for Internet Applications: Developing "New" from "Old". 438-450

REFS 2007 Workshop: First IEEE International Workshop on Requirements Engineering For Services

Workshop Keynote

• 
  Al Davis: REFS Keynote: "Requirements for Services: Does it Make Sense?". 451-454

RE For Service

• 
  Colette Rolland, Rim Samia Kaabi: An Intentional Perspective to Service Modeling and Discovery. 455-460
• 
  Chang-ai Sun, Marco Aiello: Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems. 461-466
• 
  Kyriakos Kritikos, Dimitris Plexousakis: Requirements for QoS-based Web Service Description and Discovery. 467-472
• 
  Sandy Liu, Bruce Spencer, Yong Liang, Bo Xu, Libo Zhang, Martin Brooks: Towards an Agile Infrastructure to Provision Devices, Applications, and Networks: A Service-oriented Approach. 473-478
• 
  Ching-Huey Wang, Feng-Jian Wang: An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications. 479-486

RE and Services

• 
  Alan M. Davis, Kesav V. Nori: Requirements, Plato's Cave, and Perceptions of Reality. 487-492
• 
  Kai-Yuan Cai: Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements. 493-494
• 
  Xiping Song: Developing Non-Functional Requirements for a Service-Oriented Software Platform. 495-496
• 
  Zhoulin Dai, Gu Yi, Liu Jun, Xu Yi Jie: Experiences in Accurately Estimating Electronic Forms Conversion Services with a Spiral Estimate Process. 497-500
• 
  Bo Cheng, Xiangwu Meng, Junliang Chen: An Adaptive User Requirements Elicitation Framework. 501-502
• 
  Chunming Gao, Huang Tan, Huowang Chen: Frameworks of Composite Services Execution Engine with Feedback Control. 503-508
• 
  Moshiur Bhuiyan, M. M. Zahidul Islam, George Koliadis, Aneesh Krishna, Aditya Ghose: Managing Business Process Risk Using Rich Organizational Models. 509-520

SACT 2007 Workshop: The Second IEEE Asia-Pacific Workshop on Software Architectures and Component Technologies

Software Patterns, Frameworks and Architectures

• 
  D. Thu Tran, T. B. Tran Huynh: A Composite Design Pattern for Object Frameworks. 521-526
• 
  Arvind W. Kiwelekar, Rushikesh K. Joshi: Extracting High-level Component-Connector View from Detailed UML Models: A Case Study. 527-534

Component Software and Technologies

• 
  Zhikun Zhao, Wei Li: Dynamic Reconfiguration of Distributed Data Flow Systems. 535-540
• 
  Cyrille Artho, Klaus Havelund, Shinichi Honiden: Visualization of Concurrent Program Executions. 541-546
• 
  Chengying Mao: AOP-based Testability Improvement for Component-based Software. 547-552
• 
  André Ribes, Christian Caremoli: Salome platform component model for numerical simulation. 553-564

SEASS 2007 Workshop: The First IEEE International Workshop on Software Engineering for Adaptive Software Systems

Invited Talk

• 
  Jun Han, Alan W. Colman: The Four Major Challenges of Engineering Adaptive Software Architectures. 565-572

Software Architecture

• 
  Zhuohao Wang, Zhuofeng Zhao, Jun Fang: A Service-oriented Approach for Flexible Information Resource Integration. 573-578
• 
  Pentti Tarvainen: Adaptability Evaluation of Software Architectures; A Case Study. 579-586

Requirement Engineering and Decision Making

• 
  Liwei Shen, Xin Peng, Wenyun Zhao: Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis. 587-592
• 
  Wassiou Sitou, Bernd Spanfelner: Towards Requirements Engineering for Context Adaptive Systems. 593-600

Domain Specific Adaptation

• 
  Hua Wang, Jing Ying: Toward Runtime Self-adaptation Method in Software-Intensive Systems Based on Hidden Markov Model. 601-606
• 
  Wenying Feng, Karan Vij: Machine Learning Prediction andWeb Access Modeling. 607-612
• 
  Tiezheng Nie, Guangqi Wang, Derong Shen, Meifang Li, Ge Yu: SLA-based Data Integration on Database Grids. 613-618
• 
  Rafael Ramirez, Andrew E. Santosa: A Framework for Separation of Concerns in Concurrent Programming. 619-628

SECAD 2007 Workshop: The First IEEE lnternational Workshop on Software Engineering Challenges in the Automotive Domain

• 
  Chunyang Mu, Lining Sun, Zhijiang Du: Method Based on OSEK/VDX Platform Using Model-based and Autocode Technology for Diesel ECU Software Development. 629-634
• 
  Dietmar Schreiner, Karl M. Göschka: A Component Model for the AUTOSAR Virtual Function Bus. 635-641
• 
  Olaf Kath, Marc Born, Michael Soden: Repository based Infrastructures for effective Automotive Software Creation - an Experience Report. 642-650

SPAC 2007 Workshop: The First IEEE lnternational Workshop on Software Patterns: Addressing Challenges

• 
  Jing-Ying Chen: Component Oriented Design Style. 651-657
• 
  Alexei Iliasov, Alexander Romanovsky, Budi Arief: A Framework for Open Distributed System Design. 658-674

STPSA 2007 Workshop: The Second IEEE lnternational Workshop on Security, Trust, and Privacy for Software Applications

• 
  Weifeng Chen, Zhen Liu, Anton Riabov: A Soft Constraint Privacy Model based on Identifiability. 675-980
• 
  Chiung-Chou Tsai, Kuan-Chieh Liao, Tzungher Chen, Wei-Bin Lee: Security enhancement of a novel proxy key generation protocol. 681-688
• 
  Abdul Samiah, Arshad Aziz, Nassar Ikram: An Efficient Software Implementation of AES-CCM for IEEE 802.11i Wireless St. 689-694
• 
  Ryan Babbitt, Johnny Wong, Carl K. Chang: Towards the Modeling of Personal Privacy in Ubiquitous Computing Environments. 695-699
• 
  Yuh-Min Tseng, Tsu-Yang Wu, Jui-Di Wu: A mutual authentication and key exchange scheme from bilinear pairings for low power computing devices. 700-710

TEST 2007 Workshop: The First IEEE International Workshop on Testing Emerging Software Technology

Test models, methods and tools for new technologies

• 
  Jung-Hua Lo: Effect of the Delay Time in Fixing a Fault on Software Error Models. 711-716
• 
  Liang Kong, Hong Zhu, Bin Zhou: Automated Testing EJB Components Based on Algebraic Specifications. 717-722
• 
  Chengying Mao: Built-in Regression Testing for Component-based Software Systems. 723-728
• 
  Michael Ruth, Sehun Oh, Adam Loup, Brian Horton, Olin Gallet, Marcel Mata, Shengru Tu: Towards Automatic Regression Test Selection for Web Services. 729-736

Test models, methods and tools for traditional technologies

• 
  Karl R. P. H. Leung, Wing Lok Yeung: Generating User Acceptance Test Plans from Test Cases. 737-742
• 
  Sami Mäkelä, Ville Leppänen: Client based Object-Oriented Cohesion Metrics. 743-748
• 
  Dae Wan Cho, Seunguk Oh, Hyeon Soo Kim: MemScroll: Dynamic Memory Errors Detector in C Programs. 749-754
• 
  Muzammil Shahbaz, Keqin Li, Roland Groz: Learning Parameterized State Machine Model for Integration Testing. 755-760