32. COMPSAC 2008: Turku, Finland

• Russell H. Taylor:
  Medical Robotics and Computer-Integrated Surgery. 1
  
• Jean Holley:
  Generation Y: Understanding the Trend and Planning for the Impact. 2
  
• Rajesh Subramanyan:
  Position Statement: How Well Technology Supports Software Evolution. 3
  
• Rajesh Subramanyan:
  Panel Description: Software Testing for Large Globally Distributed Projects. 4
  
• Di Cao:
  Oil-Field Services' Data Acquisition System - A Globally Distributed Development. 5
  
• Nancy R. Mead:
  Position Statement: The Impact of Software Assurance on Computing Education. 6
  
• Fevzi Belli, Cristina Cerschi Seceleanu:
  Panel Description: 40 Years of Software Engineering. 7
  
• Brian Randell:
  Position Statement: How Far Have We Come? 8
  
• Stephen S. Yau:
  Position Statement: Advances and Challenges of Software Engineering. 9
  
• Virgil D. Gligor:
  Position Statement: On the Evolution of Adversary Models in Computer Systems and Networks. 10
  
• K. Rustan M. Leino:
  Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering. 11
  
• Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou:
  A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. 12-19
  
• Tomi Karlstedt, Ville Leppänen, Sanna Tuohimaa:
  Embedding Rule-Based Security Monitors into Java Programs. 20-27
  
• Jun Kong, Dianxiang Xu:
  A UML-Based Framework for Design and Analysis of Dependable Software. 28-31
  
• Weider D. Yu, Ellora Nayak:
  An Algorithmic Approach to Authorization Rules Conflict Resolution in Software Security. 32-35
  
• Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu:
  Embedded Architecture Description Language. 36-43
  
• Ryan C. Underwood, Bruce M. McMillin, Mariesa L. Crow:
  An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation. 44-51
  
• Li-Che Hung, Yaw-Chung Chen:
  Parallel Table Lookup for Next Generation Internet. 52-59
  
• Hsin-Han Huang, Ching-Huey Wang, Jiun-Long Huang, Feng-Jian Wang:
  A Proxy Design for Nearest-Neighbor Query Processing in Mobile Environments. 60-63
  
• Stefan Bisanz, Ulrich Hannemann, Jan Peleska:
  Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. 64-67
  
• Yingfang Fu, Jingsha He, Liangyu Luan, Rong Wang, Guorui Li:
  A Zone-Based Distributed Key Management Scheme for Wireless Mesh Networks. 68-71
  
• Alain Pegatoquet, Filip Thoen, Denis Paterson:
  Virtual Reality for 2.5 G Wireless Communication Modem Software Development. 72-75
  
• Ah-Rim Han, Sang-Uk Jeon, Doo-Hwan Bae, Jang-Eui Hong:
  Behavioral Dependency Measurement for Change-Proneness Prediction in UML 2.0 Design Models. 76-83
  
• Xiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen:
  Collaborative Web Services Monitoring with Active Service Broker. 84-91
  
• Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang:
  Ontology Model-Based Static Analysis on Java Programs. 92-99
  
• Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei:
  Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram. 100-107
  
• Ali Razavi, Kostas Kontogiannis:
  Pattern and Policy Driven Log Analysis for Software Monitoring. 108-111
  
• Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong:
  A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions. 112-115
  
• Lin Tan, Chi-Hung Chi, Jianming Deng:
  Quantifying Trust Based on Service Level Agreement for Software as a Service. 116-119
  
• Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee:
  A Systematic Approach for Integrating Fault Trees into System Statecharts. 120-123
  
• Hsinyi Jiang, Katsunori Oyama, Carl K. Chang:
  An Input Adjustable Tree Algorithm for Evolutionary Testing. 124-127
  
• Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse:
  Debugging through Evaluation Sequences: A Controlled Experimental Study. 128-135
  
• Ing-Xiang Chen, Cheng-Zen Yang, Ting-Kun Lu, Hojun Jaygarl:
  Implicit Social Network Model for Predicting and Tracking the Location of Faults. 136-143
  
• R. Barzin, S. Fukushima, William E. Howden, S. Sharifi:
  Superfit Combinational Elusive Bug Detection. 144-151
  
• Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang:
  Avoiding Program Failures Through Safe Execution Perturbations. 152-159
  
• Chang-ai Sun:
  A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications. 160-167
  
• Arnaud Gotlieb, Matthieu Petit:
  Constraint Reasoning in Path-Oriented Random Testing. 168-171
  
• Sameer Abufardeh, Kenneth Magel:
  QA/Testing Bi-directional Languages Software: Issues and Challenges. 172-175
  
• Steve Counsell, Stephen Swift:
  Refactoring Steps, Java Refactorings and Empirical Evidence. 176-179
  
• Xin Feng, David Lorge Parnas, T. H. Tse:
  Fault Propagation in Tabular Expression-Based Specifications. 180-183
  
• Kostas Kolomvatsos, Christos Anagnostopoulos, Stathes Hadjiefthymiades:
  On the Use of Fuzzy Logic in a Seller Bargaining Game. 184-191
  
