APPLIED COMPUTING 2008

Transcription

1 APPLIED COMPUTING 2008 The 23 rd Annual ACM Symposium on Applied Computing Roger L. Wainwright Hisham M. Haddad Angelo Brayner Ronaldo Menezes Mirko Viroli Lorie M. Liebrock Mathew J. Palakal PROCEEDINGS OF THE 2008 ACM SYMPOSIUM ON APPLIED COMPUTING Fortaleza, Ceará, Brazil March 16-20, 2008 Organizing Committee Maria Andréia F. Rodrigues Rossana Maria C. Andrade Jiman Hong Sung Y. Shin Nabor C. Mendonça Javam M. Machado Hosted by University of Fortaleza and Federal University of Ceará i

2 The Association for Computing Machinery, Inc Broadway New York, New York Copyright 2008 by the Association for Computing Machinery, Inc (ACM). Permission to make digital or hard copies of portions of this work for personal or classroom use is granted without fee provided that the copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permission to republish from: Publications Dept. ACM, Inc. Fax or permissions@acm.org. For other copying of articles that carry a code at the bottom of the first or last page, copying is permitted provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA Notice to Past Authors of ACM-Published Articles ACM intends to create a complete electronic archive of all articles and/or other material previously published by ACM. If you have written a work that was previously published by ACM in any journal or conference proceedings prior to 1978, or any SIG Newsletter at any time, and you do NOT want this work to appear in the ACM Digital Library, please inform permissions@acm.org, stating the title of the work, the author(s), and where and when published. ACM ISBN: ACM Order Number: Additional copies may be ordered prepaid from: ACM Order Department P.O. BOX Church Street Station New York, NY acmhelp@acm.org U.S.A. and Canada Phone: All other countries Phone: Fax: Printed in the U.S.A. ii

3 The 23 rd Annual ACM Symposium on Applied Computing Fortaleza, Ceará, Brazil March 16-20, 2008 SYMPOSIUM CHAIRS Roger L. Wainwright, University of Tulsa, USA Hisham M. Haddad, Kennesaw State University, USA SYMPOSIUM VICE-CHAIR Angelo Brayner, University of Fortaleza, Brazil PROGRAM CHAIRS Ronaldo Menezes, Florida Institute of Technology, USA Mirko Viroli, Università di Bologna Cesena, Italy POSTERS CHAIR Mathew J. Palakal, Indiana University Purdue University, USA PUBLICATION CHAIR (Proceedings Editor) Lorie M. Liebrock, New Mexico Institute of Mining and Technology, USA TUTORIALS CHAIR Maria Andréia F. Rodrigues, University of Fortaleza, Brazil Publicity CO-CHAIRS Rossana Maria C. Andrade, Federal University of Ceara, Brazil Jiman Hong, Soongsil University, Korea Sung Y. Shin, South Dakota State University, USA LOCAL CO-CHAIRS Nabor C. Mendonça, University of Fortaleza, Brazil Javam M. Machado, Federal University of Ceara, Brazil TREASURER, WEBMASTER, & REGISTRAR Hisham M. Haddad, Kennesaw State University, USA iii

4 About the Sponsoring SIG ACM SIGAPP The ACM Special Interest Group on Applied Computing is ACM s primary applications-oriented SIG. Its mission is to further the interests of the computing professionals engaged in the development of new computing applications and applications areas and the transfer of computing technology to new problem domains. SIGAPP offers practitioners and researchers the opportunity to share mutual interests in innovative application fields, technology transfer, experimental computing, strategic research, and the management of computing. SIGAPP also promotes widespread cooperation among business, government, and academic computing activities. Its annual Symposium on Applied Computing (SAC) provides an international forum for presentation of the results of strategic research and experimentation for this inter-disciplinary environment. SIGAPP membership fees are: $30.00 for ACM Non-members, $15.00 for ACM Professional Members, and $8.00 for ACM Student Members. For further information on SIGAPP, please contact Barrett Bryant at bryant@cis.uab.edu or visit the SIGAPP website at iv

