FINAL PROGRAM THE 2008 ACM SIGAPP SYMPOSIUM ON APPLIED COMPUTING http://www.acm.org/conferences/sac/sac2008

Fortaleza, Ceará, Brazil March 16 - 20, 2008

Organizing Committee

Roger L. Wainwright Maria Andréia F. Rodriges Lorie M. Liebrock Hisham M. Haddad Rossana Maria C. Andrade Mathew J. Palakal Angelo Brayner Nabor C. Mendonça Jiman Hong Ronaldo Menezes Javan M. Machado Sung Y. Shin Mirko Viroli

HOSTED BY University of Fortaleza (UNIFOR), Brazil Federal University of Ceará (UFC), Brazil

SPONSORED BY

Ensinando e Aprendendo

Ana Bazzan, UFRGS, Brazil Giuseppe Vizzari, University of Milano-Bicocca, Italy SAC 2008 Advances in Spatial and Image-based Information Systems (ASIIS) Richard Chbeir, LE2I-CNRS, France Christophe Claramunt, Naval Academy Research Instute, France, France Ki-Joune LI, Pusan National University, Korea Introduction Kokou Yetongnon, Bourgogne University, France Agent-Oriented Programming, Systems, Languages and Applications (APSLA) SAC 2008 is a premier international conference on ap- Fuyuki Ishikawa, National Institute of Informatics, Japan Eric Platon, Paris 6 University, France plied computing and technology. Attendees have the op- Alessandro Ricci, Universit`adi Bologna, Italy portunity to hear from expert practitioners and researchers Danny Weyns, Katholieke Universiteit Leuven, Belgium about the latest trends in research and development in their Applications of Evolutionary Computation (EC) fields. SAC 2008 features 2 keynote speakers on Monday and Bryant Julstrom, St. Cloud State University, USA Wednesday, from 8:20 to 10:00. The symposium consists of Artificial Intelligence in Space Applications (AISA) Tutorial and Technical programs. The Tutorial Program Rafael Santos, INPE - National Institute for Space Research, Brazil offers 4 half-day tutorials on Sunday March 16, 2008, start- Jos´eDemisio Sim˜oesda Silva, National Institute for Space Re- ing at 8:30am and 2pm. The Technical Program offers 45 search, Brazil tracks on a wide number of different research topics, which Autonomic Computing (AC) run from Monday March 17 through Thursday March 20, Umesh Bellur, Indian Institute of Technology, Bombay, India 2008. Regular sessions start at 8:20am and end at 5:20pm Rajiv Ramnath, The Ohio State University, USA in up to 6 parallel sessions. Moreover, two poster tracks Bioinformatics (BIO) Rajaraman Kanagasabai, Institute for Infocomm Research, Sin- also run on Tuesday March 18, from 9:00am to 12:00am and gapore from 14:00am to 17:00am. Mathew Palakal, IUPUI, USA William Perrizo, North Dakota State University, USA Computational Logic and Computational Intelli- Organizing Committee gence in Signal and Image Analysis (CISIA) Agostinho da Rosa, Technical University of Lisbon, Portugal Chih-Cheng Hung, Southern Polytechnic State University, USA Roger L. Wainwright, Symposium Chair Computer Applications in Health Care (CAHC) Rosa Maria E. M. Costa, Universidade do Estado do Rio de University of Tulsa, USA Janeiro, Brazil Hisham M. Haddad, Symposium Chair, Treasurer, Web- F´atima Nunes, Centro Universit´arioEur´ıpides de Mar´ılia, Brazil master Computer Forensics (CF) Kennesaw State University, USA Kamesh Namuduri, Wichita State University, USA Brajendra Panda, University of Arkansas, USA Angelo Brayner, Symposium Vice-Chair University of Fortaleza, Brazil Computer Networks (CN) Mario Freire, University of Beira Interior, Portugal Ronaldo Menezes, Program Chair Edmundo Monteiro, University of Coimbra, Portugal Florida Institute of Technology, Melbourne, USA Manuela Pereira, University of Beira Interior, Portugal Mirko Viroli, Program Chair Teresa Vaz˜ao,IST/INESC ID, Portugal Alma Mater Studiorum - Universit`adi Bologna, Italy Computer Security (SEC) Maria Andr´eiaF. Rodrigues, Tutorials Chair Giampaolo Bella, Universit`adi Catania, ITALY University of Fortaleza, Brazil Constraint Satisfation and Programming (CSP) Stefano Bistarelli, Universit`a ’G. d’Annunzio’ Chieti-Pescara, Mathew J. Palakal, Poster Chair IIT-CNR, Pisa, Italy Indiana University Purdue University, USA Eric Monfroy, UTFSM, Chile and LINA, University of Nantes, France Lorie M. Liebrock, Publication Chair Barry O’Sullivan, University College Cork, Ireland New Mexico Institute of Mining and Technology, USA Coordination Models, Languages and Applications Nabor C. Mendon¸ca, Local Organization Chair (CM) University of Fortaleza, Brazil Michael Schumacher, University of Applied Sciences Western Javam M. Machado, Local Organization Chair Switzerland, Switzerland Alan Wood, University of York, UK Federal University of Cear´a, Brazil Rosana Maria C. Andrade, Publicity Chair Data Mining (DM) Hasan Jamil, Wayne State University, USA Federal University of Cear´a, Brazil Osmar Zaiane, University of Alberta, Canada Jiman Hong, Asia Publicity Chair Data Streams (DS) Soongsil University, Korea Jesus Aguilar, Univ. Pablo Olavide, Spain Sung Y. Shin, US Publicity Chair Andr´eCarvalho, University of Sao Paulo (USP), Brazil South Dakota State University, USA Jo˜aoGama, University of Porto (UP), Portugal Database Theory, Technology, and Applications (DTTA) Ramzi Haraty, Lebanese American University, Lebanon Track Chairs Apostolos Papadopoulos, Aristotle University, Greece Junping Sun, Nova Southeastern University, USA Adaptive Techniques in Operating Systems (ATOS) Dependable and Adaptive Distributed Systems Jiman Hong, Soongsil University, Korea (DADS) Tei-Wei Kuo, National Taiwan University, Taiwan Karl M. Goeschka, Vienna University of Technology, Austria Svein Hallsteinsen, Sintef, Norway Advances in Computer Simulation (ACS) Rui Oliveira, Universidade do Minho, Portugal

