FINAL PROGRAM

THE 2006 ACM SIGAPP SYMPOSIUM ON APPLIED COMPUTING

http://www.acm.org/conferences/sac/sac2006

Dijon, France April 23 - 27, 2006

Organizing Committee

Hisham M. Haddad Lorie M. Liebrock Richard Chbeir Mathew J. Palakal Sascha Ossowski Kokou Yetongnon Roger L. Wainwright Christophe Nicolle

SV TRECK AI AIMS ASIIS UC BIO CACH SE SEC CEHV RDRC CF CLAT RCA CM

PSC MCMS

CSP PL DADS

OSSA DE

OOPS DM

OE DS

MV DSGC MT MCA DTTA IAR ECO HHC GCR EMBS ECT

HOSTED BY Bourgogne University, Dijon, France

SPONSORED BY

Database Theory, Technology, and Applications (DTTA) SAC 2006 INTRODUCTION Ramzi A. Haraty, Lebanese American University, Lebanon SAC 2006 is a premier international conference on applied com- Apostolos N. Papadopoulos, Aristotle University, Greece puting and technology. Attendees have the opportunity to hear Junping Sun, Nova Southeastern University, USA from expert practitioners and researchers about the latest trends in Data Mining (DM) research and development in their fields. SAC 2006 features 2 Hasan M. Jamil, Wayne State University, USA Rosa Meo, Universita' di Torino, Italy keynote speakers on Monday and Wednesday, from 8:30 to 10:00. Gill Dobbie, University of Auckland, New Zealand The symposium consists of Tutorial and Technical programs. The Data Streams (DS) Tutorial Program offers 6 half-day tutorials on Sunday April 23, Jesus S. Aguilar-Ruiz, Pablo de Olavide University, Spain 2006, starting at 9:00am. The Technical Program offers 38 tracks Francisco J. Ferrer-Troyano, University of Seville, Spain on a wide number of different research topics, which run from Dependable and Adaptive Distributed Systems (DADS) Monday April 24 through Thursday April 27, 2006. Regular Karl M. Göschka, Vienna University of Technology, Austria sessions start at 8:30am and end at 5:00pm in 5 parallel sessions. Svein O. Hallsteinsen, SINTEF ICT, Norway Rui Oliveira, Universidade do Minho, Portugal Alexander Romanovsky, University of Newcastle upon Tyne, UK SAC 2006 Organizers Distributed Systems and Grid Computing (DSGC) Robert van Engelen, Florida State University, USA Madhu Govindaraju, Binghamton University, USA Hisham M. Haddad, Symposium Chair Nectarios Koziris, National Technical University of Athens, Greece Kennesaw State University, USA Kleanthis Psarris, University of Texas at San Antonio, USA Richard Chbeir, Symposium Vice Chair Document Engineering (DE) Bourgogne University, France Rafael Dueire Lins, Universidade Federal de Pernambuco, Brazil Roger L. Wainwright, Program Chair Electronic Commerce Technologies (ECT) University of Tulsa, USA Sviatoslav Braynov, University of Illinois at Springfield, USA Sascha Ossowski, Program Chair Manuel Núñez, Universidad Complutense de Madrid, Spain University Rey Juan Carlos, Madrid, Spain Fernando Rubio, Universidad Complutense de Madrid, Spain Kokou Yetongnon, Tutorials Chair Embedded Systems: Applications, Solutions and Techniques Bourgogne University, France (EMBS) Mathew J. Palakal, Poster Chair Alessio Bechini, University of Pisa, Italy Indiana University Purdue University, USA Cosimo Antonio Prete, University of Pisa, Italy Lorie M. Liebrock, Publication Chair (Proceedings Editor) Francois Bodin, Campus de Beaulieu, France New Mexico Institute of Mining and Technology, USA Evolutionary Computing and Optimization (ECO) Hisham M. Haddad, Treasurer, Webmaster, Registrar Bryant A. Julstrom, St. Cloud State University, USA Kennesaw State University, USA Geometric Computing and Reasoning (GCR) Christophe Nicolle, Local Arrangement Chair Xiao-Shan Gao, Chinese Academy of Sciences, China Bourgogne University, France Dominique Michelucci, Universite de Bourgogne, France Pascal Schreck, Universite Louis Pasteur, France Handheld Computing (HHC) SAC 2006 Track Organizers Qusay H. Mahmoud, University of Guelph, Canada Zakaria Maamar, Zayed University, UAE AI and Computational Logic and Image Analysis (AI) Information Access and Retrieval (IAR) C.C. Hung, School of Computing and Soft. Eng., USA Fabio Crestani, University of Strathclyde, UK Agostinho Rosa, LaSEEB –ISR – IST, Portugal Gabriella Pasi, ITC-CNR, Italy Advances in Spatial and Image-based Information Systems Mobile Computing and Applications (MCA) (ASIIS) Hong Va Leong, Hong Kong Polytechnic University, China Kokou Yetongnon, Bourgogne University, France Alvin Chan, Hong Kong Polytechnic University, China Christophe Claramunt, Naval Academy Research Institute, France Model Transformation (MT) Richard Chbeir, Bourgogne University, France Jean Bézivin, University of Nantes, France Agents, Interactions, Mobility and Systems (AIMS) Alfonso Pierantonio, Università degli Studi dell’Aquila, Italy Henry Hexmoor, University of Arkansas, USA Antonio Vallecillo, Universidad de Malaga, Spain Marcin Paprzycki, SWPS, Poland More Accurate Computation: Methods and Software (MCMS) Niranjan Suri, IHMC University of West Florida, USA Philippe Langlois, University of Perpignan, France Bioinformatics (BIO) Siegfried Rump, Technical University Hamburg-Harburg, Germany Mathew J. Palakal, Indiana University Purdue University, USA Multimedia and Visualization (MV) William Perrizo, North Dakota State University, USA Chaman L. Sabharwal, University of Missouri-Rolla, USA Computer Applications in Health Care (CACH) Mingjun Zhang, Agilent Technologies, USA Valentin Masero, University of Extremadura, Spain Object-Oriented Programming Languages and Systems Pierre Collet, Université du Littoral (ULCO), France (OOPS) Computer Ethics and Human Values (CEHV) Davide Ancona, DISI - Università di Genova, Italy Keith Miller, University of Illinois at Springfield, USA Mirko Viroli, Università di Bologna, Italy Computer Forensics (CF) Operating Systems and Adaptive Applications (OSAA) Brajendra Panda, University of Arkansas, USA Jiman Hong, Kwangwoon University, Korea Kameswara Namuduri, Wichita State University, USA Tei-Wei Kuo, National Taiwan University, Taiwan Computer-aided Law and Advanced Technologies (CLAT) Organizational Engineering (OE) Giovanni Sartor, University of Bologna, Italy José Tribolet, Technical University of Lisbon, Portugal Alessandra Villecco Bettelli, University of Bologna, Italy Robert Winter, University of St. Gallen, Switzerland Computer Security (SEC) Artur Caetano, Technical University of Lisbon, Portugal Giampaolo Bella, Universita' di Catania, Italy Programming for Separation of Concerns (PSC) Peter Ryan, University of Newcastle upon Tyne, UK Antonella Di Stefano, Catania University, Italy Constraint Solving and Programming (CSP) Giuseppe Pappalardo, Catania University, Italy Stefano Bistarelli, Univ. degli studi "G. D'Annunzio" di Chieti-Pescara, Corrado Santoro, Catania University, Italy Italy Emiliano Tramontana, Catania University, Italy Eric Monfroy, University of Nantes, France Ian Welch, Victoria University, New Zealand Barry O'Sullivan, University College Cork, Ireland Programming Languages (PL) Coordination Models, Languages and Applications (CM) Chang-Hyun Jo, California State University at Fullerton, USA Alessandro Ricci, Universita di Bologna, Italy Marjan Mernik, University of Maribor, Slovenia Ronaldo Menezes, Florida Institute of Technology, USA Barrett Bryant, University of Alabama at Birmingham, USA

Final Program Page 1 SAC 2006, April 23 – 27, 2006

Reliable Computations and their Applications (RCA) development of new computing applications, interdisciplinary Martine Ceberio, University of Texas at El Paso, USA applications areas, and applied research. The conference provides Vladik Kreinovich, University of Texas at El Paso, USA a forum for discussion and exchange of new ideas addressing Michael Rueher, Universite de Nice ESSI, France computational algorithms and complex applications. This goal is Semantic-Based Resource Discovery, Retrieval and reflected in its wide spectrum of application areas and tutorials Composition (RDRC) designed to provide variety of discussion topics during this event. Eugenio Di Sciascio, SinsInfLab Politecnico di Bari, Italy Francesco M. Donini, Universita' di Viterbo, Italy Tommaso Di Noia, SinsInfLab Politecnico di Bari, Italy The Symposium depends on the organization of technical tracks. Software Engineering: Applications, Practices and Tools (SE) As in past successful meetings, talented and dedicated Track Stefan Gruner, Swansea Institute, UK Chairs and Co-Chairs who are committed to the success of the Sung Shin, South Dakota State University, USA conference have organized SAC 2006 tracks. Each track maintains Software Verification (SV) a program committee and group of highly qualified reviewers. Zijiang Yang, Western Michigan University, USA Many thanks to Track Chairs, Co-Chairs, and participating Lunjin Lu, Oakland University, USA reviewers for their commitment to making SAC 2006 another high Trust, Recommendations, Evidence and other Collaborative quality conference. We thank our invited keynote speakers for Know-how (TRECK) sharing their knowledge with SAC attendees. Most of all, special Jean-Marc Seigneur, University of Geneva, Switzerland thanks to the authors and presenters for sharing their experience Christian Damsgaard Jensen, Technical University of Denmark, Denmark with the rest of us and to all attendees for joining us this year in Ubiquitous Computing (UC) Dijon. Achilles Kameas, Hellenic Open University, Greece George Roussos, University of London, UK The local organizing committee has always been a central

contributor to the success of the symposium. This year, we thank SAC 2006 Local Support our local team from Bourgogne University. In particular, we thank Richard Chbeir for his role as the conference Vice-Chair, Kokou Local support for SAC 2006 is provided by Bourgogne University, Yetongnon for organizing the Tutorials Program, and Christophe City of Dijon, LE2I-CNRS, CROUS de Dijon at Bourgogne Nicolle for chairing the local organization effort. We also thank University, and IUT de Dijon. The SAC organizing committee the City of Dijon and Bourgogne University for hosting the acknowledges and thanks the local supporters for their generous conference and for their generous contributions and support. Other contributions to SAC 2006. Their support has been essential to the committee members I would like to thank are Lorie Liebrock for success of Symposium, and is greatly appreciated. her tremendous effort putting together the conference proceedings, Mathew Palakal for coordinating another successful Posters Program, and Roger Wainwright and Sascha Ossowski for ACM SIGAPP bringing together the Technical Program. All aspects of the Symposium have been guided by the dedication, enthusiasm, and The ACM Special Interest Group on Applied Computing is ACM's foresight of these professionals. Many thanks to all of them for the primary applications-oriented SIG. Its mission is to further the countless hours of volunteer work they spent to bring us together interests of the computing professionals engaged in the another successful SAC meeting. development of new computing applications and applications areas and the transfer of computing technology to new problem Again, we welcome you to SAC 2006 and the beautiful city of domains. SIGAPP offers practitioners and researchers the Dijon. We hope you enjoy your stay in Dijon and leave this event opportunity to share mutual interests in innovative application enriched with new ideas and friends. Next year, we invite you to fields, technology transfer, experimental computing, strategic participate in SAC 2007 to be hosted by Seoul National University research, and the management of computing. SIGAPP also and Suwon University in Seoul, Korea. 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 MESSAGE FROM THE PROGRAM CHAIRS experimentation for this inter-disciplinary environment. SIGAPP membership fees are: $30.00 for ACM Non-members, $15.00 for Roger L. Wainwright ACM Members, and $8.00 for Student Members. For information University of Tulsa, USA contact Barrett Bryant at [email protected]. Also, checkout the SIGAPP website at http://www.acm.org/sigapp/ Sascha Ossowski University Rey Juan Carlos, Spain

Welcome to the 21st Symposium on Applied Computing (SAC MESSAGE FROM THE CONFERENCE CHAIR 2006). Over the past 20 years, SAC has been an international forum for researchers and practitioners to present their findings Hisham M. Haddad and research results in the areas of computer applications and Kennesaw State University, USA technology. The SAC 2006 Technical Program offers a wide range On behalf of the Organization Committee, it is my pleasure to of tracks covering major areas of computer applications. Highly welcome you to the 21st Annual ACM Symposium on Applied qualified referees with strong expertise and special interest in their Computing (SAC 2006). This year, the conference is hosted by respective research areas carefully reviewed the submitted papers. Bourgogne University, in the city of Dijon, France. Thank you for As part of the Technical Program, this year the Tutorial Program your participation in this international event dedicated to computer offers several half-day tutorials that were carefully selected from scientists, engineers, and practitioners seeking innovative ideas in numerous proposals. Many thanks to Kokou Yetongnon from the various areas of computational applications. University of Bourgogne for chairing the Tutorial Program. Also, this is the third year for SAC to incorporate poster papers into the The sponsoring SIG of this Symposium, the ACM Special Interest Technical Program. Many thanks to Mathew Palakal from Indiana Group on Applied Computing, is dedicated to further the interests University Purdue University for chairing the poster sessions. of computing professionals engaged in the design and SAC 2006 would not be possible without contributions from

Final Program Page 2 SAC 2006, April 23 – 27, 2006