5 Volume I: Software Development & Engineering Track Chairs (Co-Editors) Advances in Computer Simulation (ACS) Ana Bazzan, Universidade Federal do Rio Grande do Sul, Brazil Giuseppe Vizzari, University of Milano-Bicocca, Italy Agent-Oriented Programming, Systems, Languages and Applications (APSLA) Alessandro Ricci, Università di Bologna, Italy Éric Platon, Université de Paris 6, France Fuyuki Ishikawa, National Institute of Informatics, Japan Danny Weyns, Katholieke Universiteit Leuven, Belgium Coordination Models, Languages and Applications (CM) Michael Schumacher, University of Applied Sciences Western Switzerland, Switzerland Alan Wood, University of York, United Kingdom Constraint Satisfaction and Programming (CSP) Stefano Bistarelli, Università G. d Annunzio Chieti-Pescara, Italy Eric Monfroy, University of Nantes, France Barry O Sullivan, University College Cork, Ireland Object-Oriented Programming Languages and Systems (OOPS) Davide Ancona, University of Genova, Italy Alex Buckley, SUN Microsystems, USA Programming Languages (PL) Chang-Hyun Jo, California State University Fullerton, USA Marjan Mernik, University of Maribor, Slovenia Barrett R. Bryant, University of Alabama at Birmingham, USA Programming for Separation of Concerns (PSC) Yvonne Coady, Victoria University, Canada Corrado Santoro, Università di Catania, Italy Emiliano Tramontana, Università di Catania, Italy Ian Welch, Victoria University of Wellington, New Zealand Real-Time Systems (RTS) Paulo Martins, Chaminade University, USA Leandro Buss Becker, UFSC - DAS, Brazil Software Verification (SV) Fausto Spoto, Università di Verona, Italy v

6 Document Engineering (DE) Rafael Dueire Lins, Universidade Federal de Pernambuco, Brazil Engineering Large-Scale Distributed Systems (ELSDS) Fabrizio Falchi, ISTI-CNR, Italy Claudio Lucchese, ISTI-CNR, Italy Middleware Engineering (ME) Sheikh Iqbal Ahamed, Marquette University, USA Praven Madiraju, Marquette University, USA Organizational Engineering (OE) Artur Caetano, Technical University of Lisbon, Portugal José Tribolet, Technical University of Lisbon, Portugal Robert Winter, University of St. Gallen, Switzerland Requirements Engineering (RE) Maria Lencastre, Universidade de Pernambuco, Brazil Software Engineering (SE) W. Eric Wong, University of Texas at Dallas, USA Chang-Oan Sung, Indiana University, USA Sung Y. Shin, South Dakota State University, USA vi

7 Volume II: Information Systems & Applications Track Chairs (Co-Editors) Advances in Spatial and Image-Based Information Systems (ASIIS) Richard Chbeir, University of Bourgogne, France Christophe Claramunt, Ecole Navale, France Ki-Joune Li, Pusan National University, Korea Kokou Yétongnon, University of Bourgogne, France Data Mining (DM) Hasan M. Jamil, Wayne State University, USA Osmar Zaiane, University of Alberta, Canada Data Streams (DS) João Gama, University of Porto, Portugal André Carvalho, Unviersity of São Paulo, Brazil Jesús S. Aguilar-Ruiz, Universidad Pablo de Olavide, Spain Database Theory, Technology, and Applications (DTTA) Ramzi A. Haraty, Lebanese American University, Lebanon Apostolos N. Papadopoulos, Aristotle University, Greece Junping Sun, Nova Southeastern University, USA Enterprise Information Systems (EIS) Rogerio Atem de Carvalho, CEFET Campos, Brazil Asterio Kiyoshi Tanaka, UniRio, Brazil Information Access and Retrieval (IAR) Gabriella Pasi, Università degli Studi di Milano Bicocca, Italy Gloria Bordogna, IDPA-CNR, Italy Multimedia and Visualization (MMV) Chaman Lal Sabharwal, University of Missouri-Rolla, USA Mingjun Zhang, Agilent Technologies, USA Bioinformatics (BIO) Mathew J. Palakal, Indiana University Purdue University, USA William Perrizo, North Dakota State University, USA Rajaraman Kanagasabai, Institute for Infocomm Research, Singapore Computer Applications in Health Care (CACH) Fátima L. Nunes, Centro Universitário Eurípides de Marília, Brazil Rosa M.E.M. da Costa, Universidade do Estado do Rio de Janeiro, Brazil vii

8 Computer Forensics (CF) Brajendra Panda, University of Arkansas, USA Kamesh Namuduri, Wichita State University, USA e-business Applications (EBA) Fahim Akhter, Zayed University, United Arab Emirates Lami Kaya, University of Sharjah, United Arab Emirates Ibrahim Kamel, University of Sharjah, United Arab Emirates Embedded Systems: Applications, Solutions and Techniques (EMBS) Alessio Bechini, University of Pisa, Italy Cosimo Antonio Prete, University of Pisa, Italy Natural Language Processing and Speech Recognition (NLSP) Marius Silaghi, Florida Institute of Technology, USA Marius Pasca, Google, USA Robotics: Hardware, Software, and Embedded Systems (RHSES) Denis F. Wolf, University of São Paulo, Brazil Eduardo Marques, University of São Paulo, Brazil Ubiquitous Computing (UC) Achilles Kameas, Hellenic Open University, Greece George Roussos, Birkbeck College, University of London, UK viii