• You-min Ha, Sanghyun Park, Sang-Wook Kim, Jung-Im Won, Jeehee Yoon:
  Rule Discovery and Matching in Stock Databases. 192-198
  
• Kui Fu, Guihua Nie, Huimin Wang:
  Hybrid Strategies for Attribute Relation Learning from Candidates. 199-202
  
• Ian Bayley, Hong Zhu:
  Specifying Behavioural Features of Design Patterns in First Order Logic. 203-210
  
• Sara NavidPour, Mohammad Izadi, Ali Movaghar:
  Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. 211-218
  
• María-del-Mar Gallardo, Pedro Merino, David Sanán:
  Model Checking C Programs with Dynamic Memory Allocation. 219-226
  
• Ramesh Bharadwaj, Supratik Mukhopadhyay:
  A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. 227-230
  
• Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang:
  A Maximum Weight Heuristic Method for Abstract State Computation. 231-234
  
• Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu:
  A New Temporal Logic CTL[k-QDDC] and Its Verification. 235-238
  
• Jingwei Yang, Lin Liu:
  Modelling Requirements Patterns with a Goal and PF Integrated Analysis Approach. 239-246
  
• Hamid Elghazi:
  MV - TMM: A Multi View Traceability Management Method. 247-254
  
• Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Haruhiko Kaiya, Kenji Kaijiri:
  So/M: A Requirements Definition Tool Using Characteristics of Existing Similar Systems. 255-262
  
• Mikyeong Moon, Minwoo Hong, Keunhyuk Yeom:
  Two-Level Variability Analysis for Business Process with Reusability and Extensibility. 263-270
  
• Sabah S. Al-Fedaghi:
  Software Engineering Interpretation of Information Processing Regulations. 271-274
  
• Zongtao Zhao, Jun Wei, Li Lin, Xiaoning Ding:
  A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity. 275-278
  
• Xiaocong Zhou, Wenjun Li, Han-jun Xian, Taizong Lai, Hui Liang:
  Towards Context Modeling for Algorithm Animation. 279-286
  
• Katsunori Oyama, Hojun Jaygarl, Jinchun Xia, Carl K. Chang, Atsushi Takeuchi, Hiroshi Fujimoto:
  A Human-Machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems. 287-294
  
• Xin Zhou, Zhenzhong Huo, Yaowen Huang, Jian Xu:
  Facilitating Software Traceability Understanding with ENVISION. 295-302
  
• Sascha Hunold, Matthias Korch, Björn Krellner, Thomas Rauber, Thomas Reichel, Gudula Rünger:
  Transformation of Legacy Software into Client/Server Applications through Pattern-Based Rearchitecturing. 303-310
  
• Olivier Le Goaer, Dalila Tamzalit, Mourad Oussalah, Abdelhak Seriai:
  Evolution Shelf: Reusing Evolution Expertise within Component-Based Software Architectures. 311-318
  
• Eduardo Kessler Piveta, João Araújo, Marcelo Soares Pimenta, Ana Moreira, Pedro Guerreiro, Roberto Tom Price:
  Searching for Opportunities of Refactoring Sequences: Reducing the Search Space. 319-326
  
• Hongyu Pei Breivold, Ivica Crnkovic, Peter J. Eriksson:
  Analyzing Software Evolvability. 327-330
  
• Takeshi Chusho, Noriyuki Yagi:
  Modeling by Form Transformation for End-User Initiative Development. 331-334
  
• Sheikh Iqbal Ahamed, Nilothpal Talukder, Mehrab Monjur:
  WiFi Radar: Design and Implementation of an Infrastructure-less Location Tracking System for Pervasive Environment. 335-338
  
• Jakub Rudzki, Imed Hammouda, Tommi Mikkonen:
  Ensuring Architecture Conventions in Multi-site Development. 339-346
  
• Hang Su, Husheng Liao:
  XQPE: A Partial Evaluation System for XQuery. 347-354
  
• Taku Shimosawa, Hiroya Matsuba, Yutaka Ishikawa:
  Logical Partitioning without Architectural Supports. 355-364
  
• Ahcene Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet:
  An Architecture Description Language for Verification in Component-Based Software. 365-368
  
• Shan Tang, Xin Peng, Yiming Lau, Wenyun Zhao, Zhixiong Jiang:
  An Adaptive Software Architecture Model Based on Component-Mismatches Detection and Elimination. 369-372
  
• Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
  Analyzing BPEL Compositionality Based on Petri Nets. 373-376
  
• Ivan Silva Neto, Francisco Reverbel:
  On the Performance of Transactional Remote Invocations over Commonly Used Transports. 377-384
  
• Sam Malek:
  Dealing with the Crosscutting Structure of Software Architectural Styles. 385-392
  
• Sayed Mehran Sharafi:
  Extending Team Automata to Evaluate Software Architectural Design. 393-400
  
• Thomas Weigold, Peter Buhler, Jeyarajan Thiyagalingam, Artie Basukoski, Vladimir Getov:
  Advanced Grid Programming with Components: A Biometric Identification Case Study. 401-408
  
• Im Young Jung, In Soon Cho, Heon Young Yeom:
  A Cost-Effective Guarantee of Security and Scalability on HVEM DataGrid with Active Disk. 409-416
  