members of the scientific community. As anyone can imagine, many people have dedicated tremendous time and effort over the SAC 2007 period of 10 months to bring you an excellent program. The SAC 2007 will be held in Seoul, Korea, March 11 – 15, 2007. It is success of SAC 2006 relies on the effort and hard work of many hosted by the Seoul National University and Suwon University in volunteers. On behalf of the SAC 2006 Organizing Committee, we Seoul. Please check the registration desk for handouts. 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 also thank the local arrangement committee lead by Christophe MONDAY KEYNOTE ADDRESS Nicolle from the University of Bourgogne. We also want to thank Hisham Haddad from Kennesaw State University for his excellent Intelligent agent technology: job again as the SAC Treasurer, Webmaster, and Registrar. Human-machine natural dialogue and SAC's open call for Track Proposals resulted in the submission of 41 track proposals. These proposals were carefully evaluated by inter-agent communication the conference Executive Committee. Some proposals were Dr. David Sadek rejected on the grounds of either not being appropriate for the France Télécom R&D areas that SAC covers traditionally or being of rather narrow and specialized nature. Some others were merged to form a single track, on the grounds of having substantial overlap with each MONDAY APRIL 24, 2006, 8:30 – 10:00 AM other. Eventually, 38 tracks were established, which then went on to produce their own call for papers. In response to these calls, 927 AMPHI CLAUDE BERNARD papers were submitted, from which 300 papers were strongly recommended by the referees for acceptance and inclusion in the Conference Proceedings. This gives SAC 2006 an acceptance rate ABSTRACT of 32% across all tracks. Furthermore, it makes SAC 2006 the The intelligent agent paradigm has generated such a tremendous most successful conference in the history of SAC so far. SAC is interest in today's world of R&D, and so vast is its range of also one of the most popular and competitive conferences in the potential applications, that it is already seen as the source of a new international field of applied computing. technological revolution that will encompass application domains We hope you will enjoy the meeting and have the opportunity to from access to information, to games, including resource exchange your ideas and make new friends. We also hope you will monitoring, personal and public digital assistants, natural language enjoy your stay in Dijon, France and take pleasure from the many interfaces, intelligent intermediation, e-business, training and entertainments and activities that the city and France has to offer. education, and so on. This interest is particularly emphasized by We look forward to your active participation in SAC 2006, and the inter-connection of networks and the inter-operability of encourage you and your colleagues to submit your research software and services. findings to next year's technical program. Thank you for being part The agent approach aims to introduce the required intelligence of SAC 2006, and we hope to see you in Seoul, Korea for SAC into information processing. The idea is to produce a changeover 2007. from software that provides functions to software that offers services. The latter will be more user-friendly, simpler, richer and more easily adaptable, precisely because more intelligent and mastering the semantics of the information and the functions being OTHER ACTIVITIES handled. The semantics technologies enable to implement services in which the system, namely the software agent, is capable of SAC 2006 Review Meeting: Sunday April 23, 2006, from 17:00 to carrying on a natural dialogue with the user. Associated with a 18:00 in Amphi Claude Bernard. Open for SAC Organizing permanent multimedia connectivity, such technologies will, in the Committee and Track Chairs and Co-Chairs. coming years, offer to the user a coherent view of a seamless inter- SAC 2007 Organization Meeting: Monday April 24, 2006, from service and inter-media continuum. As soon as the market begins 12:00 to 14:00 in the University Restaurant Montmuzard (Lunch to witness generic agent technologies along with standards for Meeting). Open for SAC Organizing Committee. ontologies and knowledge representation, this will mark the real Posters Session: Monday April 24, 2006, from 14:00 to 17:00 in technological leap forward introducing a deep change of the hall of sciences Mirande. Open to everyone! telecommunication use and market. The present scientific, SAC 2006 Reception: Monday April 24, 2006 at 19:00 (Depart at technical and industrial landscape holds every indication that these 18.15). Hosted by the Municipality of Dijon (salle de Flore). Open fundamental changes will take place progressively over the very for all registered attendees. next years. This talk particularly focuses on why and how the concept of SIGAPP Annual Business Meeting: Tuesday April 25, 2006, from cognitive agent provides a relevant approach to model and to 18:00 to 19:00 in Amphi Claude Bernard. Open to everyone! implement intelligent human-machine natural dialogue systems. SAC 2006 Banquet: Wednesday April 26, 2006. At Marsannay The rational dialogue agent model comes within this approach, Castle. Depart at 18.30. Open for Banquet Ticket holders. See which also allows for handling interactions between software your tickets for full details. agents according to the same principles. This model is at the basis SAC 2006 Track Chairs Luncheon: Thursday April 27, 2006, from of the Artimis technology and also at the origin of the FIPA ACL 12:00 to 13:30 in the University Restaurant Montmuzard. Open for standard communication language. Several operational Artimis SAC Organizing Committee and Track Chairs and Co-Chairs. based applications have been developed and commercial large SAC 2006 Wrap-up Meeting: Thursday April 27, 2006, from scale services have begun to be deployed. Beyond its promising 18:00 to 19:00 in Amphi Claude Bernard. Open for SAC potential, the presented approach opens new research perspectives Organizing Committee. in the domains of the design of artificial intelligent behaviors and the organization of agent societies. Several demonstrations illustrating the different issues tackled in this talk will be given.

Final Program Page 3 SAC 2006, April 23 – 27, 2006

WEDNESDAY KEYNOTE ADDRESS MONDAY APRIL 24, 2006 Advanced Program Development using Abstract Interpretation 08:00 – 18:00 SALLE DU CONSEIL Dr. Manuel Hermenegildo Technical University of Madrid and University of REGISTRATION New Mexico 08:00 – 08:30 AMPHI CLAUDE BERNARD WEDNESDAY APRIL 26, 2006, 8:30 – 10:00 AM OPENING REMARKS AMPHI CLAUDE BERNARD 08:30 – 10:00 AMPHI CLAUDE BERNARD ABSTRACT One of the fundamental challenges in program development, from KEYNOTE ADDRESS large applications to embedded code, is to be able to develop, in the shortest time possible, programs that are efficient and correct. Intelligent agent technology: We argue that in order to achieve this goal, in addition to factors Human-machine natural dialogue such as better programming languages, substantially improved functionality is needed from programming environments. We and inter-agent communication present a novel program development framework which uses Dr. David Sadek "Abstract Interpretation" as a fundamental component. Abstract France Télécom R&D interpretation is a technique which has allowed the development of (See Abstract Above) very sophisticated program analyzers and transformers, which are at the same time provably correct and highly practical. The HALL OF SCIENCES IRANDE framework that we present uses this type of program analysis to 10:00 – 10:30 M obtain information about the program. This information is then COFFEE BREAK used to validate programs with respect to partial specifications written using assertions, to detect and locate bugs, to simplify run- time tests, to perform high-level program transformations (such as specialization, parallelization, or resource usage control), and to 10:30 – 12:00 AMPHI CLAUDE BERNARD enrich mobile code with safety certificates. The system can reason (ASIIS-1) Advances in Spatial and Image- with much richer information than, for example, traditional type based Information Systems declarations. This includes pointer aliasing, shapes, exceptions, Jan Vahrenhold, Universität Münster, Germany determinacy, abounds on resource consumption (such as computational cost or sizes of data in the program), etc. CiaoPP, the preprocessor of the Ciao multi-paradigm programming system Dynamic interactive spatial similarity retrieval in is an implementation of this framework and will be used to iconic image databases using enhanced digraph illustrate these ideas. Xiao Ming Zhou, Sybase Asia Development Center, Singapore Chuan Heng Ang, National University of Singapore, Singapore Tok Wang Ling, National University of Singapore, Singapore

TerraCost: A Versatile and Scalable Approach to Computing Least-Cost-Path Surfaces for Massive Grid-Based Terrains SAC 2006 SCHEDULE Thomas Hazel, Bowdoin College, USA Laura Toma, Bowdoin College, USA Jan Vahrenhold, University of Münster, Germany Rajiv Wickremesinghe, Duke University, USA

SUNDAY APRIL 23, 2006 Using Dijkstra’s Algorithm to Incrementally Find the K-Nearest Neighbors in Spatial Network Databases 14:00 – 18:00 SALLE DU CONSEIL Victor Teixeira de Alameida, University of Hagen, Germany Ralf Hartmut Guting, University of Hagen, Germany REGISTRATION An Open Source and Web Based Framework for Geographic and Multidimensional Processing 17:00 – 18:00 AMPHI CLAUDE BERNARD Joel da Silva, Federal University of Pernambuco, Brazil Valeria C. Times, Federal University of Pernambuco, Brazil SAC 2006 REVIEW MEETING Ana Carolina Salgado, Federal Un iversity of Pernambuco, Brazil Vivianne da Nóbrega Medeiros, Federal University of Pernambuco, Brazil Robson do Nascimento Fidalgo, Federal University of Pernambuco, Brazil

Final Program Page 4 SAC 2006, April 23 – 27, 2006

10:30 – 12:00 AMPHI ALBERT RECOURA Distributed Collaborative Filtering for Peer-to-Peer File Sharing Systems (UC-1) Ubiquitous Computing Jun Wang, Delft University of Technology Achilles Kameas, Hellenic Open University, Greece Johan Pouwelse, Delft University of Technology George Roussos, University of London, UK Reginald Lagendijk, Delft University of Technology Marcel Reinders, Delft University of Technology Ubiquitous Presence Systems Matthias Kranz, University of Munich Light Stemming Approaches for the French, Paul Holleis, Universiry of Munich Portuguese, German and Hungarian Languages Albrecht Schmidt, University of Munich Jacques Savoy, University of Neuchatel

BBQ: Group-Based Querying in a Ubiquitous Using the Structure of Documents to Improve the Environment Discovery of Unexpected Information Hong Va Leong, Hong Kong Polytechnic University François Jacquenet, University of Saint Etienne Gary Hoi Kit Lam, Hong Kong Polytechnic University Christine Largeron, University of Saint-Etienne Stephen Chi Fai Chan, Hong Kong Polytechnic University

Domotic House Gateway 10:30 – 12:00 AMPHI NICEPHORE NIEPCE Paolo Pellegrino, Politecnico di Torino Dario Bonino, Politecnico di Torino (SE-1) Software Engineering: Applications, Fulvio Corno, Politecnico di Torino Practices and Tools Stefan Gruner, Swansea Institute, UK Hiding Complexity and Heterogeneity of the Sung Shin, South Dakota State University, USA Physical World in Smart Living Environments Maria Tortorella, University of Sannio Extracting Refactoring Trends from Open-source Gerardo Canfora, University of Sannio Software and a Possible Solution to the 'Related Thierry Bodhuin, University of Sannio Refactoring' Conundrum Rosa Preziosi, University of Sannio Steve Counsell, Brunel University Deepak Advani, Birkbeck, London Youssef Hassoun, Birkbeck 10:30 – 12:00 AMPHI MAURICE GERVEY (MCMS-1) More Accurate Computation: Does Object Coupling Really Affects the Methods and Software Understanding and Modifying of OCL Philippe Langlois, University of Perpignan, France Expressions? Siegfried Rump, Technical University Hamburg-Harburg, Luis Reynoso, Universidad Nacional del Comahue Germany Mario Piattini, University of Castilla-La Mancha Marcela Genero, Universidad de Castilla La Mancha Quad and Correctly Rounded Double Precision Esperanzo Manso, University of Campus Miguel Delibes Math Functions: Portable and Optimized for Intel Architectures Applying Statistical Methodology to Optimize and Alexey Ershov, Intel Corporation Simplify Software Metric Models with Missing Data Sergey Maidanov, Intel Corporation Eric W. Wong, University of Texas at Dallas Andrey Naraikin, Intel Corporation Jin Zhao, University of Texas at Dallas Victor K.Y. Chan, Macao Polytechnic Institute Assisted Verification of Elementary Functions A Posteriori Defensive Programming: an using Gappa Florent de Dinechin, École Normale Supérieure de Lyon Annotation Toolkit for DoS-resistant Component- Christoph Lauter, École Normale Supérieure de Lyon Based Architectures Guillaume Melquiond, École Normale Supérieure de Lyon Valerio Schiavoni, Universití Degli Studi Roma3 Vivien Quéma, INRIA Provably Faithful Evaluation of Polynomials Sylvie Boldo, INRIA Futurs 12:00 – 14:00 RESTAURANT MONTMUZARD César Muñoz, National Institute of Aerospace LUNCH BREAK Improving the Compensated Horner Scheme with a Fused Multiply and Add Nicolas Louvet, DALI-LP2A Laboratory 12:00 – 14:00 RESTAURANT MONTMUZARD Stef Graillat, DALI-LP2A Laboratory Philippe Langlois, University of Perpignan SAC 2007 ORGANIZATION MEETING (LUNCH MEETING) 10:30 – 12:00 AMPHI PAUL PARIS (IAR-1) Information Access and Retrieval 14:00 – 15:30 AMPHI CLAUDE BERNARD Fabio Crestani, University of Strathclyde, UK (ASIIS-2) Advances in Spatial and Image- Gabriella Pasi, ITC-CNR, Italy based Information Systems Tree Inclusion Algorithm, Signatures and Michael Gr. Vassilakopoulos, Technological Educational Institute of Thessaloniki, Greece Evaluation of Path-Oriented Queries Yangjun Chen, University of Winnipeg

Final Program Page 5 SAC 2006, April 23 – 27, 2006

Efficient Processing of Past-Future Towards Reliable OSGi Framework and Spatiotemporal Queries Applications Katerina Raptopoulou, Aristotle University of Thessaloniki, Heejune Ahn, Seoul National University of Technology Greece Hyukjun Oh, Kwangwoon University Michael Vassilakopoulous, Technological Educational Institute of Chang Oan Sung, Indiana University Thessaloniki, Greece Yannis Manolopoulos, Aristotle University of Thessaloniki, Event-Driven Scheduling for Dynamic Workload Greece Scaling in Uniprocessor Embedded Systems Li-Pin Chang, National Chio-Tung University Schemes for SR-Tree Packing Jayendra Venkateswaran, University of Florida, USA Operating System Multilevel Load Balancing S.R. Subramanya, LG Electronics Mobile Research, USA Avelino Zorzo, PUCRS M. Corrêa, PUCRS Continuous Spatial Queries via Wireless Data Roque Scheer, HP Brazil R&D Broadcast KwangJin Park, Korea University, Korea MoonBae Song, Korea University, Korea 14:00 – 15:30 AMPHI PAUL PARIS Chong-Sun Hwang, Korea University, Korea (IAR-2) Information Access and Retrieval Fabio Crestani, University of Strathclyde, UK Geographical Information Access for Gabriella Pasi, ITC-CNR, Italy Non-Structured Data Julien Lesbegueries, Université de Pau et des Pays de l'Adour, FITE-TRT: A High Quality Translation Technique France for OOV Words Mauro Giao, Université de Pau et des Pays de l'Adour, France Ari Pirkola, University of Tampere Pierre Loustau, Université de Pau et des Pays de l'Adour, France Jarmo Toivonen, Tampere University of Technology Heikki Keskustalo, University of Tampere 14:00 – 15:30 AMPHI ALBERT RECOURA Kalervo Järvelin, University of Tampere