9 Volume III: Artificial Intelligence and Agents & Distributed Systems Track Chairs (Co-Editors) Autonomic Computing (AC) Umesh Bellur, Indian Institute of Technology Bombay, India Rajiv Ramnath, The Ohio State University, USA Artificial Intelligence in Space Applications (AISA) Rafael Santos, National Institute for Space Research, Brazil José Demisio Simões da Silva, National Institute for Space Research, Brazil Adaptive Techniques in Operating Systems (ATOS) Tei-Wei Kuo, National Taiwan University, Taiwan Jiman Hong, Soongsil University, Korea Computational Logic and Computational Intelligence in Signal and Image Analysis (CISIA) Chih-Cheng Hung, Southern Polytechnic State University, USA Agostinho da Rosa, Technical University of Lisbon, Portugal Applications of Evolutionary Computation (EC) Bryant A. Julstrom, St. Cloud State University, USA Geometric Constraints and Reasoning (GCR) Pascal Schreck, Université Louis Pasteur, France Xiao-Shan Gao, Chinese Academy of Sciences, China Dominique Michelucci, Université de Bourgogne, France Mobile Agents and Systems (MAS) Shahram Rahimi, Southern Illinois University, USA Costin Badica, University of Craiova, Romania Maria Ganzha, EUH-E and IBS PAN, Poland Marcin Paprzycki, SWPS and IBS PAN, Poland Yung-Chuan Alex Lee, Southern Illinois University, USA Mobile Computing and Applications (MCA) Hong Va Leong, The Hong Kong Polytechnic University, Hong Kong Alvin Chan, The Hong Kong Polytechnic University, Hong Kong Self Organization in Pervasive Distributed Systems (SOPDS) Marco Mamei, University of Modena and Reggio Emilia, Italy Justin Werfel, New England Complex Systems Institute and Harvard Medical School, USA ix

10 Trust, Recommendations, Evidence and other Collaborative Know-How (TRECK) Virgílio Almeida, Federal University of Minas Gerais, Brazil Jean-Marc Seigneur, University of Geneva and Venyo, Switzerland Computer Networks (CN) Mário Freire, University of Beira Interior, Portugal Teresa Vazão, IST/INESC ID, Portugal Edmundo Monteiro, University of Coimbra, Portugal Manuela Pereira, University of Beira Interior, Portugal Computer Security (SEC) Giampaolo Bella, Università di Catania, Italy Dependable and Adaptive Distributed Systems (DADS) Karl M. Goeschka, Vienna University of Technology, Austria Svein O. Hallsteinsen, SINTEF ICT, Norway Rui Oliveira, Universidade do Minho, Portugal Alexander Romanovsky, University of Newcastle, United Kingdom The Semantic Web and Application (SWA) Hyoil Han, Drexel University, USA Web Technologies (WT) Youakim Badr, INSA Lyon, France Djamal Benslimane, Lyon University, France Zakaria Maamar, Zayed University, UAE x

