The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (2007)
Beijing, China
July 24, 2007 to July 27, 2007
ISSN: 0730-3157
ISBN: 0-7695-2870-8
TABLE OF CONTENTS
Introduction
AOAsia 2007 Workshop: 3rd IEEE Asian Workshop on Aspect-Oriented Software Development

Specifying Pointcuts in AspectJ (Abstract)

Jianjun Zhao , Shanghai Jiao Tong University
Yi Wang , Shanghai Jiao Tong University
pp. 5-10

A tool for compiler construction based on aspect-oriented specifications (Abstract)

Damijan Rebernak , University of Maribor
Marjan Mernik , University of Maribor
pp. 11-16

AOP-based automated unit test classification of large benchmarks (Abstract)

Cyrille Artho , National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan
Zhongwei Chen , Kosesoft Inc., Tokyo, Japan
Shinichi Honiden , National Institute of Informatics, Tokyo, Japan
pp. 17-22

Aspect-Based Instrumentation for Locating Memory Leaks in Java Programs (Abstract)

Kung Chen , National Chengchi University, Taipei, Taiwan
Ju-Bing Chen , National Chengchi University, Taipei, Taiwan
pp. 23-28

A Combined Concept Location Method for Java Programs (Abstract)

Shaochun Xu , Algoma University College, Laurentian University
Dapeng Liu , Wayne State University
pp. 29-42
Open Address: EMOBS07 Organizers (Jerry Gao, Jingsha He, and Axel Kupper)

An Instant Messaging Framework for Flexible Interaction with Rich Clients (Abstract)

Volker Gruhn , University of Leipzig
Matthias Book , University of Leipzig
pp. 43-48

An Optimization Method for Real-Time Natural Phenomena Simulation on WinCE Platform (Abstract)

Ning Liu , Sun Yat-Sen University
Hongyang Chao , Sun Yat-Sen University
Zhenyu Yang , Sun Yat-Sen University
Rong Li , Sun Yat-Sen University
pp. 57-62
Session 2: Key Technologies for M-Commerce

MiniWap: Navigating WAP with Minimo (Abstract)

Keung Hae Lee , Korea Aerospace University, Korea
Kibong Kang , Korea Aerospace University, Korea
Vu Hong Khiem , Korea Aerospace University, Korea
pp. 63-68

A One-Dimensional Probabilistic Model of Wireless Multihop Internet Access (Abstract)

Jean-Lien C. Wu , National Taiwan University of Science and Technology
Chun-Yen Hsu , Natl. Taiwan Univ. of Sci. and Tech.
Shun-Te Wang , National Taiwan University of Science and Technology
pp. 69-74

A Distributed Intrusion Detection Scheme for Mobile Ad Hoc Networks (Abstract)

Guorui Li , Beijing University of Technology
Jingsha He , Beijing University of Technology
Yingfang Fu , Beijing University of Technology
pp. 75-80
Session 3: Middleware and Service Platforms

An Aspect Oriented Middleware Architecture for Adaptive Mobile Computing Applications (Abstract)

Marcelo da Silva Strzykalski , Pontif?cia Universidade Cat?lica, Brazil
Guy Bernard , Institut Nacional des Telecommunications, France
Celso Maciel da Costa , Pontif?cia Universidade Cat?lica, Brazil
pp. 81-86

A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development (Abstract)

Jiun-Long Huang , National Chiao Tung University
Jui-Nan Lin , National Chiao Tung University
pp. 87-95
Session 4: Ambient Intelligence and Pervasive Computing

Framework for Local Ambient Intelligence Space: The AmI-Space Project (Abstract)

Hou Yi-bin , Beijing University of Technology, Beijing 100022, China
Huang Zhang-qin , Beijing University of Technology, Beijing 100022, China
Chen Rui , Beijing University of Technology, Beijing 100022, China
Zhang Yong , Beijing University of Technology, Beijing 100022, China
Li Hui , Beijing University of Technology, Beijing 100022, China
pp. 95-100

A Service Discovery Architecture based on Anycast in Pervasive Computing Environments (Abstract)

SHI Zhen-lian , Beijing University of Technology, China
SHEN Qi , Beijing University of Technology, China
ZHANG Li , Beijing University of Technology, China
pp. 101-108
Session 5: Mobility Support

Vs Golf - Developing Location-based Multi-Player Games (Abstract)