(OE-1) Organizational Engineering Content-based Music Filtering System with José Tribolet, Technical University of Lisbon, Portugal Editable User Profile Robert Winter, University of St. Gallen, Switzerland Yoshinori Hijikata, Osaka University Artur Caetano, Technical University of Lisbon, Portugal Kazuhiro Iwahama, Osaka University Kazuki Takegawa, Osaka University A Contingency View of Organizational Shogo Nishida, Osaka University Infrastructure Requirements Engineering Karl Cox, National ICT Australia A Scalable Algorithm for High-Quality Clustering Steven J. Bleistein, National ICT Australia of Web Snippets Peter Reynolds, Australian Graduate School of Management Marco Pellegrini, IIT-CNR Alan Thorogood, Australian Graduate School of Management Fabrizio Sebastiani, University of Padova Filippo Geraci, CNR Generating Correct EPCs from Configured CEPCs Paolo Pisati, CNR Jan Mendling, Vienna University of Economics Jan Recker, Queensland University of Technology Graph-based Automatic Suggestion of Michael Rosemann, Queensland University of Technology Relationships among Images of Illuminated Wil van der Aalst, Eindhoven University of Technology Manuscripts

Nicola Ferro, University of Padua Supplier Network Management: Evaluating and Maristella Agosti, University of Padua Rating of Strategic Supply Networks Nicola Orio, University of Padua Nikolaus Muessigmann, University of Augsburg Antonia Albani, Delft University of Technology 14:00 – 15:30 AMPHI NICEPHORE NIEPCE Conceptual Process Configurations in Enterprise (SE-2) Software Engineering: Applications, Knowledge Management Systems Practices and Tools Peter Bollen, Maastricht University Stefan Gruner, Swansea Institute, UK Sung Shin, South Dakota State University, USA 14:00 – 15:30 AMPHI MAURICE GERVEY Effects of Changing Requirements: A Tracking (OSAA-1) Operating Systems and Adaptive Mechanism for the Analysis Workflow Applications Subhajit Datta, Florida State University Jiman Hong, Kwangwoon University, Korea Robert van Engelen, Florida State University Tei-Wei Kuo, National Taiwan University, Tawian SEC: A Search Engine for Component Based A Precise Schedulability Test Algorithm for Software Development Scheduling Periodic Tasks in Real-Time Systems Sofien Khemakhem, ISET of Sfax Wan-Chen Lu, National Tsing Hua University Khalil Drira, LAAS-CNRS Jen-Wei Hsieh, National Taiwan University Mohomed Jmaiel, University of Sfax Wei-Kuan Shih, National Tsing Hua University

Final Program Page 6 SAC 2006, April 23 – 27, 2006

Adapting Software Components by Structure The User as Social Actor: a Focus on Systems Fragmentation Development Methodology Enactment Gautier Bastide, Ecole de Mines de Douai Bruce H. Rowlands, Griffith University Abdelhak Seriai, Ecole de Mines de Douai Mourad Oussalah, LINA, université de Nantes Evaluation of Current Architecture Frameworks Susanne Leist, Univeristy of Regensburg Supporting Transparent Model Update in Gregor Zellner, Univeristy of Regensburg Distributed CASE Tool Integration Prawee Sriplakich, Laboratoire d’Informatique de Paris Prioritization of Enterprise Resource Planning Xavier Blanc, Laboratoire d’Informatique de Paris (ERP) Systems Success Measures: Viewpoints of Marie-Pierre Gervais, Laboratoire d’Informatique de Paris Two Organisational Stakeholder Groups Princely Ifinedo, University of Jyvaskyla Nazmun Nahar, University of Jyvaskyla 15:30 – 16:00 HALL OF SCIENCES MIRANDE COFFEE BREAK 16:00 – 17:55 AMPHI MAURICE GEVREY (OSAA-2) Operating Systems and Adaptive 16:00 – 17:55 AMPHI CLAUDE BERNARD Applications Jiman Hong, Kwangwoon University, Korea (MV-1) Multimedia and Visualization Tei-Wei Kuo, National Taiwan University, Tawian Marios C. Angelides, Brunel University, UK Adaptive Page-level Incremental Checkpointing Visual Exploration of Genetic Likelihood Space based on Expected Recovery Time Juw Won Park, The University of Iowa, USA Sangho Yi, Seoul National University James F. Cremer, The University of Iowa, USA Jiman Hong, Kwangwoon University Alberto M. Segre, The University of Iowa, USA Junyoung Heo, Seoul National University Yookun Cho, Seoul National Univ. A Robust Watermarking System based on SVD Compression Design and Implementation of a Kernel Resource Maria Calagna, Universita La Sapienza, Italy Protector for Robustness of Linux Module Huiping Guo, California State University, USA Programming Luigi V. Mancini, Universita La Sapienza, Italy Jongmoo Choi, Dankuk University Sushil Jajodia, Geroge Mason University, USA Seungjae Baek, Dankuk University Sung Y. Shin, South Dakota State University MPEG-7 in Action: End User Experiences with COSMOS-7 Front End Systems Light-weight Service-oriented Grid Application Harry Agius, Brunel University, UK Toolkit Marios C. Angelides, Brunel University, UK Sungju Kwon, Soongsil University Jaeyoung Choi, Soongsil University Boundary Surface Extraction and Rendering for Kumwon Cho, Korea Institute of Science and Technology Volume Datasets Information Shiaofen Fang, Indiana University, USA Pooja Gupta, Indiana University, USA Contentions-Conscious Dynamic but Deterministic Scheduling of Computational and An Evaluation System for News Video Streams Communication Tasks and Blogs Farooq Muhammad, University of Nice Sophia-Anitipolis Diasuke Kitayama, University of Hyogo, Japan Fabrice Muller, University of Nice Sophia-Anitipolis Kazutoshi Sumiya, University of Hyogo, Japan Michel Auquin, University of Nice Sophia-Anitipolis

16:00 – 17:55 AMPHI ALBERT RECOURA 16:00 – 17:55 AMPHI PAUL PARIS (OE-2) Organizational Engineering (AIMS-1) Agents, Interactions, Mobility, and José Tribolet, Technical University of Lisbon, Portugal Systems Robert Winter, University of St. Gallen, Switzerland Marcin Paprzycki, SWPS, Poland Artur Caetano, Technical University of Lisbon, Portugal Strong Agent Mobility for Aglets based on the IBM Towards a Reference Model Management System JikesRVM for Business Engineering Giacomo Cabri, University of Modena and Reggio Emilia Oliver Thomas, German Research Center for Artificial Luca Ferrari, University of Modena and Reggio Emilia Intelligence (DFKI) Letizia Leonardi, University of Modena and Reggio Emilia Masahiro Horiuchi, Aoyama Gakuin University Raffaele Quitadamo, University of Modena and Reggio Emilia Masao Tanaka, Aoyama Gakuin University Implementing Rule-based Mechanisms for Agent- An Evaluation of Conceptual Business Process based Price Negotiations Modelling Languages Costin Bădică, University of Craiova Beate List, Vienna University of Technology Adriana Bădiţă, University of Craiova Birgit Korherr, Vienna University of Technology Maria Ganzha, Elblag University of Humanities and Economics Alin Iordache, University of Craiova Marcin Paprzycki, SWPS

Final Program Page 7 SAC 2006, April 23 – 27, 2006

Management of Unspecified Semi-Structured Data 14:00 – 17:00 HALL OF SCIENCES MIRANDE in Multi-Agent Environment Shlomo Berkovsky, University of Haifa POSTERS SESSION Yaniv Eytani, University of Haifa Mathew Palakal, Indiana University Purdue University, USA Yosi Ben-Asher, University of Haifa (AI-Poster) AI and Computational Logic and A Multi-Agent Algorithm for Vehicle Routing Image Analysis Problem with Time Windows Hon Wai Leong, National University of Singapore Ming Liu, National University of Singapore A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic A Chat Interface for Human-Agent Interaction in Yuichi Goto, Saitama University MAST Jingde Cheng, Saitama University Marco Carvalho, Institute for Human & Machine Cognition Niranjan Suri, IHMC Possibilistic Clustering for Neural Network based James Horsley, Institute for Human & Machine Cognition Breast Cancer Detection in Thermograph Matteo Rebeschini, Institute for Human & Machine Cognition Siu-Yeung Cho, Nanyang Technical University Do Anh Duc, Nanyang Technical University A Distributed Stand-in Agent based Algorithm for Hiok Chai Quek, Nanyang Technical University Opportunistic Resource Allocation Michal Pĕchouček, Gerstner Laboratory, Czech Tech Univ Cooperative Active Contour Model and Its Marco Carvalho, Institute for Human & Machine Cognition Application to Remote Sensing Petr Benda, Gerstner Laboratory, Czech Tech Univ Noriko Matsumoto, Saitama University Pavel Jisl, Gerstner Laboratory, Czech Tech Univ Norihiko Yoshida, Saitama University Niranjan Suri, Institute for Human & Machine Cognition Shuji Narazaki, Nagasaki University

(AIMS-Poster) Agents, Interactions, Mobility, 16:00 – 17:55 AMPHI NICEPHORE NIEPCE and Systems (SE-3) Software Engineering: Applications, Practices and Tools A Space Aware Agent-based Modelling Process Stefan Gruner, Swansea Institute, UK for the Study of Hierarchical Complex Systems Sung Shin, South Dakota State University, USA Christophe Lecerf, Ecole des Mines d'ALES Thi Minh Luan Nguyen, Université Paris 8 et EPHE Supporting Change Request Assignment in Open Ivan Lavallée, Université Paris 8 et EPHE Source Development Gerardo Canfora, University of Sannio From Modeling to Enactment of Distributed Luigi Cerulo, University of Sannio Workflows: An Agent-based Approach Giancarlo Fortino, University of Calabria Modeling and Analyzing Applications with Wilma Russo, University of Calabria DomainSpecific Languages by Reflective Alfredo Garro, University of Calabria Rewriting: a Case Study Bow-Yaw Wang, Academia Sinica (BIO-Poster) Bioinformatics

Automated Generation of Monitors for Pattern A Bayesian Approach for Protein Classification Contracts Luiz Merschmann, Universidade Federal Fluminense Benjamin Tyler, Ohio State University Alexandre Plastino, Universidade Federal Fluminense Jason O. Hallstrom, Clemson University Neelam Soundarajan, Ohio State University A Novel Data Mining Algorithm for Reconstructing Gene Regulatory Networks from Microarray Data A UML 2-compatible language and tool for formal Patrick C.H. Ma, Hong Kong Polytechnic University modeling system architectures Keith C.C. Chan, Hong Kong Polytechnic University Pietro Colombo, Università degli Studi dell’Insubria Matteo Pradella, CNR Istituto di Elettronica e di Ingegneria (CACH-Poster) Computer Applications in dell’Informazione e delle Telecomunicazioni Health Care Matteo Rossi, Politecnico di Milano Giordano Sassaroli, CEFRIEL Development of a Collaborative Environment A New Method of Generating Synchronizable Test Applied to Pediatric Oncology Sequences that Detect Output-shifting Faults André Luiz Miranda da Rosa, Universidade de São Paulo Based on Multiple UIO Sequences Ilana de A. Souza, Universidade de São Paulo Adilson Yuuji Hira, Universidade de São Paulo Kai Chen, University of Science and Technology of China Marcelo Knörich Zuffo, Universidade de São Paulo Fan Jiang, University of Science and Technology of China Chuan-dong Huang, University of Science and Technology of China A New Similarity Measure for Histograms Applied to Content-based Retrieval of Medical Images Joaquim C. Felipe, University of de São Paulo Agma J.M. Traina, University of São Paulo at São Carlos Caetano Traina Jr, University of São Paulo at São Carlos

Final Program Page 8 SAC 2006, April 23 – 27, 2006

(CLAT-Poster) Computer Law and Advanced (DADS-Poster) Dependable and Adaptive Technologies Distributed Systems

Deontic Relevant Logic as the Logical Basis for Distributed Context Management in a Mobility and Legal Information Systems Adaptation Enabling Middleware (MADAM) Jingde Cheng, Saitama University Marius Mikalsen, SINTEF ICT Nearchos Paspallis, University of Cyprus (CSP-Poster) Constraint Solving and Jacqueline Floch, SINTEF ICT Erlend Stav, SINTEF ICT Programming George A. Papadopoulos, University of Cyprus Akis Chimaris, University of Cyprus From Satisfiability to Consistency through Certificates. Application to Partially Defined Analysis of Deployment Dependencies in Software Constraints Components Arnaud Lallouet, University of Orleans Meriem Belguidoum, ENST Bretagne Andrei Legtchenko, University of Orleans Fabien Dagnat, ENST Bretagne

(CM-Poster) Coordination Models, Languages A Framework for (Re)Deploying Components in and Applications Distributed Real-time and Embedded Systems Nishanth Shankaran, Vanderbilt University Towards Chemical Coordination for Grids Jaiganesh Balasubramanian, Vanderbilt University Yann Radenac, IRISA, University of Rennes 1 Douglas Schmidt, Vanderbilt University Pascal Fradet, INRIA Gautam Biswas, Vanderbilt University Jean-Pierre Banâtre, IRISA, University of Rennes 1 P. Lardieri, Lockheed Martin Advanced Technology Labs E. Mulholland, Lockheed Martin Advanced Technology Labs An Abstract Architecture for Semantic Service T. Damiano, Lockheed Martin Advanced Technology Labs Coordination in Agent-based Intelligent Peer-to- Peer Environments (DSGC-Poster) Distributed Systems and Grid Alberto Fernández, University Rey Juan Carlos Computing Sascha Ossowski, University Rey Juan Carlos César Cáceres, Rey Juan Carlos University ALTER: First Step towards Dependable Grids Matteo Vasirani, University Rey Juan Carlos Hai Jin, Huazhong University of Science and Tech. Xuanhua Shi, Huazhong University of Science and Tech. (DTTA-Poster) Database Theory, Technology, Weizhong Qiang, Huazhong University of Science and Tech.