Final Program 1 SAC 2008, March 16 – 20, 2008 Alexander Romanovsky, University of Newcastle, UK Self Organization in Pervasive Distributed Systems Document Engineering (DE) (SOPDS) Rafael Lins, Universidade Federal de Pernambuco, Brazil Marco Mamei, University of Modena and Reggio Emilia, Italy Justin Werfel, New England Complex Systems Institute and Har- e-Business Applications (EBA) vard Medical School, USA Fahim Akhter, Zayed University, United Arab Emirates Ibrahim Kamel, University of Sharjah, U.A.E Software Engineering (SE) Lami Kaya, University of Sharjah, United Arab Emirates Sung Y. Shin, South Dakota University, USA Chang Oan Sung, Indiana University Southeast, USA Embedded Systems: Applications, Solutions, and Eric Wong, University of Texas at Dallas, USA Techniques (EMBS) Software Verification (SV) Alessio Bechini, University of Pisa, Italy Prete Cosimo Antonio, University of Pisa, Italy Fausto Spoto, Universita’ di Verona, Italy Engineering Large-Scale Distributed Systems The Semantic Web and Applications (SWA) (ELSDS) Hyoil Han, Drexel University, USA Fabrizio Falchi, ISTI-CNR, Italy Trust, Recommendations, Evidence and other Col- Claudio Lucchese, ISTI-CNR, italy laboration Know-how (TRECK) Enterprise Information Systems (EIS) Virg´ılio Almeida, Federal University of Minas Gerais, Brazil Rogerio de Carvalho, CEFET Campos, Brazil Jean-Marc Seigneur, University of Geneva and Venyo, Switzer- Asterio Tanaka, Federal University of State of Rio de Janeiro, land Brazil Ubiquitous Computing (UC) Geometrical Constraints and Reasoning (GCR) Achilles Kameas, Hellenic Open University, Greece Xiao-Shan Gao, KLMM, Institute of System Science,AMSS, George Roussos, Birkbeck College, University of London, UK Academia Sinica, Beijing,, P.R. China Web Technologies (WT) Dominique Michelucci, Universit´ede Bourgogne, Dijon, France Youakim Badr, INSA-Lyon, France Pascal Schreck, LSIIT-Universit´e Louis Pasteur, Strasbourg, Djamal Benslimane, University of Lyon, France France Zakaria Maamar, Zayed University, United Arab Emirates Information Access and Retrieval (IAR) Gloria Bordogna, CNR IDPA, Italy Gabriella Pasi, Universit`adegli Studi di Milano Bicocca, Italy Local Support Middleware Engineering (ME) Sheikh Iqbal Ahamed, Marquette University, USA Praveen Madiraju, Marquette University, USA Local support for SAC 2008 is provided by the University Mobile Agents and Systems (MAS) of Fortaleza (UNIFOR), Federal University of Cear´a(UFC), Costin Badica, University of Craiova, Romania Maria Ganzha, EUH-E and IBS PAN, Poland FUNCAP, Bull, CNPq, Indica Comunica¸c˜aoe Eventos, and Yung-Chuan Lee, Southern Illinois University, USA Bando de Cria¸c˜ao.The SAC organizing committee acknowl- Shahram Rahimi, Southern Illinois University, USA edges and thanks the local supporters for their generous con- Mobile Computing and Applications (MCA) tributions to SAC 2008. Their support has been essential to Alvin Chan, The Hong Kong Polytechnic University, Hong Kong Hong Va Leong, The Hong Kong Polytechnic University, Hong the success of Symposium, and is greatly appreciated. Kong Multimedia and Visualization (MMV) Zhang Mingjun, Agilent Technologies, USA ACM SIGAPP Chaman Sabharwal, University of Missouri Science&Technology, USA Natural Language Processing and Speech Recogni- The ACM Special Interest Group on Applied Computing tion (NLSP) Marius Pasca, Google, USA is ACM’s primary applications-oriented SIG. Its mission is Marius Silaghi, Florida Institute of Technology, USA to further the interests of the computing professionals en- Object-Oriented Programming Languages and Sys- gaged in the development of new computing applications tems (OOPS) and applications areas and the transfer of computing tech- Davide Ancona, University of Genova, Italy nology to new problem domains. SIGAPP offers practition- Alex Buckley, Sun Microsystems, USA ers and researchers the opportunity to share mutual interests Organizational Engineering (OE) in innovative application fields, technology transfer, experi- Artur Caetano, IST, Technical University of Lisbon, Portugal Jose Tribolet, IST, Technical University of Lisbon, Portugal mental computing, strategic research, and the management Robert Winter, University of St. Gallen, Switzerland of computing. SIGAPP also promotes widespread coopera- Programming for Separation of Concerns (PSC) tion among business, government, and academic computing Yvonne Coady, University of Victoria, Canada activities. Its annual Symposium on Applied Computing Corrado Santoro, University of Catania, Italy Emiliano Tramontana, University of Catania, Italy (SAC) provides an international forum for presentation of Ian Welch, Victoria University of Wellington, New Zealand the results of strategic research and experimentation for this Programming Languages (PL) inter-disciplinary environment. SIGAPP membership fees Barrett Bryant, The University of Alabama at Birmingham, USA are: $30.00 for ACM Non-members, $15.00 for ACM Mem- Chang-Hyun Jo, California State University Fullerton, USA Marjan Mernik, University of Maribor, Slovenia bers, and $8.00 for Student Members. For information con- tact Barrett Bryant at [email protected]. Also, checkout Real-Time Systems (RTS) Leandro Becker, Federal University of Santa Catarina, Brazil the SIGAPP website at http://www.acm.org/sigapp/ Paulo Martins, Chaminade University of Honolulu, USA Requirements Engineering (RE) Maria Lencastre, Universidade de Pernambuco, Brazil Robotics: Hardware, Software, and Embedded Sys- tems (RHSES) Eduardo Marques, Univ. of Sao Paulo, Brazil Denis Wolf, University of Sao Paulo, Brazil

Final Program 2 SAC 2008, March 16 – 20, 2008 University of Fortaleza, for hosting the conference and co- Message from the Symposium ordinating the local support. Again, we welcome you to SAC 2008 in the beautiful Chairs costal city of Fortaleza. We hope you enjoy your stay in Fortaleza and leave this event enriched with new ideas and Roger Wainwright friends. Next year, we invite you to participate in SAC 2009 University of Tulsa, USA to be held in Honolulu, Hawaii, USA, March 8 to 12, 2009. The conference will be hosted by the University of Hawaii Hisham M. Haddad at Manoa and Chaminade University of Honolulu. We hope Kennesaw State University, USA to see there!

Welcome to the 23rd Annual ACM Symposium on Ap- plied Computing (SAC 2008). This international event is Message from the Program dedicated to computer scientists, engineers, and practition- ers seeking innovative ideas in various areas of computer Chairs applications. This year, the conference is hosted by the Uni- versity of Fortaleza and the Federal University of Cear´a,in Brazil. The organizing committee is grateful to your partic- Ronaldo Menezes ipation in this exciting international gathering. Florida Institute of Technology, USA The ACM Special Interest Group on Applied Computing Mirko Viroli is dedicated to further the interests of computing profes- Alma Mater Studiorum - Universit`adi Bologna, Italy sionals engaged in the design and development of new com- puting applications, interdisciplinary applications areas, and Welcome to the 23rd Symposium on Applied Computing applied research. The conference provides a forum for dis- (SAC 2008). Over the past 22 years, SAC has been an inter- cussion and exchange of new ideas addressing computational national forum for researchers and practitioners to present algorithms and complex applications. This goal is reflected their findings and research results in the areas of computer in the wide spectrum of application areas and tutorials de- applications and technology. The SAC 2008 Technical Pro- signed to provide a variety of discussion topics during this gram offers a wide range of tracks covering major areas of event. computer applications. Highly qualified referees with strong SAC 2008 offers Technical, Posters, and Tutorials pro- expertise and special interest in their respective research ar- grams. We thank the Program Chairs, Ronaldo Menezes eas carefully reviewed the submitted papers. As part of the from Florida Institute of Technology and Mirko Viroli from Technical Program, this year the Tutorial Program offers Universit`adi Bologna for their tireless effort in coordinat- six tutorials that were carefully selected from numerous pro- ing these programs represented by 45 technical tracks and posals. Many thanks to Maria Andr´eiaFormico Rodrigues over 1300 paper submissions. Individual technical tracks from the University of Fortaleza for chairing the Tutorial are professionally organized by dedicated Track Chairs and Program. Also, this is the 5th year that SAC incorporates Co-Chairs. Each track maintains a program committee poster papers into the Technical Program. The inclusion and a group of highly qualified reviewers. We thank the of posters would not be possible without the work of our Track Chairs, Co-Chairs, and participating reviewers for Posters Chair Mathew Palakal from Indiana University Pur- their commitment to the success of SAC 2008. The Posters due University. Program, organized by Mathew Palakal from Indiana Uni- SAC 2008 would not be possible without contributions versity Purdue University, offers invited posters represent- from members of the scientific community. As anyone can ing the conference tracks. We thank Mathew for his effort imagine, many people have dedicated tremendous time and and dedication to the success of this program. The Tutorial effort over the period of 10 months to bring you an excellent program offers four high-quality and timely tutorials, se- program. The success of SAC 2008 relies on the effort and lected from over 23 tutorial submissions. We thank the Tu- hard work of many volunteers. On behalf of the SAC 2008 torials Committee, lead by Maria Andr´eiaRodrigues, from Organizing Committee, we would like to take this oppor- the University of Fortaleza, for the hard work in putting tunity to thank all of those who made this year’s technical this year’s successful program. We also thank our invited program a reality, including speakers, referees, track chairs, keynote speakers for sharing their knowledge and experi- session chairs, presenters, and attendees. We would spe- ence, the authors and presenters for sharing their work with cially like to thank the local arrangement committee lead us, and all attendees for joining us in Fortaleza, Brazil. by Angelo Brayner from the University of Fortaleza. The local organizing committee has always been the key SAC’s open call for Track Proposals resulted in the to the success of the conference. This year, the local commit- submission of 50 track proposals. These proposals were tee is lead by Nabor Mendon¸ca,from the University of For- carefully evaluated by the conference Program Committee. taleza, and Javam Machado from the Federal University of Some proposals were rejected on the grounds of either not Ceara. We thank them for their outstanding leadership. We being appropriate for the areas that SAC covers traditionally thank Lorie Liebrock, from New Mexico Institute of Mining or being of rather narrow and specialized nature. Eventu- and Technology, for her tremendous effort putting together ally, 45 tracks were established, which then went on to pro- the conference proceedings. We also thank the Publicity duce their own call for papers. In response to these calls, Committee lead by Rossana Maria Andrade from Federal 1307 papers were submitted from more than 60 countries. University of Ceara, Jiman Hong from Soongsil University, After a reviewing process where each paper was evaluated and Sung Shin from South Dakota State University. Finally, by a minimum of three reviewers, 384 papers were strongly we extend our thanks and gratitude to Angelo Brayner, from recommended for acceptance as full papers and inclusion in

Final Program 3 SAC 2008, March 16 – 20, 2008 the Conference Proceedings. This gives SAC 2008 an ac- Future SAC Organization Meeting: Monday March ceptance rate of 29.3 across all tracks. These numbers make 17, from 18:00 to 19:00 in room Sala Iracema. Open for SAC 2008 the most successful and the most competitive SAC SAC Organizing Committee. to date. This year we also introduced the concept of themes SAC Reception: Monday March 17, from 19:00 to 22:00. where tracks are organized on 6 main areas. The themes Leaving from Vila Gal´e Hotel. Open for all registered were used in the preparation of the schedule of presenta- attendees. tions aiming at minimizing the overlap of presentations in related fields. Posters Session: Tuesday March 18, from 9:00 to 11:00 We hope you will enjoy the meeting and have the oppor- and from 14:00 to 17:00 in room Sala Iracema. Open to tunity to exchange your ideas and make new friends. We everyone. also hope you will enjoy your stay in Fortaleza, Brazil and SAC General Luncheon: Tuesday March 18, from 12:10 take pleasure from the many entertainments and activities to 13:30. Vila Gal´e (Hotel) Restaurant. Open for all that the city and Fortaleza has to offer. We encourage you registered attendees. and your colleagues to submit your research findings to next year’s technical program when the conference will be move SIGAPP Annual Business Meeting: Tuesday March back to the USA, more specifically to Hawaii. Thank you for 18, from 18:00 to 19:00 in room Sala Iracema. Open to being part of SAC 2008, and we hope to see you in Hawaii everyone. for SAC 2009. SAC Banquet: Wednesday March 19, 2008. La Maison Dunas. Departure at 20:00 from Vila Gal´eHotel. Open for SAC 2008 Themes Banquet Ticket holders. See your tickets for full details. SAC Best Papers Award: Wednesday March 19, 2008. La Maison Dunas. During the SAC Banquet SAC This year SAC tracks are divided into 6 themes: each Organization Committee will award one best paper for each theme will be associated to one room, hence related tracks of the six themes of this conference. will take place sequentially in the same room, so as to promote sharing and cross-fertilized of ideas through the Track-Chairs Luncheon: Thursday March 20, from 12:10 whole theme audience. Check the schedule at page 7 for to 13:30. Vila Gal´e(Hotel) Restaurant. Open for SAC details. These are the six themes of SAC 2008: Organizing Committee, Track Chairs and Co-Chairs.

(ENG) Engineering Sala Fernando Pessoa SAC 2009 Tracks: DE, ELSDS, ME, OE, RE, SE SAC 2009 will be held in Honolulu, Hawaii, USA, March 8 (IS) Information Systems to 12, 2009. It is co-hosted by University of Hawaii at Manoa Sala Iracema and Chaminade University of Honolulu. Please check the Tracks: ASIIS, DM, DS, DTTA, EIS, IAR, MMV registration desk for handouts. You can also visit the web- site at http://www.acm.org/conferences/sac/sac2009/. (AIA) Artificial Intelligence and Agents Sala Tom Jobim Tracks: AC, AISA, ATOS, CISIA, EC, GCR, MAS, MCA, SOPDS, TRECK

(DS) Distributed Systems Sala Vasco da Gama Tracks: CN, DADS, SEC, SWA, WT

(SWD) Software Development Sala Am´alia Rodrigues Tracks: ACS, APSLA, CM, CSP, OOPS, PSC, PL, RTS, SV

(APP) Applications Sala E¸cade Queiroz Tracks: BIO, CAHC, CF, EBA, EMBS, NLSP, RHSES, UC

Other Activities

Review Meeting: Sunday March 16, from 18:00 to 19:00. Open for SAC Organizing Committee and Track Chairs and Co-Chairs.

Final Program 4 SAC 2008, March 16 – 20, 2008 and NASA funded ITAC study team ”Software Agents for Monday Keynote Address the Warfighter.” Among other publications, he edited the books Knowledge Acquisition as a Modeling Activity (with Ken Ford, Wiley, 1993), Software Agents (AAAI Press/The Cognitive, Robotic, and Social MIT Press, 1997). Prostheses: New Approaches for Augmenting Human Capabilities Dr. Jeffrey M. Bradshaw Wednesday Keynote Address Senior Research Scientist Florida Institute for Human and Machine Cognition Near Space-Optimal Perfect Hashing Pensacola, Florida, USA Algorithms Monday March 17, 8:20 – 10:00AM Prof. Dr. Nivio Ziviani Room: Salao˜ Master I Professor Emeritus Department of Computer Science Abstract Federal University of Minas Gerais, Brazil The accumulated tools of human history can all profitably be regarded as prostheses—not in the sense that they com- Wednesday March 19, 8:20 – 10:00AM pensate for the specific disabilities of any given individual, Room: Salao˜ Master I but rather because they enable us to overcome the biological limitations shared by all of us. Cognitive, robotic, and so- Abstract cial prostheses are computational systems that leverage and Minimal perfect hash functions are widely used for mem- extend human intellectual, perceptual, physical, and collab- ory efficient storage and fast retrieval of items from static orative capacities, just as the steam shovel was a sort of sets. A perfect hash function (PHF) h : U → [0, m − 1] for muscular prosthesis or eyeglasses a sort of visual prosthesis. a key set S is a function that maps the keys of S to unique Unlike the tools of traditional Artificial Intelligence, these values. A minimal perfect hash function (MPHF) is a PHF prostheses are not designed to replace the human role in with the smallest range, i.e., m = n. The objective of this tasks but rather to augment human capabilities and enable talk is to present two time efficient and near space-optimal people to focus their unique strengths on ever-more challeng- perfect hashing algorithms. We present: (1) an internal ing problems. In this talk I will describe and demonstrate memory based algorithm that assumes uniform hashing to some of the exciting developments in this emerging field. build a family of PHFs (for m = 1.23n) or MPHFs (for m = n) based on random graphs, and (2) an external mem- Dr. Jeffrey M. Bradshaw is a Senior Research Scientist ory based algorithm that has experimentally proven practi- at the Florida Institute for Human and Machine Cognition cality for sets in the order of billions of keys. Both internal (IHMC) where he leads the research group developing the and external algorithms have the following properties: (i) KAoS policy and domain services framework. He has been a evaluation of a PHF or a MPHF requires constant time, (ii) Fulbright Senior Scholar at the European Institute for Cog- the algorithms are simple to describe and implement, and nitive Sciences and Engineering (EURISCO) in Toulouse, generate the functions in linear time, (iii) for the internal France; an Honorary Visiting Researcher at the Center for algorithm, the amount of space needed to represent a PHF Intelligent Systems and their Applications and AIAI at the is approximately 1.95n bits and a MPHF is approximately University of Edinburgh, Scotland; a visiting professor at 2.62n bits, which is around a factor of 2 from the informa- the Institut Cognitique at the University of Bordeaux; is tion theoretical minimum of approximately 0.89n and 1.44n former chair of ACM SIGART; and former chair of the RI- bits, respectively; for the external algorithm, the amount of ACS Science Council for NASA Ames Research Center. He space needed to represent a PHF is approximately 2.7n bits is a member of the National Research Council (NRC) Com- and a MPHF is approximately 3.8n bits. To our knowledge, mittee on Military and Intelligence Methodology for Emer- no previously known algorithm has these properties and any gent Physiological and Cognitive/Neural Science Research algorithm in the literature with the property (iii) either re- in the Next Two Decades, and is a scientific advisor to the quires exponential time for construction and evaluation, or Japanese NEC Technology Paradigm Shifts initiative and uses near-optimal space only asymptotically, for extremely the HCIV program at the German National AI Research large n. The internal algorithm is used in one phase of the Center (DFKI). He is a member of the Technical Commit- external algorithm. We demonstrate the scalability of the tee for IEEE Systems, Man and Cybernetics and for the external algorithm by constructing MPHFs for a set of 1.024 Aerospace Human Factors and Ergonomics of the IEA. He billion URLs from the World Wide Web of average length 64 will serve as co-program chair for Intelligent User Interfaces characters in approximately 62 minutes, using a commodity (IUI 2008) and as Program Vice Chair, 2008 IEEE Interna- PC. tional Conference on Distributed Human-Machine Systems (DHMS 2008). Dr. Bradshaw serves on the Autonomous Nivio Ziviani has a Ph.D. in Computer Science from the Agents Steering committee and on the editorial board of the University of Waterloo, Canada, 1982. He is a Profes- Journal of Autonomous Agents and Multi-Agent Systems, sor Emeritus at the Department of Computer Science of the Web Semantics Journal, Schedae Informaticae, and the the Federal University of Minas Gerais (UFMG), Brazil, Web Intelligence Journal, and was formerly on the board where he coordinates the Laboratory for Treating Informa- of the Knowledge Acquisition Journal and the International tion (LATIN). He is a member of the Brazilian Academy of Journal of Human-Computer Studies. He led the DARPA Sciences and of the National Order of the Scientific Merit

Final Program 5 SAC 2008, March 16 – 20, 2008 in the class Comendador. He is a co-founder of Miner Tech- nology Group, sold to Folha de S˜aoPaulo / UOL group in 1999, and Akwan Information Technologies, sold to Google Tutorials Inc. in 2005. He has co-authored of over 100 refereed papers and 2 books in the areas of algorithm design and informa- tion retrieval, the latter his primary area of research. He was General Co-Chair of the 28th ACM SIGIR Conference Sunday March 16, 2008 on Research and Development in Information Retrieval and co-founder of the International Conference on String Pro- cessing and Information Retrieval (SPIRE). 9:00 - 17:00 Registration

8:30 - 12:00 (Coffee Break: 10:00 - 10:30) AM Tutorials

T2: The Energy Role in the Design of Applications for Wireless Sensor Networks Raquel A. F. Mini, PUCMinas, Brazil Antonio A. F. Loureiro, UFMG, Brazil Room: Sala Tom Jobim

12:00 - 14:00 Lunch Break

14:00 - 17:30 (Coffee Break: 15:30 - 16:00) PM Tutorials

T4: Virtual Instructors in Mixed Reality Environments Jayfus T. Doswell, The Juxtopia Group & IEEE VIPRG, USA Room: Sala Fernando Pessoa

T5: Model-Driven Architecture: Core Technologies, Models and Application Lu´ıs F. Pires, University of Twente, Netherlands Marten van Sinderen, University of Twente, Netherlands Jo˜aoPaulo A. Almeida, Universidade Federal do Esp´ırito Santo, Brazil Room: Sala Tom Jobim

T6: Database Replication and Clustering Rui Oliveira, Universidade do Minho, Portugal Lu´ıs Rodrigues, IST/INESC-ID, Portugal Jos´ePereira, Universidade do Minho, Portugal Room: Sala Iracema

18:00 - 19:00 SAC Review Meeting

Final Program 6 SAC 2008, March 16 – 20, 2008 Selectivity Estimation in Spatial Networks Eleftherios Tiakas, Aristotle University, Greece Tracks Schedule Apostolos Papadopoulos, Aristotle University, Greece Alexandros Nanopoulos, Aristotle University, Greece Yannis Manolopoulos, Aristotle University, Greece

Aggregation Languages for Moving Object and Monday March 17, 2008 Places of Interest Leticia G´omez,Instituto Tecnologico de Buenos Aires, Argentina Bart Kuijpers, Hasselt University & Transnational University, Belgium Alejandro Vaisman, Universidad de Buenos Aires, Argentina Mon. 8:20 - 10:00 Salao˜ Master I A Clustering-based Approach for Discovering Keynote Address Interesting Places in Trajectories Andrey Tietbohl Palma, UFRGS, Brazil Vania Bogorny, Hasselt University & Transnational University, Cognitive, Robotic, and Social Belgium Prostheses: New Approaches for Bart Kuijpers, Hasselt University & Transnational University, Belgium Augmenting Human Capabilities Luis Otavio Alvares, UFRGS, Brazil

Dr. Jeffrey M. Bradshaw Aggregate Similarity Queries in Relevance Florida Institute for Human and Machine Cognition Feedback Methods for Content-based Image Pensacola, Florida, USA Retrieval Humberto Razente, University of S˜ao Paulo at S˜ao Carlos, Brazil See details at page 5 Maria Camila N. Barioni, University of S˜aoPaulo at S˜ao Carlos, Brazil Agma J. M. Traina, University of S˜ao Paulo at S˜ao Carlos, Brazil Caetano Traina Jr., University of S˜ao Paulo at S˜ao Carlos, Brazil 10:00 - 10:30 Lobby do Ind´ıo Coffe Break Spatial Vagueness and Imprecision in Databases Alejandro Pauly, University of Florida, USA Markus Schneider, University of Florida, USA

Mon. 10:30 - 12:10 ENG: Sala Fernando Pessoa (OE-1) Organizational Engineering Mon. 10:30 - 12:10 AIA: Sala Tom Jobim Jos´eTribolet, Technical University of Lisbon (CISIA-1) Computational Logic and Computational Intelligence in Signal and Image Enterprise Ontology in Enterprise Engineering Analysis Jan L.G. Dietz, Delft University of Technology, The Netherlands A Rosa, ISR-TUL Jan Hoogervorst, Sogeti Nederland, The Netherlands

Enterprise Ontology Based Splitting and Combination of Decomposability and Propagation Contracting of Organizations for Solving First-Order Constraints in Decomposable Theories Martin Op ’t Land, Delft University of Technology, Netherlands Jan L.G. Dietz, Delft University of Technology, The Netherlands Khalil Djelloul, laboratoire d’informatique fondamentale d’orleans, France Integrating Goal Modeling and Execution in Spatially Non-Homogeneous Potts Model Adaptive Complex Enterprises Parameter Estimation on Higher-Order Rajiv Ramnath, The Ohio State University, USA Jay Ramanathan, The Ohio State University, USA Neighborhood Systems by Maximum Pseudo-Likelihood An Integrated View on Business - and Alexandre L. M. Levada, Universidade de S˜aoPaulo, Brazil Nelson D. A. Mascarenhas, Univesidade Federal de S˜ao Carlos, IT-Architecture Brazil Michael Rohloff, mri Management Consulting, Germany Alberto Tann´us,Universidade de S˜aoPaulo, Brazil Denis H.P. Salvadeo, Universidade Federal de S˜aoCarlos, Brazil Enterprise Architecture Governance: The Need for a Business-to-IT Approach Neural Network Based Systems for Computer-Aided Musical Composition: Supervised Robert Winter, University of St. Gallen, Switzerland Joachim Schelp, University of St. Gallen, Switzerland x Unsupervised Learning D´ebora C. Corrˆea,Universidade Federal de S˜aoCarlos, Brazil Alexandre L. M. Levada, Universidade de S˜aoPaulo, Brazil Jos´eH. Saito, Universidade Federal de S˜ao Carlos, Brazil Jo˜aoF. Mari, Universidade Federal de S˜aoCarlos, Brazil Mon. 10:30 - 12:10 IS: Sala Iracema General Type-2 Fuzzy Classifiers to Land Cover (ASIIS) Advances in Spatial and Image-based Classification Information Systems Lu´ıs Alberto Lucas, UTFPR, Brazil Agma J. M. Traina, University of Sao Paulo, Brazil Tania Mezzadri Centeno, UTFPR, Brazil Myriam Regattieri Delgado, UTFPR, Brazil

Final Program 7 SAC 2008, March 16 – 20, 2008 Mon. 10:30 - 12:10 DS: Sala Vasco da Gama Mon. 10:30 - 12:10 APP: Sala Ec¸a de Queiroz (WT-1) Web Technologies (BIO-1) Bioinformatics Lamy Kaya, Sharjah University, UAE Sergio Cruz, PESC/COPPE – UFRJ

Consistent Privacy Preferences (CPP): Model, CReF: A Central-residue-fragment-based Method Semantics, and Properties for Predicting Approximate 3-D Polypeptides Peter Bodorik, Dalhousie University, Canada Structures Dawn Jutla, Saint Mary’s University, Canada M´arcio Dorn, PUCRS, Brazil Mike Xuehai Wang, Dalhousie University, Canada Osmar Norberto de Souza, PUCRS, Brazil

Agent and Ontology based Information Gathering Mining Disease-Specific Molecular Association on Restricted Web Domains with AGATHE Profiles from Biomedical Literature: A Case Study Bernard Espinasse, Domaine Universitaire de St Jerˆome, France Sebastien Fournier, Domaine Universitaire de St Jerˆome, France Jiao Li, Tsinghua University, China Frederico Freitas, Universidade Federal de Pernambuco, Brazil Xiaoyan Zhu, Tsinghua University, China Jake Chen, Indiana University - Purdue University Indianapolis, USA Modeling and Verifying BPEL Using Synchronized Net BOLOS: BLAST & Ontology Linked-hOmologue Chunxiang Xu, Peking University, China Stars Hanpin Wang, Peking University, China Wanling Qu, Peking University, China Hugo Bastos, University of Lisbon, Portugal Daniel Faria, University of Lisbon, Portugal Catia Pesquita, University of Lisbon, Portugal An Integrated Web System to Facilitate Andr´eFalc˜ao, University of Lisbon, Portugal Personalized Web Searching Algorithms Christos Makris, University of Patras, Greece Computing H/D-Exchange Speeds of Single Yannis Panagis, University of Patras, Greece Residues from Data of Peptic Fragments Yannis Plegas, University of Patras, Greece Evangelos Sakkopoulos, University of Patras, Greece Ernst Althaus, MPI f¨urInformatik, Germany Stefan Canzar, Universite Henri Poincare LORIA, France Mark Emmett, Florida State University, USA Designing and Architecting Process-aware Web Andreas Karrenbauer, MPI f¨urInformatik, Germany Applications with EPML Alan Marshall, Florida State University, USA Anke Meyer-Baese, FAMU-FSU College of Engineering, USA Davide Rossi, University of Bologna, Italy Huimin Zhang, Florida State University, USA Elisa Turrini, University of Bologna, Italy FlagelLink: A Decision Support System for Distributed Flagellar Data Using Data Warehouse Fabiana Ara´ujo,Universidade Federal do Ceara, Brazil Mon. 10:30 - 12:10 SWD: Sala Amalia´ Rodrigues Angela Pinheiro, Universidade Estadual do Ceara, Brazil Kaio Farias, Universidade Estadual do Ceara, Brazil (RTS-1) Real-Time Systems Bernadette Loscio, Universidade Federal do Ceara, Brazil Leandro Becker, UFSC - DAS Diana Oliveira, Universidade Estadual do Cear´a,Brazil

Multiprocessor Frequency Locking for Real-Time 12:10 - 13:30 Task Synchronization Ya-Shu Chen, National Taiwan University of Science and Lunch Break Technology, Taiwan Li-Pin Chang, National Chiao-Tung University, Taiwan Tei-Wei Kuo, National Taiwan University, Taiwan

A Behavior Priority Driven Approach for Resource Mon. 13:30 - 15:10 ENG: Sala Fernando Pessoa Reservation Scheduling (OE-2) Organizational Engineering Leo Ordinez, Universidad Nacional del Sur - CONICET, Argentina David Donari, Universidad Nacional del Sur - CONICET, Argentina Robert Winter, University of St. Gallen Rodrigo Santos, Universidad Nacional del Sur - CONICET, Argentina Javier Orozco, Universidad Nacional del Sur - CONICET, Argentina Organizational Engineering in Public Administration: TheState of the Art on The Utilization Bound of Uniprocessor Preemptive eGovernment Domain Modeling Slack-Monotonic Scheduling is 50% Vassilios Peristeras, Digital Enterprise Research Institute, National Bj¨orn Andersson, Institute Polytechnic Porto, Portugal University of Ireland, Ireland Nikolaos Loutas, Center for Research and Technology Hellas, Greece Konstantinos Tarabanis, University of Macedonia, Greece Evaluation of Priority Based Real Time Scheduling Algorithms: Choices and Tradeoffs Designing IC Structures by Variety Engineering Biju Raveendran, Birla Institut of Technology and Science, INDIA Christoph Rosenkranz, Johann Wolfgang Goethe University, Sundar Balasubramaniam, BITS Pilani, INDIA Germany S Gurunarayanan, BITS Pilani, INDIA Roland Holten, Johann Wolfgang Goethe University, Germany Marcus Laumann, Arvato Services Healthcare, Germany

Final Program 8 SAC 2008, March 16 – 20, 2008 Redesigning Business Networks – Reference Using the RRT Algorithm to Optimize Process, Network and Service Map Classification Systems for Handwritten Digits and Stefan Reitbauer, University of St. Gallen, Switzerland Letters Falk Kohlmann, University of Leipzig, Germany Paulo Vinicius Wolski Radtke, Pontificia Universidade Catolica do Clemens Eckert, University of St. Gallen, Switzerland Parana, Brazil Ken Mansfeldt, University of St. Gallen, Switzerland Robert Sabourin, Ecole´ de Technologie Sup´erieure, Canada Rainer Alt, University of Leipzig, Germany Tony Wong, Ecole´ de Technologie Sup´erieure, Canada

Towards Self-Configuration and Management of Face Recognition Using DCT Coefficients Selection e-Service Provisioning in Dynamic Value Fabrizia Medeiros de Sousa Matos, COINFO / CEFET-PB, Brazil Constellations Leonardo Vidal Batista, PPGI / DI / UFPB, Brazil Jaap Gordijn, Free University Amsterdam, The Netherlands JanKees v. d. Poel, PPGEM / DEM / UFPB, Brazil Hans Weigand, Tilburg University, The Netherlands Manfred Reichert, University of Twente, The Netherlands Roel Wieringa, University of Twente, The Netherlands Mon. 13:30 - 15:10 AIA: Sala Tom Jobim User Interface Derivation from Business Processes: A Model-Driven Approach for Organizational (EC-1) Applications of Evolutionary Engineering Computation KˆeniaSousa, Universit´ecatholique de Louvain, Belgium Andre’ Coelho, University of Fortaleza Hildeberto Mendon¸ca,Universit´ecatholique de Louvain, Belgium Jean Vanderdonckt, Universit´ecatholique de Louvain, Belgium Els Rogier, Namahn, Belgium Fuzzy and Neuro-Fuzzy Estimates of the Total Joannes Vandermeulen, Namahn, Belgium Height of Eucalyptus Trees Ricardo M. de A. Silva, Universidade Federal de Lavras, Brazil Fillipe G. Brand˜ao, Universidade Federal de Lavras, Brazil Gleimar B. Baleeiro, Universidade Federal de Lavras, Brazil Felipe L. Valentim, Universidade Federal de Lavras, Brazil Mon. 13:30 - 15:10 IS: Sala Iracema Adriano R. de Mendon¸ca, Universidade Federal de Lavras, Brazil Danilo M. Pires, Universidade Federal de Lavras, Brazil (DTTA-1) Database Theory, Technology, and Applications A Nervous System Model for Direct Dynamics Junping Sun, Nova Southeastern University Animation Control Based on Evolutionary Computation Accurate Histogram-based XML Summarization Yuri Lenon Barbosa Nogueira, Federal University of Cear´a,Brazil Jose de Aguiar Moraes Filho, University of Kaiserslautern, Germany Creto Vidal, Federal University of Cear´a,Brazil Theo H¨arder, University of Kaiserslautern, Germany Joaquim Cavalcante-Neto, Federal University of Cear´a, Brazil

Usage-based Ranking of Distributed XML Data Replica Identification using Genetic Programming Camelia Constantin, Universit´ePierre et Marie Curie, France Moises Carvalho, Federal University of Minas Gerais, Brazil Bernd Amann, Universit´ePierre et Marie Curie, France Alberto H. F. Laender, Federal University of Minas Gerais, Brazil Marcos Andr´eGon¸calves, Federal University of Minas Gerais, Brazil Altigran S. da Silva, Federal University of Amazonas, Brazil XBird/D: Distributed and Parallel XQuery Processing using Remote Proxy Makoto Yui, Nara Institute of Science and Technology, Japan Jun Miyazaki, Nara Institute of Science and Technology, Japan Mon. 13:30 - 15:10 DS: Sala Vasco da Gama Shunsuke Uemura, Nara Sangyo University, Japan Hirokazu Kato, Nara Institute of Science and Technology, Japan (WT-2) Web Technologies Adaptive Weighted Multi-Criteria Fuzzy Query Lamy Kaya, Sharjah University, UAE Processing for Web Based Real Estate Applications Hermes: A Semantic Web-Based News Decision Omer¨ O.¨ I¸sıkman,TOBB ETU,¨ Turkey Murat Ozdemir,¨ TOBB ETU,¨ Turkey Support System Harun G¨ok¸ce, TOBB ETU,¨ Turkey Jethro Borsje, Erasmus University Rotterdam, The Netherlands Baha G. Yalım, TOBB ETU,¨ Turkey Leonard Levering, Erasmus University Rotterdam, The Netherlands Tansel Ozyer,¨ TOBB ETU,¨ Turkey Flavius Frasincar, Erasmus University Rotterdam, The Netherlands Reda Alhajj, U of Calgary and Global U., Lebanon, Canada and Lebanon An Approach Based on Metrics for Monitoring Web Accessibility in Brazilian Municipalities Web Introducing Self-Adaptability into Transaction Sites Processing Andr´eFreire, University of S˜aoPaulo ICMC, Brazil Maristela Holanda, Catholic University of Brasilia, Brazil Thiago Bittar, University of S˜aoPaulo ICMC, Brazil Angelo Brayner, University of Fortaleza, Brazil Renata Fortes, University of S˜ao Paulo ICMC, Brazil Sergio Fialho, Federal Univ. of Rio Grande do Norte, Brazil Ranking with Tagging as Quality Indicators Jongwuk Lee, POSTECH, Republic of Korea Seung-won Hwang, POSTECH, Republic of Korea Mon. 13:30 - 15:10 AIA: Sala Tom Jobim (CISIA-2) Computational Logic and On the Performance of Persistent Connection in Computational Intelligence in Signal and Image Modern Web Servers Xiao-zhu Lin, Tsinghua University, China Analysis Hai-yan Wu, Tsinghua University, China Khalil Djelloul, LIFO Jing-jun Zhu, Tsinghua University, China Ying-xue Wang, Tsinghua University, China

Final Program 9 SAC 2008, March 16 – 20, 2008 Web Page Genre Classification Towards an Integrative Human Pathway Database Guangyu Chen, Louisiana Tech University, USA for Systems Biology Applications Ben Choi, Louisiana Tech University, USA Harini Kasamsetty, Indiana University School of Informatics, USA Xiaogang Wu, Indiana University School of Informatics, USA Jake Chen, Indiana University - Purdue University Indianapolis, USA Mon. 13:30 - 15:10 SWD: Sala Amalia´ Rodrigues Strangeness-based Feature Weighting and (RTS-2) Real-Time Systems Classification of Gene Expression Profiles Paulo Martins, Chaminade University Haifeng Shao, Case Western Reserve University, USA Bei Yu, Northwestern University, USA Towards a Model-Driven Engineering Approach for Joseph Nadeau, Case Western Reserve University, USA Developing Embedded Hard Real-Time Software Fabiano Cruz, Nokia Institute of Technology (INdT) and Computational Approach to Biological Validation Universidade Federal do Amazonas, Brazil of Protein-Protein Interactions Discovered using Raimundo Barreto, Universidade Federal do Amazonas, Brazil Lucas Cordeiro, Universidade Federal do Amazonas, Brazil Literature Mining Paulo Maciel, Universidade Federal de Pernambuco, Brazil Anna Antony, Indiana University Purdue University, USA Srilaxmi Basetty, IUPUI, USA Scheduling Distributable Real-Time Threads in the Shielly Hartanto, IUPUI, USA Presence of Crash Failures and Message Losses Mathew Palakal, IUPUI, USA Sherif Fahmy, Virginia Tech, USA Binoy Ravindran, Virginia Tech, USA Douglas Jensen, MITRE Corporation, USA 15:10 - 15:40 Lobby do Ind´ıo A Wireless Hybrid Contention/TDMA-based MAC Coffe Break for Real-Time Mobile Applications Marcelo Sobral, Federal University of Santa Catarina, Brazil Leandro Becker, Federal University of Santa Catarina, Brazil Mon. 15:40 - 17:20 ENG: Sala Fernando Pessoa

Mon. 13:30 - 15:10 SWD: Sala Amalia´ Rodrigues (ME) Middleware Engineering Rajiv Ramnath, The Ohio State University (CM-1) Coordination Models, Languages and Applications Context-Aware Middleware Architecture for Michael Schumacher, University of Applied Sciences Western Switzerland Vertical Handover Support to Multi-homed Nomadic Mobile Services Towards Trace Semantics for WS-CDL with Pravin Pawar, University of Twente, The Netherlands Alignments Katarzyna Wac, University of Geneva, Switzerland Bert-Jan van Beijnum, University of Twente, The Netherlands Yahui Lu, Tsinhua University, P.R.China Pierre Maret, Institut National des Sciences Appliqu´eesde Lyon, Li Zhang, Tsinghua University, P.R.China France Jiaguang Sun, Tsinghua University, P.R.China Aart van Halteren, Philips Research, The Netherlands Hermie Hermens, University of Twente, The Netherlands Framework Composition Conformance via Refinement Checking Middleware of Taiwan UniGrid Rodrigo Ramos, Federal University of Pernambuco, Brazil Po-Chi Shih, National Tsing Hua University, Taiwan Augusto Sampaio, Federal University of Pernambuco, Brazil Hsi-Min Chen, National Central University, Taiwan Alexandre Mota, Federal University of Pernambuco, Brazil Yeh-Ching Chung, National Tsing Hua University, Taiwan Chien-Min Wang, Academia Sinica, Taiwan Ruay-Shiung Chang, National Dong Hwa University, Taiwan Ching-Hsien Hsu, Chung Hua University, Taiwan Mon. 13:30 - 15:10 APP: Sala Ec¸a de Queiroz Kuo-Chan Huang, National Taichung University, Taiwan Chao-Tung Yang, Tunghai University, Taiwan (BIO-2) Bioinformatics Mark Emmett, Florida State University Decentralized Web Service Orchestration: A Reflective Approach OrthoSearch: A Scientific Workflow Approach to Ricardo Jim´enez-Peris, Universidad Politecnica de Madrid, Spain Detect Distant Homologies on Protozoans Marta Patino-Martinez, Universidad Polit´ecnica de Madrid, SPAIN Ernestina Martel, Universidad de las Palmas de Gran Canaria, Spain Sergio Cruz, PESC/COPPE - UFRJ, Brazil Vanessa Batista, COPPE - Federal University of Rio de Janeiro, Brazil Dynamic Support to Transactional Remote Alberto D´avila, Oswaldo Cruz Institute - Fiocruz, Brazil Invocations over Multiple Transports Edno Silva, COPPE - Federal University of Rio de Janeiro, Brazil Frederico Tosta, COPPE - Federal University of Rio de Janeiro, Francisco Reverbel, University of S˜ao Paulo, Brazil Brazil Ivan Silva Neto, University of S˜aoPaulo, Brazil Clarissa Vilela, COPPE - Federal University of Rio de Janeiro, Brazil Maria Luiza Machado Campos, Federal University of Rio de Janeiro, Towards a Service-Based Middleware Layer for Brazil Runtime Environments Rafael Cuadrat, Oswaldo Cruz Institute - Fiocruz, Brazil Abdulmalik Al-Gahmi, New Mexico State University, USA Diogo Tschoeke, Oswaldo Cruz Institute - Fiocruz, Brazil Jonathan Cook, New Mexico State University, USA Marta Mattoso, COPPE - Federal University of Rio de Janeiro, Brazil

Final Program 10 SAC 2008, March 16 – 20, 2008 Dependence Graphs for Verifications of Web Mon. 15:40 - 17:20 IS: Sala Iracema Service Compositions with PEWS Cheikh Ba, Universit´eFran¸cois Rabelais de Tours, France (DTTA-2) Database Theory, Technology, and M´ırian Halfeld Ferrari, Universit´eFran¸cois Rabelais de Tours, Applications France Junping Sun, Nova Southeastern University A Programming Environment for Web Services History Offset Implementation Scheme for Large Martin Musicante, Universidade Federal do Rio Grande do Norte, Brazil Scale Multidimensional Data Sets Edinardo Potrich, Potifical Catholic University of Paran´a, Brazil Tatsuo Tsuji, University of Fukui, Japan Marcos Carrero, Federal University of Paran´a,Brazil Masayuki Kuroda, University of Fukui, Japan Ken Higuchi, University of Fukui, Japan Query by Example for Web Services Managing Data Quality in a Terabyte-scale Sensor Marco Crasso, UNICEN University, Argentina Alejandro Zunino, UNICEN University, Argentina Archive Marcelo R. Campo, UNICEN University, Argentina Bryce Cutt, University of British Columbia Okanagan, Canada Ramon Lawrence, University of British Columbia Okanagan, Canada Path-Based Verification for Composition of Online Detection of Malicious Data Access Using Semantic Web Services DBMS Auditing Yuxiang Shi, Chinese Academy of Sciences, China Jun Yan, Chinese Academy of Sciences, China Jos´eFonseca, University of Coimbra, Portugal Zhongjie Li, IBM China Research Lab, China Marco Vieira, University of Coimbra, Portugal Jun Zhu, IBM China Research Lab, China Henrique Madeira, University of Coimbra, Portugal

A QoS-oriented External Scheduler Enhancing Web Service Selection by QoS-Based Rog´erio Lu´ısde Carvalho Costa, University of Coimbra, Portugal Ontology and WS-Policy Pedro Furtado, Universidade de Coimbra, Portugal Sodki Chaari, INSA-Lyon, France Youakim Badr, INSA-Lyon, France Fr´ed´erique Biennier, INSA-Lyon, France

Mon. 15:40 - 17:20 AIA: Sala Tom Jobim (EC-2) Applications of Evolutionary Computation Mon. 15:40 - 17:20 SWD: Sala Amalia´ Rodrigues Moise’s Carvalho, Federal University of Minas Gerais (CM-2) Coordination Models, Languages and Applications Dynamic Populations in Genetic Algorithms Alan Wood, University of York Zhanshan (Sam) Ma, University of Idaho, USA Axel Krings, University of Idaho, USA A Formal Architectural Model for Exception A GA-based Feature Selection and Parameters Handling Coordination Optimization for Support Vector Regression David P. Pereira, University of S˜ao Paulo, Brazil Applied to Software Effort Estimation Ana C. V. de Melo, University of S˜aoPaulo, Brazil Petrˆonio Braga, Pernambuco State University, Brazil Adriano Oliveira, Pernambuco State University, Brazil Silvio Meira, Federal University of Pernambuco & C.E.S.A.R., Brazil Model and Infrastructure for Decentralized Workflow Enactment Evaluating Genetic Algorithms with Different Daniel Wutke, University of Stuttgart, Germany Population Structures on a Lot Sizing and Daniel Martin, University of Stuttgart, Germany Scheduling Problem Frank Leymann, University of Stuttgart, Germany Claudio Toledo, Universidade Federal de Lavras, Brazil Paulo Fran¸ca,Universidade Estadual Paulista, Brazil Workflow Management versus Case Handling: Kalianne Rosa, Universidade Federal de Lavras, Brazil Results from a Controlled Software Experiment Bela Mutschler, Daimler Group Research, Germany A Performance Comparison of PSO and GA in Barbara Weber, University of Innsbruck, Austria Scheduling Hybrid Flow-shops with Multiprocessor Manfred Reichert, University of Twente, The Netherlands Tasks M Fikret Ercan, Singapore Polytechnic, Singapore Decision-Making Coordination in Collaborative Product Configuration Dynamically Tuning the Population Size in Particle Marcilio Mendon¸ca, University of Waterloo, Canada Swarm Optimization Thiago Bartolomei, University of Waterloo, Canada Andr´eCoelho, University of Fortaleza, Brazil Donald Cowan, University of Waterloo, Canada Daniel de Oliveira, University of Fortaleza, Brazil Data Sharing vs. Message Passing: Synergy or Incompatibility? An Implementation-Driven Case Mon. 15:40 - 17:20 DS: Sala Vasco da Gama Study Matteo Ceriotti, FBK-IRST & University of Trento, Italy (WT-3) Web Technologies Amy L. Murphy, FRK-IRST & University of Lugano, Italy Gian Pietro Picco, University of Trento, Italy Lamy Kaya, Sharjah University, UAE

Final Program 11 SAC 2008, March 16 – 20, 2008 Mon. 15:40 - 17:20 APP: Sala Ec¸a de Queiroz Tuesday March 18, 2008 (CF) Computer Forensics Alan Sprague, University of Alabama at Birmingham Tue. 9:00 – 12:00 Sala Vinicius de Moraes Application of Divide-and-conquer Algorithm Poster Session 1 Paradigm to Improve the Detection Speed of High Interaction Client Honeypots Christian Seifert, Victoria University of Wellington, New Zealand Posters of the following tracks: BIO, CF, CISIA, CM, Ian Welch, Victoria University of Wellington, New Zealand CSP, DTTA, EBA, EC, MAS, ME, MMV, OE, PSC, Peter Komisarczuk, Victoria University of Wellington, New Zealand RHSES, RTS, SE, SOPDS, UC (see the detailed list of posters at page 31.) Mining Spam Email to Identify Common Origins for Forensic Application Chun Wei, University of Alabama at Birmingham, USA Alan Sprague, University of Alabama at Birmingham, USA Gary Warner, University of Alabama at Birmingham, USA Tue. 08:20 - 10:00 ENG: Sala Fernando Pessoa Anthony Skjellum, University of Alabama at Birmingham, USA (ELSDS) Engineering Large-Scale Distributed Using Simplified Event Calculus in Digital Systems Investigation Claudio Lucchese, HPC Lab. ISTI-CNR Svein Yngvar Willassen, Norwegian University of Science and Technology, Norway Extending Peer-to-Peer Networks for Approximate Search A Fast and Effective Method to Detect Multiple Alain Mowat, Ecole Polytechnique F´ed´erale de Lausanne, Least Significant Bits Steganography Switzerland Xiaoyi Yu, Osaka University, Japan Roman Schmidt, Ecole Polytechnique F´ed´erale de Lausanne, Noboru Babaguchi, Osaka University, Japan Switzerland Michael Schumacher, University of Applied Sciences Western Switzerland, Switzerland Ion Constantinescu, Digital Optim, USA Mon. 18:00 - 19:00 Sala Iracema Future SAC Organization Meeting Knowledge-based Semantic Clustering John Keeney, Trinity College Dublin, Ireland Dominic Jones, Trinity College Dublin, Ireland Dominik Roblek, Trinity College Dublin, Ireland David Lewis, Trinity College Dublin, Ireland Mon. 19:00 Leaving from Vila Gale´ Hotel Declan O’Sullivan, Trinity College Dublin, Ireland SAC Reception Processing Complex Similarity Queries in Peer-to-Peer Networks Claudio Gennaro, ISTI-CNR, Italy Matteo Mordacchini, ISTI-CNR, Italy Salvatore Orlando, ISTI-CNR & Universit`aCa’ Foscari di Venezia, Italy Fausto Rabitti, ISTI-CNR, Italy