11 Message from the Symposium Chairs Welcome to the 23 rd Annual ACM Symposium on Applied Computing (SAC 2008). This international event is dedicated to computer scientists, engineers, and practitioners seeking innovative ideas in various areas of computer applications. This year, the conference is hosted by the University of Fortaleza and the Federal University of Ceará, Brazil. The organizing committee is grateful to your participation in this exciting international gathering. The ACM Special Interest Group on Applied Computing is dedicated to further the interests of computing professionals engaged in the design and development of new computing applications, interdisciplinary applications areas, and applied research. The conference provides a forum for discussion and exchange of new ideas addressing computational algorithms and complex applications. This goal is reflected in the wide spectrum of application areas and tutorials designed to provide a variety of discussion topics during this event. SAC 2008 offers Technical, Posters, and Tutorials programs. We thank the Program Chairs, Ronaldo Menezes from Florida Institute of Technology and Mirko Viroli from Università di Bologna for their tireless effort in coordinating these programs represented by 45 technical tracks and over 1300 paper submissions. Individual technical tracks are professionally organized by dedicated Track Chairs and Co-Chairs. Each track maintains a program committee and a group of highly qualified reviewers. We thank the Track Chairs, Co- Chairs, and participating reviewers for their commitment to the success of SAC The Posters Program, organized by Mathew Palakal from Indiana University Purdue University, offers invited posters representing the conference tracks. We thank Mathew for his effort and dedication to the success of this program. The Tutorial Program offers six high-quality and timely tutorials, selected from more than 23 tutorial submissions. We thank the Tutorials Committee, lead by Maria Andréia Rodrigues, from the University of Fortaleza, for the hard work in putting together this year s successful program. We also thank our invited keynote speakers for sharing their knowledge and experience, the authors and presenters for sharing their work with us, and all attendees for joining us in Fortaleza, Brazil. The local organizing committee has always been the key to the success of the conference. This year, the local committee is lead by Nabor Mendonça, from the University of Fortaleza and Javam Machado from the Federal University of Ceara. We thank them for their outstanding leadership. We thank Lorie Liebrock, from New Mexico Institute of Mining and Technology, for her tremendous effort putting together the conference proceedings. We also thank the Publicity Committee lead by Rossana Maria Andrade from Federal University of Ceara, Jiman Hong from Soongsil University, and Sung Shin from South Dakota State University. Finally, we extend our thanks and gratitude to Angelo Brayner, from University of Fortaleza, for hosting the conference and coordinating the local support. Again, we welcome you to SAC 2008 in the beautiful costal city of Fortaleza. We hope you enjoy your stay in Fortaleza and leave this event enriched with new ideas and friends. Next year, we invite you to participate in SAC 2009 to be held in Honolulu, Hawaii, USA, March 15 to 19, The conference will be hosted by the University of Hawaii at Manoa and Chaminade University of Honolulu. We hope to see there! Hisham M. Haddad and Roger L. Wainwright SAC 2008 Conference Chairs xi

12 Message from the Program Chairs Ronaldo Menezes Florida Institute of Technology, USA Mirko Viroli Alma Mater Studiorum Università di Bologna, Italy Welcome to the 23 nd Symposium on Applied Computing (SAC 2008). Over the past 22 years, SAC has been an international forum for researchers and practitioners to present their findings and research results in the areas of computer applications and technology. The SAC 2008 Technical Program offers a wide range of tracks covering major areas of computer applications. Highly qualified referees with strong expertise and special interest in their respective research areas carefully reviewed the submitted papers. As part of the Technical Program, this year the Tutorial Program offers several tutorials that were carefully selected from numerous proposals. Many thanks to Maria Andréia Formico Rodrigues from the University of Fortaleza for chairing the Tutorial Program. Also, this is the fifth year that SAC incorporates poster papers into the Technical Program. The inclusion of posters would not be possible without the work of our Posters Chair Mathew Palakal from Indiana University Purdue University. SAC 2008 would not be possible without contributions from members of the scientific community. As anyone can imagine, many people have dedicated tremendous time and effort over the period of 10 months to bring you an excellent program. The success of SAC 2008 relies on the effort and hard work of many volunteers. On behalf of the SAC 2008 Organizing Committee, we would like to take this opportunity to thank all of those who made this year s technical program a reality, including speakers, referees, track chairs, session chairs, presenters, and attendees. We would specially like to thank the local arrangement committee lead by Angelo Brayner from the University of Fortaleza. SAC s open call for Track Proposals resulted in the submission of 50 track proposals. These proposals were carefully evaluated by the conference Program Committee. Some proposals were rejected on the grounds of either not being appropriate for the areas that SAC covers traditionally or being of rather narrow and specialized nature. Eventually, 45 tracks were established, which then went on to produce their own call for papers. In response to these calls, 1307 papers were submitted from more than 60 countries. After a reviewing process where each paper was evaluated by a minimum of three reviewers, 384 papers were strongly recommended for acceptance as full papers and inclusion in the Conference Proceedings. This gives SAC 2008 an acceptance rate of 29.3% across all tracks. These numbers make SAC 2008 the most successful and the most competitive SAC to date. This year we also introduced the concept of themes where tracks are organized on 6 main areas. The themes were used in the preparation of the schedule of presentations aiming at minimizing the overlap of presentations in related fields. We hope you will enjoy the meeting and have the opportunity to exchange your ideas and make new friends. We also hope you will enjoy your stay in Fortaleza, Brazil and take pleasure from the many entertainments and activities that the city and Fortaleza has to offer. We encourage you and your colleagues to submit your research findings to next year s technical program when the conference will be move back to the USA, more specifically to Hawaii. Thank you for being part of SAC 2008, and we hope to see you in Hawaii for SAC xii