Georg Treu , Ludwig-Maximilians-Universitat Munchen, Germany
Marc Breisinger , Ludwig-Maximilians-Universitat Munchen, Germany
Axel Kupper , Ludwig-Maximilians-Universitat Munchen, Germany
Matthias Schicker , Ludwig-Maximilians-Universitat Munchen, Germany
Johannes Martens , Ludwig-Maximilians-Universitat Munchen, Germany
pp. 109-114

Speed-Based Mobility Management for Heterogeneous Wireless Networks Interworking (Abstract)

Ming-Hsien Yu , Vibo Telecom Inc., Taipei, Taiwan
Hsing Mei , Fu Jen Catholic University, Taipei, Taiwan
pp. 115-120

A Mobile Database Design Methodology for Mobile Software Solutions (Abstract)

Weider D. Yu , San Jose State University
Sunita Sharma , San Jose State University
pp. 121-130
Session 1 : Applications

Trend Analysis using a TemporalWeb Ontology Language in News Domains (Abstract)

Kyu-Chul Lee , Chungnam National University, South Korea
Sang-Kyun Kim , Chungnam National University, South Korea
pp. 131-136

Multi-Agent System-based Hierarchy Grid Middleware (Abstract)

Yue Wu , University of Electronic Science and Technology of China
Bei Hui , University of Electronic Science and Technology of China
Jia Chen , University of California, Irvine, USA
Ming Li , Alcatel Communication System Co.,Ltd. 610041, ChengDu, China
pp. 141-146
Session 2: Platforms

OWL-Based Description for Agent Interaction (Abstract)

Jason Jen-Yen Chen , National Central University
Yong-Feng Lin , National Central University
pp. 147-152

Adaptive Agent Model: an Agent Interaction and Computation Model (Abstract)

Dave Robertson , University of Edinburgh, UK
Srinandan Dashmapatra , University of Southampton, UK
Bo Hu , University of Southampton, UK
David Dupplaw , University of Southampton, UK
Liang Xiao , University of Southampton, UK
Madalina Croitoru , University of Southampton, UK
Paul Lewis , University of Southampton, UK
pp. 153-158

Extending the Gaia Methodology for the Design and Development of Agent-based Software Systems (Abstract)

Wei Huang , University of Westminster
Li Jin , University of Westminster
Elia El-Darzi , University of Westminster
pp. 159-168
Session 3: Models

An Ontology-based Semantic Resource Sharing Model in P2P System (Abstract)

Wang Dan , College of Computer Science Beijing University of Technology, Beijing
Zhao Rongjuan , College of Computer Science Beijing University of Technology, Beijing
pp. 169-176
Keynote Speech:

Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations (Abstract)

Aditya Ghose , University of Wollongong, NSW 2522 Australia
George Koliadis , University of Wollongong, NSW 2522 Australia
pp. 177-184
Position Papers:

Intelligent Agents and P2P Semantic Web (PDF)

Mehmet A. Orgun , Macquarie University, Sydney, NSW 2109, Australia
pp. 185

A Distress Call: Needing Tools to Large-Scale Semantic-Aware Agent Systems (PDF)

Atilla Elci , Eastern Mediterranean University, Famagusta, North Cyprus, Turkey
pp. 186
Session 1: Papers I

Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study (Abstract)

Nida Gokce , Mugla University, Turkey
Fevzi Belli , University of Paderborn, Germany
Mubariz Eminov , Mugla University, Turkey.
pp. 197-203

Qianxiang Wang (Abstract)

Qianxiang Wang , Peking University
pp. 204-210
Session 2: Invited Talks

An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems (Abstract)

Dazhi Huang , Arizona State University, Tempe, AZ
Stephen S. Yau , Arizona State University, Tempe, AZ
Luping Zhu , Arizona State University, Tempe, AZ
pp. 211-216

A Family of Software Reliability Growth Models (Abstract)

Harald A. Stieber , University of Applied Sciences Nuremberg, Germany
pp. 217-224
Session 3: Panel Discussion:

Social Modeling for System Security (PDF)

Eric Yu , University of Toronto, Canada
pp. 225
Session 4: Papers II

Towards Controllable Requirements Engineering Processes based on Cybernetics (Abstract)

Ruqian Lu , Chinese Academy of Sciences, Beijing, China
Lin Liu , Tsinghua University, Beijing, China
Zhi Jin , Chinese Academy of Sciences, Beijing, China
pp. 229-232