A Pull-based e-mail Architecture Edson Kageyama, PUCPR, Brazil Carlos Maziero, PUCPR, Brazil Altair Santin, PUCPR, Brazil

Tue. 08:20 - 10:00 IS: Sala Iracema (IAR-1) Information Access and Retrieval Gabriella Pasi, University of Milano Bicocca

XEdge: Clustering Homogeneous and Heterogeneous XML Documents Using Edge Summaries Panagiotis Antonellis, University of Patras, Greece Christos Makris, University of Patras, Greece Nikos Tsirakis, University of Patras, Greece

Entity Ranking in Wikipedia Anne-Marie Vercoustre, INRIA, France James A. Thom, RMIT University, Australia Jovan Pehcevski, INRIA, France

Final Program 12 SAC 2008, March 16 – 20, 2008 Semantic Mapping and K-means Applied to Ontology-based WOM Extraction Service from Hybrid SOM-Based Document Organization Weblogs System Construction Takahiro Kawamura, Toshiba Corp., Japan Renato Corrˆea, Federal University of Pernambuco, Brazil Shinichi Nagano, Toshiba Corp., Japan Teresa Ludermir, UFPE - Federal University of Pernambuco, Brazil Yumiko Mizoguchi, Toshiba Corp., Japan Masumi Inaba, Toshiba Corp., Japan Tomohiro Yamasaki, Toshiba Corp., Japan A Graph-based Profile Similarity Calculation Masayuki Okamoto, Toshiba Corp., Japan Method for Collaborative Information Retrieval Hassan Naderi, Bˆatiment Blaise Pascal, France Pattern Ranking for Semi-automatic Ontology B´eatrice Rumpler, Bˆatiment Blaise Pascal, France Construction Jean-Marie Pinon, Bˆatiment Blaise Pascal, France Eva Blomqvist, School of Engineering, J¨onk¨oping University, Sweden

Enabling Ontology-based Document Classification On the Conceptual Tag Refinement and Management in ebXML Registries Nenad Stojanovic, FZI at the University of Karlsruhe, Germany Ljiljana Stojanovic, FZI at the University of Karlsruhe, Germany Alessio Bechini, University of Pisa, Italy Jun Ma, FZI at the University of Karlsruhe, Germany Andrea Tomasi, University of Pisa, Italy Jacopo Viotto, University of Pisa, Italy The QoS-MO Ontology for Semantic QoS Modeling Gustavo Fortes Tondello, Federal University of Santa Catarina, Brazil Frank Siqueira, Federal University of Santa Catarina, Brazil Tue. 08:20 - 10:00 AIA: Sala Tom Jobim (MCA-1) Mobile Computing and Applications Yoshihide Hosokawa, Nagoya Institute of Technology Tue. 08:20 - 10:00 SWD: Sala Amalia´ Rodrigues (PL-1) Programming Languages A Location-aware Information Browser Barrett R. Bryant, University of Alabama at Birmingham Implemented on BREW-based Mobile Phones Yoshihide Hosokawa, Nagoya Institute of Technology, Japan The Architecture and Design of a Malleable Object-Oriented Prolog Engine iVESTA: An Interactive Visualization and Giulio Piancastelli, Universit`adi Bologna, Italy Evaluation System for Drive Test Data Alex Benini, Universit`adi Bologna, Italy Andrea Omicini, Universit`adi Bologna, Italy Yongsuk Lee, Florida Atlantic University, USA Alessandro Ricci, Universit`adi Bologna, Italy Xingquan Zhu, Florida Atlantic University, USA Abhijit Pandya, Florida Atlantic University, USA Sam Hsu, Florida Atlantic University, USA Integrating Java and Prolog through Generic Methods and Type Inference An Audio Wiki Supporting Mobile Collaboration Maurizio Cimadamore, University of Bologna, Italy Lei Wang, Queensland University of Technology, Australia Mirko Viroli, University of Bologna, Italy Paul Roe, Queensland University of Technology, Australia Binh Pham, Queensland University of Technology, Australia An Adaptation of the Collections Framework, Dian Tjondronegoro, Queensland University of Technology, Reflection and Object Cloning from J2SE to J2ME Australia Tales Paiva Nogueira, Universidade Federal do Cear´a- UFC, Brazil Luis C. L. Neto, Federal University of Cear´a, Brazil An Approach to Mobile Collaborative Mapping Lincoln S. Rocha, Federal University of Cear´a, Brazil Chien Jon Soon, Queensland University of Technology, Australia Rossana M. C. Andrade, Federal University of Cear´a, Brazil Paul Roe, Queensland University of Technology, Australia Dian Tjondronegoro, Queensland University of Technology, Implementing Java Modeling Language Contracts Australia with AspectJ Henrique Rebˆelo, Pernambuco State University, Brazil Ubicomp Secretary: A Web Service based Ricardo Lima, Pernambuco State University, Brazil Ubiquitous Computing Application M´arcio Corn´elio, Pernambuco State University, Brazil S´ergio Soares, Pernambuco State University, Brazil Salmin Sultana, Commlink Info Tech. Ltd., Bangladesh Leopoldo Ferreira, Pernambuco State University, Brazil Rezwana Karim, BRAC University, Bangladesh Md. Mostofa Akbar, BUET, Bangladesh Sheikh Ahamed, Marquette University, USA Applying Markup Language Resources in the Specification of Visual Alphabets and Visual Sentences Tiago Lopes Telecken, Universidade Federal do Rio Grande do Sul, Brazil Tue. 08:20 - 10:00 DS: Sala Vasco da Gama Ethan V. Munson, University of Wisconsin Milwaukee, USA Jos´eValdeni de Lima, Universidade Federal do Rio Grande do Sul, (SWA-1) The Semantic Web and Applications Brazil Hyoil Han, Drexel University

Exploring Social Annotations for Web Document Tue. 08:20 - 10:00 APP: Sala Ec¸a de Queiroz Classification Michael Noll, Hasso-Plattner-Institut, University of Potsdam, (CAHC-1) Computer Applications in Health Germany Care Christoph Meinel, Hasso-Plattner-Institut, University of Potsdam, Rosa Costa, Universidade do Estado do Rio de Janeiro (UERJ) Germany