and Applications A Black-Box Approach for Web Application SLA Noël De Palma, INRIA Rhone-Alpes - SARDES project A Memory Subsystem with Comparator Arrays for Jeremy Philippe, INRIA Main Memory Database Operations Sara Bouchenak, Joseph Fourier University Jun Miyazaki, Graduate School of Information Science, Japan Fabienne Boyer, Joseph Fourier University Daniel Hagimont, INRIA Stochastic Study of Real-Time Transactions Success Ratio (DE-Poster) Document Engineering Samy Semghouni, University of Le Harve, Lebon Bruno Sadeg, University of Le Harve, Lebon Evaluation of a Language Identification System for Laurent Amanton, University of Le Harve, Lebon Mono- and Multilingual Text Documents Alexandre Berred, University of Le Harve, Lebon Olga Artemenko, University of Hildesheim, Germany Thomas Mandl, Univeristy of Hildesheim, Germany An Accuracy-Aware Compression Technique for Christa Womser-Hacker, University of Hildesheim, Germany Multidimensional Data Cubes Alfred Cuzzocrea, University of Calabria, Italy Finding Optimal Linear Measures for Feature Selection in Text Categorization (DM-Poster) Data Mining Elena Montañés, University of Oviedo, Spain E.F. Combarro, University f Oviedo, Spain Semi-Supervised Outlier Detection José Ranilla, University of Oviedo, Spain Jing Gao, Michigan State University Haibin Cheng, Michigan State University Comparisons of File Formats for Image Pang-Ning Tan, Michigan State University Transmission through Networks Rafael Dueire Lins, Universidade Federal de Pernambuco, Brazil CLUC: A Natural Clustering Algorithm for Charlana Rodrigues, Siemens Communications, Brazil Categorical Datasets based on Cohesion Nematollaah Shiri, Concordia University (ECT-Poster) Electronic Commerce Aida Nemalhabib, Concordia University Technologies

Bias-free Hypothesis Evaluation in Multirelational Dominance and Ranking Issues Applying Interval Domains Techniques in Pre-Negotiations for Services Stefan Wrobel, Fraunhofer AIS & Univ. Bonn Petco Tsvetinov, Queensland University of Technology Christine Körner, Fraunhofer AIS Alan Underwood, Queensland University of Technology Tiazan Chan, Queensland University of Technology

Final Program Page 9 SAC 2006, April 23 – 27, 2006

(EMBS-Poster) Embedded Systems: Architectural Issues for a Location-aware Role- Applications, Solutions and Techniques based Access Control System Maria Luisa Damiani, University of Milan On Bounding Energy Consumption in Dynamic, Elisa Bertino, Purdue University Real-Time Embedded Systems Haisang Wu, Juniper Networks, Inc. (MT-Poster) Model Transformation Binoy Ravindran, Virginia Tech E. Douglas Jensen, The MITRE Corporation An Action Semantics for MOF 2.0 Richard F. Paige, University of York File System Framework for Managing & Dimitrios S. Kolovos, University of York Programming Sensor Networks Fiona A.C. Polack, University of York Bhanu Pisupati, Indiana University Geoffrey Brown, Indiana University Towards a Model-Driven Join Point Model Antonio Cicchetti, Università degli Studi dell'Aquila Preliminary Performance Evaluation of an Alfonso Pierantonio, Università degli Studi dell'Aquila Adaptive Dynamic Extensible Processor for Walter Cazzola, University of Milano Embedded Applications Hamid Noori, Kyushu University xEAI-Rules: Executable Models to Simulate Kazuaki Murakami, Kyushu University Enterprise Application Cooperation Nicolás López, University of Los Andes (ECO-Poster) Evolutionary Computation and Rubby Casallas, University of Los Andes Optimization Milena Vela, University of Los Andes Catalina Acero, University of Los Andes The Effects of Two Replacement Strategies on a Genetic Algorithm for Scheduling Jobs on (MV-Poster) Multimedia and Visualization Computational Grids Fatos Xhafa, Polytechnic University of Catalonia Comparing Images with Distance Functions based Bernat Duran, Polytechnic University of Catalonia on Attribute Interaction Joaquim C. Felipe, University of Sao Paulo, Brazil (IAR-Poster) Information Access and Retrieval Paulo M.A. Marquez, University of Sao Paulo, Brazil André G.R. Balan, University of Sao Paulo, Brazil An Evaluation of Resource Description Quality Caetano Traina Jr, University of Sao Paulo, Brazil Measures Agma J.M. Traina, University of Sao Paulo, Brazil

Mark Baillie, University of Strathclyde Leif Azzopardi, University of Amsterdam Video Summarization by k-medoid Clustering Fabio Crestani, University of Strathclyde Youssef Hadi University of Mohamed, Morocco Fedwa Essannouni, University of Mohamed, Morocco MonA - An Extensible Framework for Web Rachid Oulad Haj Thami, University of Mohamed, Morocco Document Monitoring David Kensche, RWTH Aachen University (OOPS-Poster) Object-Oriented Programming Christian Seeling, Fraunhofer-FIT Languages and Systems Andreas Becks, Fraunhofer Gesellschaft On Using OO Techniques to Establish Workflow XML retrieval: What about using Contextual Conformance Relevance? Umesh Bellur, IIT Bombay, Powai Karen Sauvagnat, IRIT-SIG Lobna Hlaoua, IRIT-SIG (OSAA-Poster) Operating Systems and Mohand Boughanem, IRIT Adaptive Applications Recommendation-based Browsing Assistance for Corporate Knowledge Portals The Overhead Model of Word-level and Page-level Sergiu Gordea, University Klagenfurt Incremental Checkpointing Markus Zanker, University Klagenfurt Gwangil Jeon, Korea Polytechnic University Haklin Kimm, University of Pennsylvania Study of the Usefulness of Known and New Junyoung Heo, Seoul National University Implicit Indicators and Their Optimal Combination for Accurate Inference of Users Interests (OE-Poster) Organizational Engineering Bracha Shapira, Ben-Gurion University Meirav Taieb-Maimon, Ben-Gurion University Reference Modeling and Method Construction - A Anny Moskowitz, Ben-Gurion University Design Science Perspective Robert Winter, University of St. Gallen (MCA-Poster) Mobile Computing and Joachim Schelp, University of St. Gallen Applications Morphogenetic Constraint-Satisfaction Based Combining Speech and Pen Input for Effective Approach for Organizational Engineering Interaction in Mobile Geospatial Environments Doji Lokku, Tata Consultancy Services Kesav V. Nori, Tata Consultancy Services Julie Doyle, University College Dublin

Michela Bertolotto, University College Dublin

Final Program Page 10 SAC 2006, April 23 – 27, 2006

Modeling Organizational Actors and Business (SE-Poster) Software Engineering: Processes Applications, Practices and Tools Artur Caetano, Technical University of Lisbon Jose, Tribolet, Technical University of Lisbon On Contracting Different Behavioral Properties in Component-Based Systems Evaluation Measures for Business Process Philippe Collet, University of Nice - Sophia Models Alain Ozanne, France Telecom R&D Division Elvira Rolón Aguilar, University of Castilla-La Mancha Nicolas Rivierre, France Telecom R&D Division Francisco Ruiz, University of Castilla-La Mancha Félix Garcia, University of Castilla-La Mancha Verification of a Scheduler in B through a Timed Mario Piattini, University of Castilla-La Mancha Automata Specification

Odile Nasr, Paul Sabatier University (PSC-Poster) Programming for Separation of JeanPaul Bodeveix, Paul Sabatier University Concerns Mamoun Filali, Paul Sabatier University Miloud Rached, Paul Sabatier University Graphical Modelling For Aspect Oriented SA Elena Navarro, Universidad de Castilla-La Mancha A Security Specification Verification Technique Jennifer Pérez, Universidad Politécnica de Valencia Based on the International Standard ISO/IEC Patricio Letelier, Universidad Politécnica de Valencia 15408 Isidro Ramos, Universidad Politécnica de Valencia Shoichi Morimoto, Saitama University Shinjiro Shigematsu, Saitama University A Semantic Model for Safe Protocol Interaction Yuichi Goto, Saitama University Sebastian Gutierrez-Nolasco, University of California, Irvine Jingde Cheng, Saitama University Carolyn Talcott, SRI International (SV-Poster) Software Verification (PL-Poster) Programming Languages Symmetry in Event Structures Supporting Transparent Evolution of Component Jianmin Jiang, Chinese Academy of Sciences Interfaces Jinzhao Wu, Chinese Academy of Sciences Ulrik P. Schultz, University of Southern Denmark Donghuo Chen, Chinese Academy of Sciences Emanuela P. Lins, University of Aarhus ARCATS - A Scalable Compositional Analysis Tool A Deterministic Technique for Extracting Keyword Suite based Grammar Rules from Programs Yung-Pin Cheng, National Taiwan Normal Univ. Alpana Dubey, Indian Institute of Technology, Kanpur Hong-Yi Wang, National Taiwan Normal Univ. Pankaj Jalote, Indian Institute of Technology, Kanpur Yu-Ru Chen, National Taiwan Normal Univ. Sanjeev Kumar Aggarwal, Indian Institute of Technology, Kanpur (TRECK-Poster) Trust, Recommendations, (RAC-Poster) Reliable Computations and their Evidence, and other Collaborative Know-how Applications Trust-Decisions on the Base of Maximal Inner Approximation of Distance Constraints with Information of Recommended Direct-Trust Existential Quantification of Parameters Uwe Roth, University of Luxembourg Carlos Grandon, INRIA, projet COPRIN Volker Fusenig, University of Luxembourg Alexandre Goldsztejn, University of Nice-Sophia Antipolis (UC-Poster) Ubiquitous Computing (RDRC-Poster) Semantic-Based Resource Discovery, Retrieval and Composition Methods and Guidelines for the Design and Development of Domestic Ubiquitous Computing Dynamic Service Discovery and Mediation in the Applications Insurance Industry Lucia Terrenghi, LMU University of Munich John Gilman, Webify Solutions Albrecht Schmidt, LMU University of Munich

Hybrid Ontology-based Matchmaking for Service Discovery 19:00 – 21:00 Michele Melchiori, Universita' di Brescia Valeria De Antonellis, University of Brescia RECEPTION AT MUNICIPALITY OF DIJON Devis Bianchini, Univ. Of Brescia Denise Salvi, University of Brescia SALLE DE FLORE

A Framework for Content-Based Image Retrieval (DEPART AT 18:15) Fully Exploiting the Semantics of Annotation Eugenio Di Sciascio, Politecnico Di Bari Tommaso Di Noia, Politecnico Di Bari Francesco M. Donini, Universita della Tuscia

Final Program Page 11 SAC 2006, April 23 – 27, 2006

08:30 – 10:00 AMPHI MAURICE GEVREY TUESDAY APRIL 25, 2006 (MCA-1) Mobile Computing and Applications Hong Va Leong, Hong Kong Polytechnic University, China 08:00 – 18:00 SALLE DU CONSEIL Alvin Chan, Hong Kong Polytechnic University, China

REGISTRATION How to Reuse Exisiting Interactive Applications in Ubiquitous Computing Environments? Tatsuo Nakajima, Waseda University 08:30 – 10:00 AMPHI CLAUDE BERNARD (BIO-1) Bioinformatics Design and Implementation of A Context-Aware Mathew J. Palakal, Indiana University Purdue University, USA Decision Algorithm for Heterogeneous Networks Tansir Ahmed, BenQ Mobile William Perrizo, North Dakota State University, USA Kyandoghere Kyamakya, Universität Klagenfurt

Markus Ludwig, BenQ Mobile A Constraint Logic Programming Approach to 3D Structure Determination of Large Protein A Benchmark on SOAP's Transport Protocols Complexes Performance For Mobile Applications Enrico Pontelli, New Mexico State University Khoi Anh Phan, RMIT University Alessandro Dal Palu', University of Udine Zahir Tari, RMIT University Jing He, New Mexico State University Peter Bertok, RMIT University Yongang Lu, New Mexico State University

A Time-Dependent Extension of Gillespie 08:30 – 10:00 AMPHI PAUL PARIS Algorithm for Biochemical Stochastic π-calculus (CF-1) Computer Forensics Paola Lecca, University of Trento – Italy Judie Mulholland, Florida State University, USA

Two-phase Clustering Strategy for Gene The Advent of Trusted Computing: Implications Expression Data Sets for Digital Forensics Dirk Habich, Dresden University of Technology Judie Mulholland, FSU / Florida Cybersecurity Institute Thomas Wächter, Dresden University of Technology Mike Burmester, Florida State University Wolfgang Lehner, Dresden University of Technology

Christian Pilarsky, Dresden University of Technology Investigating 'Internet Crimes Against Children' Efficient Discovery of Loosely Structured Motifs in (ICAC) Cases in the State of Florida Biological Data Judie Mulholland, FSU / Florida Cybersecurity Institute Bob Breeden, Florida Department of Law Enforcement Giorgio Terracina, Universita' della Calabria

Fabio Fassetti, Universita' della Calabria Gianluigi Greco, Universita' della Calabria Automated Recognition of Event Scenarios for Digital Forensics George Mohay, Queensland University of Technology 08:30 – 10:00 AMPHI ALBERT RECOURA Jonathon Abbott, Queensland University of Technology Jim Bell, Defence Science and Technology Organisat (RDRC-1) Semantic-Based Resource Andrew Clark, Queenland University of Technology Discovery, Retrieval and Composition Olivier De Vel, Defence Science and Technology Organisat Eugenio Di Sciascio, SinsInfLab Politecnico di Bari, Italy Francesco M. Donini, Universita' di Viterbo, Italy Identification of Parameters and Restoration of Tommaso Di Noia, SinsInfLab Politecnico di Bari, Italy Motion Blurred Images

Karm Veer Arya, I.I.T. Kanpur Web Service Selection Mechanisms in the Web Ravindra Lokhande, I.I.T.Kanpur Service Execution Environment (WSMX) Phalguni Gupta, I.I.T.Kanpur Mick Kerrigan, Digital Enterprise Research Institute

Efficient Query Routing for Information Retrieval 08:30 – 10:00 AMPHI NICEPHORE NIEPCE in Semantic Overlays (SV-1) Software Verification Hai Jin, Huazhong University of Science and Tech. Fausto Spoto, University of Verona, Italy Xiaomin Ning, Huazhong University of Science and Tech. Hanhua Chen, Huazhong University of Science and Tech. A UML Model Consistency Verification Approach Zuoning Yin, Huazhong University of Science and Tech. Based on Meta-modeling Formalization