Adaptive Web Services Testing (Abstract)

Yinong Chen , Arizona State University, USA
Zhongkui Shao , Tsinghua University, China
Xiaoying Bai , Tsinghua University, China
pp. 233-236

A Control-Theoretic Approach to QoS Adaptation in Data Stream Management Systems Design (Abstract)

Hai Hu , Beijing University of Aeronautics and Astronautics Beijing 100083, China
W. Eric Wong , University of Texas at Dallas
Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics Beijing 100083, China
Chang-Hai Jiang , Beijing University of Aeronautics and Astronautics Beijing 100083, China
pp. 237-248
Session 1:

ACIR: An Aspect-Connector for Intrusion Response (Abstract)

Hossain Shahriar , Queen?s University, Kingston, Ontario, Canada
Mohammad Gias Uddin , Queen?s University, Kingston, Ontario, Canada
Mohammad Zulkernine , Queen?s University, Kingston, Ontario, Canada
pp. 249-254

Test Generation from Security Policies Specified in Or-BAC (Abstract)

Keqin Li , Grenoble Universit?s, France
Laurent Mounier , Grenoble Universit?s, France
Roland Groz , Grenoble Universit?s, France
pp. 255-260

An Adaptive Security Model for Multi-agent Systems and Application to a Clinical Trials Environment (Abstract)

Carlos S?ez , ITACA, Spain
Srinandan Dashmapatra , University of Southampton, UK
Madalina Croitoru , University of Southampton, UK
Liang Xiao , University of Southampton, UK
Mag? Lluch i Ariet , MicroArt, Spain
Javier Vicente , ITACA, Spain
Horacio Gonzalez-Velez , University of Edinburgh, UK
Andrew Peet , University of Birmingham, UK
Paul Lewis , University of Southampton, UK
pp. 261-268
Session 2:

Conformance Checking of Access Control Policies Specified in XACML (Abstract)

Tao Xie , North Carolina State University, USA
JeeHyun Hwang , North Carolina State University, USA
Vincent C. Hu , National Institute of Standards and Technology, USA
Evan Martin , North Carolina State University, USA
pp. 275-280

Process Activities Supporting Security Principles (Abstract)

Koen Buyens , Katholieke Universiteit Leuven
Wouter Joosen , Katholieke Universiteit Leuven
Riccardo Scandariato , , Katholieke Universiteit Leuven
pp. 281-292
Session 1, General Software Engineering and Tool

Setting and Evaluation of Flexible Points on Software User Interface (Abstract)

Chunyan Gao , Yanshan University, China
Limin Shen , Yanshan University, China
Wenwen Jiang , Yanshan University, China
pp. 293-298

Observing Distributions in Size Metrics: Experience from Analyzing Large Software Systems (Abstract)

Thomas Natschlager , Software Competence Center Hagenberg GmbH
Rudolf Ramler , Software Competence Center Hagenberg GmbH
Klaus Wolfmaier , Software Competence Center Hagenberg GmbH
pp. 299-304

Software Reliability Growth Modelling using aWeighted Laplace Test Statistic (Abstract)

Torsten Bergander , Concordia University, Montreal, QC, Canada
Yan Luo , Concordia University, Montreal, QC, Canada
A. Ben Hamza , Concordia University, Montreal, QC, Canada
pp. 305-312
Session 2 Knowledge-Based Software Engineering Tool

A Collaborative System for Software Engineering Education (Abstract)

Hongjun Su , Armstrong Atlantic State University
Hong Zhang , Armstrong Atlantic State University
pp. 313-318

A Tool For Requirements Engineering Process Development (Abstract)

Armin Eberlein , American University of Sharjah, UAE
Li Jiang , University of Adelaide, Australia
pp. 319-325

Agents, Case-Based Reasoning and their relation to the Mexican Software Process Model (MoProSoft) (Abstract)

Elena Cardenas Vargas , UNAM, Mexico
Silvia Guardati , Instituto Tecnol?gico Aut?nomo de M?xico
Ana Lilia Laureano , UAM-A, Mexico.
Hanna Oktaba , UNAM, Mexico
pp. 326-334
Session 3 Programming Tools and Techniques

Type-Safe Dynamic Update Transaction (Abstract)

Shi ZHANG , FuJian Normal University
LinPeng HUANG , ShangHai Jiao Tong University
pp. 335-340