• Atilla Elçi, Behnam Rahnama, Saman Kamran:
  Defining a Strategy to Select Either of Closed/Open World Assumptions on Semantic Robots. 417-423
  
• Jing Huang, Wei Zhang, Yansheng Lu, Qin Yang:
  Reflective Design for Component-Based Distributed Systems with Timing Constraints. 424-427
  
• César S. Aguiar, Daniel I. Cruz, Roberta Spolon Ulson, Marcos Antonio Cavenaghi:
  The Application of Distributed Virtual Machines for Enterprise Computer Management: A Two-Tier Network File System for Image Provisioning and Management. 428-431
  
• Nilothpal Talukder, Sheikh Iqbal Ahamed:
  FPCS: A Formal Approach for Privacy-Aware Context-Based Services. 432-439
  
• Sussy Bayona Oré, Jose Antonio Calvo-Manzano, Gonzalo Cuevas Agustín, Tomás San Feliu Gilabert:
  Teaching Team Software Process in Graduate Courses to Increase Productivity and Improve Software Quality. 440-446
  
• J. Barrie Thompson, Helen M. Edwards:
  Advancing Industry-Related Elements: The Meat on the Curricula Bones. 447-454
  
• Nancy R. Mead, Daniel Shoemaker, Antonio Drommi, Jeffrey A. Ingalsbe:
  An Immersion Program to Help Students Understand the Impact of Cross Cultural Differences in Software Engineering Work. 455-459
  
• Reginaldo A. Gotardo, César A. C. Teixeira, Sérgio Donizetti Zorzo:
  IP2 Model - Content Recommendation in Web-Based Educational Systems Using User's Interests and Preferences and Resources' Popularity. 460-463
  
• Thomas Weigert, Frank Weil, Aswin van den Berg, Paul Dietz, Kevin Marth:
  Automated Code Generation for Industrial-Strength Systems. 464-472
  
• Ying Zhang, Gang Huang, Nuyun Zhang, Hong Mei:
  Editable Replay of IDE-Based Repetitive Tasks. 473-480
  
• Alan M. Davis:
  Contraindications, Precautions, Overdoses, and Adverse Reactions: What Software Engineering Can Learn from Pharmaceuticals. 481-487
  
• Stephen Crouch, Peter Henderson, Robert John Walters:
  Utilising Located Functions to Model and Optimise Distributed Computations. 488-489
  
• Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian:
  Automating Software FMEA via Formal Analysis of Dependence Relations. 490-491
  
• Shinpei Ogata, Saeko Matsuura:
  Scenario-Based Automatic Prototype Generation. 492-493
  
• Eustáquio São José de Faria, Keiji Yamanaka, Josimeire do Amaral Tavares, Geraldo Henrique Lacerda Pinto, Lowghan Henrique Sudário de Melo:
  AIDDES - Distributed Intelligent Pair-Software Development Environment. 494-495
  
• Jakub Rudzki, Tarja Systä:
  Small Steps Approach to Tackling Software Quality in a Commercial Setting. 496-498
  
• Jasminka Matevska:
  An Optimised Runtime Reconfiguration of Component-Based Software Systems. 499-501
  
• Atilla Elçi, Mamadou Tadiou Kone, Mehmet A. Orgun:
  Message from the ESAS 2008 Workshop Organizers. 502
  
• Atilla Elçi, Mamadou Tadiou Kone, Mehmet A. Orgun:
  ESAS 2008 Workshop Organization. 503-504
  
• Faiz M. Al-Shrouf:
  Facilitator Agent Design Pattern of Procurement Business Systems. 505-510
  
• Meisheng Wang, Qingshan Li, Chenguang Zhao, Yingqiang Wang:
  A Contract Net Model Based on Agent Active Perception. 511-516
  
• Eustáquio São José de Faria, Keiji Yamanaka, Josimeire do Amaral Tavares, Geraldo Henrique Lacerda Pinto, Lowghan Henrique Sudário de Melo:
  Intelligent Software Agents Mediating the Pair Participation in a Distributed Intelligent Pair-Software Development Environment. 517-520
  
• Kutila Gunasekera, Arkady B. Zaslavsky, Shonali Krishnaswamy, Seng Wai Loke:
  VERSAG: Context-Aware Adaptive Mobile Agents for the Semantic Web. 521-522
  
• Pieter De Leenheer:
  Keynote: Towards An Ontological Foundation for Evolving Agent Communities. 523-528
  
• Femke Ongenae, Stijn Verstichel, Filip De Turck, Tom Dhaene, Bart Dhoedt, Piet Demeester:
  OTAGen: A Tunable Ontology Generator for Benchmarking Ontology-Based Agent Collaboration. 529-530
  
• Lars Mönch, Jens Zimmermann:
  An Ontology to Support Adaptive Agents for Complex Manufacturing Systems. 531-536
  
• J. Indumathi, G. V. Uma:
  Fabrication of Ontology for Security in Health Care Systems. 537-538
  
• Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke:
  An Ontology of Environments, Events, and Happenings. 539-546
  