Hugues Malgouyres, LESIA/INSA Toulouse An Approach for Identifying Attribute Gilles Motet, LESIA/INSA Toulouse Correspondences in Multilingual Schemas Hongding Wang, Peking University Modere: The Model-checking Engine of Rebeca Shiwei Tang, Peking University Mohammad Mahdi Jaghoori, Sharif University of Technology Yunhai Tong, Peking University Ali Movaghar, Sharif University of Technology and IPM Dongqing Yang, Peking University Marjan Sirjani, University of Tehran and IPM

Trading Services in Ontology-driven Markets Enhancing Program Verifications by Restricting Steffen Lamparter, University of Karlsruhe Object Types Björn Schnizler, University of Karlsruhe Cong-Cong Xing, Nicholls State University

Final Program Page 12 SAC 2006, April 23 – 27, 2006

Abstract Non-Interference in a Fragment of Java Semantic-Based Information Retrieval of Bytecode Biomedical Data Damiano Zanardini, Universita' di Verona Ali R. Hurson, The Pennsylvania State University Peng Yan, The Pennsylvania State University Yu Jiao, Oak Ridge National Laboratory 10:00 – 10:30 HALL OF SCIENCES MIRANDE Thomas E. Potok, Oak Ridge National Laboratory

COFFEE BREAK 10:30 – 12:00 AMPHI MAURICE GEVREY 10:30 – 12:00 AMPHI CLAUDE BERNARD (MCA-2) Mobile Computing and Applications Hong Va Leong, Hong Kong Polytechnic University, China (BIO-2) Bioinformatics Alvin Chan, Hong Kong Polytechnic University, China Mathew J. Palakal, Indiana University Purdue University, USA William Perrizo, North Dakota State University, USA Handheld Devices for Cooperative Educational Activities PackageBLAST: An Adaptive Multi-Policy Grid Marco Sá, Faculty of Sciences Univeristy of Lisbon Service for Biological Sequence Comparison Luís Carriço, Faculty of Sciences, University of Lisbon Marcelo Sousa, University of Brasilia Alba Cristina M.A. Melo, University of Brasilia A Spatiotemporal Uncertainty Model of Degree 1.5 for Continuously Changing Data Objects Protein Classification Using Transductive Byunggu Yu, University of Wyoming Learning on Phylogenetic Profiles Li Liao, University of Delaware Distributed IPv6 Addressing Technique for Mobile Roger Craig, University of Delaware Ad-hoc Networks Dongkeun Lee, Konkuk Unversity MACE: Lossless Compression and Analysis of Keecheon Kim, Konkuk Unversity Microarray Images Jaepil Yoo, Konkuk Unversity Robert Bierman, San Francisco State University Hyunsik Kang, Konkuk Unversity Charles Parsons, University of Vermont Kyunglim Kang, Samsung Advanced Institute of Technology Rahul Singh, San Francisco State University Nidhi Maniyar, San Francisco State University Statistical Buffering for Streaming Media Data Access in a Mobile Environment An Integrated Computational Proteomics Method Qing Li, City Univ. of Hong Kong to Extract Protein Targets for Fanconi Anemia Jian Zhai, City Univ. of Hong Kong Studies Xiang Li, City Univ. of Hong Kong Jake Yue Chen, IUPUI Mu Wang, Indiana University Changyu Shen, Indiana University 10:30 – 12:00 AMPHI PAUL PARIS Sarah L. Pinkerton, Indiana University (IAR-3) Information Access and Retrieval Fabio Crestani, University of Strathclyde, UK 10:30 – 12:00 AMPHI ALBERT RECOURA Gabriella Pasi, ITC-CNR, Italy

(RDRC-2) Semantic-Based Resource Investigating the Use of Summarisation for Discovery, Retrieval and Composition Interactive XML Retrieval Eugenio Di Sciascio, SinsInfLab Politecnico di Bari, Italy Zoltán Szlávik, Queen Mary University of London Francesco M. Donini, Universita' di Viterbo, Italy Anastasios Tombros, Queen Mary University of London Tommaso Di Noia, SinsInfLab Politecnico di Bari, Italy Mounia Lalmas, Queen Mary University of London

Imprecise RDQL: Towards Generic Retrieval in Email Classification for Automated Service Ontologies Using Similarity Joins Handling Christoph Kiefer, University of Zurich Dan Smith, University of East Anglia Abraham Bernstein, University of Zurich Ross Tailby, Antech Engineering Ltd Richard Dean, Antech Engineering Ltd X-ARM: An Asset Representation Model for Ben Milner, University of East Anglia Component Repository Systems Michael Schuenck, Federal University of Paraíba Automatic Structured Query Transformation Over Yuri Feitosa Negócio, Federal University of Paraíba Distributed Digital Libraries Sindolfo Miranda Filho, Federal University of Paraíba M. Elena Renda, IIT - CNR Jorge Dias Jr., Federal University of Paraíba Umberto Straccia, ISTI – CNR Glédson Elias, Federal University of Paraíba Relevance Feedback Methods for Logo and A Dissimilarity Measure for ALC Concept Trademark Image Retrieval on the Web Descriptions Euripides G.M. Petrakis, Technical University of Crete (TUC) Nicola Fanizzi, Universití degli studi di Bari Evangelos E. Milios, Dalhousie University Claudia d'Amato, University of Bari Klaydios Kontis, Technical University of Crete (TUC) Floriana Esposito, University of Bari Epimenidis Voutsakis, Technical University of Crete (TUC)

Final Program Page 13 SAC 2006, April 23 – 27, 2006

10:30 – 12:00 AMPHI NICEPHORE NIEPCE Noxes: A Client-Side Solution for Mitigating Cross-Site Scripting Attacks (SV-2) Software Verification Engin Kirda, Technical University of Vienna Lunjin Lu, Oakland University, USA Christopher Kruegel, Technical University of Vienna Nenad Jovanovic, Technical University of Vienna Static Analysis of Time Bounded Reactive Giovanni Vigna, UCSB Properties of Boolean Symbols Guillaume Capron, Ecole Polytechnique Lost in Just the Translation Ryan Stutsman, Purdue University Java Bytecode Specification and Verification Mikhail Atallah, Purdue University Mariela Pavlova, INRIA Christian Grothoff, UCLA Lilian Burdy, INRIA Krista Grothoff, Purdue University

Transformation of B Specifications into UML Class To Infinity and Beyond or, Avoiding the Infinite in Diagrams and State Machines Security Protocol Analysis Stephan Merz, LORIA James Heather, University of Surrey Houda Fekih, Université de Tunis El Manar Steve Schneider, University of Surrey Leila Jemni Ben Ayed, Université de Tunis El Manar

14:00 – 15:30 AMPHI MAURICE GEVREY The Meta-Object Facility Typed Iman Poernomo, King's College London (MCA-3) Mobile Computing and Applications Hong Va Leong, Hong Kong Polytechnic University, China Alvin Chan, Hong Kong Polytechnic University, China 12:00 – 14:00 RESTAURANT MONTMUZARD An Adaptive Energy Efficient Cache Invalidation LUNCH BREAK Scheme for Mobile Databases Alok Madhukar, University of Calgary Reda Alhajj, University of Calgary and Global University 14:00 – 15:30 AMPHI CLAUDE BERNARD (BIO-3) Bioinformatics A Content Classification and Filtering Server for Mathew J. Palakal, Indiana University Purdue University, USA the Internet William Perrizo, North Dakota State University, USA Marcos Forte, Santo André Foundation Wanderley Lopes de Souza, Federal University of São Carlos BioChain: Lexical Chaining Methods for Antonio Francisco do Prado, Federal University of São Carlos Biomedical Text Summarization Lawrence Reeve, Drexel University Semantically Enhanced Enforcement of Mobile Ari D. Brooks, Drexel University College of Medicine Consumer's Privacy Preferences Hyoil Han, Drexel University Mahmoud Youssef, Arab Academy for Science and Technology Nabil R. Adam, Rutgers University Mining and Analyzing the Topological Structure of Vijayalakshmi Atluri, Rutgers University

Protein-Protein Interaction Networks Scheduling Dependent Items in Data Broadcasting Daniel Duanqing Wu, Drexel University Xiaohua Hu, Drexel University Environments Hao-PIng Hung, National Taiwan University Innovative Computational Methods for Jen-Wei Huang, National Taiwan University Jiun-Long Huang, Nationa Chiao Tung University Transcriptomic Data Analysis Ming-Syan Chen, National Taiwan University Michael A. Langston, University of Tennessee Andy D. Perkins, University of Tennessee Arnold M. Saxton, University of Tennessee 14:00 – 15:30 AMPHI PAUL PARIS Jon A. Scharff, University of Tennessee Brynn H. Voy, Oak Ridge National Laboratory (IAR-4) Information Access and Retrieval Fabio Crestani, University of Strathclyde, UK Gabriella Pasi, ITC-CNR, Italy An Extension of Dead End Elimination for Protein Side-Chain Conformation using Merge-Decoupling An Innovative Approach to Intelligent Information Hon Wai Leong, National University of Singapore Filtering Ket Fah Chong, National University of Singapore Randa Kassab, LORIA - INRIA Lorraine

Jean-Charles Lamirel, LORIA 14:00 – 15:30 AMPHI ALBERT RECOURA Template Detection for Large Scale Search (SEC-1) Computer Security Engines Giampaolo Bella, Universita' di Catania, Italy Liang Chen, NGN Lab Shaozhi Ye, Univerisity of California, Davis An Initial Analysis and Presentation of Malware Xing Li, Tsinghua University Exhibiting Swarm-Like Behavior Fernando C. Colón Osorio, Wireless System Security Research Undue Influence: Eliminating the Impact of Link Lab Plagiarism on Web Search Rankings Zachi Kloppman, Worcester Polytechnic Institute Baoning Wu, Lehigh Univ Brian D. Davison, Lehigh Univ.

Final Program Page 14 SAC 2006, April 23 – 27, 2006

Exploiting Partial Decision Trees for Feature Efficient Target Search with Relevance Feedback Subset Selection in e-Mail Categorization for Large CBIR Systems Helmut Berger, EC3 Danzhou Liu, University of Central Florida, USA Dieter Merkl, Technische Universität Wien Kien A. Hua, University of Central Florida, USA Michael Dittenbach, EC3 Khanh Vu, University of Central Florida, USA Ning Yu, University of Central Florida, USA

14:00 – 15:30 AMPHI NICEPHORE NIEPCE 16:00 – 17:55 AMPHI ALBERT RECOURA (PL-1) Programming Languages Marjan Mernik, University of Maribor, Slovenia (SEC-2) Computer Security Peter Y.A. Ryan, University of Newcastle upon Tyne, UK Challenges in the Compilation of a Domain Specific Language for Dynamic Programming SF-HME System: A Hierarchical Mixtures-of- Peter Steffen, Bielefeld University Experts Classification System for Spam Filtering Robert Giegerich, Bielefeld University Stefanos Gritzalis, University of the Aegean Petros Belsis, University of the Aegean Implementing an Embedded GPU Language by Kostas Fragkos, NTUA Combining Translation and Generation Christos Skourlas, TEI of Athens Calle Lejdfors, Lund University Lennart Ohlsson, Lund University An Anomaly-driven Reverse Proxy for Web Applications KALA: Kernel Aspect Language for Advanced Giovanni Vigna, UCSB transactions Christopher Kruegel, Technical University of Vienna Johan Fabry, Vrije Universiteit Brussel Engin Kirda, TU Vienna Theo D'Hondt, Vrije Universiteit Brussel Fredrik Valeur, UCSB

Efficient First-Class Generics on Stock Java Bootstrapping Multi-Party Ad-Hoc Security Michael Goldsmith, Formal Systems (Europe) Ltd Virtual Machines A. W. Roscoe, Oxford University Robert Cartwright, Rice University Ming Xiao, Oxford University James Sasitorn, Rice University Sadie Creese, QinetiQ

15:30 – 16:00 HALL OF SCIENCES MIRANDE Extending Noninterference Properties to the Timed World COFFEE BREAK A.W. Roscoe, Oxford University Huang Jian, Oxford University

16:00 – 17:55 AMPHI CLAUDE BERNARD Improving Address Space Randomization with a Dynamic Offset Randomization Technique (MV-2) Multimedia and Visualization Haizhi Xu, Syracuse University Virginie Sans, University of Cergy Pontoise, France Steve J. Chapin, Syracuse University

Hierarchical organization of a set of Gaussian mixture speaker models for scaling up indexing 16:00 – 17:55 AMPHI MAURICE GEVREY and retrieval in audio documents (RCA-1) Reliable Computations and their J.E. Rougui, Mohammed V University, Morocco M. Rziza, Mohammed V University, Morocco Applications D. Aboutajdine, Mohammed V University, Morocco Martine Ceberio, University of Texas at El Paso, USA M. Gelgon, I’universite de Nantes, France Vladik Kreinovich, University of Texas at El Paso, USA J. Martinez, I’universite de Nantes, France Michael Rueher, Universite de Nice ESSI, France

On the Numerical Solution to Linear Problems Dynamic Context Adaptation in Multimedia using Stochastic Arithmetic Documents Rene Alt, Univ. Pierre et Marie Curie Paola Bertolotti, Universita di Torino, Italy Svetoslav Markov, Institute for Mathematics & Informatics Ombretta Gaggi, Universita Ca’ Foscari, Italy Jean-Luc Lamotte, Univ. Pierre et Marie Curie Maria Luisa Sapino, Universita di Torino, Italy Quantum Versions of k-CSP Algorithms: a First Dynamic Consistency Checking for Temporal and Step Towards Quantum Algorithms for Interval- Spatial Relations in Multimedia Presentations Related Constraint Satisfaction Problems Susan Elias, Sri Venkateswara College of Engineering, India Vladik Kreinovich, University of Texas at El Paso K.S. Easwarakumar, Anna University, India Evgeny Dantsin, Roosevelt University Richard Chbeir, Bourgogne University, France Alexander Wolpert, Roosevelt University

Navigating with Inheritance in Hypermedia Interval-Based Robust Statistical Techniques for Presentations Non-Negative Convex Functions, with Application Virginie Sans, University of Cergy Pontoise, France to Timing Analysis of Computer Chips Dominique Laurent, University of Cergy Pontoise, France Martine Ceberio, The University of Texas at El Paso Michael Orshansky, University of Texas at Austin Gang Xiang, University of Texas at El Paso Wei-Shen Wang, University of Texas at Austin