13 Table of Contents Symposium Organizing Committee... iii Sponsoring SIG Information... iv Track Chairs (Co-Editors)... v Message from the Symposium Chairs... xi Message from the Program Chairs... xii Volume I: Software Development & Engineering Advances in Computer Simulation Track Track Co-Chairs: Ana Lucia Bazzan, Universidade Federal do Rio Grande do Sul, Brazil Giuseppe Vizzari, University of Milano-Bicocca, Italy Track Editorial... 1 Agent-Based Simulation of Electronic MarketPlaces with Decision Support... 3 Isabel Praça, Instituto Superior de Engenharia / Instituto Politécnico do Porto, Portugal Maria João Viamonte, GECAD - ISEP/IPP, Portugal Zita Vale, GECAD - ISEP/IPP, Portugal Carlos Ramos, GECAD - ISEP/IPP, Portugal Emerging Cooperation in a Public Goods Game with Competition... 8 Ana L.C. Bazzan, UFRGS, Brazil Roberto da Silva, UFRGS, Brazil Sílvio R. Dahmen, UFRGS, Brazil Alexandre T. Baraviera, UFRGS, Brazil A Vehicular Waiting Time Heuristic for Dynamic Vehicle Routing Problem Humberto César Brandão de Oliveira, Federal University of Minas Gerais, Brazil Gustavo Monti Rocha, Federal University of Minas Gerais, Brazil Mariane Moreira de Souza, Federal University of Minas Gerais, Brazil Leonardo Aparecido Ciscon, Federal University of Minas Gerais, Brazil Vanessa Rodrigues Borges, Federal University of Minas Gerais, Brazil Geraldo Robson Mateus, Federal University of Minas Gerais, Brazil A Framework for Execution and 3D Visualization of Situated Cellular Agent based Crowd Simulations Giuseppe Vizzari, University of Milano-Bicocca, Italy Giorgio Pizzi, University of Milano-Bicocca, Italy Flávio Soares Corrêa da Silva, Universidade de São Paulo, Brazil A Statistical Approach for Prediction of Projects based on Simulation Mariane Moreira de Souza, Federal University of Minas Gerais, Brazil Humberto C.B. de Oliveira, Federal University of Minas Gerais, Brazil Alexandre M.L. de Vasconcelos, Federal University of Pernambuco, Brazil Sandro R. Bezerra Oliveira, University of Amazonia, Brazil xiii

14 Large-Scale Simulation of V2V Environments Hugo Conceição, DCC-FCUP & LIACC - University of Porto, Portugal Luís Damas, DCC/FCUP & LIACC, University of Porto, Portugal Michel Ferreira, DCC/FCUP & LIACC, University of Porto, Portugal João Barros, Instituto de Telecomunicações & DCC/FCUP, University of Porto, Portugal Electricity Market Simulation: Multiagent System Approach Igor Walter, ANEEL - Brazilian Electricity Regulatory Agency, Brazil Fernando Gomide, Unicamp - FEEC - DCA, Brazil A Validation Methodology for Agent-Based Simulations Franziska Klügl, University of Würzburg, Germany Poster Papers Coordination Schemes in Distributed Simulation of Relativistic Particle Transport Ruipeng Li, Arkansas State University, USA Hai Jiang, Arkansas State University, USA Hung-Chi Su, Arkansas State University, USA Bin Zhang, Arkansas State University, USA Jeff Jenness, Arkansas State University, USA RePart: A Reputation-Based Simulation Tool for Partnership Formation Priscilla Avegliano, Polythecnic School, University of São Paulo, Brazil Jaime Sichman, Polythecnic School, University of São Paulo, Brazil Generation of Continuous Random Networks by Simulated Annealing A.L. Martinoto, Universidade de Caxias do Sul, Brazil F. Jornada, Universidade Federal do Rio Grande do Sul, Brazil L. Cassol, Universidade de Caxias do Sul, Brazil V. Gava, Universidade de Caxias do Sul, Brazil R. Vargas Dorneles, Universidade Caxias do Sul, Brazil C.A. Perotoni, Universidade de Caxias do Sul, Brazil Agent-Oriented Programming, Systems, Languages and Applications Track Track Co-Chairs: Alessandro Ricci, Università di Bologna, Italy Éric Platon, Université de Paris 6, France Fuyuki Ishikawa, National Institute of Informatics, Japan Danny Weyns, Katholieke Universiteit Leuven, Belgium Track Editorial Contextualizing Normative Open Multi-Agent Systems Carolina Felicíssimo, DI-PUC-Rio & LIP6 PARIS6, Brazil Caroline Chopinaud, LIP6 PARIS6, France Jean-Pierre Briot, DI-PUC-Rio & LIP6 PARIS6, France Amal El Fallah Seghrouchni, LIP6 PARIS6, France Carlos Lucena, DI-PUC-Rio, Brazil Profile based Comparative Analysis for AOSE Methodologies Evaluation Luca Cernuzzi, Universidad Católica Nuestra Señora de la Asunción, Paraguay Franco Zambonelli, DIMSI - Università di Modena e Reggio Emilia, Italy xiv