Final Program 13 SAC 2008, March 16 – 20, 2008 An Architecture of Services for Session Management and Contents Adaptation in Tue. 10:30 - 12:10 IS: Sala Iracema Ubiquitous Medical Environments Juliana R. Basto Diniz, Federal University of Pernambuco, Brazil (IAR-2) Information Access and Retrieval Carlos Andr´eGuimar˜aesFerraz, Federal University of Pernambuco, Gloria Bordogna, CNR IDPA Brasil Hildeberto Melo, FIR, Brasil A Predictive Framework for Retrieving the Best Medical Image Analysis using Mobile Devices Answer Bruno Correa, Military Institute of Engineering (IME), Brazil Mohan Blooma, Nanyang Technological University, Singapore Edison Ishikawa, Military Institute of Engineering (IME), Brazil Alton Chua, Nanyang Technological University, Singapore Artur Ziviani, National Laboratory for Scientific Computing Dion Goh, Nanyang Technological University, Singapore (LNCC), Brazil Marcelo Faria, Federal University of Rio de Janeiro (UFRJ), Brazil Analyzing the Impact of Churn and Malicious Behavior on the Quality of Peer-to-Peer Web Borboleta: A Mobile Telehealth System for Search Primary Homecare Fabiano Atalla, Federal University of Minas Gerais, Brazil Rafael Jos´ePeres Correia, University of S˜aoPaulo, Brazil Daniel Miranda, Federal University of Minas Gerais, Brazil Fabio Kon, University of S˜aoPaulo, Brazil Jussara Almeida, Federal University of Minas Gerais, Brazil Rubens Kon, University of S˜aoPaulo, Brazil Marcos Andr´eGon¸calves, Federal University of Minas Gerais, Brazil Virg´ılio Almeida, Federal University of Minas Gerais, Brazil A Ubiquitous Computing Environment for Medical The Impact of Term Selection in Genre-Aware Education Focused Crawling Helen de Freitas Santos, Federal University of S˜ao Carlos, Brazil Luiz Santana, Federal University of S˜aoCarlos, Brazil Guilherme T. de Assis, Federal University of Minas Gerais, Brazil Diogo Martins, Universidade Federal de S˜aoCarlos, Brazil Alberto H. F. Laender, Federal University of Minas Gerais, Brazil Wanderley Lopes De Souza, Federal University of S˜aoCarlos, Brazil Marcos Andr´eGon¸calves, Federal University of Minas Gerais, Brazil Antonio Francisco do Prado, Universidade Federal de S˜ao Carlos, Altigran S. da Silva, Federal University of Amazonas, Brazil Brazil Mauro Biajiz, Universidade Federal de S˜ao Carlos, Brazil A Hybrid Web Recommender System Based on Q- Learning ECG Data Provisioning for Telehomecare Nima Taghipour, Amirkabir University of Technology, Iran Monitoring Ahmad Kardan, Amirkabir University of Technology, Iran Bernardo Gon¸calves, UFES, Brazil Jos´eG. Pereira Filho, UFES, Brazil Applying a Semantic Layer in a Source Code Rodrigo V. Andre˜ao, UFES, Brazil Search Tool Giancarlo Guizzardi, UFES & ISTC-CNR, Brazil & Italy Frederico Dur˜ao, Federal University of Pernambuco & C.E.S.A.R., Brazil Taciana Vanderlei, Federal University of Pernambuco, Brazil 10:00 - 10:30 Lobby do Ind´ıo Eduardo Almeida, Federal University of Pernambuco & C.E.S.A.R., Brazil Coffe Break Silvio Meira, Federal University of Pernambuco & C.E.S.A.R., Brazil

Tue. 10:30 - 12:10 ENG: Sala Fernando Pessoa Tue. 10:30 - 12:10 AIA: Sala Tom Jobim (SE-1) Software Engineering (MCA-2) Mobile Computing and Applications Eric Wong, University of Texas at Dallas Rodolfo Resende, Federal University of Minas Gerais TIPS: Wrapping the Sockets API for Seamless IP SoftMon: Programmable Software Monitoring with Mobility Minimum Overhead by Helper-Threading Bruno Kimura, Federal University of S˜ao Carlos, Brazil Yung-Pin Cheng, National Taiwan Normal University, Taiwan H´elio Crestana Guardia, Federal University of S˜aoCarlos, Brazil Han-Shu Chen, National Taiwan Normal University, Taiwan Publish/Subscribe Architecture for Mobile Ad hoc Scenario Oriented Program Slicing Networks Ju Qian, Southeast University, China Cristiano G. Rezende, UFMG, Brazil Baowen Xu, Southeast University, China Bruno P. S. Rocha, UFMG, Brazil Antˆonio A. F. Loureiro, Federal University of Minas Gerais, Brazil On the Conformity of Models: A Transducer-based Approach for Model Transformation A Service Architecture for Sensor Data El Abbassia Deba, Paul Sabatier University, France Provisioning for Context-Aware Mobile Applications Automatic Test Data Generation Using Particle Bernardo Gon¸calves, UFES, Brazil Systems Jos´eG. Pereira Filho, UFES, Brazil Giancarlo Guizzardi, UFES & ISTC-CNR, Brazil & Italy Paulo Bueno, Renato Archer Research Center, Brazil Eric Wong, University of Texas at Dallas, USA Mario Jino, State University of Campinas, Brazil Adaptive Caching With Heterogeneous Devices in Mobile Peer to Peer Network Automated Classification of Change Messages in Fan Ye, University of Science & Technology of China,City University of Hong Kong,CityU-USTC Advanced Research Institute., China Open Source Projects Qing Li, City University of Hong Kong, China Ahmed E. Hassan, Queen’s University, Canada EnHong Chen, University of Science & Technology of China, China

Final Program 14 SAC 2008, March 16 – 20, 2008 A Remote Display System for Java-based Mobile Efficient Compilation of Lua for the CLR Applications Fabio Mascarenhas, PUC-Rio, Brazil Andre Tavares, Pontif´ıciaUniversidade Cat´olica de Minas Gerais, Roberto Ierusalimschy, PUC-Rio de Janiero, Brazil Brazil Marco Tulio Valente, PUC Minas, Brazil

Tue. 10:30 - 12:10 APP: Sala Ec¸a de Queiroz Tue. 10:30 - 12:10 DS: Sala Vasco da Gama (CAHC-2) Computer Applications in Health (SWA-2) The Semantic Web and Applications Care F´atima Nunes, Centro Universit´arioEur´ıpides de Mar´ılia Sangsoo Sung, Google Inc. (Univem) Designing Semantic Web Services using Conceptual Model HIV Drug Resistance Analysis Tool Based on Martin Necasky, Charles University, Czech Republic Process Algebra Jaroslav Pokorny, Charles University, Czech Republic Luciano Ara´ujo,University of S˜ao Paulo, Brazil Ester Sabino, University of S˜aoPaulo, Brazil Semantic Web Services Selection Improved by Jo˜aoFerreira, University of S˜aoPaulo, Brazil Application Ontology with Multiple Concept Relations CPRM: A Chronic Patient’s Management Model Xia Wang, DERI, Ireland Based on the Concepts of Customer’s Relationship Manfred Hauswirth, DERI, Ireland M´arcia Ito, CEETEPS, Brazil Tomas Vitvar, DERI, Ireland Jos´eS. C. Martini, S˜aoPaulo University, Brazil Maciej Zaremba, DERI, Ireland L´ucia C. Iochida, Federal University of S˜aoPaulo, Brazil

Optimized Dynamic Semantic Composition of Accessing and Aggregating Legacy Data Sources Services for Healthcare Research, Delivery and Training Sorin M. Iacob, Thales Research and Technology, D-CIS lab, The Mark Slaymaker, Oxford University Computing Laboratory, UK Netherlands David Power, Oxford University Computing Laboratory, UK Jo˜aoPaulo A. Almeida, Federal University of Esp´ırito Santo, Brazil Douglas Russell, Oxford University Computing Laboratory, UK Maria E. Iacob, University of Twente, The Netherlands Graeme Wilson, Oxford University Computing Laboratory, UK Andrew Simpson, Oxford University Computing Laboratory, UK Towards the Composition of Stateful and Independent Semantic Web Services ST-Guide: A Framework for the Implementation of Freddy L´ecu´e, Ecole´ Nationale Sup´erieure des Mines de Automatic Clinical Guidelines ´ Saint-Etienne, France Jacques Wainer, Universidade Estadual de Campinas, Brazil Alexandre Delteil, France Telecom R&D, France Cleo Zanella Billa, UNICAMP, Brazil Alain L´eger, France Telecom R&D, France M´arcio P. Dantas, UNICAMP, Brazil Ana Maria Monteiro, UNICAMP, Brazil Web Service Security Management Using Semantic Daniel Sigulem, UNICAMP, Brazil Web Techniques Diego Garcia, University of Campinas, Brazil Learning Activities on Health Care Supported by Maria Beatriz Felgar de Toledo, University of Campinas, Brazil Common Sense Knowledge Aparecido Fabiano Pinatti de Carvalho, Federal University of S˜ao Carlos, Brazil Junia Coutinho Anacleto, Federal University of S˜aoCarlos, Brazil Tue. 10:30 - 12:10 SWD: Sala Amalia´ Rodrigues Silvia Zem-Mascarenhas, Federal University of S˜ao Carlos, Brazil (PL-2) Programming Languages Bostjan Slivnik, University of Ljubljana 12:10 - 13:30 SAC General Luncheon IELR(1): Practical LR(1) Parser Tables for Non-LR(1) Grammars with Conflict Resolution Joel Denny, Clemson University, USA Brian Malloy, Clemson University, USA Tue. 14:00 – 17:00 Sala Vinicius de Moraes Optimizing Code Through Iterative Specialization Poster Session 2 Minhaj Ahmad Khan, Univ. of Versailles, France Henri-Pierre Charles, Univ. of Versailles, France Denis Barthou, Univ. of Versailles, France Posters of the following tracks: ACS, APSLA, ATOS, CAHC, DADS, DE, DM, EIS, EMBS, GCR, IAR, MCA, Improving Flow-Insensitive Solutions for NLSP, RE, SWA (see the detailed list of posters at page Non-Separable Dataflow Problems 31.) Subhajit Roy, Indian Institute of Science, India Y. N. Srikant, Indian Institute of Science, India

Flexible Pointer Analysis Using Assign-Fetch Graphs Tue. 13:30 - 15:10 ENG: Sala Fernando Pessoa Marcio Buss, Columbia University, USA (SE-2) Software Engineering Daniel Brand, IBM T.J. Watson Research Center, USA Vugranam Sreedhar, IBM T.J. Watson Research Center, USA Eric Wong, University of Texas at Dallas Stephen Edwards, Columbia University, USA

Final Program 15 SAC 2008, March 16 – 20, 2008 Collaborative Software Engineering on Large-scale System Level Power Profile Analysis and Models: Requirements and Experience in Optimization for Smart Cards and Mobile Devices ModelBus Manuel Wendt, Graz University of Technology, Austria Prawee Sriplakich, Laboratoire d’Informatique de Paris 6, France Matthias Grumer, Graz University of Technology, Austria Xavier Blanc, LIP6, France Christian Steger, Graz University of Technology, Austria Marie-Pierre Gervais, LIP6, France Reinhold Weiss, Graz University of Technology, Austria Ulrich Neffe, NXP Semiconductors, Austria Andreas Muehlberger, NXP Semiconductors, Austria Version Control in Crosscutting Framework-Based Development Secured Tag Identification Using EDSA (Enhanced Maur´ıcioMassaru Arimoto, UNIVEM, Brazil Distributed Scalable Architecture) Maria Istela Cagnin, UNIVEM, Brazil Sheikh Ahamed, Marquette University, USA Valter Camargo, UNIVEM, Brazil Farzana Rahman, BUET, Bangladesh Md. Endadul Hoque, BUET, Bangladesh An Approach for Specification Construction Using Property-Preserving Refinement Patterns Error Estimation in Wireless Sensor Networks Junhua Ding, East Carolina University, USA Alejandro Frery, Universidade Federal de Alagoas, Brazil Lian Mo, Florida International University, USA Heitor Ramos, Universidade Federal de Alagoas, Brazil Xudong He, Florida International University, USA Jos´eAlencar-Neto, Justi¸caFederal de Alagoas, Brazil Eduardo Nakamura, FUCAPI, Brazil A C++ Environment for Dynamic Unanticipated Interoperability Testing of a MANET Routing Software Evolution Protocol using a Node Self-Similarity Approach Andr´eRodrigues, Federal University of Campina Grande, Brazil Hyggo Almeida, Federal University of Campina Grande, Brazil Stephane Maag, National Institute of Telecommunications, France Angelo Perkusich, Federal University of Campina Grande, Brazil Cyril Grepet, CEA, France

UMLtrust: Towards Developing Trust-Aware Software Tue. 13:30 - 15:10 DS: Sala Vasco da Gama Mohammad Uddin, Queen’s University, Canada Mohammad Zulkernine, Queen’s University, Canada (SWA-3) The Semantic Web and Applications Eva Blomqvist, School of Engineering, J¨onk¨oping University

Multi-level Biomedical Ontology-enabled Service Tue. 13:30 - 15:10 IS: Sala Iracema Broker for Web-based Interoperation (IAR-3) Information Access and Retrieval Jack Fu, University of Texas at Arlington, USA Feng Ji, University of Texas at Arlington, USA Gabriella Pasi, University of Milano Bicocca Ramez Elmasri, University of Texas at Arlington, USA

Trajectory Retrieval with Latent Semantic Analysis A Framework to Process Complex Biodiversity Apostolos Papadopoulos, Aristotle University, Greece Queries Jaudete Daltio, University of Campinas, Brazil Claudia Bauzer Medeiros, University of Campinas, Brazil Towards Temporal Web Search Luiz Gomes Jr, University of Campinas, Brazil Marius Pasca, Google, USA Thomas Michael Lewinsohn, University of Campinas, Brazil

Evaluating Uncertain Location-Based Spatial PPEPR: Plug and Play Electronic Patient Records Queries Ratnesh Sahay, National University of Ireland, Ireland Waseem Akhtar, National University of Ireland, Ireland Gloria Bordogna, CNR IDPA, Italy Ronan Fox, National University of Ireland, Ireland Marco Pagani, CNR IDPA, Italy Gabriella Pasi, Universit`adegli Studi di Milano Bicocca, Italy Giuseppe Psaila, Universit`adi Bergamo, Italy A Software Architecture for Ontology-Driven Situation Awareness Doxels in Context for Retrieval: from Structure to Norbert Baumgartner, team Communication Technology Management Ltd., Austria Neighbours Werner Retschitzegger, Johannes Kepler University Linz, Austria Delphine Verbyst, LIG - Universit´eJoseph Fourier, France Wieland Schwinger, Johannes Kepler University Linz, Austria Philippe Mulhem, LIG - CNRS, France Embedding SPARQL into XQuery/XSLT How Robust are Multilingual Information Sven Groppe, University of L¨ubeck, Germany Retrieval Systems? Jinghua Groppe, University of L¨ubeck, Germany Volker Linnemann, University of L¨ubeck, Germany Thomas Mandl, University of Hildeshein, Germany Dirk Kukulenz, University of L¨ubeck, Germany Christa Womser-Hacker, University of Hildesheim, Germany Nils Hoeller, University of L¨ubeck, Germany Giorgio Di Nunzio, University of Padua, Italy Christoph Reinke, University of L¨ubeck, Germany Nicola Ferro, University of Padua, Italy

Tue. 13:30 - 15:10 SWD: Sala Amalia´ Rodrigues Tue. 13:30 - 15:10 AIA: Sala Tom Jobim (OOPS) Object-Oriented Programming (MCA-3) Mobile Computing and Applications Languages and Systems Alejandro Frery, Universidade Federal de Alagoas Shigeru Chiba, Tokyo Institute of Technology

Final Program 16 SAC 2008, March 16 – 20, 2008 A Small Extension to Java for Class Refinement 15:10 - 15:40 Lobby do Ind´ıo Muga Nishizawa, Tokyo Institute of Technology, Japan Coffe Break Shigeru Chiba, Tokyo Institute of Technology, Japan Integrating Coercion with Subtyping and Multiple Dispatch Tue. 15:40 - 17:20 ENG: Sala Fernando Pessoa J.J. Hallett, Boston University, USA Victor Luchangco, Sun Microsystems Laboratories, USA Sukyoung Ryu, Sun Microsystems Laboratories, USA (SE-3) Software Engineering Guy Steele, Sun Microsystems Laboratories, USA Sung Y. Shin, South Dakota University

Runtime Concepts for the C++ Standard Modular Java Web Applications Template Library Simon Kaegi, IBM, Canada Peter Pirkelbauer, Texas A&M University, USA Dwight Deugo, Carleton University, Canada Sean Parent, Adobe Systems Inc., USA Mat Marcus, Adobe Systems Inc., USA Bjarne Stroustrup, Texas A&M University, USA An Environment for the Rapid Development of Embedded File Systems Lambda Functions for C++0x F´abio de la Rocha, Federal University of Santa Catarina, Brazil Jaakko J¨arvi, Texas A&M University, USA Rˆomulo Silva de Oliveira, Federal University of Santa Catarina, John Freeman, Texas A&M University, USA Brazil Pentagons: A Weakly Relational Abstract Domain A Pattern to Design Crosscutting Frameworks for the Efficient Validation of Array Accesses Valter Camargo, UNIVEM, Brazil Paulo Masiero, University of Sao Paulo at Sao Carlos, Brazil Francesco Logozzo, Microsoft Research, USA Manuel F¨ahndrich, Microsoft Research, USA Design Pattern Detection By Template Matching Jing Dong, University of Texas at Dallas, USA Yongtao Sun, American Airlines, USA Tue. 13:30 - 15:10 APP: Sala Ec¸a de Queiroz Yajing Zhao, University of Texas at Dallas, USA

(CAHC-3) Computer Applications in Health Software Frameworks for Information Systems Care Integration based on Web Services M´arcia Ito, Centro Estadual de Educa¸c˜ao Tecnol´ogica Paula Mateus Barcellos Costa, DCC - UFMG, Brazil Souza Rodolfo Ferreira Resende, DCC/UFMG, Brazil Eduardo Freire Nakamura, FUCAPI, Brazil The Virtual Reality Challenges in the Health Care Marcelo Vieira Segatto, DEL - UFES, Brazil Area: A Panoramic View F´atima Nunes, Centro Universit´ario Eur´ıpides de Mar´ılia, Brazil Rosa Maria E. M. Costa, Universidade do Estado do Rio de Janeiro, Brazil Tue. 15:40 - 17:20 IS: Sala Iracema Augmented Vision for Medical Applications (EIS) Enterprise Information Systems Daniela Trevisan, Universidade Federal do Rio Grande do Sul, Brazil Rogerio Atem de Carvalho, Cefet Campos, Brazil and IFIP Luciana Nedel, Universidade Federal do Rio Grande do Sul, Brazil Enterprise Information Systems Working Group Benoit Macq, Universit´ecatholique de Louvain, Belgium A Web-based System for the Collection and MDSD Light for ERP Stephan Roser, University of Augsburg, Germany Analysis of Spectra Signals for Early Detection of Florian Lautenbacher, University of Augsburg, Germany Voice Alterations Bernhard Bauer, University of Augsburg, Germany Francesco Amato, University of Catanzaro, Italy Mario Cannataro, University of Catanzaro, Italy Designing Interaction Behaviour in Carlo Cosentino, University of Catanzaro, Italy Service-Oriented Enterprise Application Francesco Montefusco, University of Catanzaro, Italy Giuseppe Tradigo, University of Catanzaro, Italy Integration Pierangelo Veltri, University of Catanzaro, Italy Teduh Dirgahayu, University of Twente, The Netherlands Aldo Garozzo, University of Catanzaro, Italy Dick Quartel, Telematica Instituut, The Netherlands Nicola Lombardo, University of Catanzaro, Italy Marten van Sinderen, University of Twente, The Netherlands Sergio Greco, University of Calabria, Italy Claudia Manfredi, University of Firenze, Italy A Lifecycle Approach to SOA Governance Parametric Cesptral Analysis for Pathological T.G.J. Schepers, Deloitte, The Netherlands Maria E. Iacob, University of Twente, The Netherlands Voice Assessment P.A.T. Van Eck, University of Twente, The Netherlands Silvana Cunha Costa, Federal University of Campina Grande, Brazil Benedito Aguiar Neto, Federal University of Campina Grande - A Model-based Semi-Quantitative Approach for UFCG, Brazil Joseana Fechine, Federal University of Campina Grande, Brazil Evaluating Security of Enterprise Networks Suzete Correia, Federal Center of Technological Education of Zonghua Zhang, INRIA Futurs, France Paraiba, Brazil Farid Na¨ıt-Abdesselam, INRIA Futurs, France Xiaodong Lin, University of Waterloo, Canada Brain Registration and Subtraction - Improved Pin-Han Ho, University of Waterloo, Canada Localization for SPECT Analysis (B.R.A.S.I.L.): A Computer-aided Diagnosis in Epilepsy Tool Kit Enterprise Systems Modeling: the ERP5 Lucas Ferrari de Oliveira, Federal University of Pelotas, Brazil Development Process Paulo Mazzoncini Azevedo-Marques, FMRP - USP, Brazil Rafael Monnerat, CEFET Campos, Brazil Lauro Wichert-Ana, CIREP-HCFMRP-USP, Brazil Rogerio de Carvalho, CEFET Campos, Brazil Am´erico Ceiki Sakamoto, FMRP-USP, Brazil Renato de Campos, UNESP, Brazil