Final Program Page 15 SAC 2006, April 23 – 27, 2006

A Branch and Prune Algorithm for the A-Brain: The Multiple Problem Solver Approximation of Non-linear AE-solution Sets Mihai Oltean, Babes-Bolyai Univ. Alexandre Goldsztejn, University of Nice-Sophia Antipolis

Pseudozero Set of Interval Polynomials 18:00 – 19:00 AMPHI CLAUDE BERNARD Philippe Langlois, University of Perpignan SIGAPP ANNUAL BUSINESS MEETING Stef Graillat, University of Perpignan

16:00 – 17:55 AMPHI PAUL PARIS (CM-1) Coordination Models, Languages and WEDNESDAY APRIL 26, 2006 Applications Allesandro Ricci, Universita di Bologna, Italy Ronaldo Menezes, Florida Institute of Technology, USA 08:00 – 18:00 SALLE DU CONSEIL

A Coordination Model for the Semantic Web REGISTRATION Robert Tolksdorf, Freie Universität Berlin

Elena Paslaru Bontas, Freie Universität Berlin Lyndon J.B. Nixon, Freie Universität Berlin 08:00 – 08:30 AMPHI CLAUDE BERNARD

Defining Coordination in Multi-Agent Systems OPENING REMARKS within an Agent Oriented Software Engineering Methodology Jorge Gómez-Sanz, Universidad Complutense de Madrid 08:30 – 10:00 AMPHI CLAUDE BERNARD Juan Pavón, Universidad Complutense Madrid KEYNOTE ADDRESS BTS: A Byzantine Fault-Tolerant Tuple Space Advanced Program Development Alysson Neves Bessani, Universidade Federal de Santa Catarina Joni da Silva Fraga, Universidade Federal de Santa Catarina using Abstract Interpretation Lau Cheuk Lung, PUC-PR Dr. Manuel Hermenegildo Technical University of Madrid and University of Making Tuple Spaces Physical with RFID Tags New Mexico Marco Mamei, Unviersità di Modena e Reggio Emilia Renzo Quaglieri, Università di Modena e Reggio Emilia (See Abstract Above) Franco Zambonelli, Università di Modena e Reggio Emilia 10:00 – 10:30 HALL OF SCIENCES MIRANDE The Fading Concept in Tuple-Space Systems Ronaldo Menezes, Florida Tech. COFFEE BREAK Alan Wood, University of York

10:30 – 12:00 AMPHI CLAUDE BERNARD 16:00 – 17:55 AMPHI NICEPHORE NIEPCE (DM-1) Data Mining (ECO-1) Evolutionary Computation and Rosa Meo, Universita' di Torino, Italy Optimization Bryant A. Justrom, St. Cloud State University, USA A Probability Analysis for Candidate-Based Frequent Item-Set Algorithms Adaptive Mutation with Fitness and Allele Nele Dexters, University of Antwerp Distribution Correlation for Genetic Algorithms Dirk Van Gucht, Indiana University Shengxiang Yang, University of Leicester Paul Purdom, Indiana University Şima Uyar, Istanbul Technical University Associative Text Categorization Exploiting Analysis of an Evolutionary Algorithm with Negated Words HyperMacromutation and Stop at First Paolo Garza, Politecnico di Torino Constructive Mutation Heuristic for Solving Trap Elena Baralis, Politecnico di Torino Functions Vincenzo Cutello, University of Catania SMART-TV: A Fast and Scalable Nearest Neighbor Giuseppe Nicosia, University of Catania Based Classifier for Data Mining Pietro Simone Oliveto, University of Catania Taufik Abidin, North Dakota State University William Perrizo, North Dakota State University Real Coded Clonal Selection Algorithm for Unconstrained Global Optimization using a Hybrid Embedded Predictive Modeling in a Parallel Inversely Proportional Hypermutation Operator Relational Database Vincenzo Cutello, University of Catania R. Natarajan, IBM T. J. Watson Research Center Giuseppe Nicosia, University of Catania A. Dorneich, IBM Software Group Mario Pavone, University of Catania E. Pednault, IBM T. J. Watson Research Center Giuseppe Narzisi, University of Catania F. Tiup, IBM T. J. Watson Research Center

Final Program Page 16 SAC 2006, April 23 – 27, 2006

10:30 – 12:00 AMPHI ALBERT RECOURA A Constraint Solver for Sequences and its Applications (EMBS-1) Embedded Systems: Applications, Nikolai Kosmatov, INRIA Lorraine Solutions and Techniques Sandro Bartolini, University of Siena, Italy Efficient Interactive Configuration of Unbounded Modular Systems Data Sharing Protocols for SMT Processors Erik Roland van der Meer, IT University of Copenhagen Shi-Wu Lo, National Chung Cheng University Andrzej Wasowski, IT University of Copenhagen Henrik Reif Andersen, IT University of Copenhagen Efficient Initialization and Crash Recovery for Log- based File Systems over Flash Memory Chin-Hsien Wu, National Taiwan University 10:30 – 12:00 AMPHI NICEPHORE NIEPCE Tei-Wei Kuo, National Taiwan University (DS-1) Data Streams Li-Pin Chang, National Chio-Tung University Jesus S. Aguilar-Ruiz, Pablo de Olavide University, Spain A Domain-Specific Language for Multi-task Francisco J. Ferrer-Troyano, University of Seville, Spain

Systems, Applying Discrete Controller Synthesis Gwenaël Delaval, INRIA Rhône-Alpes Evaluating the Intrinsic Dimension of Evolving Ëric Rutten, INRIA Futurs/LIFL Data Streams Elaine P.M. de Sousa, University of São Paulo at São Carlos Selective Compilation via Fast Code Analysis and Agma J.M. Traina, University of São Paulo at São Carlos Bytecode Tracing Caetano Traina Jr., University of São Paulo at São Carlos Giovanni Agosta, Politecnico di Milano Christos Faloutsos, Carnegie Mellon University Stefano Crespi Reghizzi, Politecnico di Milano Paolo Palumbo, Politecnico di Milano A Framework for Resource-aware Knowledge Martino Sykora, Politecnico di Milano Discovery in Data Streams: A Holistic Approach with Its Application to Clustering Mohamed Medhat Gaber, Caulfield School of Information 10:30 – 12:00 AMPHI MAURICE GEVREY Technology (OOPS-1) Object-Oriented Programming Philip S. Yu, IBM T.J. Watson Research Center

Languages and Systems Data Streams Classification by Incremental Rule Umesh Bellur, IIT Bombay Powai, India Learning with Parameterized Generalization Decoupling Classes with Inferred Interfaces Francisco Ferrer-Troyano, University of Seville, Spain Friedrich Steimann, Fernuniversität in Hagen Jesus Aguilar-Ruiz, Pablo de Olavide University, Spain Philip Mayer, Fernuniversität in Hagen Jose C. Riquelme, University of Seville, Spain Andreas Meißner, IBM Ottawa Lab Discretization from Data Streams: Applications to The Social Network of Java Classes Histograms and Data Mining Diego Puppin, ISTI-CNR João Gama, LIACC Fabrizio Silvestri, ISTI-CNR Carlos Pinto, LIACC

powerJava: Ontologically Founded Roles in 12:00 – 14:00 RESTAURANT MONTMUZARD Object Oriented Programming Languages Matteo Baldoni, Università di Torino LUNCH BREAK Guido Boella, Università di Torino Leendert van der Torre, CWI

14:00 – 15:30 AMPHI CLAUDE BERNARD Escape Analysis for Synchronization Removal Lei Wang, Beijing University (DM-2) Data Mining Xikun Sun, Beijing University Hasan M. Jamil, Wayne State University, USA Rosa Meo, Universita' di Torino, Italy Gill Dobbie, University of Auckland, New Zealand 10:30 – 12:00 AMPHI PAUL PARIS (CSP-1) Constraint Solving and Programming Semantic Analysis of Web Site Audience Stefano Bistarelli, Univ. degli studi "G. D'Annunzio" di Chieti- Jean-Pierre Norguet, ULB Pescara, Italy Esteban Zimányi, ULB Eric Monfroy, University of Nantes, France Ralf Steinberger, JRC Barry O'Sullivan University College Cork, Ireland Induction of Compact Decision Trees for A new Local Consistency for Weighted CSP Personalized Recommendation Dedicated to Long Domains Daniel Nikovski, MERL Matthias Zytnicki, INRA Veselin Kulev, MIT Christine Gaspin, INRA Thomas Schiex, INRA Effective Rule Induction from Labeled Graphs Tamás Horváth,, Fraunhofer Institute AIS Enforcing Path Uniqueness in Internet Routing Stefan Wrobel, Fraunhofer AIS & Univ. Bonn Daniel Lucraft, Imperial College London Susanne Hoche, University of Bristol

Andrew Eremin, Imperial College London Farid Ajili, Imperial College London

Final Program Page 17 SAC 2006, April 23 – 27, 2006

Expanding the Taxonomies of Bibliographic On Tracker Attacks in Health Grids Archives with Persistent Long-Term Themes Andrew Simpson, University of Oxford Rene Schult, ITI David Power, University of Oxford Myra Spiliopoulou, ITI Mark Slaymaker, University of Oxford

Digital Geometry Image Analysis for Medical 14:00 – 15:30 AMPHI ALBERT RECOURA Diagnosis (EMBS-2) Embedded Systems: Applications, Shiaofen Fang, Indiana Univ Purdue Univ Indianapolis Jiandong Fang, Indiana Univ Purdue Univ Indianapolis Solutions and Techniques Jeffrey Huang, Indiana Univ Purdue Univ Indianapolis Sandro Bartolini, University of Siena, Italy Mihran Tuceryan, Indiana Univ Purdue Univ Indianapolis

DA Concurrent Reactive Esterel Processor Based Hardware/Software 2D-3D Backprojection on a on Multi-Threading SoPC Platform Reinhard von Hanxleden, CAU Kiel Nicolas Gac, INP Grenoble Xin Li, Christian-Albrechts-Universität zu StéphaneMancini, INP Grenoble

Michel Desvignes, INP Grenoble On Utility Accrual Processor Scheduling with

Wait-Free Synchronization for Embedded Real- Time Software 14:00 – 15:30 AMPHI NICEPHORE NIEPCE Hyeonjoong Cho, Virginia Polytechnic Institute and State Binoy Ravindran, Virginia Tech (TRECK-1) Trust, Recommendations, E. Douglas Jensen, The MITRE Corporation Evidence, and other Collaborative Know-how Jean-Marc Seigneur, University of Geneva, Switzerland QoS Support for IEEE-1394 Requests Christian Damsgaard Jensen, Technical University of Denmark Chih-Yuan Huang, National Taiwan Univ. Tei-Wei Kuo, National Taiwan Univ. Trust[ed| in] Computing, Signed Code and the Ai-Chun Pang, National Taiwan Univ. Heat Death of the Internet Jonathan A. Poritz, IBM ZRL Branchless Cycle Prediction for Embedded Processors Improving Collaborative Filtering with Trust-based Amirali Baniasadi, University of Victoria Metrics Kaveh Jokar Deris, University of Victoria Jianshu Weng, Nanyang Technological University Chunyan Miao, Nanyang Technological University Angela Goh, Nanyang Technological University 14:00 – 15:30 AMPHI MAURICE GEVREY (OOPS-2) Object-Oriented Programming Trust-Enhanced Visibility for Personalized Document Recommendations Languages and Systems Claudia Hess, Bamberg University Mirko Viroli, DEIS - Università di Bologna, Italy Klaus Stein, Bamberg University

Christoph Schlieder, Bamberg University Method Overloading and Overriding Cause Encapsulation Flaw STRUDEL: Supporting Trust for Dynamic Antoine Beugnard, ENST Bretagne Emergence of peering coaLitions

Daniele Quercia, University College London Introducing Safe Unknown Types in Java-like Licia Capra, UCL Languages Manish Lad, University College London Giovanni Lagorio, Università di Genova Stephen Hailes, University College London Elena Zucca, Università di Genova Saleem Bhatti, University College London

Union Types for Object-Oriented Programming Atsushi Igarashi, Kyoto University 15:30 – 16:00 HALL OF SCIENCES MIRANDE Hideshi Nagira, Kyoto University COFFEE BREAK Dynamic Instantiation-Checking Components Nigamanth Sridhar, Cleveland State University 16:00 – 17:55 AMPHI CLAUDE BERNARD 14:00 – 15:30 AMPHI PAUL PARIS (DSGC-1) Distributed Systems and Grid Computing (CACH-1) Computer Applications in Health Robert van Engelen, Florida State University, USA Care Madhu Govindaraju, Binghamton University, USA Valentin Masero, University of Extremadura, Spain Nectarios Koziris, National Technical Univ. of Athens, Greece Pierre Collet, Université du Littoral (ULCO), France Kleanthis Psarris, University of Texas at San Antonio, USA

MEDIC: MobilE Diagnosis for Improved Care Service-Oriented Grid Computation for Large- Dympna O'Sullivan, University College Dublin Scale Parameter Estimation in Complex Eoin McLoughlin, University College Dublin Environmental Modeling Michela Bertolotto, University College Dublin Kejing He, South China University of Technology David C. Wilson, University of North Carolina @ Charlotte Shoubin Dong, South China University of Technology Liqun Tang, South China University of Technology Li Zheng, Chinese Academy of Science

Final Program Page 18 SAC 2006, April 23 – 27, 2006

Building the Functional Performance Model of a On the Transitive Closure Representation and Processor Adjustable Compression Alexey Lastovetsky, University College Dublin Yangjun Chen, University of Winnipeg, Canada Ravi Reddy, University College Dublin Donovan Cooke, University of Winnipeg, Canada Robert Higgins, University College Dublin Incorporating Fuzziness in Xml and Mapping Grid Resource Discovery Based on Semantic P2P Fuzzy Relational Data into Fuzzy XML Communities Abhishek Gaurav, University of Calgary, Canada Juan Li, University of British Columbia Reda Alhajj, Global University, Lebanon Son Vuong, University of British Columbia Ontology-based Intregration for Relational FCAN: Flash Crowds Alleviation Network Databases Chenyu Pan, Saitama University Dejing Dou, University of Oregon, USA Norihiko Yoshida, Saitama University Paea LePendu, University of Oregon, USA Merdan Atajanov, Saitama University Mohammad B. Hossain, Kyushu Sangyo University Conceptual Modeling of XML Data Toshihiko Shimokawa, Kyushu Sangyo University Carlo Combi, University of Verona, Italy Improving the Performances of Proxy Cache Barbara Oliboni, University of Verona, Italy