15 Dynamic Resource Allocation Heuristics for Providing Fault Tolerance in Multi-Agent Systems Alessandro de Luna Almeida, Université Pierre et Marie Curie, France Samir Aknine, Université Pierre et Marie Curie, France Jean-Pierre Briot, Université Pierre et Marie Curie, France Traceability and Completeness Checking for Agent-Oriented Systems Gilberto Cysneiros, City University London, United Kingdom Andrea Zisman, City University London, United Kingdom Poster Papers A Multi-Agent System for the Support of Producer Coalition Formation in Electricity Markets Isabel Praça, Instituto Superior de Engenharia / Instituto Politécnico do Porto, Portugal André Andrade, GECAD - ISEP/IPP, Portugal Hugo Morais, GECAD - ISEP/IPP, Portugal Marílio Cardoso, GECAD - ISEP/IPP, Portugal Carlos Ramos, GECAD - ISEP/IPP, Portugal Zita Vale, GECAD - ISEP/IPP, Portugal Coordination Models, Languages and Applications Track Track Co-Chairs: Michael Ignaz Schumacher, University of Applied Sciences Western Switzerland, Switzerland Alan Wood, University of York, United Kingdom Track Editorial Workflow Management versus Case Handling: Results from a Controlled Software Experiment Bela Mutschler, Daimler Group Research, Germany Barbara Weber, University of Innsbruck, Austria Manfred Reichert, University of Twente, The Netherlands Model and Infrastructure for Decentralized Workflow Enactment Daniel Wutke, University of Stuttgart, Germany Daniel Martin, University of Stuttgart, Germany Frank Leymann, University of Stuttgart, Germany Towards Trace Semantics for WS-CDL with Alignments Yahui Lu, Tsinghua University, P.R.China Li Zhang, Tsinghua University, P.R.China Jiaguang Sun, Tsinghua University, P.R.China Data Sharing vs. Message Passing: Synergy or Incompatibility? An Implementation-Driven Case Study Matteo Ceriotti, FBK-IRST & University of Trento, Italy Amy L. Murphy, FRK-IRST & University of Lugano, Switzerland Gian Pietro Picco, University of Trento, Italy xv

16 Decision-Making Coordination in Collaborative Product Configuration Marcílio Mendonça, University of Waterloo, Canada Thiago Tonelli Bartolomei, University of Waterloo, Canada Donald Cowan, University of Waterloo, Canada A Formal Architectural Model for Exception Handling Coordination David P. Pereira, University of São Paulo, Brazil Ana C. V. de Melo, University of São Paulo, Brazil Framework Composition Conformance via Refinement Checking Rodrigo Ramos, Federal University of Pernambuco, Brazil Augusto Sampaio, Federal University of Pernambuco, Brazil Alexandre Mota, Federal University of Pernambuco, Brazil Poster Papers Preserving Coordination Properties when Transforming Concurrent System Components Gudmund Grov, Heriot-Watt University, United Kingdom Robert Pointon, Heriot-Watt University, United Kingdom Greg Michaelson, Heriot-Watt University, United Kingdom Andrew Ireland, Heriot-Watt University, United Kingdom Using Process Algebra to Control the Execution of Business Processes Kelly Rosa Braghetto, University of São Paulo, Brazil João Eduardo Ferreira, University of São Paulo, Brazil Calton Pu, Georgia Institute of Technology, USA Decentralized Coordination Strategies for the Vehicle Routing Problem Matteo Vasirani, University Rey Juan Carlos, Spain Sascha Ossowski, University Rey Juan Carlos, Spain EPML: An Executable Process Modeling Language for Process-Aware Applications Davide Rossi, University of Bologna, Italy Elisa Turrini, University of Bologna, Italy Constraint Satisfation and Programming Track Track Co-Chairs: Stefano Bistarelli, Università G. d Annunzio Chieti-Pescara, Italy Eric Monfroy, University of Nantes, France Barry O Sullivan, University College Cork, Ireland An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities A. Goldsztejn, CNRS, University of Nantes, France C. Michel, University of Nice, France M. Rueher, University of Nice, France Splitting Heuristics for Disjunctive Numerical Constraints Thomas Douillard, Université de Nantes, France Christophe Jermann, Université de Nantes, France Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security Carlos Olarte, INRIA & LIX École Polytechnique, France Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France xvi