Final Program 17 SAC 2008, March 16 – 20, 2008 Tue. 15:40 - 17:20 AIA: Sala Tom Jobim Tue. 15:40 - 17:20 SWD: Sala Amalia´ Rodrigues (ATOS) Adaptive Techniques in Operating (APSLA) Agent-Oriented Programming, Systems Systems, Languages and Applications Jiman Hong, Soongsil University Eric Platon, Universit´ede Paris 6 - France

Kernel-Mode Scheduling Server For CPU Profile Based Comparative Analysis for AOSE Partitioning Methodologies Evaluation Michael Sch¨obel, Hasso Plattner Institute, Germany Andreas Polze, Hasso-Plattner-Institute, Germany Luca Cernuzzi, Universidad Cat´olica ”Nuestra Se˜nora de la Asunci´on”, Paraguay Franco Zambonelli, DIMSI - Universit`adi Modena e Reggio Emilia, A Group Management Scheme for an Efficient Italy Location-Based Service Junghoon Lee, Cheju National University, Korea Traceability and Completeness Checking for Gyung-Leen Park, Cheju National University, Republic of Korea Chang Oan Sung, Indiana University Southeast, USA Agent-Oriented Systems Sang-Wook Kim, Hanyang University, Republic of Korea Gilberto Cysneiros, City University London, United Kingdom Andrea Zisman, City University, United Kingdom Secure Deletion for NAND Flash File System Jaeheung Lee, Seoul National University, South Korea Contextualizing Normative Open Multi-Agent Junyoung Heo, Seoul National University, Korea Systems Yookun Cho, Seoul National University, Korea Jiman Hong, Soongsil University, Korea Carolina Howard Felicissimo, DI-PUC-Rio & LIP6–PARIS6, Brazil Sung Y. Shin, South Dakota University, USA Caroline Chopinaud, LIP6–PARIS6, France Jean-Pierre Briot, DI-PUC-Rio & LIP6–PARIS6, France Amal El Fallah Seghrouchni, LIP6–PARIS6, France A Self-Balancing Striping Scheme for NAND-Flash Carlos Jos´ePereira de Lucena, DI-PUC-Rio, Brazil Storage Systems Yu-Bin Chang, National Chiao-Tung University, Taiwan Li-Pin Chang, National Chiao-Tung University, Taiwan Dynamic Resource Allocation Heuristics for Providing Fault Tolerance in Multi-agent Systems Expected Energy Consumption Minimization in Alessandro De Luna Almeida, Universit´ePierre et Marie Curie, France DVS Systems with Discrete Frequencies Samir Aknine, Universit´ePierre et Marie Curie, France Jian-Jia Chen, Swiss Federal Institute of Technology, Switzerland Jean-Pierre Briot, Universit´ePierre et Marie Curie, France

Tue. 15:40 - 17:20 DS: Sala Vasco da Gama Tue. 15:40 - 17:20 APP: Sala Ec¸a de Queiroz (SWA-4) The Semantic Web and Applications (CAHC-4) Computer Applications in Health Ramez Elmasri, University of Texas at Arlington Care Artur Ziviani, National Laboratory for Scientific Computing Towards Design Patterns for Ontology Alignment (LNCC) Francois Scharffe, University of Innsbruck, Austria J´erˆomeEuzenat, INRIA, France Dieter Fensel, University of Innsbruck, Austria A UMLS Interoperable Solution to Support Efficient Concept Clustering for Ontology Learning Collaborative Diagnosis Decision Making over the using an Event Life Cycle on the Web Internet Sangsoo Sung, Google Inc., USA Daniel Pires, Faculdades COC, Brazil Seokkyung Chung, Yahoo! Inc., USA Cesar Teixeira, Universidade Federal de Sao Carlos, Brazil Dennis McLeod, University of Southern California, USA Evandro Ruiz, Columbia University, USA

Similarity Estimation Module for OWSCIS Compressing Electrocardiogram Signals Using Thibault Poulian, Laboratoire LE2I, France Parameterized Wavelets Nadine Cullot, Laboratoire LE2I, France Cristiano Agulhari, Telematics Department, FEEC - Unicamp, Kokou Y´etongnon, Laboratoire LE2I, France Brazil Rosanna Silveira, National Institute of Telecommunications, Brazil Extending an Ontology-based Search with a Ivanil Bonatti, Telematics Department, FEEC - Unicamp, Brazil Formalism for Spatial Reasoning Pedro Peres, Telematics Department, FEEC - Unicamp, Brazil Rolf Gr¨utter, Swiss Federal Research Institute WSL, Switzerland Bettina Bauer-Messmer, Swiss Federal Research Institute WSL, Encephalic NMR Image Analysis By Textural Switzerland Interpretation Martin H¨ageli, Swiss Federal Research Institute WSL, Switzerland Danilo Avola, IRPPS-CNR, Italy Luigi Cinque, University of Rome “La Sapienza”, Italy A System for Modal and Deontic Defeasible Reasoning Eyelid Measurements Using Digital Video Grigoris Antoniou, FORTH-ICS, Greece Nikos Dimaresis, FORTH-ICS, Greece Processing Guido Governatori, University of Queensland, Australia Carlos Morimoto, University of S˜aoPaulo, Brazil Thomaz Oliveira, University of S˜ao Paulo, Brazil

Final Program 18 SAC 2008, March 16 – 20, 2008 Segmentation Technique for Detecting Suspect Masses in Dense Breast Digitized Images as a Tool Wednesday March 19, 2008 for Mammography CAD Schemes Homero Schiabel, Universidade de S˜aoPaulo, Brazil Vivian T. Santos, LAPIMO - EESC/USP, Brazil Michele F. Angelo, LAPIMO - EESC/USP, Brazil Wed. 8:20 - 10:00 Salao˜ Master I Keynote Address Tue. 18:00 - 19:00 Sala Iracema SIGAPP Annual Business Meeting Near Space-Optimal Perfect Hashing Algorithms Prof. Dr. Nivio Ziviani Department of Computer Science Federal University of Minas Gerais, Brazil

See details at page 5

10:00 - 10:30 Lobby do Ind´ıo Coffe Break

Wed. 10:30 - 12:10 ENG: Sala Fernando Pessoa (SE-4) Software Engineering Sung Y. Shin, South Dakota University

Houston, we have a problem...: A Survey of Actual Problems in Computer Games Development F´abio Petrillo, Universidade Federal do Rio Grande do Sul, Brazil Marcelo Pimenta, Universidade Federal do Rio Grande do Sul, Brazil Francisco Trindade, Universidade Federal do Rio Grande do Sul, Brazil Carlos Dietrich, Universidade Federal do Rio Grande do Sul, Brazil

Automatic Software Fault Localization using Generic Program Invariants Rui Abreu, Delft University of Technology, The Netherlands Alberto Gonz´alez, Delft University of Technology and Universidad de Valladolid, The Netherlands and Spain Peter Zoeteweij, Delft University of Technology, The Netherlands Arjan J.C. van Gemund, Delft University of Technology, The Netherlands

Extending RUP to Develop Fault Tolerant Software Carlos Eduardo de Barros Paes, Pontificia Universidade Catolica de S˜aoPaulo, Brazil Celso Massaki Hirata, Instituto Tecnol´ogico de Aeron´autica, Brazil Edgar Toshiro Yano, Instituto Tecnol´ogico de Aeron´autica, Brazil

ICER: A Tool for Finding Errors in a UML Model Wuwei Shen, Western Michigan University, USA Dae-Kyoo Kim, Oakland University, USA

A Detectability Analysis of Fault Classes for Boolean Specifications Zhenyu Chen, Southeast University, China Baowen Xu, Southeast University, China Changhai Nie, Southeast University, China

Wed. 10:30 - 12:10 IS: Sala Iracema (MMV-1) Multimedia and Visualization Virginie Sans, University of Cergy Pontoise/Etis Laboratory

Final Program 19 SAC 2008, March 16 – 20, 2008 A New Approach for Interactive Semantic Image Performability Evaluation of Mobile Client-Server Retrieval Using the High Level Semantics Systems Mohammad Reza Kayvanpour, Azad University of Qazvin, Iran Olivia Das, Ryerson University, Canada Shabnam Asbaghi, Islamic Azad University of Qazvin, Iran Arindam Das, York University, Canada k-Means Discriminant Maps for Data Visualization A Framework for Dependable QoS Adaptation in and Classification Probabilistic Environments Vo Dinh Minh Nhat, Kyung Hee University, Korea Ant´onio Casimiro, Universidade de Lisboa, Portugal SungYoung Lee, Kyung Hee University, Korea Paolo Lollini, Universit`adegli Studi di Firenze, Italy Mˆonica Dixit, Universidade de Lisboa, Portugal Handle Local Optimum Traps in CBIR Systems Andrea Bondavalli, Universit`adegli Studi di Firenze, Italy Paulo Ver´ıssimo, Universidade de Lisboa, Portugal Dan Zhou Liu, University of Central Florida, USA Kien A. Hua, University of Central Florida, USA Hao Cheng, University of Central Florida, USA Improving Denial of Service Resistance using Dynamic Local Adaptations Semi-Supervised Dimensionality Reduction in Gal Badishi, Technion, Israel Image Feature Space Idit Keidar, Technion, Israel Hao Cheng, University of Central Florida, USA Kien A Hua, University of Central Florida, USA Serpentine: Adaptive Middleware for Complex Khanh Vu, University of Central Florida, USA Heterogeneous Distributed Systems Danzhou Liu, University of Central Florida, USA Miguel Matos, Universidade do Minho, Portugal IFOX : Interface for Ordered XQuery, An Alfranio Correira Jr, Univerdidade do Minho, Portugal Jose Pereira, Univerdidade do Minho, Portugal Algebraic Oriented Tool for Ordered XQuery Rui Oliveira, Universidade do Minho, Portugal Visualization Virginie Sans, ETIS/CNRS Laboratory, France Providing Dependability for Web Services Dominique Laurent, ETIS/CNRS Laboratory, France Jeferson Luiz Rodrigues Souza, Federal University of Santa Catarina, Brazil Frank Siqueira, Federal University of Santa Catarina, Brazil

Wed. 10:30 - 12:10 AIA: Sala Tom Jobim

(AC) Autonomic Computing Wed. 10:30 - 12:10 SWD: Sala Amalia´ Rodrigues Rajiv Ramnath, Ohio State University (PSC) Programming for Separation of Towards an ASSL Specification Model for NASA Concerns Swarm-Based Exploration Missions Ian Welch, Victoria University of Wellington (NZ) Emil Vassev, Concordia University, Canada Mike Hinchey, Loyola College in Maryland, USA Joey Paquet, Concordia University, Canada Symbiosis in Logic-based Pointcuts over a History of Join Points Autonomic Management Policy Specification in Kris Gybels, Vrije Universiteit Brussel, Belgium Tune Charlotte Herzeel, Vrije Universiteit Brussel, Belgium Theo D’Hondt, Vrije Universiteit Brussel, Belgium Laurent Broto, Universit´ePaul Sabatier, France Daniel Hagimont, Institut National Polytechnique de Toulouse, ´ France Enfasis: A Model for Local Variable Crosscutting Patricia Stolf, Institut Universitaire de Formation des Maˆıtres, Ulises Ju´arez-Mart´ınez, Center of Research and Advanced Studies, France Mexico Noel Depalma, Institut National Polytechnique de Grenoble, France Jos´eOscar Olmedo-Aguirre, Center of Research and Advanced Suzy Temate, Universit´ede Yaound´eI, Cameroun Studies, Mexico

A Reusable Object-Oriented Design to Support Extending Omniscient Debugging to Support Self-Testable Autonomic Software Aspect-Oriented Programming Tariq King, Florida International University, USA Guillaume Pothier, University of Chile, Chile Alain Ramirez, Florida International University, USA Eric´ Tanter, University of Chile, Chile Peter Clarke, Florida International University, USA Barbara Quinones-Morales, University of Puerto Rico Mayaguez, Puerto Rico On to Formal Semantics for Path Expression Pointcuts Implementing an Autonomic Architecture for Mohammed Al-Mansari, University of Duisburg-Essen, Germany Fault-Tolerance in a Wireless Sensor Network Stefan Hanenberg, University of Duisburg-Essen, Germany Testbed for At-Scale Experimentation Rainer Unland, University of Duisburg-Essen, Germany Mukundan Sridharan, The Ohio State University, USA Sandip Bapat, The Ohio State University, USA Rajiv Ramnath, The Ohio State University, USA Anish Arora, The Ohio State University, USA Wed. 10:30 - 12:10 APP: Sala Ec¸a de Queiroz (EBA) e-Business Applications Fahim Akhter, College of Information Technology Wed. 10:30 - 12:10 DS: Sala Vasco da Gama (DADS-1) Dependable and Adaptive Implementing Secure Document Circulation: A Distributed Systems Prototype Shane Bracher, Bond University, Australia Karl M. Goeschka, Vienna University of Technology Padmanabhan Krishnan, Bond University, Australia

Final Program 20 SAC 2008, March 16 – 20, 2008 Advanced Preference Query Processing for Including the User in the Knowledge Discovery E-Commerce Loop: Interactive Itemset-Driven Rule Extraction Sven D¨oring, University of Augsburg, Germany Claudio Haruo Yamamoto, ICMC/USP, Brazil Timotheus Preisinger, University of Augsburg, Germany Maria Cristina Ferreira Oliveira, ICMC/USP, Brazil Markus Endres, University of Augsburg, Germany Solange Oliveira Rezende, ICMC/USP, Brazil Jeferson Nomelini, FMRP/USP, Brazil Increasing Trust through the Use of 3D e-commerce Environment Assessing the Best Integration between Nasser Nassiri, Higher Colleges of Technology, UAE Distance-function and Image-Feature to Answer Similarity Queries Towards a Complete SCM Ontology - The Case of Pedro H. Bugatti, University of S˜ao Paulo at S˜ao Carlos, Brazil Ontologising RosettaNet Agma J. M. Traina, University of S˜ao Paulo at S˜ao Carlos, Brazil Caetano Traina Jr., University of S˜ao Paulo at S˜ao Carlos, Brazil Armin Haller, DERI, Ireland Jedrzej Gontarczyk, DERI, Ireland Paavo Kotinurmi, Helsinki University of Technology, Finland Improving the Neural Meshes Algorithm for 3D Surface Reconstruction with Edge Swap Operations Jo˜aoFernando Mari, Universidade Federal de S˜ao Carlos, Brazil 12:10 - 13:30 Jos´eH. Saito, Universidade Federal de S˜ao Carlos, Brazil Gustavo Poli, Universidade Federal de S˜aoCarlos, Brazil Lunch Break Marcelo Roberto Zorzan, Universidade Federal de S˜aoCarlos, Brazil Alexandre L. M. Levada, Universidade de S˜aoPaulo, Brazil

An Evaluation of a Collision Handling System using Wed. 13:30 - 15:10 ENG: Sala Fernando Pessoa Sphere-Trees for Plausible Rigid Body Animation (SE-5) Software Engineering Rafael de Sousa Rocha, University of Fortaleza, Brazil Maria Andr´eiaFormico Rodrigues, University of Fortaleza, Brazil Chang Oan Sung, Indiana University Southeast

Automatic Feedback, Control-Based, Stress and Load Testing Wed. 13:30 - 15:10 AIA: Sala Tom Jobim Mohamad Bayan, University of Texas at Dallas, USA Jo˜aoCangussu, University of Texas at Dallas, USA (SOPDS) Self Organization in Pervasive Distributed Systems PHALANX: A Graph-Theoretic Framework for Marco Mamei, University of Modena and Reggio Emilia Test Case Prioritization Murali Krishna Ramanathan, Purdue University, USA Mehmet Koyuturk, Case Western Reserve University, USA Fast Self-Healing Gradients Ananth Grama, Purdue University, USA Jacob Beal, MIT CSAIL, USA Suresh Jagannathan, Purdue University, USA Jonathan Bachrach, MIT CSAIL, USA Dan Vickery, MIT CSAIL, USA Using Adaptive Distinguishing Sequences in Mark Tobenkin, MIT CSAIL, USA Checking Sequence Construction Robert Hierons, Brunel University, UK Synchronization of Strongly Pulse-Coupled Guy-Vincent Jourdan, University of Ottawa, Canada Oscillators with Refractory Periods and Random Hasan Ural, University of Ottawa, Canada Medium Access Husnu Yenigun, Sabanci University, Turkey Julius Degesys, BBN Technologies, USA Prithwish Basu, BBN Technologies, USA SPEM on a Test: The SODA Case Study Jason Redi, BBN Technologies, USA Elena Nardini, Universit`adi Bologna, Italy Ambra Molesini, Universit`adi Bologna, Italy Andrea Omicini, Universit`adi Bologna, Italy A Study of Terrain Coverage Models Enrico Denti, Universit`adi Bologna, Italy Ronaldo Menezes, Florida Tech, USA Harry Bullen, Florida Tech, USA Test Generation and Minimization with ”Basic” Statecharts Supporting Self-Organization for Hybrid Grid Fevzi Belli, University of Paderborn, Germany Resource Scheduling Axel Hollmann, University of Paderborn, Germany Deger Cenk Erdil, Binghamton University (SUNY), USA Michael J. Lewis, Binghamton University (SUNY), USA

Wed. 13:30 - 15:10 IS: Sala Iracema Wed. 13:30 - 15:10 DS: Sala Vasco da Gama (MMV-2) Multimedia and Visualization Tobias Schreck, Interactive-Graphics Systems Group, Technical (DADS-2) Dependable and Adaptive University of Darmstadt, Germany Distributed Systems Karl M. Goeschka, Vienna University of Technology Towards Automatic Feature Vector Optimization for Multimedia Applications Conflict-Aware Load-Balancing Techniques for Tobias Schreck, Technische Universitaet Darmstadt, Germany Dieter Fellner, Fraunhofer IGD and Technische Universitaet Database Replication Darmstadt, Germany Vaide Zuikeviciute, University of Lugano, Switzerland Daniel Keim, University of Konstanz, Germany Fernando Pedone, University of Lugano, Switzerland

Final Program 21 SAC 2008, March 16 – 20, 2008 SIPRe: A Partial Database Replication Protocol A new Approach to Control a Population of Mobile with SI Replicas Robots using Genetic Programming Jose Enrique Armend´ariz-I˜nigo, Universidad P´ublica de Navarra, Anderson Luiz Fernandes Perez, Federal University of Santa Spain Catarina, Brazil Augusto Mauch-Goya, Universidad P´ublica de Navarra, Spain Guilherme Bittencourt, UFSC - Federal University of Santa Jos´eRam´onGonz´alez de Mend´ıvil, Universidad P´ublica de Navarra, Catarina, Brazil Spain Mauro Roisenberg, Federal University of Santa Catarina, Brazil Francesc D. Mu˜noz-Esco´ı, Instituto Tecnol´ogico de Inform´atica, Spain A Hybrid Real-time Component Model for Total Order Broadcast on Pervasive Systems Reconfigurable Embedded Systems Luiz Angelo Steffenel, Universit´ede Reims Champagne-Ardenne, Ning Gui, University of Antwerp, Belgium France Vincenzo De Florio, University of Antwerp, Belgium Manuele Kirsch-Pinheiro, Katoliek Universiteit Leuven, Belgium Hong Sun, University of Antwerp, Belgium Yolande Bebers, Katoliek Universiteit Leuven, Belgium Chris Blondia, University of Antwerp, Belgium

Model-Driven Development of Component-based Scara3D: 3-Dimensional HRI Integrated to a Adaptive Distributed Applications Distributed Control Architecture for Remote and An Phung-Khac, GET/ENST Bretagne, France Cooperative Actuation Antoine Beugnard, GET/ENST Bretagne, France Jos´eMartins Jr, University of S˜ao Paulo, Brazil Jean-Marie Gilliot, GET/ENST Bretagne, France Luiz Camolesi Junior, Methodist University of Piracicaba, Brazil Maria-Teresa Segarra, GET/ENST Bretagne, France Glauco A. P. Caurin, University of S˜ao Paulo, Brazil Modelling Adaptive Services for Distributed Systems ´ Liliana Rosa, IST/INESC-ID, Portugal 15:10 - 15:40 Lobby do Indıo Ant´onia Lopes, University of Lisbon, Portugal Coffe Break Lu´ıs Rodrigues, IST/INESC-ID, Portugal

Wed. 13:30 - 15:10 SWD: Sala Amalia´ Rodrigues Wed. 15:40 - 17:20 ENG: Sala Fernando Pessoa (CSP) Constraint Satisfation and Programming (SE-6) Software Engineering Eric Monfroy, UTFSM, Valparaiso, Chile & LINA, University of Chang Oan Sung, Indiana University Southeast Nantes

Universal Concurrent Constraint Programing: An Approach for Supporting System-level Test Symbolic Semantics and Applications to Security Scenarios Generation from Textual Use Cases St´ephane Som´e,University of Ottawa, Canada Carlos Olarte, INRIA & LIX Ecole´ Polytechnique, France Xu Cheng, University of Ottawa, Canada Frank D. Valencia, LIX, Ecole Polytechnique, France

Modeling Adversary Scheduling with QCSP+ Towards Verification and Testing of Java Programs Marco Benedetti, Universit´ed’Orl´eans,France Ana C. V. de Melo, University of S˜aoPaulo, Brazil Arnaud Lallouet, Universit´ed’Orl´eans,France Paulo Nunes, University of S˜ao Paulo, Brazil J´er´emie Vautard, Universit´ed’Orl´eans, France Kleber Xavier, University of S˜ao Paulo, Brazil

An Efficient Algorithm for a Sharp Approximation UML-based Design Test Generation of Universally Quantified Inequalities Waldemar Pires, Universidade Federal de Campina Grande, Brazil Alexandre Goldsztejn, CNRS, University of Nantes, France Jo˜aoBrunet, Federal University of Campina Grande, Brazil Claude Michel, University of Nice, France Franklin Ramalho, Federal University of Campina Grande, Brazil Michel Rueher, University of Nice, France Dalton Guerrero, Federal University of Campina Grande, Brazil

Splitting Heuristics for Disjunctive Numerical An Evaluation of a Model-Based Testing Method Constraints for Information Systems Thomas Douillard, Universit´ede Nantes, France Pedro Santos-Neto, DIE/UFPI, Brazil Christophe Jermann, Universit´ede Nantes, France Rodolfo Ferreira Resende, DCC/UFMG, Brazil Clarindo P´adua, DCC/UFMG, Brasil

Integrating Functional Metrics, Cocomo II and Wed. 13:30 - 15:10 APP: Sala Ec¸a de Queiroz Earned Value Analysis for Software Projects Using (RHSES) Robotics: Hardware, Software, and PMBoK Embedded Systems Carlos A. L. Garcia, Instituto Tecnol´ogico de Aeron´autica, Brazil Celso Massaki Hirata, Instituto Tecnol´ogico de Aeron´autica, Brazil Jose Martins Jr, University of Sao Paulo

Optical Flow using Color Information: Preliminary Results Wed. 15:40 - 17:20 IS: Sala Iracema Kelson Aires, Universidade Federal do Rio Grande do Norte, Brazil Andre Santana, Universidade Federal do Rio Grande do Norte, (MMV-3) Multimedia and Visualization Brazil Adelardo Medeiros, Universidade Federal do Rio Grande do Norte, Ricardo Torres, Universidade Estadual de Campinas Brazil

Final Program 22 SAC 2008, March 16 – 20, 2008 Making Colors Worth More than a Thousand Service Sharing with Trust in Pervasive Words Environment: Now it’s Time to Break the Jinx Jurandy Almeida, Universidade Estadual de Campinas, Brazil Sheikh Ahamed, Marquette University, USA Anderson Rocha, Universidade Estadual de Campinas, Brazil Munirul M. Haque, Purdue University, USA Ricardo Torres, Universidade Estadual de Campinas, Brazil Nilothpal Talukder, Marquette University, USA Siome Goldenstein, Universidade Estadual de Campinas, Brazil A Space-Identifying Ubiquitous Infrastructure and Digital Audio Watermarking Evaluation within the its Application for Tour-Guiding Service Application Field of Perceptual Hashing Masahiro Bessho, The University of Tokyo, Japan Andreas Lang, Otto-von-Guericke University of Magdeburg, Shinsuke Kobayashi, The University of Tokyo, Japan Germany Noboru Koshizuka, The University of Tokyo, Japan Jana Dittmann, Otto-von-Guericke University of Magdeburg, Ken Sakamura, The University of Tokyo, Japan Germany Multi-Purpose Proactive m-Artifacts A Biologically Inspired Generation of Virtual Marco de S´a,University of Lisbon, Portugal Characters Luis Carri¸co, University of Lisbon, Portugal Lu´ıs Duarte, University of Lisbon, Portugal Roberto Vieira, Federal University of Cear´a,Brazil Tiago Reis, University of Lisbon, Portugal Creto Vidal, Federal University of Cear´a,Brazil Joaquim Cavalcante-Neto, Federal University of Cear´a, Brazil An Intelligent Editor for Multi-Presentation User The Volume in Focus: Hardware-assisted Focus Interfaces and Context Effects for Volume Visualization BenoˆıtCollignon, Universit´ecatholique de Louvain, Belgium Jean Vanderdonckt, Universit´ecatholique de Louvain, Belgium Marcelo Cohen, PUCRS, Brazil Ga¨elle Calvary, Universit´eJoseph Fourier, France Ken Brodlie, University of Leeds, United Kingdom Nick Phillips, Leeds General Infirmary, United Kingdom Supporting Ethnographic Studies of Ubiquitous Inkteractors: Interacting with Digital Ink Computing in the Medical Grand Round Renan Cattelan, Universidade de S˜aoPaulo, Brazil Experience Cesar Teixeira, Universidade Federal de Sao Carlos, Brazil Renato Freitas Bulc˜aoNeto, Innolution Sistemas de Inform´atica Helder Ribas, Universidade de Sao Paulo, Brazil Ltda, Brazil Ethan Munson, University of Wisconsin Milwaukee, USA Alessandra Alaniz Macedo, FFCLRP - USP, Brazil Maria da Gra¸caPimentel, Universidade de S˜aoPaulo, Brazil Lauro Wichert-Ana, HCRP-USP, Brazil Ajith Kumar Sankarankutty, FMRP-USP, Brazil Paulo Mazzoncini Azevedo-Marques, FMRP - USP, Brazil Jos´eAntonio Camacho-Guerrero, Innolution Sistemas de Inform´atica Ltda, Brazil Wed. 15:40 - 17:20 AIA: Sala Tom Jobim

(MAS) Mobile Agents and Systems Wed. 18:00 - 19:00 Sala Iracema Bruno Velloso, Federal University of Santa Catarina Track Chairs Business Meeting

A Novel Protocol to Prevent Malicious Nodes from Misdirecting Forward Ants in AntNet Algorithm Mohsen Saffarian, Royal Institute of Technology, Sweden Wed. 20:00 La Maison Dunas Matei Ciobanu Morogan, Royal Institute of Technology, Sweden SAC Banquet

Web Service Access Management for Integration with Agent Systems During the Banquet, the SAC Organization Committee will Benno Overeinder, Vrije Universiteit Amsterdam, Netherlands award the best papers of the conference Patrick Verkaik, University of California, San Diego, USA Frances Brazier, Vrije Universiteit Amsterdam, Netherlands

Percolation Analyses in a Swarm Based Algorithm for Shortest-path Finding Bruno Panerai Velloso, Federal University of Santa Catarina, Brazil Mauro Roisenberg, Federal University of Santa Catarina, Brazil

A Generic Mobile Agent Framework for Ambient Intelligence Yung-Chuan Lee, Southern Illinois University, USA Elham S. Khorasani, Southern Illinois University, USA Shahram Rahimi, Southern Illinois University, USA Bidyut Gupta, Southern Illinois University, USA

Wed. 15:40 - 17:20 APP: Sala Ec¸a de Queiroz (UC) Ubiquitous Computing Achilles D. Kameas, Hellenic Open University & CTI

Final Program 23 SAC 2008, March 16 – 20, 2008 Data Stream Mining for Market-neutral Thursday March 20, 2008 Algorithmic Trading Giovanni Montana, Imperial College London, UK Kostas Triantafyllopoulos, University of Sheffield, UK Theodoros Tsagaris, Imperial College London, UK

Thu. 08:20 - 10:00 ENG: Sala Fernando Pessoa Cluster-based novel concept detection in data streams applied to intrusion detection in computer (RE-1) Requirements Engineering networks Rafael Dueire Lins, Federal University of Pernambuco Eduardo Spinosa, University of S˜aoPaulo, Brazil Andr´eCarvalho, University of Sao Paulo (USP), Brazil Toward Quality Requirements Analysis based on Jo˜aoGama, University of Porto (UP), Portugal Domain Specific Quality Spectrum Haruhiko Kaiya, Shinshu University, Japan Tomonori Sato, Shinshu University, Japan Akira Osada, Shinshu University, Japan Thu. 08:20 - 10:00 AIA: Sala Tom Jobim Naoyuki Kitazawa, Shinshu University, Japan Kenji Kaijiri, Shinshu University, Japan (AISA) Artificial Intelligence in Space Applications Proposing Metrics of Difficulty of Domain Jos´eDemisio Sim˜oesda Silva, Brazilian National Institute for Knowledge using Usecase Diagrams Space Research (INPE) Akira Osada, Shinshu University, Japan Daigo Ozawa, Shinshu University, Japan Naoyuki Kitazawa, Shinshu University, Japan Restoring Images with a Multiscale Neural Haruhiko Kaiya, Shinshu University, Japan Network Based Technique Kenji Kaijiri, Shinshu University, Japan Ana Paula Abrantes de Castro, National Institute for Space Research, Brazil Requirements Engineering for COTS-Based Jos´eDemisio Sim˜oesda Silva, National Institute for Space Research, Brazil Software Systems Juan Pablo Carvallo, Etapatelecom, Ecuador Applying Case-based Reasoning in the Evolution of Xavier Franch, Universitat Polit`ecnica de Catalunya, Spain Carme Quer, Universitat Polit`ecnicade Catalunya, Spain Deforestation Patterns in the Brazilian Amazonia Joice Seleme Mota, National Institute for Space Research, Brazil Configuring Features with Stakeholder Goals Gilberto Cˆamara, National Institute for Space Research, Brazil Leila M.G. Fonseca, National Institute for Space Research, Brazil Yijun Yu, The Open University, United Kingdom Maria Isabel Sobral Escada, National Institute for Space Research, Alexei Lapouchnian, University of Toronto, Canada Brazil Julio Cesar Sampo do Prado Leite, PUC-Rio, Brazil Olga Oliveira Bittencourt, National Institute for Space Research, John Mylopoulos, University of Toronto, Canada Brazil

Using Annotations in the Naked Objects Atmospheric Temperature Retrieval from Satellite Framework to Explore Data Requirements Data: New Non-extensive Artificial Neural Marcos Broinizi, University of S˜ao Paulo, Brazil Network Approach Jo˜aoFerreira, University of S˜aoPaulo, Brazil Elcio Hideiti Shiguemori, Institute for Advanced Studies / Brazilian Alfredo Goldman, University of S˜ao Paulo, Brazil General Command for Aerospace Technology, Brazil Haroldo Fraga de Campos Velho, National Institute for Space Research, Brazil Jos´eDemisio Sim˜oesda Silva, National Institute for Space Research, Brazil Thu. 08:20 - 10:00 IS: Sala Iracema (DS) Data Streams An Onboard Knowledge Representation Tool for Satellite Autonomous Applications Joao Gama, University Porto Fabr´ıciode Novaes Kucinskis, National Institute for Space Research, Brazil Deciding What to Observe Next: Adaptive Mauricio Ferreira, National Institute for Space Research, Brazil Variable Selection for Regression in Multivariate Data Streams Christoforos Anagnostopoulos, Imperial College London, UK, UK Thu. 08:20 - 10:00 DS: Sala Vasco da Gama Niall M. Adams, Imperial College London, UK David J. Hand, Imperial College London, UK (SEC-1) Computer Security Using Association Rules for Energy Conservation Giampaolo Bella, SAP Research in Wireless Sensor Networks Suan Khai Chong, Monash University, Australia The Tale of the Weather Worm Shonali Krishnaswamy, Monash University, Australia Joe Szabo, University of Calgary, Canada Seng Wai Loke, Latrobe University, Australia John Aycock, University of Calgary, Canada Mohamed Gaber, CSIRO, ICT Centre, Tasmania, Tasmania Randal Acton, University of Calgary, Canada J¨org Denzinger, University of Calgary, Canada Continuous k-Dominant Skyline Computation on Multidimensional Data Streams TCM-KNN Scheme for Network Anomaly Maria Kontaki, Aristotle University, Greece Detection Using Feature-Based Optimizations Apostolos Papadopoulos, Aristotle University, Greece Yang Li, Chinese Academy of Sciences, China Yannis Manolopoulos, Aristotle University, Greece Li Guo, Chinese Academy of Sciences, China

Final Program 24 SAC 2008, March 16 – 20, 2008 Privacy Preservation Services: Challenges and Hardware Implementation for Network Intrusion Solutions Detection Rules with Regular Expression Support Dijiang Huang, Arizona State University, USA Dan Lo, UTSA, USA Vinayak Kandiah, Arizona State University, USA Yi-Gang Tai, UTSA, USA Mayank Verma, Arizona State University, USA Kleanthis Psarris, UTSA, USA

Control of System Calls from Outside of Virtual LTS-BT: A Tool to Generate and Select Functional Machines Test Cases for Embedded Systems Koichi Onoue, The University of Tokyo, Japan Emanuela Cartaxo, Federal University of Campina Grande, Brazil Yoshihiro Oyama, The University of Electro-Communications, Japan Wilkerson Andrade, Federal University of Campina Grande, Brazil Akinori Yonezawa, The University of Tokyo, Japan Francisco Oliveira Neto, Federal University of Campina Grande, Brazil An Inference System for Detecting Firewall Patr´ıcia Machado, Federal University of Campina Grande, Brazil Filtering Rules Anomalies Tarek Abbes, ISECS, Tunisia A Hybrid Software-Based Self-Testing Adel Bouhoula, SUP’COM, Tunisia Methodology for Embedded Processor Micha¨elRusinowitch, LORIA, France Tai-Hua Lu, National Cheng Kung University, Taiwan Chung-Ho Chen, National Cheng Kung University, Taiwan Kuen-Jong Lee, National Cheng Kung University, Taiwan

Thu. 08:20 - 10:00 SWD: Sala Amalia´ Rodrigues 10:00 - 10:30 Lobby do Ind´ıo (ACS-1) Advances in Computer Simulation Coffe Break Giuseppe Vizzari, University of Milano-Bicocca

A Statistical Approach for Prediction of Projects Based on Simulation Thu. 10:30 - 12:10 ENG: Sala Fernando Pessoa Mariane Souza, Federal University of Minas Gerais, Brazil Humberto Oliveira, Federal University of Minas Gerais, Brazil (RE-2) Requirements Engineering Alexandre Vasconcelos, Federal University of Pernambuco, Brazil Sandro Oliveira, University of Amazonia, Brazil Rafael Dueire Lins, Federal University of Pernambuco

Electricity Market Simulation: Multiagent System Checking the Alignment of Value-based Business Approach Models and IT Functionality Igor Walter, ANEEL - Brazilian Electricity Regulatory Agency, Novica Zarvic, University of Twente, The Netherlands Brazil Roel Wieringa, University of Twente, The Netherlands Fernando Gomide, Unicamp - FEEC - DCA, Brazil Pascal van Eck, University of Twente, The Netherlands

Emerging Cooperation in a Public Goods Game Elaboration of Use Case Specifications: An with Competition Approach Based on Use Case Fragments Ana Bazzan, UFRGS, Brazil Felipe Dias, Federal University of Rio de Janeiro, Brazil Roberto da Silva, UFRGS, Brazil Eber Schmitz, Federal University of Rio de Janeiro, Brazil Silvio Dahmen, UFRGS, Brazil Maria Luiza Machado Campos, Federal University of Rio de Janeiro, Alexandre Baraviera, UFRGS, Brazil Brazil Alexandre Correa, Federal University of Rio de Janeiro, Brazil Agent-based Simulation of Electronic MarketPlaces Antonio Alencar, Federal University of Rio de Janeiro, Brazil with Decision Support Isabel Pra¸ca, Instituto Superior de Engenharia / Instituto Capturing Business Transaction Requirements in Polit´ecnicodo Porto, Portugal Use Case Models Maria Jo˜ao Viamonte, GECAD - ISEP/IPP, Portugal Zita Vale, GECAD - ISEP/IPP, Portugal Patrice Chalin, Concordia University, Canada Carlos Ramos, GECAD - ISEP/IPP, Portugal Daniel Sinnig, Concordia University, Canada Kianoush Torkzadeh, Concordia University, Canada

Three Integration Approaches for Map and B-SCP Thu. 08:20 - 10:00 APP: Sala Ec¸a de Queiroz Requirements Engineering Techniques Abdul Babar, University Technology Sydney, Australia (EMBS-1) Embedded Systems: Applications, Didar Zowghi, University of Sydney Technology & NICTA, Australia Solutions, and Techniques Karl Cox, NICTA, Australia Vladimir Tosic, NICTA, Australia Martino Sykora, Politecnico di Milano Requirements Engineering Process Improvement: VHDL vs. Bluespec System Verilog: A Case Study A Knowledge Transfer Experience on a Java Embedded Architecture Carina Alves, UFPE, Brazil Flavius Gruian, Lund University, Sweden George Valenca, UFPE, Brazil Mark Westmijze, University of Twente, The Netherlands Tayanna Sotero, TCI BPO, Brazil Jeane Mendes, TCI BPO, Brazil Formal Specification of DSP Gateway for Data Transmission Between Processor Cores of OMAP Platform Saulo Luiz, Federal University of Campina Grande, Brazil Thu. 10:30 - 12:10 IS: Sala Iracema Genildo Vasconcelos, Federal University of Campina Grande, Brazil Leandro Dias da Silva, Para´ıbaState University, Brazil (DM-1) Data Mining Angelo Perkusich, Federal University of Campina Grande, Brazil Mohammad Zulkernine, Queen’s University Antonio Lima, Federal University of Campina Grande, Brazil

Final Program 25 SAC 2008, March 16 – 20, 2008 Frequent Pattern Mining for Kernel Trace Data Offline Count-Limited Certificates Christopher LaRosa, Emory University, USA Luis F. G. Sarmenta, Massachusetts Institute of Technology, USA Li Xiong, Emory University, USA Marten van Dijk, Massachusetts Institute of Technology, USA Ken Mandelberg, Emory University, USA Jonathan Rhodes, Massachusetts Institute of Technology, USA Srinivas Devadas, Massachusetts Institute of Technology, USA A Hierarchical Model-based Approach to Co-Clustering High-Dimensional Data SQL-IDS: A Specification-based Approach for Gianni Costa, ICAR-CNR, Italy SQL-Injection Detection Giuseppe Manco, ICAR-CNR, Italy Konstantinos Kemalis, University of the Aegean, Greece Riccardo Ortale, ICAR-CNR, Italy Theodoros Tzouramanis, University of the Aegean, Greece

Semi-Supervised Visual Clustering for Spherical Verifiable Anonymous Vote Submission Coordinates Systems Andr´eZ´uquete,IEETA / Univ. Aveiro, Portugal Boris Chidlovskii, Xerox Research Centre Europe, France Filipe Almeida, IEETA / Univ. Aveiro, Portugal Lo¨ıcLecerf, Xerox Research Centre Europe, France

Using Unlabeled Data to Handle Domain-transfer Problem of Semantic Detection Thu. 10:30 - 12:10 SWD: Sala Amalia´ Rodrigues Songbo Tan, Chinese Academy of Sciences, China Yuefen Wang, Chinese Academy of Geological Sciences, China (ASC-2) Advances in Computer Simulation Gaowei Wu, Institute of Computing Technology, China Ana Bazzan, Universidade Federal do Rio Grande do Sul Xueqi Cheng, Institute of Computing Technology, China

A Validation Methodology for Agent-Based Simulations Thu. 10:30 - 12:10 AIA: Sala Tom Jobim Franziska Kl¨ugl, University of W¨urzburg, Germany (GCR) Geometrical Constraints and Reasoning Large-Scale Simulation of V2V Environments Michel Rueher, University of Nice Hugo Concei¸c˜ao, DCC-FCUP & LIACC - University of Porto, Portugal Elements for a Modular Dynamic Geometry Lu´ıs Damas, DCC/FCUP & LIACC, University of Porto, Portugal Michel Ferreira, DCC/FCUP & LIACC, University of Porto, System Portugal Marc Freixas, Universitat Polit`ecnica de Catalunya, Catalonia Jo˜aoBarros, Instituto de Telecomunica¸c˜oes & DCC/FCUP, Robert Joan Arinyo, Universitat Polit`ecnicade Catalunya, Catalonia University of Porto, Portugal Antoni Soto-Riera, Universitat Polit`ecnica de Catalunya, Catalonia A Vehicular Waiting Time Heuristic for Dynamic An Algorithm for the Tracing Problem Using Vehicle Routing Problem Interval Analysis Humberto Oliveira, Federal University of Minas Gerais, Brazil Britta Denner-Broser, FU-Berlin, Germany Gustavo Rocha, Federal University of Minas Gerais, Brazil Mariane Souza, Federal University of Minas Gerais, Brazil Leonardo Ciscon, Federal University of Minas Gerais, Brazil Combining Symbolic and Numerical Solvers to Vanessa Borges, Federal University of Minas Gerais, Brazil Simplify Indecomposable Systems Solving Geraldo Mateus, Federal University of Minas Gerais, Brazil Arnaud Fabre, LSIIT-Universit´eLouis Pasteur, France Pascal Schreck, LSIIT-Universit´eLouis Pasteur, Strasbourg, France A Framework for Execution and 3D Visualization of Situated Cellular Agent Based Crowd Isometry Group, Words and Proofs of Geometric Simulations Theorems Giuseppe Vizzari, University of Milano-Bicocca, Italy Dominique Michelucci, University of Dijon, France Giorgio Pizzi, University of Milano-Bicocca, Italy Fl´avio Soares Corrˆea da Silva, Universidade de S˜aoPaulo, Brazil A Continuous Facility Location Problem and its Application to a Clustering Problem Lu´ıs Meira, Unicamp, Brazil Fl´avio Miyazawa, Unicamp, Brazil Thu. 10:30 - 12:10 APP: Sala Ec¸a de Queiroz (EMBS-2) Embedded Systems: Applications, Solutions, and Techniques Thu. 10:30 - 12:10 DS: Sala Vasco da Gama Alessio Bechini, University of Pisa (SEC-2) Computer Security Exploiting Program Cyclic Behavior to Reduce Giampaolo Bella, SAP Research Memory Latency in Embedded Processors Ehsan Atoofian, University of Victoria, Canada A Cost-Driven Approach to Role Engineering Amirali Baniasadi, University of Victoria, Canada Alessandro Colantonio, Engiweb Security, Italy Roberto Di Pietro, Universit`adi Roma Tre, Italy The Minimization of Hardware Size in Alberto Ocello, Engiweb Security, Italy Reconfigurable Embedded Platforms Nei-Chiung Perng, Genesys Logic, Taiwan On Delegation and Workflow Execution Models Jian-Jia Chen, Swiss Federal Institute of Technology, Switzerland Jason Crampton, University of London, UK Tei-Wei Kuo, National Taiwan University, Taiwan Hemanth Khambhammettu, University of London, UK Chi-Sheng Shih, National Taiwan University, Taiwan

Final Program 26 SAC 2008, March 16 – 20, 2008 Dynamic Configuration of Application-Specific Borderline Detection by Bayes Vector Quantizers Implicit Instructions for Embedded Pipelined Claudia Diamantini, Universit`aPolitecnica delle Marche, Italy Processors Domenico Potena, Universit`aPolitecnica delle Marche, Italy Martino Sykora, Politecnico di Milano, Italy Giovanni Agosta, Politecnico di Milano, Italy Privacy-Preserving Link Discovery Cristina Silvano, Politecnico di Milano, Italy Xiaoyun He, Rutgers University, USA Basit Shafiq, Rutgers University, USA Power-efficient and Scalable Load/Store Queue Jaideep Vaidya, Rutgers University, USA Design via Address Compression Nabil Adam, Rutgers University, USA Yi Ying Tsai, National Cheng Kung University, Taiwan Chia-Jung Hsu, National Cheng Kung University, Taiwan Using Ambiguity Measure Feature Selection Chung-Ho Chen, National Cheng Kung University, Taiwan Algorithm for Support Vector Machine Classifier Saket Mengle, Illinois Institute of Technology, USA PFFS: A Scalable Flash Memory File System for Nazli Goharian, Illinois Institute of Technology, USA the Hybrid Architecture of Phase-Change RAM and NAND Flash An Anomaly Intrusion Detection Method Using Youngwoo Park, KAIST, Korea the CSI-KNN Algorithm Seung-Ho Lim, KAIST, Korea Liwei Kuang, Queens University, Canada Chul Lee, KAIST, Korea Mohammad Zulkernine, Queen’s University, Canada Kyu Ho Park, KAIST, Korea Jin Kyu Kim, Samsung Electronics Co., LTD., Korea Kyoungil Bahng, Samsung Electronics Co., LTD., Korea

Thu. 13:30 - 15:10 AIA: Sala Tom Jobim 12:10 - 13:30 Lunch Break (TRECK-1) Trust, Recommendations, Evidence and other Collaboration Know-how Virg´ılio Almeida, Federal University of Minas Gerais

Thu. 13:30 - 15:10 ENG: Sala Fernando Pessoa Propagating Multitrust within Trust Networks (DE-1) Document Engineering Stefano Bistarelli, Universit`a’G. d’Annunzio’ Chieti-Pescara, IIT-CNR, Pisa, Italy Rafael Dueire Lins, Federal University of Pernambuco Francesco Santini, IMT Lucca, Italy