• Amna Basharat, Gabriella Spinelli:
  Towards Engineering Ontologies for Cognitive Profiling of Agents on the Semantic Web. 547-552
  
• Kiavash Bahreini, Atilla Elçi:
  SDISSASA: A Multiagent-Based Web Mining via Semantic Access to Web Resources in Enterprise Architecture. 553-558
  
• F. Ubis, Tom Kirkham, Brian Matthews, Jose L. Martinez Lastra, Robert Harrison, V. Villaseñor Herrera, A. Chowdrey:
  The Challenges along the Road to the Realisation of a Factory Automation Lifecycle. 559-562
  
• Brenda Powers:
  A Multi-agent Architecture for NATO Network Enabled Capabilities: Enabling Semantic Interoperability in Dynamic Environments (NC3A RD-2376). 563-564
  
• Juan Carlos González Moreno, Luis Vázquez López:
  Design of Multiagent System Architecture. 565-568
  
• Muhammad Ainan Sadiq, Syed Muhammad Ali Shah:
  Shared Storage in J2ME: A Multi-agent System Approach. 569-574
  
• Sébastien Rumley, Elvira Kägi, Hugh Rudnick, Alain Germond:
  Multi-agent Approach to Electrical Distribution Networks Control. 575-580
  
• Leila Jemni Ben Ayed, Fatma Siala:
  From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems. 581-584
  
• Qinglin Guo:
  The Similarity Computing of Documents Based on VSM. 585-586
  
• Tad Gonsalves, Atsushi Ito, Ryo Kawabata, Kiyoshi Itoh:
  Swarm Intelligence in the Optimization of Software Development Project Schedule. 587-592
  
• Nikiforos Ploskas, Michael Berger, Jiang Zhang, Gert-Joachim Wintterle:
  A Knowledge Management Framework for Software Configuration Management. 593-598
  
• Colette Rolland, Eric S. K. Yu, Jian Yang, Lin Liu:
  Message from the REFS 2008 Workshop Organizers. 599
  
• Colette Rolland, Eric S. K. Yu, Jian Yang, Lin Liu:
  REFS 2008 Workshop Organization. 600
  
• Eric Knauss, Daniel Lübke:
  Using the Friction between Business Processes and Use Cases in SOA Requirements. 601-606
  
• Budan Wu, Zhi Jin:
  Service-Oriented Modeling: An Extensive Reuse Method. 607-612
  
• Ménel Lassoued:
  Intentional Services Specification Enhancement with Scenario-Based Techniques to Analyze Security Threats. 613-618
  
• Helmi Ben Rejeb, Vincent Boly, Laure Morel-Guimaraes:
  A New Methodology Based on Kano Model for the Evaluation of a New Product Acceptability during the Front-End Phases. 619-624
  
• Katsunori Oyama, Hojun Jaygarl, Jinchun Xia, Carl K. Chang, Atsushi Takeuchi, Hiroshi Fujimoto:
  Requirements Analysis Using Feedback from Context Awareness Systems. 625-630
  
• Sébastian Adam, Jörg Dörr:
  The Role of Service Abstraction and Service Variability and Its Impact on Requirements Engineering for Service-Oriented Systems. 631-634
  
• Alan M. Davis, Nur Nurmuliani, Sooyong Park, Didar Zowghi:
  Requirements Change: What’s the Alternative? 635-638
  
• Jiehan Zhou, Mika Rautiainen, Mika Ylianttila:
  SCCM: Service-Oriented Community Coordinated Multimedia Architecture. 639-642
  
• Ahlem Ben Younes, Leila Jemni Ben Ayed:
  From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. 643-648
  
• Soo Ling Lim, Eric Platon, Karl Cox:
  Synthesis of Actor Dependency and Business Motivation for Service Requirements Engineering. 649-652
  
• Sheikh Iqbal Ahamed, Mohammad Zulkernine:
  Message from the STPSA 2008 Workshop Organizers. 653
  
• Sheikh Iqbal Ahamed, Mohammad Zulkernine:
  STPSA 2008 Workshop Organization. 654
  
• Manpreet Singh, Manjeet S. Patterh:
  Access Control Framework for Secure Network Computing Environment. 655-660
  
• Golnaz Elahi, Zeev Lieber, Eric S. K. Yu:
  Trade-off Analysis of Identity Management Systems with an Untrusted Identity Provider. 661-666
  
• Simone Nasser Matos, Clovis Torres Fernandes:
  Using Responsibilities for Early Identification of Hot Spots Reused in Frameworks Modeling. 667-672
  
• Stelvio Cimato:
  A Lightweight Protocol for Dynamic RFID Identification. 673-678
  
• Rajiv Ramnath, Vasudha Gupta, Jay Ramanathan:
  RED-Transaction and Goal-Model Based Analysis of Layered Security of Physical Spaces. 679-685
  
• Dong-Hong Xu, Yong Qi, Di Hou, Gong-Zhen Wang, Ying Chen:
  An Improved Calculus for Secure Dynamic Services Composition. 686-691
  
• Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli:
  Preserving Privacy in E-health Systems Using Hippocratic Databases. 692-697
  