Ontologies, JavaBeans and Relational Databases for enabling semantic programming (Abstract)

Andrea-Emilio Rizzoli , IDSIA/USI-SUPSI, Lugano, Switzerland
Ferdinando Villa , Univ. of Vermont
Ioannis N. Athanasiadis , IDSIA/USI-SUPSI, Lugano, Switzerland
pp. 341-346

CGR: a Tool for Programming Using Schemes (Abstract)

A. Gavilanes , Universidad Complutense de Madrid
P. J. Mart? , Universidad Complutense de Madrid
J. Garc? , Universidad Complutense de Madrid
A. Gil , Universidad Complutense de Madrid
pp. 347-354
Session 4 System Modelling, Risk and Policy Management

System Modification Case Studies (Abstract)

Yan Zhang , University of Western Sydney
Yulin Ding , University of Adelaide
pp. 355-360

A History-Based Automatic Scheduling Model for Personnel Risk Management (Abstract)

Carl K. Chang , Iowa State University
Hsinyi Jiang , Iowa State University
Shuxing Cheng , Iowa State University
Jinchun Xia , Iowa State University
pp. 361-366

Managing Policy Interactions in KNX-Based Smart Homes (Abstract)

Abraham O. Fapojuwo , University Drive NW, Calgary, AB, Canada
Mohamed Shehata , Benha University, 108 Shoubra Street, Cairo, Egypt
Armin Eberlein , American University of Sharjah, UAE
pp. 367-378
Session I : Aspects and SE

Improvement of Object-Oriented System Analysis and Design with Aspects (Abstract)

Yanhong Guo , Agricultural University of Hebei, Baoding Hebei
Jianbin Ma , Agricultural University of Hebei, Baoding Hebei
Guifa Teng , Agricultural University of Hebei, Baoding Hebei
Yueli Li , Agricultural University of Hebei, Baoding Hebei
Yang Zhao , Agricultural University of Hebei, Baoding Hebei
Fang Wang , Agricultural University of Hebei, Baoding Hebei
pp. 379-384

Using Aspect Orientation in Understanding Legacy COBOL Code (Abstract)

Yang Xu , De Montfort University, Leicester, LE1 9BH, England
Jian Kang , De Montfort University, Leicester, LE1 9BH, England
Zhuopeng Zhang , De Montfort University, Leicester, LE1 9BH, England
Jianjun Pu , De Montfort University, Leicester, LE1 9BH, England
Hongji Yang , De Montfort University, Leicester, LE1 9BH, England
pp. 385-390

A Connector-Centric Approach to Aspect-Oriented Software Evolution (Abstract)

Yiming Lau , Fudan University, Shanghai 200433, China
Xin Peng , Fudan University, Shanghai 200433, China
Wenyun Zhao , Fudan University, Shanghai 200433, China
Shan Tang , Fudan University, Shanghai 200433, China
pp. 391-398
Session 2: Components and QoS

The Empirical Studies on Quality Benefits of Reusing Software Components (Abstract)

Anita Gupta , Norwegian University of Science and Technology (NTNU)
Jon Arvid , Norwegian University of Science and Technology (NTNU)
Reidar Conradi , Norwegian University of Science and Technology (NTNU)
Borretzen Borretzen , Norwegian University of Science and Technology (NTNU)
Jingyue Li , Norwegian University of Science and Technology (NTNU)
pp. 399-402

A product line based aspect-oriented generative unit testing approach to building quality components (Abstract)

Xiaodong Liu , Napier University Edinburgh, UK
Jon Kerridge , Napier University Edinburgh, UK
Yankui Feng , Napier University Edinburgh, UK
pp. 403-408

An Automatic Connector Generation Method for Dynamic Architecture (Abstract)

Wenyun Zhao , Fudan University, Shanghai 200433, China
Xin Peng , Fudan University, Shanghai 200433, China
Yiming Yang , Fudan University, Shanghai 200433, China
pp. 409-414

Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams (Abstract)

Christian F.J. Lange , Eindhoven University of Technology, The Netherlands
Marcel F. Van Amstel , Eindhoven University of Technology, The Netherlands
Michel R.V. Chaudron , Eindhoven University of Technology, The Netherlands
pp. 415-424
Session 3: lnternet Applications

QoS-driven Service Selection Optimization Model and Algorithms for Composite Web Services (Abstract)