Replacement Policies by Considering Infrequent MTree: An XML XPath Graph Index Objects P.Mark Pettovello, Wayne State University, USA Hon Wai Leong, National University of Singapore Farshad Fotouhi, Wayne State University, USA Bo Guan, National University of Singapore

16:00 – 17:55 AMPHI PAUL PARIS 16:00 – 17:55 AMPHI ALBERT RECOURA (CACH-2) Computer Applications in Health (PSC-1) Programming for Separation of Care Concerns Valentin Masero, University of Extremadura, Spain Emiliano Tramontana, Catania University, Italy Pierre Collet, Université du Littoral (ULCO), France Ian Welch, Victoria University of Wellington, New Zealand

A Process for Separation of Crosscutting Grid Solving the Brachytherapy Seed Localization Concerns Problem using Geometric and Linear Nabor C. Mendonça, Universidade de Fortaleza Programming Techniques Paulo Henrique M. Maia, Universidade de Fortaleza Vikas Singh, University at Buffalo Vasco Furtado, Universidade de Fortaleza Lopamudra Mukherjee, University at Buffalo Walfredo Cirne, Universidade Federal de Campina Grande Jinhui Xu, University at Buffalo Katia Saikoski, TecnoPUC Kenneth Hoffmann, University at Buffalo

Policy-driven Reflective Enforcement of Security Approaches to Text Mining for Clinical Medical Policies Records Ian Welch, Victoria University of Wellington Xiaohua Zhou, Drexel University Fan Lu, Victoria University of Wellington Hyoil Han, Drexel University Isaac Chankai, Drexel University Aspect-Specification Based on Structural Type Ann Prestrud, Drexel University Information Ari Brooks, Drexel University College of Medicine Stefan Hanenberg, University of Duisburg-Essen Mohammed Al-Mansari, University of Duisburg-Essen Visualization of Unstructured Text Sequences of Rainer Unland, University of Duisburg-Essen Nursing Narratives Shiaofen Fang, Indiana Univ Purdue Univ Indianapolis Separation of Concerns in Compiler Development Min Lwin, Indiana Univ Purdue Univ Indianapolis Using Aspect-Orientation Patricia Ebright, Indiana University Xiaoqing Wu, The University of Alabama at Birmingham Barrett R. Bryant, The University of Alabama at Birmingham J-Ortho: An Open-Source Orthodontic Treatment Jeff Gray, The University of Alabama at Birmingham Simulator Suman Roychoudhury, The University of Alabama at Birmingham Maria Andréia Formico Rodrigues, University of Fortaleza Marjan Mernik, University of Maribor, Slovenia Wendel Bezerra Silva, University of Fortaleza Rafael G. Barbosa, Universidade de Fortaleza Automatically Discovering Design Patterns and Isabel M. M. P. Ribeiro, University of Fortaleza Assessing Concern Separations for Applications Milton E. B. Neto, Univeristy of Fortaleza Giuseppe Pappalardo, Università di Catania Emiliano Tramontana, Università di Catania Effective Shape-based Retrieval and Classification of Mammograms Joaquim C. Felipe, University of São Paulo 16:00 – 17:55 AMPHI MAURICE GEVREY Agma J.M. Traina, University of São Paulo at São Carlos Caetano Traina Jr, University of São Paulo at São Carlos (DTTA-1) Database Theory, Technology, and Marcela X. Ribeiro, University of São Paulo at São Carlos Applications Elaine P.M. Souza, University of São Paulo at São Carlos Ramzi A. Haraty, Lebanese American University, Lebanon Apostolos N. Papadopoulos, Aristotle University, Greece Junping Sun, Nova Southeastern University, USA

Final Program Page 19 SAC 2006, April 23 – 27, 2006

16:00 – 17:55 AMPHI NICEPHORE NIEPCE Discovery of Interesting Episodes in Sequence Data (TRECK-2) Trust, Recommendations, Sharma Chakravarthy, The Univ. of Texas at Arlington Evidence, and other Collaborative Know-how Ambika Srinivasan, The Univ. of Texas at Arlington Jean-Marc Seigneur, University of Geneva, Switzerland Dhawal Bhatia, The Univ. of Texas at Arlington Christian Damsgaard Jensen, Technical University of Denmark Exploit Sequencing to Accelerate Hot XML Query Impact of Peer Incentive on the Dissemination of Pattern Mining Polluted Content Qian Qian, CS Dept. Tsinghua Univ. Beijing, China Cristiano Costa, UFMG Jianhua Feng, CS, Tsinghua Univ. China Marisa Vasconcelos, UFMG Jianyong Wang, CS, Tsinghua Univ. China Jussara Almeida, UFMG Lizhu Zhou, CS Dept. Tsinghua Univ. Beijing, China Virgilio Augusto, UFMG Miranda Mowbray, HP Laboratories Bristol Fabricio Benevenuto, UFMG 08:30 – 10:00 AMPHI ALBERT RECOURA

Information Trustworthiness Evaluation Based on (DE-1) Document Engineering Rafael Dueire Lins, Universidade Federal de Pernambuco, Brazil Trust Combination Yanjun Zuo, University of North Dakota High Performance XSL-FO Rendering for Variable Brajendra Panda, University of Arkansas Date Printing A Fuzzy Model for Reasoning about Reputation in Fabio Giannetti, HP Laboratories, UK Web Services Luiz Gustavo Fernandes, PPGCC-PUCRS, Brazil Roger Timmers, HP Brazil R&D, Brazil Wanita Sherchan, Monash University

Seng W. Loke, Monash University Shonali Krishnaswamy, Monash University Managing duplicates in a web archive Daniel Gomes, Universidade de Lisboa, Portugal BambooTrust: Practical Scalable Trust André L. Santos, Universidade de Lisboa, Portugal Management for Global Public Computing Mário J. Silva, Universidade de Lisboa, Portugal Evangelos Kotsovinos, Deutsche Telekom Laboratories Aled Williams, University of Cambridge Angular Measures for Feature Selection in Text Categorization E.F. Combarro, University of Oviedo, Spain Elena Montañés, University of Oviedo, Spain *** SAC 2006 BANQUET *** José Ranilla, University of Oviedo, Spain

AT MARSANNAY CASTLE Computing Edit Distances Between an XML Document and a Schema and its Application in EPART AT (D 18:30) Document Classification SEE REGISTRATION DESK FOR DETAILS Guangming Xing, Western Kentucky University, USA Chaitanya R. Malla, Western Kentucky University, USA Zhonghang Xia, Western Kentucky University, USA Snigdha Dantala Venkata, Western Kentucky University, USA

THURSDAY APRIL 27, 2006 08:30 – 10:00 AMPHI MAURICE GEVREY (DADS-1) Dependable and Adaptive 08:00 – 12:00 SALLE DU CONSEIL Distributed Systems Karl M. Göschka, Vienna University of Technology, Austria REGISTRATION Svein O. Hallsteinsen, SINTEF ICT, Norway Rui Oliveira, Universidade do Minho, Portugal Alexander Romanovsky, University of Newcastle upon Tyne, UK 08:30 – 10:00 AMPHI CLAUDE BERNARD Verification of Coordinated Exception Handling (DM-3) Data Mining Fernando Castor Filho, State University of Campinas Hasan M. Jamil, Wayne State University, USA Alexander Romanovsky, University of Newcastle upon Tyne Rosa Meo, Universita' di Torino, Italy Cecília Mary F. Rubira, State University of Campinas Gill Dobbie, University of Auckland, New Zealand

Combining Supervised and Unsupervised Looking for Monotonicity Properties of a Similarity Monitoring for Fault Detection in Distributed Constraint on Sequences Ieva Mitasiunaite,LIRIS - INSA Lyon Computing Systems Haifeng Chen, NEC Laboratories America Jean-François Boulicaut, LIRIS CNRS UMR 5205 - INSA Lyon Guofei Jiang, NEC Laboratories America

Cristian Ungureanu, NEC Laboratories America Mining Sequences with Temporal Annotations Kenji Yoshihira, NEC Laboratories America Mirco Nanni, ISTI-CNR

Fosca Giannotti, KDD Lab ISTI-C.N.R. Dino Pedreschi, CS Department University of Pisa Modeling of Component-based Adaptive Fabio Pinelli, Université di Pisa Distributed Applications Kurt Geihs, University of Kassel Mohammad Ullah Khan, University of Kassel

Final Program Page 20 SAC 2006, April 23 – 27, 2006

Roland Reichle, University of Kassel 10:30 – 12:00 AMPHI CLAUDE BERNARD Arnor Solberg, SINTEF ICT Svein Hallsteinsen, SINTEF ICT (DM-4) Data Mining Simon Merral, Condat AG Hasan M. Jamil, Wayne State University, USA Rosa Meo, Universita' di Torino, Italy Proactive Resilience through Architectural Gill Dobbie, University of Auckland, New Zealand Hybridization Paulo Sousa, University of Lisboa A Privacy Preserving Web Recommender System Nuno Ferreira Neves, University of Lisboa Claudio Lucchese, Ca' Foscari U of Venice Paulo Veríssimo, Univeristy of Lisboa Ranieri Baraglia, HPC-Lab ISTI-CNR Salvatore Orlando, Ca' Foscari U of Venice Massimo Serrano', HPC-Lab IST-CNR 08:30 – 10:00 AMPHI PAUL PARIS Fabrizio Silvestri, HPC-Lab ISTI-CNR (MT-1) Model Transformation Jean Bézivin, University of Nantes, France Towards Low-Perturbation Anonymity Preserving Pattern Discovery On the Architectural Alignment of ATL and QVT Francesco Bonchi, KDD Lab ISTI-C.N.R. Ivan Kurtev, INRIA - LINA, University of Nantes Maurizio Atzori, CS Department University of Pisa Frédéric Jouault, INRIA-LINA, University of Nantes Fosca Giannotti, KDD Lab ISTI-C.N.R. Dino Pedreschi, CS Department University of Pisa The MT Model Transformation Language Laurence Tratt, King's College London Privacy-Preserving SVM using Nonlinear Kernels on Horizontally Partitioned Data Advanced Model Transformation Language Jaideep Vaidya, Rutgers University Constructs in the VIATRA2 Framework Hwanjo Yu, University of Iowa Dániel Varró, Budapest Univ. of Technology and Econ. Xiaoqian Jiang, University of Iowa András Balogh, Budapest Univ. of Techn. and Econ. On the Use of Spectral Filtering for Privacy A Formal Framework to Generate XPDL Preserving Data Mining Specifications from UML Activity Diagrams Xintao Wu, UNC Charlotte Amel Mammar, University of Luxembourg Songtao Guo, UNC Charlotte Nicolas Guelfi, University of Luxembourg 10:30 – 12:00 AMPHI ALBERT RECOURA

(DE-2) Document Engineering 08:30 – 10:00 AMPHI NICEPHORE NIEPCE Rafael Dueire Lins, Universidade Federal de Pernambuco, Brazil (AI-1) AI and Computational Logic and Image Analysis An Implicit Segmentation-based Method for Hung, School of Computing and Soft. Eng., USA Recognition of Handwritten Strings of Characters Agostinho Rosa, LaSEEB –ISR – IST, Portugal Paulo Rodrigo Cavalin, PUCPR, Brazil Alceu de Souza Britto Jr., PUCPR, Brazil An Evidential Approach in Ensembles Flávio Bortolozzi, PUCPR, Brazil Robert Sabourin, École de Technologie Supériere, Canada Yaxin Bi, University of Ulster, UK Luiz E. Soares Oliveira, PUCPR, Brazil Werner Dubitzky, University of Ulster, UK

Solving First-Order Constraints in the Theory of Detection and Segmentation of Tables and Math- Finite or Infinite Trees Zones from Document Images Khalil Djelloul, Laboratoire d’Informatique Fondamentale de S. Mandal, Bengal Engineering and Science University, India Marseille, France S.P. Chowdhury, Bengal Engineering and Science Univ., India Thi-Bich-Hanh Dao, Laboratoire d’Informatique Fondamentale A.K. Das, Bengal Engineering and Science University, India d’Orleans, France Bhabatosh Chanda, Indian Statistical Institute, India

A Small-World Model of the Human Mind A New Table Interpretation Methodology with Little Jose Luis Malaquias, University Coimbra, Portugal Knowledge Base Agostinho Claudio da Rosa, ISR-LaSEEB, Portugal Luiz Antonio Pereira Neves, UFCG, Brazil Carlos Maunel BA Correia, University Coimbra, Portugal João Marques de Carvalho, UFCG, Brazil Jacques Facon, PUCPR, Brazil Facial Emotion Recognition by Adaptive Flávio Bortolozzi, PUCPR, Brazil Processing of Tree Structures Jia-Jun Wong, Nanyang Technological University, Singapore Binarizing and Filtering Historical Documents with Siu-Yeung Cho, Nanyang Technological University, Singapore Back-to-Front Interference João Marcelo da Silva, Universidade Federal de Pernambuco, Brazil 10:00 – 10:30 HALL OF SCIENCES MIRANDE Rafael Dueire Lins, Universidade Federal de Pernambuco, Brazil Valdemar Cardoso da Rocha, Universidade Federal de COFFEE BREAK Pernambuco, Brazil

Final Program Page 21 SAC 2006, April 23 – 27, 2006

10:30 – 12:00 AMPHI MAURICE GEVREY Hung, School of Computing and Soft. Eng., USA Agostinho Rosa, LaSEEB –ISR – IST, Portugal (DADS-2) Dependable and Adaptive Distributed Systems Adaptive Dynamic Run-length Coding for Image Karl M. Göschka, Vienna University of Technology, Austria Segmentation Svein O. Hallsteinsen, SINTEF ICT, Norway Sara Arasteh, Southern Polytechnic State University, USA Rui Oliveira, Universidade do Minho, Portugal Chih-Cheng Hung, Southern Polytechnic State University, USA Alexander Romanovsky, University of Newcastle upon Tyne, UK Enmin Song, Huazhong University of Science and Technology, China Service Interface: A New Abstraction for Implementing and Composing Protocols On Handling Conflicts between Rules with Olivier Rütti, EPFL Numerical Features Pawel T. Wojciechowski, EPFL Tony Lindgren, Stockholm University and Royal Institute of André Schiper, EPFL Technology, Sweden