• Marcel Frigault, Lingyu Wang:
  Measuring Network Security Using Bayesian Network-Based Attack Graphs. 698-703
  
• Salem Benferhat, Tayeb Kenaza, Aïcha Mokhtari:
  A Naive Bayes Approach for Detecting Coordinated Attacks. 704-709
  
• Xiaodong Liu, Hongji Yang:
  Message from the QUORS 2008 Workshop Organizers. 710
  
• Xiaodong Liu, Hongji Yang:
  QUORS 2008 Workshop Organization. 711
  
• Chih-Wei Lu, Chih-Hung Chang, William C. Chu, Ya-Wen Cheng, Hsin-Chien Chang:
  A Requirement Tool to Support Model-Based Requirement Engineering. 712-717
  
• Jianjun Pu, Hongji Yang, Baowen Xu, Lei Xu, William Cheng-Chung Chu:
  Combining MDE and UML to Reverse Engineer Web-Based Legacy Systems. 718-725
  
• Mario Luca Bernardi, Giuseppe A. Di Lucca:
  A Taxonomy of Interactions Introduced by Aspects. 726-731
  
• Carlos Eduardo de Barros Paes, Celso Massaki Hirata:
  RUP Extension For the Software Performance. 732-738
  
• Barbara Gallina, Nicolas Guelfi:
  A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. 739-744
  
• Deepak Dahiya, Sudha Dahiya:
  Software Reuse in Design and Development of Aspects. 745-750
  
• Chengpu Li, Xiaodong Liu, Jessie B. Kennedy:
  Semantics-Based Component Repository: Current State of Arts and a Calculation Rating Factor-Based Framework. 751-756
  
• Selim Ciraci, Pim van den Broek, Mehmet Aksit:
  Framework for Computer-Aided Evolution of Object-Oriented Designs. 757-764
  
• Jian Kang, Jianjun Pu, Jianchu Huang, Zihou Zhou, Hongji Yang:
  Business Intelligence Recovery from Legacy Code. 765-770
  
• Hiroyuki Sato:
  Delay Front and Skip Interval - Assessing Open Source Software Maintenance of System Vendors and Computer Centers. 771-776
  
• Yang Li, Xiaodong Liu:
  Message from the BINDIS 2008 Workshop Organizers. 777
  
• Yang Li, Xiaodong Liu:
  BINDIS 2008 Workshop Organization. 778
  
• Qing Wang, Yong Zhang, Chunxiao Xing:
  Object Oriented Design Based on Role and Rule. 779-784
  
• Yan Liu, Qingling Wang, Mingguang Zhuang, Yunyun Zhu:
  Reengineering Legacy Systems with RESTful Web Service. 785-790
  
• Ashutosh Shinde:
  Challenges of Building High Performing On-Demand Software. 791-794
  
• Masataka Izumi, Takao Miura, Isamu Shioya:
  Entropy-Based Age Estimation of Blog Authors. 795-800
  
• Lili Su, Shenggang Yang, Yushun Li, Xiaochun Cheng, Ronghuai Huang:
  Semantic-Oriented Ubiquitous Learning Object Management System SULOMS. 801-806
  
• Yang Li:
  Service Productivity Improvement and Software Technology Support. 807-812
  
• Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai:
  Message from the IWSC 2008 Workshop Organizers. 813
  
• Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai:
  IWSC 2008 Workshop Organization. 814-815
  
• Changyan Zhou, Ratnesh Kumar, S. Jiang:
  Keynote: Hierarchical Fault Detection in Embedded Control Software. 816-823
  
• Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Dazhi Huang, Stephen S. Yau:
  An Intelligent Control Architecture for Adaptive Service-Based Software Systems with Workflow Patterns. 824-829
  
• Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur:
  Quantitative Modeling for Incremental Software Process Control. 830-835
  
• Avi Harel, Ron Kenett, Fabrizio Ruggeri:
  Decision Support for User Interface Design: Usability Diagnosis by Time Analysis of the User Activity. 836-840
  
• Zuohua Ding, Kao Zhang:
  Performance Analysis of Concurrent Programs Using Ordinary Differential Equations. 841-846
  
• Marek G. Stochel, Radek Sztando:
  Testing Optimization for Mission-Critical, Complex, Distributed Systems. 847-852
  
• Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai:
  Adaptive Software Testing in the Context of an Improved Controlled Markov Chain Model. 853-858
  
• Longbing Cao, Ruwei Dai, Vladimir I. Gorodetski:
  Message from the EOCS-MCP 2008 Workshop Organizers. 859
  
• Longbing Cao, Ruwei Dai, Vladimir I. Gorodetski:
  EOCS-MCP 2008 Workshop Organization. 860-861
  
• Yaodong Li, Xia Cui, Ruwei Dai:
  Paradigms of Meta-synthetic Computing. 862-867
  
• Xia Cui, Ruwei Dai:
  Meta-synthetic Computing Formula of Situation Assessment in Social Interactions. 868-872
  
• Mark Sh. Levin:
  Towards Four-Layer Framework of Combinatorial Problems. 873-878
  