Shengqun Tang , Wuhan University
Lina Fang , Wuhan University
Wentao Zhang , Wuhan University
Yan Yang , Wuhan University
pp. 425-431

Verification of Web Service Conversations Specified in WSCL (Abstract)

Bin Xu , DCST, Tsinghua Univ., Beijing, 100084, China
Juanzi Li , DCST, Tsinghua Univ., Beijing, 100084, China
Ruobo Huang , CSDL, IBM, Beijing, 100085, China
Zhifeng Gu , DCST, Tsinghua Univ., Beijing, 100084, China
Jie Tang , DCST, Tsinghua Univ., Beijing, 100084, China
pp. 432-437

Quality Metrics for Internet Applications: Developing "New" from "Old" (Abstract)

Xiaodong Liu , Napier University
Shikun Zhou , University of Portsmouth
pp. 438-450
Session I : Workshop Keynote

REFS Keynote: "Requirements for Services: Does it Make Sense?" (Abstract)

Al Davis , University of Colorado at Colorado Springs
pp. 451-454
Session 2: RE For Service

An Intentional Perspective to Service Modeling and Discovery (Abstract)

Rim-Samia Kaabi , Centre de Recherche en Informatique, Paris
Colette Rolland , Centre de Recherche en Informatique, Paris
pp. 455-460

Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems (Abstract)

Changai Sun , University of Groningen, The Netherlands
Marco Aiello , University of Groningen, The Netherlands
pp. 461-466

Requirements for QoS-based Web Service Description and Discovery (Abstract)

Kyriakos Kritikos , Institute of Computer Science, Greece
Dimitris Plexousakis , Institute of Computer Science, Greece
pp. 467-472

Towards an Agile Infrastructure to Provision Devices, Applications, and Networks: A Service-oriented Approach (Abstract)

Bo Xu , Institute for Information Technology, National Research Council Canada
Sandy Liu , Institute for Information Technology, National Research Council Canada
Martin Brooks , Institute for Information Technology, National Research Council Canada
Libo Zhang , Institute for Information Technology, National Research Council Canada
Yong Liang , Institute for Information Technology, National Research Council Canada
Bruce Spencer , Institute for Information Technology, National Research Council Canada
pp. 473-478

An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications (Abstract)

Ching Huey Wang , National Chiao Tung University, Taiwan
Feng Jian Wang , National Chiao Tung University, Taiwan
pp. 479-486
Session 3: RE and Services

Requirements, Plato?s Cave, and Perceptions of Reality (Abstract)

Kesav V. Nori , Tata Consultancy Services, Ltd.
Alan M. Davis , University of Colorado at Colorado Springs
pp. 487-492

Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements (Abstract)

Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics
pp. 493-494

Experiences in Accurately Estimating Electronic Forms Conversion Services with a Spiral Estimate Process (Abstract)

Xu Yi Jie , China Development Lab, IBM
Liu Jun , China Development Lab, IBM
Gu Yi , China Development Lab, IBM
Dai Zhoulin , China Development Lab, IBM
pp. 497-500

An Adaptive User Requirements Elicitation Framework (Abstract)

CHEN JUN-LIANG , Beijing University of Posts and Telecommunications, China
MENG XIANG-WU , Beijing University of Posts and Telecommunications, China
CHENG BO , Beijing University of Posts and Telecommunications, China
pp. 501-502

Frameworks of Composite Services Execution Engine with Feedback Control (Abstract)

Huang Tan , Hunan Normal University
Chunming Gao , Hunan Normal University
Huowang Chen , National University of Defense Technology, China
pp. 503-508

Managing Business Process Risk Using Rich Organizational Models (Abstract)

Aneesh Krishna , University of Wollongong (UOW), Northfields Avenue, NSW 2522, Australia
George Koliadis , University of Wollongong (UOW), Northfields Avenue, NSW 2522, Australia
Aditya Ghose , University of Wollongong (UOW), Northfields Avenue, NSW 2522, Australia
Moshiur Bhuiyan , University of Wollongong (UOW), Northfields Avenue, NSW 2522, Australia
M.M.Zahidul Islam , University of Wollongong (UOW), Northfields Avenue, NSW 2522, Australia
pp. 509-520
Session 1 : Software Patterns, Frameworks and Architectures

A Composite Design Pattern for Object Frameworks (Abstract)