17 Modeling Adversary Scheduling with QCSP Marco Benedetti, Université d Orléans, France Arnaud Lallouet, Université d Orléans, France Jérémie Vautard, Université d Orléans, France Poster Papers Nested Temporal Networks with Alternatives: Recognition and Tractability Roman Barták, Charles University, Czech Republic Ondřej Čepek, Charles University, Czech Republic Object-Oriented Programming Languages and Systems Track Track Co-Chairs: Davide Ancona, University of Genova, Italy Alex Buckley, SUN Microsystems, USA Track Editorial A Small Extension to Java for Class Refinement Muga Nishizawa, Tokyo Institute of Technology, Japan Shigeru Chiba, Tokyo Institute of Technology, Japan Integrating Coercion with Subtyping and Multiple Dispatch J.J. Hallett, Boston University, USA Victor Luchangco, Sun Microsystems Laboratories, USA Sukyoung Ryu, Sun Microsystems Laboratories, USA Guy L. Steele, Jr., Sun Microsystems Laboratories, USA Runtime Concepts for the C++ Standard Template Library Peter Pirkelbauer, Texas A&M University, USA Sean Parent, Adobe Systems Inc., USA Mat Marcus, Adobe Systems Inc., USA Bjarne Stroustrup, Texas A&M University, USA Lambda Functions for C++0x Jaakko Järvi, Texas A&M University, USA John Freeman, Texas A&M University, USA Pentagons: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo, Microsoft Research, USA Manuel Fähndrich, Microsoft Research, USA Programming Languages Track Track Co-Chairs: Chang-Hyun Jo, California State University Fullerton, USA Marjan Mernik, University of Maribor, Slovenia Barrett R. Bryant, University of Alabama at Birmingham, USA Track Editorial xvii

18 The Architecture and Design of a Malleable Object-Oriented Prolog Engine Giulio Piancastelli, Università di Bologna, Italy Alex Benini, Università di Bologna, Italy Andrea Omicini, Università di Bologna, Italy Alessandro Ricci, Università di Bologna, Italy Integrating Java and Prolog through Generic Methods and Type Inference Maurizio Cimadamore, University of Bologna, Italy Mirko Viroli, University of Bologna, Italy Optimizing Code through Iterative Specialization Minhaj Ahmad Khan, University of Versailles, France Henri-Pierre Charles, University of Versailles, France Denis Barthou, University of Versailles, France Improving Flow-Insensitive Solutions for Non-Separable Dataflow Problems Subhajit Roy, Indian Institute of Science, India Y.N. Srikant, Indian Institute of Science, India Efficient Compilation of Lua for the CLR Fabio Mascarenhas, PUC-Rio, Brazil Roberto Ierusalimschy, PUC-Rio de Janiero, Brazil Applying Markup Language Resources in the Specification of Visual Alphabets and Visual Sentences Tiago Lopes Telecken, Universidade Federal do Rio Grande do Sul, Brazil Ethan V. Munson, University of Wisconsin-Milwaukee, USA José Valdeni de Lima, Universidade Federal do Rio Grande do Sul, Brazil Implementing Java Modeling Language Contracts with AspectJ Henrique Rebêlo, Pernambuco State University, Brazil Ricardo Lima, Pernambuco State University, Brazil Márcio Cornélio, Pernambuco State University, Brazil Sérgio Soares, Pernambuco State University, Brazil Leopoldo Ferreira, Pernambuco State University, Brazil Flexible Pointer Analysis using Assign-Fetch Graphs Marcio Buss, Columbia University, USA Daniel Brand, IBM T.J. Watson Research Center, USA Vugranam Sreedhar, IBM T.J. Watson Research Center, USA Stephen A. Edwards, Columbia University, USA IELR(1): Practical LR(1) Parser Tables for Non-LR(1) Grammars with Conflict Resolution Joel E. Denny, Clemson University, USA Brian A. Malloy, Clemson University, USA An Adaptation of the Collections Framework, Reflection and Object Cloning from J2SE to J2ME Tales P. Nogueira, Universidade Federal do Ceará - UFC, Brazil Luis C.L. Neto, Universidade Federal do Ceará - UFC, Brazil Lincoln S. Rocha, Universidade Federal do Ceará - UFC, Brazil Rossana M.C. Andrade, Universidade Federal do Ceará - UFC, Brazil xviii