• Jinlei Jiang, Johann H. Schlichter, Guangwen Yang:
  Design More Usable and Reliable Large-Scale Software Systems: A New Approach Based on P2P, SOA and Web 2.0. 879-884
  
• Gang Cheng, Ruwei Dai, Mingchang Zhao, Yaodong Li:
  An Effective Communication Platform Based on XMPP for HWME. 885-889
  
• Jijun Zhao, Ferenc Szidarovszky:
  A Dynamic Model and Simulation of Industrial Clusters. 890-895
  
• Longbing Cao:
  Metasynthetic Computing for Solving Open Complex Problems. 896-901
  
• Kiavash Bahreini, Atilla Elçi:
  A New Software Architecture for J2EE Enterprise Environments via Semantic Access to Web Sources for Web Mining by Distributed Intelligent Software Agents. 902-907
  
• Hui Li, Zhen Li, Xia Cui:
  Modern Distance Education: A Special Open Complex Giant System. 908-912
  
• Yanyan Chai, Lei Fan, Yaodong Li, Mingchang Zhao:
  An Opinions Expression and Induction System of Experts in Hall for Workshop of Meta-synthetic Engineering. 913-917
  
• Minhua Li, Ruwei Dai, Yaodong Li:
  A Novel Scheme Producing and Evaluation System in HWME. 918-922
  
• Wei Wang, Xia Cui, Ai Wang:
  News Analysis Based on Meta-synthesis Approach. 923-928
  
• Weijie Yang, Ruwei Dai, Xia Cui:
  Extracting Social Network among Various Entities from Chinese News Stories by Content Analysis. 929-934
  
• Michael Jiang, James Joshi:
  Message from the IWSSE 2008 Workshop Organizers. 935
  
• Michael Jiang, James Joshi:
  IWSSE 2008 Workshop Organization. 936
  
• K. R. Jayaram, Aditya P. Mathur:
  On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. 937-942
  
• Mourad Alia, Marc Lacoste:
  A QoS and Security Adaptation Model for Autonomic Pervasive Systems. 943-948
  
• Nancy R. Mead, Venkatesh Viswanathan, Deepa Padmanabhan:
  Incorporating Security Requirements Engineering into the Dynamic Systems Development Method. 949-954
  
• Muhammad Umair Ahmed Khan, Mohammad Zulkernine:
  Quantifying Security in Secure Software Development Phases. 955-960
  
• Gerardo Canfora, Corrado Aaron Visaggio:
  A System to Prevent Multi-users and Multi-sessions Attack to Breach Privacy Policies in a Trust-End Filter. 961-966
  
• Zhaosheng Zhu, Guohan Lu, Yan Chen, Zhi (Judy) Fu, Phil Roberts, Keesook Han:
  Botnet Research Survey. 967-972
  
• Sami Noponen, Kaarina Karppinen:
  Information Security of Remote File Transfers with Mobile Devices. 973-978
  
• Hossain Shahriar, Mohammad Zulkernine:
  Mutation-Based Testing of Buffer Overflow Vulnerabilities. 979-984
  
• Witold Abramowicz, Leszek A. Maciaszek:
  Message from the SemBPM 2008 Workshop Organizers. 985
  
• Witold Abramowicz, Leszek A. Maciaszek:
  SemBPM 2008 Workshop Organization. 986
  
• Agata Filipowska, Monika Kaczmarek, Monika Starzecka, Piotr Stolarski, Adam Walczak:
  Semantic Enterprise Description for the Needs of Business Process Automation. 987-992
  
• Duygu Çelik, Atilla Elçi:
  Semantic QoS Model for Extended IOPE Matching and Composition of Web Services. 993-998
  
• Denis Gagné, André Trudel:
  A Temporal Semantics for Workflow Control Patterns. 999-1004
  
• Ken Decreus, Geert Poels:
  Putting Business into Business Process Models. 1005-1010
  
• Stefan Jablonski, Bernhard Volz, Sebastian Dornstauder:
  A Meta Modeling Framework for Domain Specific Process Management. 1011-1016
  
• Rolf Kluge, Thomas Hering, Roman Belter, Bogdan Franczyk:
  An Approach for Matching Functional Business Requirements to Standard Application Software Packages via Ontology. 1017-1022
  
• Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav S. Kharchenko:
  How to Enhance UDDI with Dependability Capabilities. 1023-1028
  
• Roman Belter, Rolf Kluge:
  Towards Distributed Management of Service-Oriented Computing Infrastructures. 1029-1034
  
• Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami:
  Message from the SECAD 2008 Workshop Organizers. 1035
  
• Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami:
  SECAD 2008 Workshop Organization. 1036
  
• Alec Dorling:
  The Role of Process Standards in Automotive Systems Development. 1037-1038
  
• Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Edoardo Sivera:
  Software Engineering in the European Automotive Industry: Achievements and Challenges. 1039-1044
  
• Bhaskar Vanamali, Fabio Bella, Klaus Hörmann:
  From CMMI to SPICE - Experiences on How to Survive a SPICE Assessment Having Already Implemented CMMI. 1045-1052
  
• Paolo Panaroni, Giovanni Sartori, Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami:
  Safety in Automotive Software: An Overview of Current Practices. 1053-1058
  
• Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
  Service-Oriented Modelling of Automotive Systems. 1059-1064
  
• Stefano Monti, Walter Nesci, Serino Angellotti, Claudio Schellino, Massimo Seminara, Rainer Wuesthenagen:
  Configuration and Change Management of the Outcomes of an Automotive Engine Control Model Based Software Design Process. 1065-1069
  
• Goetz Botterweck, Steffen Thiel, Ciarán Cawley, Daren Nestor, André Preußner:
  Visual Configuration in Automotive Software Product Lines. 1070-1075
  
• Phu H. Phung, David Sands:
  Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming. 1076-1082
  
• Serino Angellotti, Stefano Monti, Walter Nesci, Alessandro Peciarolo, Giovanni Prodi, Claudio Schellino, Massimo Seminara, Rainer Wuestenhagen:
  Control IP's Sharing: From Configurable Mechatronic Control to Autosar SW-C Package. A New Model Business Scenario across Automotive OEMs and Component Supplier and the New Roles of SW IP's Supplier and SW IP's Integrator. 1083-1088
  
• John Strassner, Sven van der Meer, Jing Zhang:
  Message from the MDDS 2008 Workshop Organizers. 1089
  
• John Strassner, Sven van der Meer, Jing Zhang:
  MDDAS 2008 Workshop Organization. 1090
  
• Benoît Combemale, Laurent Broto, Alain Tchana, Daniel Hagimont:
  Metamodeling Autonomic System Management Policies - Ongoing Works. 1091-1096
  
• John Strassner, Yan Liu, Jing Zhang:
  A Context-Aware Policy Model to Support Autonomic Networking. 1097-1102
  
• Ray Carroll, Sven van der Meer:
  Semantic Integration of User Data - Models and Processes Enabling Seamless Mobility. 1103-1109
  
• Bogdan Solomon, Dan Ionescu, Marin Litoiu, Mircea Mihaescu:
  Model-Driven Engineering for Autonomic Provisioned Systems. 1110-1115
  
• Prawee Sriplakich, Guillaume Waignier, Anne-Françoise Le Meur:
  Enabling Dynamic Co-evolution of Models and Runtime Applications. 1116-1121
  
• Michael Caragiozidis, Nikos Mouratidis, Christoforos D. Kavadias, Michael Loupis, Michael Berger:
  Design Methodology for a Modular Component Based Software Architecture. 1122-1127
  
• Ali Doostmohammadi:
  An Enhanced Autonomic Multiclass Multithreaded Web Server: A Performance Model Approach. 1128-1133
  
• Jen-Yao Chung, Jun-Jang Jeng, Josef Schiefer:
  Message from the RTSOAA 2008 Workshop Organizers. 1134
  
• Jen-Yao Chung, Jun-Jang Jeng, Josef Schiefer:
  RTSOAA 2008 workshop Organization. 1135
  
• Sean Rooney, Luis Garcés-Erice:
  Predicting Performance on a Loosely Controlled Event System. 1136-1142
  
• Alfredo Cuzzocrea:
  Towards Real-Time Data Transformation Services over Grids. 1143-1149
  
• Zhan Cui, Nick Godwin, Kuo-Ming Chao, Jen-Yao Chung, Chen-Fang Tsai:
  A Functional Data Service Framework for Integrating Heterogeneous Data Sources. 1150-1155
  
• Juha Savolainen, Anssi Karhinen:
  Matching Service Requirements to Empirical Capability Models in Service-Oriented Architectures. 1156-1161
  
• Yonit Magid, Asaf Adi, Maya Barnea, David Botzer, Ella Rabinovich:
  Application Generation Framework for Real-Time Complex Event Processing. 1162-1167
  
• Fevzi Belli, Michael Linschulte:
  Event-Driven Modeling and Testing of Web Services. 1168-1173
  
• Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng:
  Service Composition for Real-Time Assurance. 1174-1179
  
• Markus Mathes, Steffen Heinzl, Bernd Freisleben:
  WS-TemporalPolicy: A WS-Policy Extension for Describing Service Properties with Time Constraints. 1180-1186
  
• Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao:
  A Verification Method for Temporal Consistency of Service Flow. 1187-1192
  
• Michael Jiang, Zhihui Yang, Anant Athale:
  A Model-Based Approach to Implementing Real-Time Mobile Services. 1193-1198
  
• Carolyn McGregor, J. Mikael Eklund:
  Real-Time Service-Oriented Architectures to Support Remote Critical Care: Trends and Challenges. 1199-1204
  
• Zhenghua Fu, Chai Wah Wu, Jun-Jang Jeng, Hui Lei:
  PACTS: A Service Oriented Architecture for Real-Time Peer-Assisted Content Delivery Service. 1205-1210
  
• Muhammad Ali Babar, Mari Tainlassi, Björn Lundell:
  Message from the QACOS 2008 Workshop Organizers. 1211
  
• Muhammad Ali Babar, Mari Tainlassi, Björn Lundell:
  QACOS 2008 Workshop Organization. 1212
  
• Marcus Ciolkowski, Martín Soto:
  Towards a Process Maturity Model for Open Source Software. 1213-1214
  