HUYNH T. B. Tran , University of Natural Sciences - Hochiminh City, Vietnam
TRAN D. Thu , University of Natural Sciences - Hochiminh City, Vietnam
pp. 521-526

Extracting High-level Component-Connector View from Detailed UML Models: A Case Study (Abstract)

Arvind W. Kiwelekar , Indian Institute of Technology Bombay, Mumbai-400076, India
Rushikesh K. Joshi , Indian Institute of Technology Bombay, Mumbai-400076, India
pp. 527-534
Session 2: Component Software and Technologies

Dynamic Reconfiguration of Distributed Data Flow Systems (Abstract)

Zhikun Zhao , School of Computing Sciences, Central Queensland University
Wei Li , School of Computing Sciences, Central Queensland University
pp. 535-540

Visualization of Concurrent Program Executions (Abstract)

Shinichi Honiden , National Institute of Informatics, Honiden Laboratory, Tokyo, Japan
Cyrille Artho , AIST, Tokyo, Japan
Klaus Havelund , Jet Propulsion Laboratory/Columbus Technologies, Pasadena, USA
pp. 541-546

AOP-based Testability Improvement for Component-based Software (Abstract)

Chengying Mao , Jiangxi University of Finance and Economics,, China
pp. 547-552

Salome platform component model for numerical simulation (Abstract)

Christian Caremoli , EDF R&D Av du General de Gaulle, 92141 Clamart, France
Andre Ribes , EDF R&D Av du General de Gaulle, 92141 Clamart, France
pp. 553-564
Invited Talk:

The Four Major Challenges of Engineering Adaptive Software Architectures (Abstract)

Jun Han , Swinburne University of Technology
Alan Colman , Swinburne University of Technology
pp. 565-572
Session 1 : Software Architecture

A Service-oriented Approach for Flexible Information Resource Integration (Abstract)

Jun Fang , Chinese Academy of Sciences
Zhuohao Wang , Information Center, MOST, PRC
Zhuofeng Zhao , Chinese Academy of Sciences
pp. 573-578

Adaptability Evaluation of Software Architectures; A Case Study (Abstract)

Pentti Tarvainen , VTT Technical Research Centre of Finland
pp. 579-586
Session 2: Requirement Engineering and Decision Making

Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis (Abstract)

Xin Peng , Fudan University,Shanghai,China
Liwei Shen , Fudan University,Shanghai,China
Wenyun Zhao , Fudan University,Shanghai,China
pp. 587-592

Towards Requirements Engineering for Context Adaptive Systems (Abstract)

Wassiou Sitou , Technische Universitat Munchen
Bernd Spanfelner , Technische Universitat Munchen
pp. 593-600
Session 3: Domain Specific Adaptation

Toward Runtime Self-adaptation Method in Software-Intensive Systems Based on Hidden Markov Model (Abstract)

Jing Ying , Hangzhou Dianzi University
Hua Wang , College of Computer Science, Zhejiang University and Institute of Management Science and Information Engineering, Hangzhou Dianzi University
pp. 601-606

Machine Learning Prediction andWeb Access Modeling (Abstract)

Wenying Feng , Trent University
Karan Vij , Trent University
pp. 607-612

SLA-based Data Integration on Database Grids (Abstract)

Derong Shen , Northeastern University, Shenyang
Ge Yu , Northeastern University, Shenyang
Tiezheng Nie , Northeastern University, Shenyang
Meifang Li , Northeastern University, Shenyang
Guangqi Wang , Northeastern University, Shenyang
pp. 613-618

A Framework for Separation of Concerns in Concurrent Programming (Abstract)

Rafael Ramirez , Pompeu Fabra University, Barcelona, Spain
Andrew E. Santosa , National University of Singapore, Singapore
pp. 619-628
SECAD 2007 Workshop: The First IEEE lnternational Workshop on Software Engineering Challenges in the Automotive Domain

Method Based on OSEK/VDX Platform Using Model-based and Autocode Technology for Diesel ECU Software Development (Abstract)

SUN Lining , Harbin Institute of Technology
MU Chunyang , Harbin Institute of Technology
DU Zhijiang , Harbin Institute of Technology
pp. 629-634

A Component Model for the AUTOSAR Virtual Function Bus (Abstract)

Dietmar Schreiner , Vienna University of Technology
Karl M. Goschka , Vienna University of Technology
pp. 635-641

Repository based Infrastructures for effective Automotive Software Creation - an Experience Report (Abstract)