Post-Partition Reconciliation Protocols for (HHC-1) Handheld Computing Maintaining Consistency Sheikh Iqbal Ahamed, Marquette University, USA Mikael Asplund, Linköping University Simin Nadjm-Tehrani, Linköping University Detecting Identifiable Areas in Mobile Environments From Spontaneous Total Order to Uniform Total Jörg Roth, University of Hagen Order: Different Degrees of Optimistic Delivery Luís Rodrigues, Universidade de Lisboa Extending the Location API for J2METM to José Mocito, Faculty of Sciences, Universidade de Lisboa Support Friend Finder Services Nuno Carvalho, Universidade de Lisboa David Parsons, Massey University

Revisiting 1-Copy Equivalence in Clustered Databases 12:00 – 14:00 RESTAURANT MONTMUZARD Rui Oliveira, University of Minho José Pereira, University of Minho LUNCH BREAK Alfránio Correia, UMINHO Edward Archibald, Emic Networks 14:00 – 15:30 AMPHI CLAUDE BERNARD 10:30 – 12:00 AMPHI PAUL PARIS (DM-5) Data Mining Hasan M. Jamil, Wayne State University, USA (MT-2) Model Transformation Rosa Meo, Universita' di Torino, Italy Antonio Vallecillo, Universidad de Málaga, Spain Gill Dobbie, University of Auckland, New Zealand

Model Transformations for Hypertext Modeling on The Impact of Sample Reduction on PCA-based Web Information Systems Feature Extraction for Supervised Learning Juan M. Vara, Rey Juan Carlos University Mykola Pechenizkiy, University of Jyväskylä Paloma Cáceres, Rey Juan Carlos University Seppo Puuronen, University of Jyväskylä Valeria de Castro, Rey Juan Carlos University Alexey Tsymbal, Trinity College Dublin Esperanza Marcos, Rey Juan Carlos University Selecting Parameters of SVM Using Meta-Learning Application Modelling using Reverse Engineering and Kernel Matrix-based Meta-Features Techniques Carlos Soares, NIAAD-LIACC Evangelos Sakkopoulos, RACTI Pavel B. Brazdil, NIAAD-LIACC Theodora Katsimpa, RACTI Giannis Tzimas, RACTI A Methodology for Comparing Classifiers that Athanasios Tsakalidis, RACTI Allow the Control of Bias Yannis Panagis, RACTI Anton Zamolotskikh, University of Dublin, Trinity College Pádraig Cunningham, Trinity College Dublin Weaving Concerns in Model-based Development Sarah Jane Delany, Dublin Institute of Technology of Data-intensive Web Applications Davide Di Ruscio, Università degli Studi dell'Aquila Towards Value Disclosure Analysis in Modeling Alfonso Pierantonio, Università degli Studi dell'Aquila General Databases Antonio Cicchetti, Università degli Studi dell'Aquila Xintao Wu, UNC Charlotte Songtao Guo, UNC Charlotte Compiling Model Transformation to EJB3-Specific Yingjiu Li, Singapore Management University Tranformer Plugins Daniel Varro, Budapest Univ. of Technology and Econ.. 14:00 – 15:30 AMPHI ALBERT RECOURA András Balogh, Budapest Univ. of Techn. and Econ. András Pataricza, Budapest Univ. of Techn. and Econ. (GCR-1) Geometric Computing and Reasoning Dominique Michelucci, Universite de Bourgogne, France 10:30 – 12:00 AMPHI NICEPHORE NIEPCE (AI-2) AI and Computational Logic and Image NFP-based Nesting Algorithm for Irregular Shapes Analysis Liu Hu Yao, Shanghai Jiaotong University He Yuan Jun, Shanghai Jiaotong University

Final Program Page 22 SAC 2006, April 23 – 27, 2006

An Adjustment Model in a Geometric Constraint Software Performance Model-Driven Architecture Solving Problem Vittorio Cortellessa, Università degli Studi dell'Aquila Reyes Pavón, University of Vigo Antinisca Di Marco, Università degli Studi dell'Aquila Fenando Díaz, University of Valladolid Paola Inverardi, Università degli Studi dell'Aquila M. Victoria Luzón, University of Vigo Transformation of yEPC Business Process Models A Framework for Geometric Constraint to YAWL Satisfaction Problem Jan Mendling, Vienna University of Economics Julien Wintz, LSIIT-ULP Michael Moser, Vienna University of Economics Pascal Mathis, LSIIT-ULP Gustaf Neumann, Vienna University of Economics Pascal Schreck, LSIIT-ULP

Spatial Geometric Constraint Solving Based on k- 14:00 – 15:30 AMPHI NICEPHORE NIEPCE connected Graph Decomposition (HHC-2) Handheld Computing Gui-Fang Zhang, Institute of Systems Science Sheikh Iqbal Ahamed, Marquette University, USA Xiao-Shan Gao, Institute of Systems Science Field Study on Methods for Elicitation of Preferences using a Mobile Digital Assistant for a 14:00 – 15:30 AMPHI MAURICE GEVREY Dynamic Tour Guide (DADS-3) Dependable and Adaptive Klaus ten Hagen, University of Zittau Goerlitz Distributed Systems Marko Modsching, University of Zittau Goerlitz Karl M. Göschka, Vienna University of Technology, Austria Ronny Kramer, University of Zittau Goerlitz Svein O. Hallsteinsen, SINTEF ICT, Norway Rui Oliveira, Universidade do Minho, Portugal Interactive Mobile 3D Graphics for On-the-go Alexander Romanovsky, University of Newcastle upon Tyne, UK Visualization and Walkthroughs Maria Andréia Formico Rodrigues, University of Fortaleza DADS Keynote address on Dependable and Nabor C. Mendonça, Universidade de Fortaleza Adaptive Distributed Systems Rafael G. Barbosa, Universidade de Fortaleza José-Luis Fernandez-Villacanas, European Commission Personalization and Visualization on Handheld Quiescent Consensus in Mobile Ad-hoc Networks Devices using Eventually Storage-Free Broadcasts George Karabatis, UMBC François Bonnet, Ecole Normale Superieure Dongsong Zhang, UMBC Paul Ezhilchelvan, University of Newcastle Zhiyuan Chen, UMBC Einar Vollset, University of Newcastle Boonlit Adipat, UMBC Liwei Dai, UMBC Evaluating Unstructured Peer-to-Peer Lookup Zhenxue Zhang, UMBC Overlays Yu Wang, UMBC

Idit Keidar, Technion Roie Melamed, Technion Ubicomp Assistant: An Omnipresent Customizable Service using MARKS (Middleware An Adaptive Index Allocation Scheme for Reliable Adaptability for Resource Discovery, Knowledge Data Retrieval and Provision in Peer-to-Peer Usability and Self-healing) Networks Sheikh I. Ahamed, Marquette University Atusushi Ito, KDDI Corporation Shameem Ahmed, Marquette University Tomoyuki Ohta, Hiroshima City University Moushumi Sharmin, Marquette University Kouichi Mitsukawa, Hiroshima City University Yoshiaki Kakuda, Hiroshima City University 15:30 – 16:00 HALL OF SCIENCES MIRANDE

COFFEE BREAK 14:00 – 15:30 AMPHI PAUL PARIS

(MT-3) Model Transformation Laurence Tratt, King’s College London, UK 16:00 – 17:55 AMPHI CLAUDE BERNARD (DSGC-2) Distributed Systems and Grid Describing Dynamic Software Architectures using an Extended UML Model Computing Robert van Engelen, Florida State University, USA Mohamed Hadj Kacem, LAAS Madhu Govindaraju, Binghamton University, USA Khalil Drira, LAAS Nectarios Koziris, National Technical University of Athens, Mohamed Jmaiel, ENIS Greece Ahmed Hadj Kacem, FSEG Kleanthis Psarris, University of Texas at San Antonio, USA

Simplifying Transformation of Software Design and Implementation of a Real-Time Architecture Constraints Chouki Tibermacine, VALORIA Lab. Notification Service within the Context of Régis Fleurquin, VALORIA Lab. Embedded ORB and the CAN Bus Salah Sadou, VALORIA Lab. Tarek Gasmi, Laboratoire SYSCOM, ENIT Salem Hasnaoui, ENIT Houria Rezik, ENIT

Final Program Page 23 SAC 2006, April 23 – 27, 2006

J2EE Server Scalability through EJB Replication Design and Development of a Multiversion OLAP Daniel Hagimont, INPT/ENSEEIHT Application Sylvain Sicard, INRIA Jarernsri L. Mitrpanont, Mahidol University, Thailand Noel De Palma, INRIA Rhone-Alpes - SARDES project Somchart Fugkeaw, Mahidol University, Thailand

Planning Spatial Workflows to Optimize Grid Query Reformulation for an XML-based Data Performance Integration System Luiz Meyer, Federal University of Rio de Janeiro Bernadette Farias Loscio, Ceara State University, Brazil James Annis, Fermilab Thaigo Costa, Federal University of Pernambuco, Brazil Mike Wilde, Argonne National Laboratory Ana Carolina Salgado, Federal University of Pernambuco, Brazil Ian Foster, Argonne National Laboratory Marta Mattoso, Federal University of Rio de Janeiro An Extendible Multidimensional Array System for MOLAP xSpace - A Tuple Space for XML & its Application Tatsuo Tsuji, Graduate School of Engineering, Japan in Orchestration of Web Services Akihiro Hara, Graduate School of Engineering, Japan Umesh Bellur, IIT Bombay Ken Higuchi, Graduate School of Engineering, Japan Siddharth Bondre, IIT Bombay

Implementation of a Dynamic Adjustment 16:00 – 17:55 AMPHI PAUL PARIS Mechanism with Efficient Replica Selection in Data (MT-4) Model Transformation Grid Environments Alfonso Pierantonio, Università degli Studi dell’Aquila, Italy Chao-Tung Yang, Tunghai University I-Hsien Yang, Tunghai University Evaluation of Rule-based Modularization in Model Chun-Hsiang Chen, Tunghai University Shih-Yu Wang, Tunghai University Transformation Languages Illustrated with ATL Ivan Kurtev, INRIA - LINA, University of Nantes Frédéric Jouault, INRIA-LINA, University of Nantes 16:00 – 17:55 AMPHI ALBERT RECOURA Klaas van den Berg, University of Twente

(CEHV-1) Computer Ethics and Human Values Reconciling Diagrams After Executing Model Keith W. Miller, Univ. of Illinois at Springfield, USA Transformations Good/Fast/Cheap: Contexts, Relationships and Ivan Porres, Åbo Akademi University Marcus Alanen, Åbo Akademi University Professional Responsibility During Software Torbjörn Lundkvist, Åbo Akademi University Development Marty Wolf, Bemidji State University An Approach to Refactoring of Executable UML Frances Grodzinsky, Sacred Heart University Models Moral Responsibility and IT for Human Łukasz Dobrzański, Blekinge Institute of Technology Ludwik Kuźniarz, Blekinge Institute of Technology Enhancement Noëmi Manders-Huits, Delft University of Technology Model Refactorings through Rule-Based A Dialogue on Responsibility, Moral Agency, and Inconsistency Resolution IT Systems Ragnhild Van Der Straeten, Vrije Universiteit Brussel Maja D'Hondt, Université des Sciences et Technologies Deborah G. Johnson, Univ. of Virginia

Keith W. Miller, Univ. of Illinois at Springfield Transforming OCL Constraints: a Context Change GIS, SINKS, FILL, and Disappearing Wetlands: approach Unintended Consequences in Algorithmic Jordi Cabot, UOC Development and Use Ernest Teniente, UPC

David G. Jenkins, Univ. of Central Florida Lisa A. McCauley, Univ. of Central Florida 16:00 – 17:55 AMPHI NICEPHORE NIEPCE

(ECT-1) Electronic Commerce Technologies 16:00 – 17:55 AMPHI MAURICE GEVREY G. Daryl Nord, Oklahoma State University, USA (DTTA-2) Database Theory, Technology, and Applications Mining and Prediction of Temporal Navigation Ramzi A. Haraty, Lebanese American University, Lebanon Patterns For Personalized Services in E- Apostolos N. Papadopoulos, Aristotle University, Greece Commerce Junping Sun, Nova Southeastern University, USA Vincent S. Tseng, National Cheng Kung University Jeng-Chuan Chang, National Cheng Kung University Grouping and Aggregation in the Concept- Kawuu W. Lin, National Cheng Kung University Oriented Data Model Alexandr Savinov, Schloss Birlinghoven, Germany Privacy-Preserving Demographic Filtering José Fernandez, Ecole Polytechnique de Montreal Fingerprinting Relational Databases Esma Aïmeur, Universite de Montreal Fei Guo, Tsinghua University, China Gilles Brassard, Universite de Montreal Jianmin, Wang, Tsinghua University, China Flavien Serge Mani Onana, Universite de Montreal Deyi Li, China Constitute of Electronic System Engineering, China

Final Program Page 24 SAC 2006, April 23 – 27, 2006

Analysis of the SET e-Commerce Protocol using a True Concurrency Process Algebra M. Carmen Ruiz, Universidad de Castilla-La Mancha Fernando Cuartero, Universidad Castilla-La Mancha Juan Jose Pardo, Universidad Castilla-La Mancha Diego Cazorla, Universidad Castilla-La Mancha

(CLAT-1) Computer Law and Advanced Technologies Giovanni Sartor, University of Bologna, Italy Alessandra Villecco, University of Bologna, Italy

A Multi-agent System for Efficiently Managing Query Answering in an e-Government Scenario Pasquale De Meo, Università Mediterranea Reggio Calabria Hind Fadil, Institut National Polytech. de Grenoble Giovanni Quattrone, Università Mediterranea Reggio Calabria Domenico Ursino, Università Mediterranea Reggio Calabria

On the Relationship between Roles and Power: Preliminary Report Maria Fasli, University of Essex

18:00 – 19:00 AMPHI CLAUDE BERNARD SAC2006 WRAP-UP MEETING

END OF SAC 2006 EVENT!

THANK YOU FOR YOUR PARTICIPATION AND HOPE TO SEE YOU NEXT YEAR IN SEOUL, KOREA!

Final Program Page 25 SAC 2006, April 23 – 27, 2006