A Language-Independent, Open-Vocabulary Autonomic Trust Reasoning Enables Misbehavior System Based on HMMs for Recognition of Ultra Detection in OLSR Low Resolution Words Asmaa Adnane, SUPELEC, France Farshideh Einsele, Department of Informatics, Switzerland Rafael Tim´oteo de Sousa, University of Bras´ılia, Brazil Rolf Ingold, University of Fribourg, Switzerland Christophe Bidan, SUPELEC, France Jean Hennebert, HES-SO, Switzerland Ludovic M´e,SUPELEC, France

A Wrapper Generation System for PDF Surework: A Super-peer Reputation Framework Documents for P2p Networks Bettina Fazzinga, University of Calabria, Italy Manuel Rodriguez-Perez, Universitat Politecnica de Catalunya, Sergio Flesca, University of Calabria, Italy Spain Andrea Tagarelli, University of Calabria, Italy Oscar Esparza, Universitat Politecnica de Catalunya, Spain Salvatore Garruzzo, University of Reggio Calabria, Italy Jose L. Mu˜noz,Universitat Politecnica de Catalunya, Spain Elio Masciari, CNR, Italy

An Objective Way to Evaluate and Compare CAT: A Context-Aware Trust Model for Open and Binarization Algorithms Dynamic Systems Mohammad Uddin, Queen’s University, Canada Ergina Kavallieratou, University of the Aegean, Greece Mohammad Zulkernine, Queen’s University, Canada Sheikh Iqbal Ahamed, Marquette University, USA A Generic XML Language for Characterising Objects to Support Digital Preservation Examining the Motivations of Defection in Christoph Becker, Vienna University of Technology, Vienna Large-Scale Open Systems Andreas Rauber, Vienna University of Technology, Austria Volker Heydegger, University of Cologne, Germany Rowan Martin-Hughes, The Australian National University, Jan Schnasse, University of Cologne, Germany Australia Manfred Thaller, University of Cologne, Germany Jochen Renz, The Australian National University, Australia