Olaf Kath , ikv++ technologies ag, Germany
Marc Born , ikv++ technologies ag, Germany
Michael Soden , ikv++ technologies ag, Germany
pp. 642-650
SPAC 2007 Workshop: The First IEEE lnternational Workshop on Software Patterns: Addressing Challenges

Component Oriented Design Style (Abstract)

Jing-Ying Chen , National Chiao Tung University, Hsinchu, Taiwan
pp. 651-657

A Framework for Open Distributed System Design (Abstract)

Budi Arief , Newcastle University
Alexei Iliasov , Newcastle University
Alexander Romanovsky , Newcastle University
pp. 658-674
Papers:

A Soft Constraint Privacy Model based on Identifiability (Abstract)

Weifeng Chen. , IBM T.J.Watson Research Center
Zhen Liu , IBM T.J.Watson Research Center
Anton Riabov , IBM T.J.Watson Research Center
pp. 675-980

Security enhancement of a novel proxy key generation protocol (Abstract)

Tzung-Her Chen , National Chiayi University, Taiwan
Kuan-Chieh Liao , Feng Chia University, Taiwan
Chiung-Chou Tsai , Feng Chia University, Taiwan
Wei-Bin Lee , Feng Chia University, Taiwan
pp. 681-688
Session 2: Security, Privacy and Trust in Software Applications -11

An Efficient Software Implementation of AES-CCM for IEEE 802.11i Wireless St (Abstract)

Nassar Ikram , National University of Sciences & Technology (NUST), Pakistan
Arshad Aziz , National University of Sciences & Technology (NUST), Pakistan
Abdul Samiah , National University of Sciences & Technology (NUST), Pakistan
pp. 689-694

Towards the Modeling of Personal Privacy in Ubiquitous Computing Environments (Abstract)

Carl Chang , Computer Science, ISU, Ames, Iowa, USA
Johnny Wong , Computer Science, ISU, Ames, Iowa, USA
Ryan Babbitt , Computer Science, ISU, Ames, Iowa, USA
pp. 695-699

A mutual authentication and key exchange scheme from bilinear pairings for low power computing devices (Abstract)

Yuh-Min Tseng , National Changhua University of Education
Jui-Di Wu , National Changhua University of Education
Tsu-Yang Wu , National Changhua University of Education
pp. 700-710
Session 1: Test models, methods and tools for new technologies

Effect of the Delay Time in Fixing a Fault on Software Error Models (Abstract)

Jung-Hua Lo , Fo Guang University, I-Lan, Taiwan
pp. 711-716

Automated Testing EJB Components Based on Algebraic Specifications (Abstract)

Hong Zhu , Oxford Brookes University
Bin Zhou , Oxford Brookes University
Liang Kong , National University of Defence Technology, China
pp. 717-722

Built-in Regression Testing for Component-based Software Systems (Abstract)

Chengying Mao , Jiangxi University of Finance and Economics
pp. 723-728

Towards Automatic Regression Test Selection for Web Services (Abstract)

Marcel Mata , University of New Orleans
Sehun Oh , University of New Orleans
Shengru Tu , University of New Orleans
Brian Horton , University of New Orleans
Michael Ruth , University of New Orleans
Adam Loup , University of New Orleans
Olin Gallet , University of New Orleans
pp. 729-736
Session 2: Test models, methods and tools for traditional technologies

Generating User Acceptance Test Plans from Test Cases (Abstract)

Karl R. P. H. Leung , Hong Kong Institute of Vocational Education
W. L. Yeung , Lingnan University, Hong Kong
pp. 737-742

Client based Object-Oriented Cohesion Metrics (Abstract)

Sami Makela , University of Turku and TUCS, Finland
Ville Leppanen , University of Turku and TUCS, Finland
pp. 743-748

MemScroll: Dynamic Memory Errors Detector in C Programs (Abstract)

Seunguk Oh , KAIST, Korea
Dae Wan Cho , Chungnam Nat?l Univ.
Hyeon Soo Kim , Chungnam Nat?l Univ.
pp. 749-754

Learning Parameterized State Machine Model for Integration Testing (Abstract)

Keqin Li , Grenoble Universites, France
Roland Groz , Grenoble Universites, France
Muzammil Shahbaz , France Telecom R&D Meylan, France
pp. 755-760
Author Index

Author Index (PDF)

pp. 761
88 ms
(Ver 3.1 (10032016))