• Faheem Ahmed, Luiz Fernando Capretz, Muhammad Ali Babar:
  A Model of Open Source Software-Based Product Line Development. 1215-1220
  
• Israel Herraiz, Gregorio Robles, Rafael Capilla, Jesús M. González-Barahona:
  Managing Libre Software Distributions under a Product Line Approach. 1221-1225
  
• Christian Lennerholt, Brian Lings, Björn Lundell:
  Architectural Issues in Opening Up the Advantages of Open Source in Product Development Companies. 1226-1227
  
• Jiehan Zhou, Eila Niemelä, Antti Evesti, Anne Immonen, Pekka Savolainen:
  OntoArch Approach for Reliability-Aware Software Architecture Development. 1228-1233
  
• Elisa Yumi Nakagawa, Elaine P. M. de Sousa, Kiyoshi de Brito Murata, Gabriel de Faria Andery, Leonardo Bitencourt Morelli, José Carlos Maldonado:
  Software Architecture Relevance in Open Source Software Evolution: A Case Study. 1234-1239
  
• Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli:
  Improving the Quality of GNU/Linux Distributions. 1240-1246
  
• Tobias Otte, Robert Moreton, Heinz D. Knoell:
  Applied Quality Assurance Methods under the Open Source Development Model. 1247-1252
  
• Weichang Du, John Plaice, Panagiotis Rondogiannis:
  SECASA 2008 Workshop Organization. 1253
  
• Masahiro Bessho, Shinsuke Kobayashi, Noboru Koshizuka, Ken Sakamura:
  uNavi : Implementation and Deployment of a Place-Based Pedestrian Navigation System. 1254-1259
  
• Qi Yong, Zhang Qingsheng, He Hui, Niu Yujie:
  Designing Simulated Context-Aware Telephone in Pervasive Spaces. 1260-1265
  
• John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge:
  Sequential Demand-Driven Evaluation of Eager TransLucid. 1266-1271
  
• Toby Rahilly, John Plaice:
  A Multithreaded Implementation for TransLucid. 1272-1277
  
• Joey Paquet, Serguei A. Mokhov, Xin Tong:
  Design and Implementation of Context Calculus in the GIPSY Environment. 1278-1283
  
• John Plaice, Blanca Mancilla:
  Synchronous Communities. 1284-1287
  
• Serguei A. Mokhov:
  Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL. 1288-1294
  
• Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
  Message from the CORCS 2008 Workshop Organizers. 1295
  
• Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
  CORCS 2008 Workshop Organization. 1296
  
• Natacha Hoang, Nicolas Belloir, Cong-Duc Pham, Séverine Sentilles:
  Valentine: A Dynamic and Adaptive Operating System for Wireless Sensor Networks. 1297-1302
  
• Alan Dearle, Dharini Balasubramaniam, Jonathan Lewis, Ronald Morrison:
  A Component-Based Model and Language for Wireless Sensor Network Applications. 1303-1308
  
• Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin:
  Error Modeling in Dependable Component-Based Systems. 1309-1314
  
• Yu Guo, Krzysztof Sierszecki, Christo Angelov:
  A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems. 1315-1320
  
• Aneta Vulgarakis, Cristina Cerschi Seceleanu:
  Embedded Systems Resources: Views on Modeling and Analysis. 1321-1328
  
• Marco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli:
  A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. 1329-1334
  
• Farhang Nemati, Johan Kraft, Christer Norström:
  Validation of Temporal Simulation Models of Complex Real-Time Systems. 1335-1340
  
• Ismail Assayad:
  Joint SW/HW Modelling and Design Exploration Using P-Ware. 1341-1346
  
• Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin:
  An Overrun Method to Support Composition of Semi-independent Real-Time Components. 1347-1352
  
• Tiberiu Seceleanu, Detlef Streitferdt:
  Message from the IEESD 2008 Workshop Organizers. 1353
  
• Tiberiu Seceleanu, Detlef Streitferdt:
  IEESD 2008 Workshop Organization. 1354
  
• Mauro De Biasi, Carlo Snickars, Krister Landernäs, Alf Isaksson:
  Simulation of Process Control with WirelessHART Networks Subject to Clock Drift. 1355-1360
  
• Domnic Savio, Stamatis Karnouskos, Daniel Wuwer, Thomas Bangemann:
  Dynamically Optimized Production Planning Ssing Cross-Layer SOA. 1361-1365
  
• Massimo Ferraguto, Tim Wittrock, Mark Barrenscheen, Matti Paakko, Ville Sipinen:
  The On-Board Control Procedures Subsystem for the Herschel and Planck Satellites. 1366-1371
  
• Detlef Streitferdt, Georg Wendt, Philipp Nenninger, Alexander Nyßen, Horst Lichter:
  Model Driven Development Challenges in the Automation Domain. 1372-1375
  
• Alexander Nyßen, Horst Lichter, Detlef Streitferdt, Philipp Nenninger:
  MeDUSA - A Model-Based Construction Method for Embedded and Real-Time Software. 1376-1382
  
• Maarit Laanti:
  Implementing Program Model with Agile Principles in a Large Software Development Organization. 1383-1391