Stacked Dependency Networks for Layout Document Structuring Boris Chidlovskii, Xerox Research Centre Europe, France Thu. 13:30 - 15:10 DS: Sala Vasco da Gama Lo¨ıcLecerf, Xerox Research Centre Europe, France (CN-1) Computer Networks Nelson Fonseca, State University of Campinas Thu. 13:30 - 15:10 IS: Sala Iracema Scheduling Grid Tasks under Uncertain Demands (DM-2) Data Mining Daniel Batista, State University of Campinas, Brazil Andre Drummond, State University of Campinas, Brazil Radim Belohlavek, Binghamton University Nelson Fonseca, State University of Campinas, Brazil

Final Program 27 SAC 2008, March 16 – 20, 2008 Performance Comparison of Flow-Aware Certifying an Embedded Remote Method Networking (FAN) Architectures under GridFTP Invocation Protocol Traffic June Andronick, Gemalto, France C´esarC´ardenas, ENST Paris, France Quang-Huy Nguyen, Gemalto, France Maurice Gagnaire, ENST Paris, France

Interacting Urns Processes Pierre Leone, University of Geneva, Switzerland Thu. 13:30 - 15:10 APP: Sala Ec¸a de Queiroz Elad Michael Schiller, Chalmers University of Technology and G¨oteborg University, Sweden (EMBS-3) Embedded Systems: Applications, On the Design and Performance Evaluation of Solutions, and Techniques Notification Support for P2P-Based Network Alessio Bechini, University of Pisa Management Carlos Raniery Paula dos Santos, Federal University of Rio Grande Flash Memory Management Based on Predicted do Sul, Brazil Data Expiry-Time in Embedded Real-time Systems Clarissa Cassales Marquezan, Federal University of Rio Grande do Sul, Brazil Peng Wei, University of Science and Technology of China, P.R.China Ewerton Monteiro Salvador, Federal University of Rio Grande do Lihua Yue, University of Science and Technology of China, Sul, Brazil P.R.China Luis Fernando Dalla Santa, Federal University of Rio Grande do Zhanzhan Liu, University of Science and Technology of China, Sul, Brazil P.R.China S´ergio Luis Cechin, Federal University of Rio Grande do Sul, Brazil Xiaoyan Xiang, University of Science and Technology of China, Lisandro Zambenedetti Granville, Federal University of Rio Grande P.R.China do Sul, Brazil Maria Janilce Bosquiroli Almeida, Federal University of Rio Grande Hierarchical Memory System Design for A do Sul, Brazil Liane Margarida Rockenbach Tarouco, Federal University of Rio Heterogeneous Multi-core Processor Grande do Sul, Brazil Jianjun Guo, National University of Defense Technology, China Mingche Lai, National University of Defense Technology, China On the Performance of Employing Presence Zhengyuan Pang, National University of Defense Technology, China Libo Huang, National University of Defense Technology, China Services in P2P-Based Network Management Fangyuan Chen, National University of Defense Technology, China Systems Kui Dai, National University of Defense Technology, China Carlos Raniery Paula dos Santos, Federal University of Rio Grande Zhiying Wang, National University of Defense Technology, China do Sul, Brazil S´ergio Luis Cechin, Federal University of Rio Grande do Sul, Brazil A Reliable B-Tree Implementation over Flash Lisandro Zambenedetti Granville, Federal University of Rio Grande do Sul, Brazil Memory Maria Janilce Bosquiroli Almeida, Federal University of Rio Grande Xiaoyan Xiang, University of Science and Technology of China, do Sul, Brazil P.R.China Liane Margarida Rockenbach Tarouco, Federal University of Rio Lihua Yue, University of Science and Technology of China, Grande do Sul, Brazil P.R.China Zhanzhan Liu, University of Science and Technology of China, P.R.China Peng Wei, University of Science and Technology of China, P.R.China Thu. 13:30 - 15:10 SWD: Sala Amalia´ Rodrigues (SV-1) Software Verification Fausto Spoto, University of Verona Thu. 13:30 - 15:10 APP: Sala Ec¸a de Queiroz

Type-Based Information Flow Analysis for (NLSP-1) Natural Language Processing and Bytecode Languages with Variable Object Field Speech Recognition Policies Rada Mihalcea, University of North Texas Francisco Bavera, Universidad Nacional de R´ıo Cuarto, Argentina Eduardo Bonelli, UNLP, Argentina Learning to Identify Emotions in Text Removing Useless Variables in Cost Analysis of Carlo Strapparava, IRST, Italy Rada Mihalcea, University of North Texas, USA Java Bytecode Elvira Albert, Complutense University of Madrid, Spain Knowledge-Free Discovery of Domain-Specific Puri Arenas, Complutense University of Madrid, Spain Samir Genaim, Technical University of Madrid, Spain Multiword Units Germ´anPuebla, Technical University of Madrid, Spain Axel-Cyrille Ngonga Ngomo, University of Leipzig, Germany Damiano Zanardini, Technical University of Madrid, Spain

UML State Machine Diagram Driven Runtime Verification of Java Programs for Message 15:10 - 15:40 Lobby do Ind´ıo Interaction Consistency Coffe Break Xuandong Li, Nanjing University, China Xiaokang Qiu, Nanjing University, China Linzhang Wang, Nanjing University, China Bin Lei, Nanjing University, China Eric Wong, University of Texas at Dallas, USA Thu. 15:40 - 17:20 ENG: Sala Fernando Pessoa

Code-Carrying Theory (DE-2) Document Engineering Aytekin Vargun, Rensselaer Polytechnic Institute, USA Rafael Dueire Lins, Federal University of Pernambuco David R. Musser, Rensselaer Polytechnic Institute, USA

Final Program 28 SAC 2008, March 16 – 20, 2008 Crime Scene Classification The Effect of Correlation Coefficients on Ricardo Abu Hana, PUCPR, Brazil Communities of Recommenders Cinthia Freitas, PUCPR, Brazil Neal Lathia, University College London, UK Luiz Oliveira, PUCPR, Brazil Stephen Hailes, University College London, UK Flavio Bortolozzi, OPET, Brazil Licia Capra, University College London, UK

Author Identification using Writer-Dependent and Whom Should I Trust? The Impact of Key Figures Writer-Independent Strategies on Cold Start Recommendations Daniel Pavelec, PUCPR, Brazil Patricia Victor, UGhent, Belgium Edson Justino, PUCPR, Brazil Chris Cornelis, UGhent, Belgium Leonardo Vidal Batista, PPGI / DI / UFPB, Brazil Ankur M. Teredesai, UW Tacoma, USA Luiz Oliveira, PUCPR, Brazil Martine De Cock, UGhent, Belgium

BigBatch: A Document Processing Platform for Comparing Keywords and Taxonomies in the Clusters and Grids Representation of Users Profiles in a Giorgia Mattos, Universidade Federal de Pernambuco, Brazil Content-Based Recommender System Andrei Formiga, Universidade Federal de Pernambuco, Brazil Stanley Loh, Catholic University of Pelotas & Lutheran University Rafael Lins, Universidade Federal de Pernambuco, Brazil of Brazil, Brazil M´ario Martins, Universidade do Minho, Portugal Fabiana Lorenzi, Lutheran University of Brazil, Brazil Gabriel Sim˜oes, Federal University of Rio Grande do Sul, Brazil Leandro Krug Wives, Federal University of Rio Grande do Sul, An Efficient Feature Ranking Measure for Text Brazil Categorization Jos´ePalazzo M. de Oliveira, Federal University of Rio Grande do Sul, Brazil Songbo Tan, Chinese Academy of Sciences, China Yuefen Wang, Chinese Academy of Geological Sciences, China Xueqi Cheng, Chinese Academy of Sciences, China

Thu. 15:40 - 17:20 DS: Sala Vasco da Gama (CN-2) Computer Networks Thu. 15:40 - 17:20 IS: Sala Iracema Cesar Cardenas, ENST (DM-3) Data Mining A Bandwidth Management Scheme Support for Marcela Xavier Ribeiro, University of Sao Paulo at Sao Carlos Real-time Applications in Wireless Mesh Networks Yan Wei, Peking University, China Mining Fault-tolerant Frequent Patterns Efficiently Ren Maosheng, Peking University, China with Powerful Pruning Tong Zhao, Peking University, China Li Xiaoming, Peking University, China Jhih-Jie Zeng, National Dong Hwa University, Taiwan (R.O.C.) Guanling Lee, National Dong Hwa University, Taiwan (R.O.C.) Chung-Chi Lee, National Dong Hwa University, Taiwan (R.O.C.) On the Performance of TCP, UDP and DCCP over 802.11g Networks Discovering Relationships among Categories using Leandro Sales, Federal University of Campina Grande, Brazil Hyggo Almeida, Federal University of Campina Grande, Brazil Misclassification Information Angelo Perkusich, Federal University of Campina Grande, Brazil Saket Mengle, Illinois Institute of Technology, USA Nazli Goharian, Illinois Institute of Technology, USA Sensor Stream Reduction For Clustered Wireless Alana Platt, Illinois Institute of Technology, USA Sensor Networks Andr´eAquino, Federal University of Minas Gerais, Brazil Adding Background Knowledge to Formal Concept Carlos Figueiredo, FUCAPI - Research and Technological Analysis via Attribute Dependency Formulas Innovation Center, Brazil Eduardo Nakamura, FUCAPI - Research and Technological Radim Belohlavek, Binghamton University-SUNY, USA Innovation Center, Brazil Vilem Vychodil, Binghamton University-SUNY, USA Alejandro Frery, Universidade Federal de Alagoas, Brazil Antˆonio A. F. Loureiro, Federal University of Minas Gerais, Brazil k-RNN: k-Relational Nearest Neighbour Algorithm Antˆonio Fernandes, Federal University of Minas Gerais, Brazil Nuno A. Fonseca, Instituto de Biologia Molecular e Celular, Portugal Evaluating the Partial Deployment of an AS-level Vitor Costa, FCUP-LIACC, Portugal IP Traceback System Ricardo Rocha, FCUP-LIACC, Portugal Andr´eCastelucio, Military Institute of Engineering, Brazil Rui Camacho, FEUP, Portugal Ronaldo Salles, Military Institute of Engineering (IME), Brazil Artur Ziviani, National Laboratory for Scientific Computing (LNCC), Brazil

Attaining Soft Real-time Constraint and Thu. 15:40 - 17:20 AIA: Sala Tom Jobim Energy-efficiency in Web Servers (TRECK-2) Trust, Recommendations, Raphael Guerra, Technische Universit¨at Kaiserslautern, Germany Evidence and other Collaboration Know-how Julius Leite, Federal University Fluminense, Brazil Gerhard Fohler, Technische Universit¨atKaiserslautern, Germany Virg´ılio Almeida, Federal University of Minas Gerais

Tag-aware Recommender Systems by Fusion of Thu. 15:40 - 17:20 SWD: Sala Amalia´ Rodrigues Collaborative Filtering Algorithms Karen H.L. Tso-Sutter, University of Hildesheim, Germany (SV-2) Software Verification Leandro Balby Marinho, University of Hildesheim, Germany Lars Schmidt-Thieme, University of Hildesheim, Germany German Puebla, Technical University of Madrid

Final Program 29 SAC 2008, March 16 – 20, 2008 Reachability Analysis of Generalized Polygonal Hybrid Systems Gerardo Schneider, University of Oslo, Norway

Reachability Analysis using Multiway Decision Graphs in the HOL Theorem Prover Sa’ed Abed, Concordia University, Canada Otmane Ait Mohamed, Concordia University, Canada Ghiath Al Sammane, Concordia University, Canada

A Framework for Performance Evaluation and Functional Verification in Stochastic Process Algebras Hossein Hojjat, University of Tehran, IPM, Iran MohammadReza Mousavi, Eindhoven University of Technology, The Netherlands Marjan Sirjani, University of Tehran, IPM, Iran

An Improved Approach for Set-Associative Instruction Cache Partial Analysis Clement Ballabriga, Universit´ede Toulouse - IRIT, France Hugues Casse, Universit´ede Toulouse - IRIT, France Pascal Sainrat, Universit´ede Toulouse - IRIT, France

A Novel Approach for Test Suite Reduction Based on Requirement Relation Contraction Zhenyu Chen, Southeast University, China Baowen Xu, Southeast University, China Xiaofang Zhang, Southeast University, China Changhai Nie, Southeast University, China

Thu. 15:40 - 17:20 APP: Sala Ec¸a de Queiroz (NLSP-2) Natural Language Processing and Speech Recognition Rada Mihalcea, University of North Texas

Gcon: A Graph-Based Technique for Resolving Ambiguity in Query Translation Candidates Dong Zhou, University of Nottingham, UK Mark Truran, University of Teesside, UK Tim Brailsford, University of Nottingham, UK Helen Ashman, University of South Australia, Australia James Goulding, University of Nottingham, UK

When a Mismatch Can Be Good: Large vocabulary speech recognition trained with idealized Tandem features Arlo Faria, University of California, USA Nelson Morgan, International Computer Science Institute, USA

Ontology-Based Utterance Interpretation for Intelligent Conversational Interfaces Emerson Paraiso, PUCPR, Brazil

A Method for Semantics-based Conceptual Expansion of Ontology Liping Zhou, University of Science and Technology Beijing, China Dezheng Zhang, University of Science and Technology Beijing, China Xin Chen, University of Alabama at Birmingham, USA Chengcui Zhang, University of Alabama at Birmingham, USA

Thu. 17:20 Conference Ends

Final Program 30 SAC 2008, March 16 – 20, 2008 Using Process Algebra to Control the Execution of SAC 2008 Posters List Business Processes Kelly Rosa Braghetto, University of S˜aoPaulo, Brazil Jo˜aoFerreira, University of S˜aoPaulo, Brazil Calton Pu, Georgia Institute of Technology, USA