19 Programming for Separation of Concerns Track Track Co-Chairs: Yvonne Coady, Victoria University, Canada Corrado Santoro, Università di Catania, Italy Emiliano Tramontana, Università di Catania, Italy Ian Welch, Victoria University of Wellington, New Zealand Track Editorial Symbiosis in Logic-Based Pointcuts over a History of Join Points Kris Gybels, Vrije Universiteit Brussel, Belgium Charlotte Herzeel, Vrije Universiteit Brussel, Belgium Theo D Hondt, Vrije Universiteit Brussel, Belgium Énfasis: A Model for Local Variable Crosscutting Ulises Juárez-Martínez, Center of Research and Advanced Studies, Mexico José Oscar Olmedo-Aguirre, Center of Research and Advanced Studies, Mexico Extending Omniscient Debugging to Support Aspect-Oriented Programming Guillaume Pothier, University of Chile, Chile Éric Tanter, University of Chile, Chile On to Formal Semantics for Path Expression Pointcuts Mohammed Al-Mansari, University of Duisburg-Essen, Germany Stefan Hanenberg, University of Duisburg-Essen, Germany Rainer Unland, University of Duisburg-Essen, Germany Poster Papers A Decision Model for Implementing Product Lines Variabilities Márcio de Medeiros Ribeiro, Informatics Center - UFPE, Brazil Pedro Matos, Jr., Informatics Center - UFPE, Brazil Paulo Borba, Federal University of Pernambuco, Brazil Securing Aspect Composition Andrew Camilleri, Lancaster University, United Kingdom Lynne Blair, Lancaster University, United Kingdom Geoffrey Coulson, Lancaster University, United Kingdom Real-Time Systems Track Track Co-Chairs: Paulo Martins, Chaminade University, USA Leandro Buss Becker, UFSC - DAS, Brazil Track Editorial The Utilization Bound of Uniprocessor Preemptive Slack-Monotonic Scheduling is 50% Björn Andersson, Institute Polytechnic Porto, Portugal A Wireless Hybrid Contention/TDMA-Based MAC for Real-Time Mobile Applications Marcelo M. Sobral, Federal University of Santa Catarina, Brazil Leandro B. Becker, Federal University of Santa Catarina, Brazil xix

20 Multiprocessor Frequency Locking for Real-Time Task Synchronization Ya-Shu Chen, National Taiwan University of Science and Technology, Taiwan Li-Pin Chang, National Chiao-Tung University, Taiwan Tei-Wei Kuo, National Taiwan University, Taiwan Scheduling Distributable Real-Time Threads in the Presence of Crash Failures and Message Losses Sherif F. Fahmy, Virginia Tech, USA Binoy Ravindran, Virginia Tech, USA E.D. Jensen, MITRE Corporation, USA Evaluation of Priority based Real Time Scheduling Algorithms: Choices and Tradeoffs Biju K. Raveendran, Birla Institut of Technology and Science, India Sundar Balasubramaniam, Birla Institut of Technology and Science, India S. Gurunarayanan, Birla Institut of Technology and Science, India Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software Fabiano Cruz, Nokia Institute of Technology (INdT) and Universidade Federal do Amazonas, Brazil Raimundo Barreto, Universidade Federal do Amazonas, Brazil Lucas Cordeiro, Universidade Federal do Amazonas, Brazil Paulo Maciel, Universidade Federal de Pernambuco, Brazil A Behavior Priority Driven Approach for Resource Reservation Scheduling Leo Ordínez, Universidad Nacional del Sur - CONICET, Argentina David Donari, Universidad Nacional del Sur - CONICET, Argentina Rodrigo Santos, Universidad Nacional del Sur - CONICET, Argentina Javier Orozco, Universidad Nacional del Sur - CONICET, Argentina Poster Papers Strategies for QoS Improvement on the Time-Interval Scheduling Fábio Rodrigues de la Rocha, Federal University of Santa Catarina, Brazil Rômulo Silva de Oliveira, Federal University of Santa Catarina, Brazil Slack Time Evaluation with RTSJ Damien Masson, Université Paris-Est, France Serge Midonnet, Université Paris-Est, France On the Meaning of Modes in Uniprocessor Real-Time Systems Paulo Martins, Chaminade University of Honolulu, USA Alan Burns, The University of York, United Kingdom Software Verification Track Track Chair: Fausto Spoto, Università di Verona, Italy Track Editorial Reachability Analysis of Generalized Polygonal Hybrid Systems Gerardo Schneider, University of Oslo, Norway xx