Tuesday, 9:00 - 12:00 Sala Vinicius de Moraes Decentralized Coordination Strategies for the Poster Session 1 Vehicle Routing Problem Matteo Vasirani, University Rey Juan Carlos, Spain Sascha Ossowski, University Rey Juan Carlos, Spain (BIO) Bioinformatics EPML: An Executable Process Modeling Language Discrete Wavelet Transform-based Multivariate for Process-Aware Applications Exploration of Tissue via Imaging Mass Davide Rossi, University of Bologna, Italy Elisa Turrini, University of Bologna, Italy Spectrometry Raf Van de Plas, Katholieke Universiteit Leuven, Belgium Bart De Moor, K.U.Leuven, Belgium (CSP) Constraint Satisfation and Programming Etienne Waelkens, K.U.Leuven, Belgium Nested Temporal Networks with Alternatives: Population Genetics of Human Copy Number Recognition and Tractability Variations: Models and Simulation of their Roman Bart´ak,Charles University, Czech Republic Evolution Along and Across the Genomes Ondˇrej Cepek,ˇ Charles University, Czech Republic Antonina Mitrofanova, NYU, USA Bud Mishra, NYU, USA (DTTA) Database Theory, Technology, and Applications (CF) Computer Forensics An Algorithm for Effective Deletion and a New Logical and Physical Data Collection of Windows Optimization Technique for Metric Access Methods CE Based Portable Devices Renato Bueno, University of S˜aoPaulo at S˜ao Carlos, Brazil Antonio Savoldi, University of Brescia, Italy Agma J. M. Traina, University of S˜ao Paulo at S˜ao Carlos, Brazil Paolo Gubian, University of Brescia, Italy Caetano Traina Jr., University of S˜ao Paulo at S˜ao Carlos, Brazil

Conversion of Generalization Hierarchies and (CISIA) Computational Logic and Union Types from Extended Entity-Relationship Computational Intelligence in Signal and Image Model to an XML Logical Model Analysis Rebeca Schroeder, Federal University of Santa Catarina, Brazil Ronaldo dos Santos Mello, Federal University of Santa Catarina, Revisiting Exact Combinational Circuit Synthesis Brazil Paul Tarau, University of North Texas, USA Brenda Luderman, INTEL Corp., USA Events must be Complete in Event Processing! Raman Adaikkalavan, Indiana University South Bend, USA Texture Feature Extraction and Description Using Sharma Chakravarthy, Computer Science and Engineering, The Fuzzy Set of Main Dominant Directions of Variable University of Texas at Arlington, USA Scales in Content-Based Medical Image Retrieval Gang Zhang, Northeastern University, China (EBA) e-Business Applications Z.M. Ma, Northeastern University, China Liguo Deng, Northeastern University, China Building Secure e-Business Systems: Technology Restoration of Vibro-acoustography Images and Culture in the UAE Talita Perciano, Universidade Federal de S˜aoCarlos, Brazil Fahim Akhter, Zayed University, United Arab Emirates Nelson D. A. Mascarenhas, Univesidade Federal de S˜ao Carlos, Lami Kaya, University of Sharjah, United Arab Emirates Brazil Alejandro C. Frery, Univerdidade Federal de Alagoas, Brazil Glauber T. Silva, Universidade Federal de Alagoas, Brazil (EC) Applications of Evolutionary Computation Empirical Evaluation of a New Structure for AdaBoost A Genetic Algorithm for Sensor Deployment Based Andre Barczak, Massey University, New Zealand on Two-Dimensional Operators Martin J. Johnson, Massey University, New Zealand Jae-Hyun Seo, Kwangwoon University, Korea Chris H. Messom, Massey University, New Zealand Yong-Hyuk Kim, Kwangwoon University, Korea Hwang-Bin Ryou, Kwangwoon University, Korea Seok-Joong Kang, Kwangwoon University, Korea (CM) Coordination Models, Languages and Applications (MAS) Mobile Agents and Systems Preserving Coordination Properties when Transforming Concurrent System Components Supporting the Development of Context-aware Gudmund Grov, Heriot-Watt University, United Kingdom Agent-based Systems for Mobile Networks Robert Pointon, Heriot-Watt University, United Kingdom Jose Viterbo, PUC-RJ, Brazil Greg Michaelson, Heriot-Watt University, United Kingdom Marcelo Malcher, PUC-RJ, Brazil Andrew Ireland, Heriot-Watt University, United Kingdom Markus Endler, PUC-RJ, Brazil

Final Program 31 SAC 2008, March 16 – 20, 2008 Strategies For QoS Improvement on The Time-Interval Scheduling (ME) Middleware Engineering F´abio de la Rocha, Federal University of Santa Catarina, Brazil Rˆomulo Silva de Oliveira, Federal University of Santa Catarina, COSMOS: A Middleware Platform for Sensor Brazil Networks and a u-Healthcare Service Yung Bok Kim, Sejong University, Korea Slack Time Evaluation with RTSJ Marie Kim, ETRI, Korea Damien Masson, Universit´eParis-Est, France Yong Joon Lee, ETRI, Korea Serge Midonnet, Universit´eParis-Est, France

Exploiting Semantic Information on a Message On the Meaning of Modes in Uniprocessor Exchanging Middleware Real-Time Systems Daniel Lobato, Faculdades COC, Brazil Paulo Martins, Chaminade University of Honolulu, USA Matheus Barbosa, ICMC/USP, Brasil Alan Burns, The University of York, UK Renato Freitas Bulc˜ao Neto, Innolution Sistemas de Inform´atica Ltda, Brazil Cesar Augusto Teixeira, DC/UFSCar, Brazil (SE) Software Engineering Maria da Gra¸caPimentel, Universidade de S˜aoPaulo, Brazil A Case-based Reasoning Approach for (MMV) Multimedia and Visualization Materializing Software Architectures onto Object-Oriented Designs Visualization of Rule-Based Programming German Vazquez, UNCPBA University, Argentina Marcelo R. Campo, UNICEN University, Argentina Wenshan Yu, University of Houston, USA J. Andres Diaz Pace, UNCPBA University, Argentina Rakesh Verma, University of Houston, USA A Method for Defining the Implementation Order (OE) Organizational Engineering of Software Projects Under Uncertainty Eber Schmitz, Federal University of Rio de Janeiro, Brazil Antonio Alencar, Federal University of Rio de Janeiro, Brazil Partnering Structure Definition for Networked Carlos Azevedo, Federal University of Rio de Janeiro, Brazil Businesses Roberto Santana Tapia, University of Twente, The Netherlands Formal Definition of Measures for UML Statechart Novica Zarvic, University of Twente, The Netherlands Diagrams Using OCL Luis Reynoso, University of Comahue, Argentina A Novel Modeling Language for Tool-based Jose A. Cruz-Lemus, University of Castilla-La Mancha, Spain Business Process Engineering Marcela Genero, University of Castilla La-Mancha, Spain Mario Piattini, University of Castilla-La Mancha, Spain Marco Mevius, FZI Research Center for Information Technologies, Germany Using Formal Methods to Develop a Complex Organizational Modeling with a Semantic Wiki Information System: A Practical/ Theoretical David Aveiro, INESC-INOV, Portugal Experience Jo˜aoMendes, INESC-INOV, Portugal Cesar Andr´es,Universidad Complutense de Madrid, Spain Jos´eTribolet, INESC-INOV, Portugal Rafael G. Aranda, Universidad Complutense de Madrid, Spain Manuel N´u˜nez,Universidad Complutense de Madrid, Spain

(PSC) Programming for Separation of Concerns (SOPDS) Self Organization in Pervasive Distributed Systems A Decision Model for Implementing Product Lines Self and Non-self Discrimination Agents Variabilities Carine Webber, University of Caxias do Sul, Brazil M´arcio de Medeiros Ribeiro, Informatics Center - UFPE, Brazil Jo˜aoLuis Tavares Silva, University of Caxias do Sul, Brazil Pedro Matos Jr., Informatics Center - UFPE, Brazil Paulo Borba, Federal University of Pernambuco, Brazil (UC) Ubiquitous Computing Securing Aspect Composition Andrew Camilleri, Lancaster University, UK Context Distribution for Supporting Composition Lynne Blair, Lancaster University, UK Geoffrey Coulson, Lancaster University, UK of Applications in Ubiquitous Computing Carlos Noguera, INRIA Futurs, France Ellen Van Paesschen, Inria Futurs, France Carlos Parra, Inria Futurs, France (RHSES) Robotics: Hardware, Software, and Johan Fabry, University of Chile, Chile Embedded Systems Supporting Multimedia Capture in Mobile Template Design and Automatic Generation of Computing Environments Through a Peer-to-Peer Controllers for Industrial Robots Platform Lenko Grigorov, Queen’s University, Canada Renan Cattelan, Universidade de S˜aoPaulo, Brazil Jos´eCury, Federal University of Santa Catarina, Brazil Maria da Gra¸caPimentel, Universidade de S˜aoPaulo, Brazil Karen Rudie, Queen’s University, Canada Steffi Klinge, Otto-von-Guericke University, Germany Tuesday, 14:00 - 17:00 Sala Vinicius de Moraes (RTS) Real-Time Systems Poster Session 2

Final Program 32 SAC 2008, March 16 – 20, 2008 Automated Segmentation and Volumetric Analysis of Brain Components on MR Imaging (ACS) Advances in Computer Simulation Marcelo Pereira da Silva, Universidade Federal Fluminense, Brazil Jean Ribeiro Damasceno, Universidade Federal Fluminense, Brazil Fl´avio Luiz Seixas, Universidade Federal Fluminense, Brazil Coordination Schemes in Distributed Simulation of Andrea Silveira de Souza, LABS-Rede D’Or, Brazil Relativistic Particle Transport D´ebora Christina Muchaluat Saade, Universidade Federal Ruipeng Li, Arkansas State University, USA Fluminense, Brazil Hai Jiang, Arkansas State University, USA Hung-Chi Su, Arkansas State University, USA Pathological Voice Discrimination Based on Bin Zhang, Arkansas State University, USA Jeff Jenness, Arkansas State University, USA Entropy Measurements Silvana Costa, Federal Center of Technological of Paraiba, Brazil Suzete Correia, Federal Center of Technological Education of RePart: A Reputation-based Simulation Tool for Paraiba, Brazil Partnership Formation Hanniere Falc˜ao, Federal Center of Technological of Paraiba, Brazil N´athalee Almeida, Federal Center of Technological of Paraiba, Brazil Priscilla Avegliano, Polythecnic School, University of S˜aoPaulo, Benedito Aguiar Neto, Federal University of Campina Grande, Brazil Brazil Jaime Sichman, Polythecnic School, University of S˜ao Paulo, Brazil Joseana Fechine, Federal University of Campina Grande, Brazil

Generation of Continuous Random Networks by Simulated Annealing (DADS) Dependable and Adaptive Distributed Andr´eLuis Martinoto, Universidade de Caxias do Sul, Brazil Systems Felipe Jornada, Universidade Federal do Rio Grande do Sul, Brazil Luciano Cassol, Universidade de Caxias do Sul, Brazil SSCM: Middleware for Structure-based Service Vanius Gava, Universidade de Caxias do Sul, Brazil Ricardo Vargas Dorneles, Universidade Caxias do Sul, Brazil Collaboration Claudio Antˆonio Perotoni, Universidade de Caxias do Sul, Brazil Dianfu Ma, Beihang University, China Min Liu, Beihang University, China Yongwang Zhao, Beihang University, China Chunyang Hu, Beihang University, China (APSLA) Agent-Oriented Programming, Systems, Languages and Applications A Pattern-driven Security Process for SOA Applications A Multi-Agent System for the Support of Producer Nelly A. Delessy, Florida Atlantic University, USA Coalition Formation in Electricity Markets Eduardo B. Fernandez, Florida Atlantic University, USA Isabel Pra¸ca, Instituto Superior de Engenharia / Instituto Polit´ecnicodo Porto, Portugal On the Control of Adaptation in Ubiquitous Andr´eAndrade, GECAD - ISEP/IPP, Portugal Computing Hugo Morais, GECAD - ISEP/IPP, Portugal Luciano Cavalheiro da Silva, Federal University of Rio Grande do Mar´ılio Cardoso, GECAD - ISEP/IPP, Portugal Sul, Brazil Carlos Ramos, GECAD - ISEP/IPP, Portugal Cristiano A. da Costa, Universidade Federal do Rio Grande do Sul, Zita Vale, GECAD - ISEP/IPP, Portugal Brazil Cl´audio Geyer, Universidade Federal do Rio Grande do Sul, Brazil Iara Augustin, Federal University of Santa Maria, Brazil Adenauer Yamin, Universidade Cat´olica de Pelotas, Brazil (ATOS) Adaptive Techniques in Operating Systems (DE) Document Engineering PreeMe: Preemptive Real-time Task Management for Event-driven Sensor Operating Systems Information Extraction from Scanned Documents Sangho Yi, Seoul National University, Korea by Stochastic Page Layout Analysis Hong Min, Seoul National University, Korea Atsuhiro Takasu, National Institute of Informatics, Japan Yookun Cho, Seoul National University, Korea Kenro Aihara, National Institute of Informatics, Japan Injoo Jeong, East-West University, USA Yeongkwun Kim, West Illinois University, USA Bongkyu Lee, Cheju National University, Korea A Strategy for Memory Traffic Management of Jaeyoung Choi, Soongsil University, Korea Bitmap Fonts for Text Visualization in Mobile Devices Jo˜aoBosco Ferreira Filho, Universidade Federal do Cear´a, Brazil (CAHC) Computer Applications in Health Helder S. Pinho, Samsung, Brazil Riverson Rios, Universide Federal do Cear´a,Brazil Care Rossana M. C. Andrade, Universide Federal do Cear´a,Brazil

Selecting Beam Directions in Radiotherapy with an Perspective Rectification of Camera-based Evolutionary Algorithm Document Images Using Local Linear Structure Marco Goldbarg, Universidade Federal do Rio Grande do Norte, Yuanping Zhu, Chinese Academy of Sciences, China Brazil Ruwei Dai, Institute of Automation, Chinese Academy of Sciences, Elizabeth F. G. Goldbarg, Universidade Federal do Rio Grande do China Norte, Brazil Baihua Xiao, Institute of Automation, Chinese Academy of Carlos Mendes, Universidade Federal do Rio Grande do Norte, Sciences, China Brazil Chunheng Wang, Institute of Automation, Chinese Academy of Frederiko Ara´ujo, Universidade Federal do Rio Grande do Norte, Sciences, China Brazil Nuruara Osti, Hospital do Servidor do Estado de S˜ao Paulo, Brazil Gilberto Corso, Universidade Federal do Rio Grande do Norte, Brazil (DM) Data Mining

Final Program 33 SAC 2008, March 16 – 20, 2008 Imputation-Boosted Collaborative Filtering Using Machine Learning Classifiers (IAR) Information Access and Retrieval Xiaoyuan Su, Florida Atlantic University, USA Taghi M. Khoshgoftaar, Florida Atlantic University, USA Xingquan Zhu, Florida Atlantic University, USA A Light-weight Feedback Method for Russell Greiner, University of Alberta, Canada Reconstructing a Document Vector Space on a Feature Extraction Model Anomaly Detection Algorithms in Logs of Process Kosuke Takano, Kanagawa Institute of Technology, Japan Aware Systems Xing Chen, Kanagawa Institute of Technology, Japan F´abio Bezerra, UNICAMP, Brazil Jacques Wainer, Universidade Estadual de Campinas, Brazil On Filtering Irrelevant Results in Peer-to-Peer Search A new Algorithm for Data Discretization and Yuval Merhav, Illinois Institute of Technology, USA Feature Selection Ophir Frieder, Georgetown University and IIT Information Retrieval Marcela X. Ribeiro, University of S˜aoPaulo at S˜aoCarlos, Brazil Laboratory, USA Agma J. M. Traina, University of S˜ao Paulo at S˜ao Carlos, Brazil Caetano Traina Jr., University of S˜ao Paulo at S˜ao Carlos, Brazil (MCA) Mobile Agents and Systems

(EIS) Enterprise Information Systems Improving Network Management with Mobile Agents in Peer-to-Peer Networks Adaptive Data Anonymization against Information Rodrigo Santana, Federal University of Cear´a,Brazil Fusion based Privacy Attacks on Enterprise Data Danielo Gomes, Federal University of Cear´a, Brazil Srivatsava Ranjit Ganta, Penn State University, USA Neuman Souza, Federal University of Cear´a, Brazil Raj Acharya, Penn State University, USA Rossana M. C. Andrade, Federal University of Cear´a, Brazil Elias Duarte, Federal University of Parana,, Brazil Lisandro Zambenedetti Granville, Federal University of Rio Grande Information Systems Implementation: The Big do Sul, Brazil Picture Luci Pirmez, Federal University of Rio de Janeiro, Brazil Norbert Gronau, University of Potsdam, Germany Michael Rohloff, mri Management Consulting, Germany An Infrastructure for Developing Context Aware Applications in Pervasive Environments (EMBS) Embedded Systems: Applications, Frederico Bublitz, Federal University of Campina Grande, Brazil Hyggo Almeida, Federal University of Campina Grande, Brazil Solutions, and Techniques Angelo Perkusich, Federal University of Campina Grande, Brazil Emerson Loureiro, University College Dublin, Ireland Control Flow Checking and Recovering based on Evandro Barros, Federal University of Alagoas, Brazil Leandro Dias, State University of Paraiba, Brazil 8051 Architecture Rui Gong, National University of Defense Technology, P. R. China Wei Chen, National University of Defense Technology, P. R. China Context Addressing using Context-Aware Flooding Fang Liu, National University of Defense Technology, P. R. China Koen Victor, KULeuven, Belgium Kui Dai, National University of Defense Technology, China Julien Pauty, KULeuven, Belgium Zhiying Wang, National University of Defense Technology, China Yolande Berbers, KULeuven, Belgium

Using Traditional Loop Unrolling to Fit CityWalker: A Mobile GPS for Walking Travelers Application on a New Hybrid Reconfigurable Tsz Ho Yu, The Chinese University of Hong Kong, China Architecture Yiu-Sang Moon, The Chinese University of Hong Kong, Hong Kong Kwai-Leung Chow, The Chinese University of Hong Kong, Hong Monica Magalh˜aes Pereira, Federal University of Rio Grande do Kong Norte, Brazil Ho-Chuen Wong, The Chinese University of Hong Kong, Hong Kong S´ılvio R. F. de Ara´ujo, Federal University of Rio Grande do Norte, Yuen-Chung Li, The Chinese University of Hong Kong, Hong Kong Brazil Bruno C. de Oliveira, Federal University of Rio Grande do Norte, Brazil Ivan Saraiva Silva, Federal University of Rio Grande do Norte, (NLSP) Natural Language Processing and Brazil Speech Recognition

Filtering Drowsy Instruction Cache to Achieve A Farsi Part-of-Speech Tagger Based on Markov Better Efficiency Model Roberto Giorgi, University of Siena, Italy Mahdi Mohseni, Iran University of Science and Technology, Iran Paolo Bennati, University of Siena, Italy Hasan Motalebi, Iran University of Science and Technology, Iran Behrouz Minaei-bidgoli, Iran University of Science and Technology, Iran (GCR) Geometrical Constraints and Reasoning Mahmoud Shokrollahi-far, University College of Nabi Akram, Iran

A Constraint Hierarchies Approach to Geometric (RE) Requirements Engineering Constraints on Sketches Christophe Jermann, Universit´ede Nantes, France Hiroshi Hosobe, NII, Japan A Requirements Specification Case Study with ProjectIT-Studio/Requirements Computing the Real Variety of an Ideal - A Real David Ferreira, INESC-ID / Instituto Superior T´ecnico, Portugal Algebraic and Symbolic-numeric Algorithm Alberto Silva, INESC-ID / Instituto Superior T´ecnico, Portugal Jean Lasserre, LAAS-CNRS Toulouse, France Monique Laurent, CWI Amsterdam, The Netherlands A Requirements Refinement Framework Philipp Rostalski, ETH, Switzerland WenQian Liu, University of Toronto, Canada

Final Program 34 SAC 2008, March 16 – 20, 2008 SAC 2009 Invitation (SWA) The Semantic Web and Applications

C-SAW – Contextual Semantic Alignment of SAC 2009 will be held in Honolulu, Hawaii, USA, March 8 Ontologies – Using Negative Semantic to 12, 2009. It is co-hosted by University of Hawaii at Manoa Reinforcement and Chaminade University of Honolulu. Please check the Brendan Tierney, Dublin Institute of Technology, Ireland registration desk for handouts. You can also visit the web- Mike Jackson, Birmingham City University, England site at http://www.acm.org/conferences/sac/sac2009/. Context-aware Information Retrieval on a We hence invite you to submit track proposals, tutorial Ubiquitous Medical Learning Environment proposals, and technical papers, helping us in making SAC Diogo Martins, Universidade Federal de S˜aoCarlos, Brazil 2009 a very successful conference. Luiz H. Z. Santana, Universidade Federal de S˜aoCarlos, Brasil Mauro Biajiz, Universidade Federal de S˜ao Carlos, Brazil Antonio Francisco do Prado, Universidade Federal de S˜ao Carlos, Brazil Wanderley L. de Souza, Universidade Federal de S˜aoCarlos, Brazil

Towards the Generation of Explanations for Semantic Web Services in OWL-S Carlos Gustavo Oliveira Fernandes, University of Fortaleza, Brazil Vasco Furtado, University of Fortaleza, Brazil Alyssa Glass, Stanford University, USA Deborah L. McGuinness, Stanford University, USA

Final Program 35 SAC 2008, March 16 – 20, 2008