APPLIED COMPUTING 2009

i

APPLIED COMPUTING 2009 The 24

th Annual ACM Symposium on Applied Computing

PROCEEDINGS OF THE 2009 ACM SYMPOSIUM ON APPLIED COMPUTING

Honolulu, Hawaii, USA March 8-12, 2009

Organizing Committee

Sung Y. Shin

Sascha Ossowski

Paulo Martins

Ronaldo Menezes

Mirko Viroli

Jiman Hong

Dongwan Shin

Mathew J. Palakal

Udo Fritzke

Martha Crosby

Hisham M. Haddad

Hosted by University of Hawaii at M noa and Chaminade University of Honolulu

SAC 2009

Introduction

SAC 2009 is a premier international conference on ap-plied computing and technology. Attendees have the op-portunity to hear from expert practitioners and researchersabout the latest trends in research and development in theirfields. SAC 2009 features 2 keynote speakers on Monday andWednesday, from 8:20 to 10:00. The symposium consists ofa Technical program offering 41 tracks on a wide number ofdifferent research topics, which run from Monday March 9through Thursday March 12, 2009. Regular sessions start at8:20 and end at 17:20 in up to 5 parallel sessions. Moreover,two poster tracks also run on Tuesday March 10, from 9:00to 12:00 and from 14:00 to 17:00.

Organizing Committee

Sascha Ossowski, Conference Co-ChairUniversity Rey Juan Carlos, Spain

Sung Y. Shin, Conference Co-ChairSouth Dakota State University, USA

Paulo Martins, Conference Vice-ChairChaminade University, USA

Ronaldo Menezes, Program ChairFlorida Institute of Technology, Melbourne, USA

Mirko Viroli, Program ChairAlma Mater Studiorum - Universita di Bologna, Italy

Dongwan Shin, Publication ChairNew Mexico Tech, USA

Mathew J. Palakal, eConference Management ChairIndiana University Purdue University, USA

Jiman Hong, Posters ChairSoongsil University, Korea

Martha Crosby, Local ChairUniversity of Hawai’i at Manoa, USA

Udo Fritzke, Publicity ChairPUC-Minas, Brazil

Barrett R. Bryant, Steering Committee MemberUniversity of Alabama at Birmingham, USA

Hisham M. Haddad, Steering Committee Member, Trea-surer, Webmaster

Kennesaw State University, USARoger L. Wainwright, Steering Committee Member

University of Tulsa, USA

Track Chairs

(AOMS) Agent-Oriented Software EngineeringMethodologies and SystemsMassimo Cossentino, ICAR-CNR Palermo, ItalyAmbra Molesini, Alma Mater Studiorum – Universita di Bologna,ItalyAndrea Omicini, Alma Mater Studiorum – Universita di Bologna,ItalyValeria Seidita, Universita degli Studi di Palermo, Italy

(ASIIS) Advances in Spatial and Image-based Infor-mation SystemsRichard Chbeir, Bourgogne University, FranceKi-Joune Li, Pusan National University, KoreaKokou Yetongnon, Bourgogne University, France

(AT) Agreement TechnologiesJesus Cerquides, University of Barcelona, SpainPeter McBurney, University of Liverpool, United KingdomPablo Noriega, IIIA-CSIC, SpainJuan A. Rodriguez-Aguilar, IIIA-CSIC, Spain

(BIO) BioinformaticsRajaraman Kanagasabai, Institute for Infocomm Research, Sin-gaporeMathew J. Palakal, Indiana University Purdue University Indi-anapolis, United States

(CAHC) Computer Application in Health CareRosa M. E. M. da Costa, Universidade do Estado do Rio deJaneiro, BrazilFatima L. S Nunes, Escola de Artes, Ciencias e Humanidades -Universidade de Sao Paulo, Brazil

(CF) Computer ForensicsRobert L. Hutchinson, Sandia National Laboratories, UnitedStatesLorie M. Liebrock, New Mexico Institute of Mining and Technol-ogy, United StatesBrajendra Panda, University of Arkansas, United States

(CIIA) Computational Intelligence and Image Anal-ysisChih-Cheng Hung, Southern Polytechnic State University, UnitedStatesAgostinho Rosa, LAseeb-IST-UTL, Portugal

(CM) Coordination Models, Languages and Appli-cationsMichael Ignaz Schumacher, University of Applied Sciences West-ern Switzerland, SwitzerlandAlan Wood, University of York, United Kingdom

(CN) Computer NetworksMario M. Freire, University of Beira Interior, PortugalEdmundo Monteiro, University of Coimbra, PortugalManuela Pereira, University of Beira Interior, PortugalTeresa Vazao, INESC ID/IST, Portugal

(CS) Computational SciencesYang Cao, Virginia Polytechnic Institute and State University,United StatesAdrian Sandu, Virginia Polytechnic Institute and State Univer-sity, United States

(CSP) Constraint Solving and ProgrammingStefano Bistarelli, University of Perugia, University of Chieti-Pescara and IIT-CNR, Pisa, ItalyEric Monfroy, Eric Monfroy, UTFSM, Valparaiso, Chile andLINA, University of Nantes, France,Barry O’Sullivan, University College Cork, Ireland

(DADS) Dependable and Adaptive Distributed Sys-temsKarl M. Goeschka, Vienna University of Technology, AustriaSvein O. Hallsteinsen, SINTEF ICT, NorwayRui Oliveira, Universidade do Minho, PortugalAlexander Romanovsky, University of Newcastle, United King-dom

(DM) Data MiningHasan Jamil, Wayne State University, United StatesChandan Reddy, Wayne State University, United StatesOsmar Zaiane, University of Alberta, Canada

(DS) Data StreamsJesus Aguilar, University Pablo Olavide, SpainAndre Carvalho, University S. Paulo, BrasilJoao Gama, University of Porto, PortugalPedro Pereira Rodrigues, Porto University of Porto, Portugal

(DTTA) Data Theory, Technology, and ApplicationsRamzi A. Haraty, Lebanese American University, LebanonApostolos N. Papadopoulos, Aristotle University, GreeceJunping Sun, Nova Southeastern University, United States

(EC) Applications of Evolutionary ComputationBryant A. Julstrom, St. Cloud State University, United States

(EIS) Enterprise Information SystemsRogerio Atem de Carvalho, CEFET Campos, BrazilMaria-Eugenia Iacob, University of Twente, The NetherlandsAsterio Kiyoshi Tanaka, UniRio, Brazil

Final Program 1 SAC 2009, March 9 – 12, 2009

(EMBS) Embedded SystemsAlessio Bechini, University of Pisa, ItalyPrete Cosimo Antonio, University of Pisa, Italy

(GCR) Geometric Constraints and ReasoningXiao-Shan Gao, Chinese Academy of Sciences, ChinaRobert Joan-Arinyo, Universitat Politecnica de Catalunya, Cat-aloniaDominique Michelucci, CNRS, France

(HCI) Human-Computer InteractionBrent Auernheimer, California State Univeristy, Fresno, UnitedStatesShih-Hsi Liu, California State University, Fresno, United States

(IAR) Information Access and RetrievalGloria Bordogna, CNR - National Research Council, ItalyGabriella Pasi, University of Milano Bicocca, Italy

(MCA) Mobile Computing and ApplicationsAlvin Chan, The Hong Kong Polytechnic University, Hong KongHong Va Leong, The Hong Kong Polytechnic University, HongKong

(MMV) Multimedia and VisualizationMaria G. Pimentel, SCC/ICMC/USP, BrazilEthan V. Munson, University of Wisconsin-Milwaukee, UnitedStates

(OE) Organizational EngineeringArtur Caetano, Technical University of Lisbon, PortugalJose Tribolet, Technical University of Lisbon, PortugalRobert Winter, University of St. Gallen, Switzerland

(OOPS) Object Oriented Programming Languagesand SystemsDavide Ancona, University of Genova, ItalyAlex Buckley, Sun Microsystems, United States

(OS) Operating SystemsJiman Hong, Soongsil University, KoreaTei-Wei Kuo, National Taiwan University, Taiwan

(PL) Programming LanguagesBarrett Bryant, University of Alabama at Birmingham, UnitedStatesMarjan Mernik, University of Maribor, Slovenia

(PSC) Programming for Separation of ConcernsYvonne Coady, University of Victoria, CanadaCorrado Santoro, Universita di Catania, ItalyEmiliano Tramontana, Universita di Catania, Italy

(RE) Requirement EngineeringMaria Lencastre, Universidade de Pernambuco, Brazil

(ROBOT) Intelligent Robotic SystemsEduardo Marques, University of Sao Paulo, BrazilFernando Osorio, University of Sao Paulo, BrazilDenis Wolf, University of Sao Paulo, Brazil

(RTS) Real-Time SystemsPaulo Martins, Chaminade University, United StatesBinoy Ravindran, Virginia Tech, United States

(SE) Software EngineeringSung Y. Shin, South Dakota State University, United StatesChang Oan Sung, Indiana University Southeast, United StatesW. Eric Wong, University of Texas at Dallas, United States

(SEC) Computer SecurityGiampaolo Bella, Universita di Catania, ItalyLuca Compagna, SAP Research, Sophia Antipolis, France

(SIM) Advances in Computer SimulationFabien Michel, Universite Montpellier II, CNRS, FranceGiuseppe Vizzari, University of Milano-Bicocca, Italy

(SOAP) Service Oriented Architectures and Pro-grammingClaudio Guidi, Alma Mater Studiorum – Universita di Bologna,ItalyIvan Lanese, Alma Mater Studiorum – Universita di Bologna,ItalyManuel Mazzara, Newcastle University, United Kingdom

(SOPDS) Self-Organization in Pervasive DistributedSystemsMarco Mamei, university of modena and reggio emilia, ItalyJustin Werfel, NECSI/Harvard Med School, United States

(SVT) Software Verification and TestingTamara Rezk, INRIA, France

(SWA) The Semantic Web and ApplicationsHyoil Han, Drexel University, United States

(TRECK) Trust, Reputation, Evidence and otherCollaboration Know-howJean-Marc Seigneur, University of Geneva, Switzerland

(WSN) Wireless Sensor NetworksRichard Anthony, Grenwich University, United KingdomJulie McCann, Imperial College London, United Kingdom

(WT) Web TechnologiesDavide Rossi, Alma Mater Studiorum – Universita di Bologna,ItalyFabio Vitali, Alma Mater Studiorum – Universita di Bologna,Italy

Local Support

Local support for SAC 2009 is provided by ChaminadeUniversity of Honolulu (CUH) and University of Hawaii atManoa (UH). The SAC organizing committee acknowledgesand thanks the local supporters for their generous contribu-tions to SAC 2009. Their support has been essential to thesuccess of the Symposium, and it is greatly appreciated.

ACM SIGAPP

The ACM Special Interest Group on Applied Computingis ACM’s primary applications-oriented SIG. Its mission isto further the interests of the computing professionals en-gaged in the development of new computing applicationsand application areas and the transfer of computing technol-ogy to new problem domains. SIGAPP offers practitionersand researchers the opportunity to share mutual interestsin innovative application fields, technology transfer, experi-mental computing, strategic research, and the managementof computing. SIGAPP also promotes widespread coopera-tion among business, government, and academic computingactivities. Its annual Symposium on Applied Computing(SAC) provides an international forum for presentation ofthe results of strategic research and experimentation for thisinter-disciplinary environment. SIGAPP supports the ap-plied computing community by providing funds for studentsand researchers from economically developing countries topresent their papers at SAC. This year we awarded $10,000to 14 researchers representing 5 different developing coun-tries, and over $30,000 to 51 students, representing 13 differ-ent countries. SIGAPP is also pleased to sponsor the open-ing reception for SAC 2009. SIGAPP membership fees are:$30.00 for ACM Non-members, $15.00 for ACM Members,and $8.00 for Student Members. For further informationcontact Barrett Bryant at [email protected]. Also, checkout the SIGAPP website at http://www.acm.org/sigapp.


Message from the SymposiumChairs

Sung Y. ShinSouth Dakota State University, USA

Sascha OssowskiUniversity Rey Juan Carlos, Spain

On behalf of the Organizing Committee, we welcome youto the 24th Annual ACM Symposium on Applied Comput-ing (SAC 2009) hosted by Chaminade University in Hawaii.This international forum has been dedicated to computerscientists, engineers and practitioners for the purpose of pre-senting their findings and research results in various areas ofcomputer applications. The organizing committee is grate-ful for your participation in this exciting international event.We hope that this conference proves interesting and benefi-cial.

The Symposium is sponsored by the ACM Special InterestGroup on Applied Computing (SIGAPP), whose mission isto further the interests of computing professionals engagedin the design and development of new computing applica-tions, interdisciplinary applications areas, and applied re-search. This conference is dedicated to the study of appliedresearch of real-world problems. This event provides an av-enue to discuss and exchange new ideas in the wide spec-trum of application areas. We all recognize the importanceof keeping up with the latest developments in our currentareas of expedites.

SAC 2009 offers Technical Tracks and Posters. The suc-cess of the conference can be attributed to the substantialcontribution of talented Track Chairs and Co-Chairs. Eachtrack maintains a program committee and a set of highlyqualified reviewers. We wish to thank the Track Chairs, Co-Chairs, Committee Members and participating reviewers fortheir hard work and effort to make the SAC 2009 confer-ence a high quality conference. We also thank our invitedkeynote speakers, Dr. Vahid Tarokh, Harvard Universityand Dr. Rolf- Peter Kudritzki, University of Hawaii’s Insti-tute for Astronomy for sharing their knowledge with SACattendees. Most of all, special thanks to the authors andpresenters for sharing their experience with the rest of usand to all attendees for joining us in Honolulu, Hawaii thisyear.

The local organizing committee has always been a cen-tral contributor to the success of the SAC 2009 confer-ence. Our gratitude goes to the Conference Vice-Chair Dr.Paulo Martins of Chaminade University and Local ChairDr. Martha Crosby of University of Hawaii at Manoa. Wealso extend our thanks to the Publication Chair, Dr. Dong-wan Shin, New Mexico Tech for his tremendous effort inputting together the conference proceedings, Posters ChairDr. Jiman Hong of Soongsil University for his hard workto make a successful Poster Program, Publicity Chair, Dr.Udo Fritzke, PUC-Minas for his hard work, and eConferenceManagement Chair, Dr Mathew J. Palakal of Indiana Uni-versity Purdue University for successfully maintaining theeCMS system. A special thanks goes to our Program ChairsDr. Mirko Viroli, Universita di Bologna and Dr. RonaldoMenezes, Florida Institute of Technology for coordinatingand bringing together an excellent Technical Program.

Again, we welcome you to SAC 2009 and the beautifulcity of Honolulu, Hawaii. We hope you enjoy the SAC2009 conference and your stay in Hawaii. Next year, weinvite you to participate in SAC 2010 to be held in Crans-Montana/Sierre, Switzerland. The conference will be hostedby the University of Applied Sciences Western Switzerland(HES-SO) Sierre, and Ecole Polytechnique Federale de Lau-sanne (EPFL), Switzerland.

Message from the ProgramChairs

Ronaldo MenezesFlorida Institute of Technology, USA

Mirko ViroliAlma Mater Studiorum - Universita di Bologna, Italy

It is a pleasure to introduce the Final Program of the24th Symposium on Applied Computing (SAC 2009). Overthe past 23 years, SAC has been an international forum forresearchers and practitioners to present their findings andresearch results in the areas of computer applications andtechnology. SAC 2009 consolidates this tradition, and of-fers a Technical Program with a wide range of tracks cover-ing major areas of computer applications. Published papershave been reviewed by highly qualified referees with strongexpertise and special interest in their respective research ar-eas. As part of the Technical Program, this is the sixth yearthat SAC incorporates poster papers, carefully selected byPoster Chair Jiman Hong from Soongsil University in Korea.

SAC 2009 would not be possible without contributionsfrom members of the scientific community. It is easy toimagine that many people have dedicated tremendous timeand effort over the period of the last 12 months to bring youan excellent program. The success of SAC 2009 relies on theeffort and hard work of many volunteers. On behalf of theSAC 2009 Organizing Committee, we would like to take thisopportunity to thank all of those who made this year’s tech-nical program a reality, including speakers, referees, trackchairs, session chairs, presenters, and attendees. We wouldspecially like to thank the local arrangement committee leadby Paulo Pedro from the Chaminade University.

SAC’s open Call for Track Proposals resulted in thesubmission of 60 track proposals. These proposals werecarefully evaluated by the conference Program Committee,based on their scientific quality, on available data from pre-vious editions, and on their appropriateness for SAC. In re-sponse to the call for papers produced by each track, 1084papers were submitted from more than 58 countries, and 41tracks have been eventually established. After a reviewingprocess where each paper was evaluated by a minimum ofthree reviewers, 315 papers were accepted as full papers forinclusion in the Conference Proceedings and presentationduring the Symposium. This gives SAC 2009 an acceptancerate of 29.1% across all tracks. These numbers make SAC2009 the most competitive SAC to date. Additionally, 96posters have been selected to form the Poster Paper Pro-gram, and to appear as short papers in the proceedings.Due to the success last year, this year we maintained theidea of organizing the tracks into themes related to 6 main


areas in computer science. The themes were used in thepreparation of the Proceedings and the schedule of presen-tations, aimed at forming streams of related track sessions,and at minimizing overlap of scope in presentations of re-lated fields.

We hope you will enjoy the meeting and have the oppor-tunity to exchange your ideas and make new friends. Wealso hope you will enjoy your stay in Hawaii and take plea-sure from the many entertainments and activities that thecity of Honolulu has to offer. We encourage you and yourcolleagues to submit your research findings to next year’stechnical program when the conference will be move backto Europe, more specifically to Switzerland. Thank you forbeing part of SAC 2009, and we hope to see you in Switzer-land for SAC 2010.

SAC 2009 Themes

This year SAC tracks are divided into 6 themes: eachtheme will be associated to one room (APP and DS stayin the same room), hence related tracks will take placesequentially in the same room, so as to promote sharingand cross-fertilization of ideas through the whole audienceof a theme. Check the schedule at page 7 for details. Theseare the six themes of SAC 2009:

(ENG) EngineeringLocated in S.Pacific Ballroom #1Tracks: HCI, OE, OS, RE, SE, SVT

(IS) Information SystemsLocated in S.Pacific Ballroom #2Tracks: ASIIS, DM, DS, DTTA, EIS, IAR, MMV, WSN

(AIA) AI and AgentsLocated in S.Pacific Ballroom #3Tracks: AOMS, AT, CIA, DADS, EC, GCR, ROBOT,SOPDS, SWA, TRECK

(SWD) Software DevelopmentLocated in S.Pacific Ballroom #4Tracks: CM, CSP, EMBS, OOPS, PSC, PL, RTS, SEC,SIM, SOAP

(DS) Distributed SystemsCo-located in Hibiscus SuiteTracks: CN, MCA, WT

(APP) ApplicationsCo-located in Hibiscus SuiteTracks: BIO, CAHC, CF, CS

Other Activities

SIGAPP Annual Business Meeting: Monday March9, from 18:00 to 19:00 in Coral Ballroom #1. Open toeveryone.

SAC Reception (Hosted by SIGAPP): Monday March9, from 19:00 to 21:00. Coral Ballroom #4. Open for allregistered attendees.

Poster Sessions: Tuesday March 10, from 9:00 to 12:00and from 14:00 to 17:00 in Coral Lounge. Open to everyone.

SAC General Luncheon: Tuesday March 10, from 12:10to 13:30. Coral Ballroom #4. Open for all registeredattendees.

Future SAC Organization Meeting: Tuesday March10, from 18:00 to 19:00 in Coral Ballroom #2. Open forSAC Organizing Committee.

Track Chairs Business Meeting: Wednesday March 11,from 18:00 to 19:00. S.Pacific Ballroom #1. Open for SACOrganizing Committee and Track Chairs.

SAC Banquet: Wednesday March 11. Departure at 19:15from Hilton Hawaiian Village Hotel towards PolynesianCultural Center. Open for Banquet Ticket holders. Seeyour tickets for full details.

SAC Best Papers Award: Wednesday March 11.Polynesian Cultural Center. During the SAC Banquet SACProgram Chairs will award one best paper for each of thesix themes of this conference.

Track-Chairs Luncheon: Thursday March 12, from 12:10to 13:30. Sea Pearl Suite 1-2. Open for SAC OrganizingCommittee and Track Chairs.

SAC 2010

SAC 2010 will be held in Crans-Montana/Sierre, Switzer-land, from March 21st to March 26th, 2010. It is hostedby the University of Applied Sciences Western Switzer-land (HES-SO) Sierre, and Ecole Polytechnique Federale deLausanne (EPFL), Switzerland. Please check the registra-tion desk for handouts. You can also visit the website athttp://www.acm.org/conferences/sac/sac2010/.


Monday Keynote Address

Computational Aspects and Algorithmsfor Dynamic Spectrum Allocation

Dr. Vahid TarokhHarvard University, USA

Monday March 9, 8:20 – 10:00AMRoom: Coral Ballroom 1-2

Abstract

In many emerging wireless networks (such as ad hoc net-works, cognitive radios, etc.), no central frequency allocationauthority is available. This makes distributed frequency al-location an important but mostly unchartered territory inwireless networking. However, it is well-known that optimaldynamic frequency assignment is a computationally hardproblem.

We will first discuss emerging applications for dynamicfrequency allocation and then discuss the underlying com-putational issues. We then discuss some of the existing pro-posed solutions to dynamic frequency allocation in differentcontexts, such as methods based on graph coloring and it-erative water filling. These approaches either excessivelysimplify the interference models, or are not fully decentral-ized, or require too much information exchange between au-tonomous entities, or suffer from all these shortcomings. Ad-ditionally, they are all too complex to implement.

Subsequently, for a specific class of networks, we disclosea simple, fully distributed, greedy asynchronous interferenceavoidance algorithm (GADIA) that requires neither any in-formation exchange between autonomous devices, nor evenany knowledge of the existence of other autonomous en-tities. The GADIA algorithm achieves performance closeto that of a centralized optimal algorithm for this class ofnetworks, and achieves about 90% of the Shannon capac-ities corresponding to the optimum/near-optimum central-ized frequency band assignments. Additionally, it can beused in conjunction with any realistic wireless radio channelmodel such as those commonly employed in wireless stan-dards.

We prove the convergence of the GADIA algorithm toa sub-optimal solution, and develop performance boundsshowing that this sub-optimal solution is near-optimal undervarious practical node activity models. In particular, usingstochastic analysis, we introduce a framework to analyze theperformance of the GADIA in the presence of time-varyingactivity rates of clusters. This framework opens the possi-bilities of both open loop and closed loop stochastic controlto improve the performance of distributed frequency allo-cation. Extension of Gadia to more general networks andaddressing the underlying computational problems remainan open problem.

This is a joint work with Behtash Babadi.

Short Bio: Dr. Vahid Tarokh worked at AT&T Labs-Research and AT&T wireless services until August 2000,where he was the head of the Department of Wireless Com-munications and Signal Processing. In September 2000, hejoined Department of Electrical Engineering and ComputerSciences (EECS) at MIT as an associate professor. In June

2002, he joined Harvard University as a Gordon McKay Pro-fessor of Electrical Engineering . Since July 2005, he isa Hammond Vinton Hayes Senior Fellow of Electrical En-gineering at Harvard University, and a Perkins professor.His research is mainly focused in the areas of Signal pro-cessing, Communications (wireline and wireless) and Net-working. He has received a number of awards and holds 2honorary degrees.

Wednesday Keynote Address

Astronomy in Hawaii:Exploring Our Universe with theLargest Telescopes in the World

Dr. Rolf-Peter KudritzkiDirector of the University of Hawaii’s Institute for

Astronomy, USA

Wednesday March 11, 8:20 – 10:00AMRoom: Coral Ballroom 1-2

Abstract

Astronomy, like no other science, has revolutionized ourthinking about the world and our human existence. Withevery new generation of technology, more and more power-ful telescopes have contributed to extending our knowledgeof the universe. Today, the largest and most powerful tele-scopes in the world are located in Hawaii on the summit ofMauna Kea (14,000 feet). The many spectacular and fun-damental discoveries made with these new facilities are thesubject of this presentation. We will discuss the detectionof new worlds such as planets orbiting around other stars,proto-planetary disks forming new planetary systems, theblack hole in the center of our galaxy, dark matter and darkenergy and the accelerated expansion of the universe, andthe detection of galaxies 13 billion light years away fromus. We will also discuss the scientific potential and scopeof the coming next generation telescopes, which will takeus even further in this breathtaking endeavor to understandthe cosmos we live in.

Short Bio: Dr. Rolf-Peter Kudritzki has been the Directorof the University of Hawaii’s Institute for Astronomy sinceOctober of 2000. Dr. Kudritzki was formerly a Professor ofAstronomy and Director of the Institut fur Astronomie undAstrophysik at the University of Munich. Since the sum-mer of 1999, he has been Dean of the Faculty of Physics atthe University of Munich. He has also been a director ofthe Max-Planck-Institut fur Astrophysik. Dr. Kudritzki’sresearch activities and international collaborations have ledto his participation and membership in a wide range of inter-national committees. For many years he has been a memberand chair of the advisory Visiting Committee for the HubbleSpace Telescope Science Institute, located at the Johns Hop-kins University. In addition, he was chair of the EuropeanSouthern Observatory Advisory Committee, and is a mem-ber of the Board of Directors of the Association of Universi-ties for Research and Astronomy (AURA). AURA managesU.S. national observatories located in Arizona, New Mex-ico and Chile; the two international Gemini observatories,


which are located in Chile and Hawaii; and the Hubble SpaceTelescope Science Institute. He is also the chair of the Na-tional Science Working group for the Next Generation GiantSegmented Mirror Telescope. In addition to his administra-tive responsibilities, Dr. Kudritzki has continued to pursuea career as an active researcher. His recent research hasbeen in the area of the investigation of the physics of starsand galaxies, and in particular their evolution. For the pastten years, he has been involved in the development of newtelescopes and telescope instrumentation. He has publishedmore than 200 publications in refereed journals and has beeninvited frequently to give presentations at international sci-ence conferences. He has supervised more than 30 Ph.D. stu-dents, many of whom now are professors themselves. FromJanuary 2003 to December 2004, Dr, Kudritzki has held thetitle of Interim Vice Chancellor for Research and GraduateEducation at the University of Hawaii. Dr. Kudritzki holdsa diploma in Physics and a Ph.D. in Astronomy from theTechnische Universitat, Berlin.


Tracks Schedule

Monday March 9, 2009

Mon. 8:20 - 10:00 Coral Ballroom 1-2

Keynote Address

Computational Aspects and Algorithmsfor Dynamic Spectrum Allocation

Dr. Vahid TarokhHarvard University, USA

See details at page 5

10:00 - 10:30 Coral Lounge

Coffee Break

Mon. 10:30 - 12:10 ENG: S.Pacific Ballroom #1

(SVT-1) Software Verification and TestingSession chair: Tamara Rezk, INRIA, France

An Optimized Change-Driven Regression TestingSelection Strategy for Binary JAVA Applications

Sheng Huang, IBM China Research Lab, ChinaYang Chen, Tsinghua University, China

Jun Zhu, IBM China Research Lab, ChinaZhong Jie Li, IBM China Research Lab, China

Hua Fang Tan, IBM China Research Lab, China

An Approach for Component Testing and ItsEmpirical Validation

Fernando R.C. Silva, Federal University of Pernambuco, BrazilEduardo S. Almeida, Recife Center for Advanced Studies &

Systems, BrazilSilvio R.L. Meira, Federal University of Pernambuco, Brazil

The Synergy of Precise and Fast Abstractions forProgram Verification

Natasha Sharygina, University of Lugano, SwitzerlandStefano Tonetta, Fondazione Bruno Kessler, Italy

Aliaksei Tsitovich, University of Lugano, Switzerland

Enforcement Monitoring wrt. the Safety-ProgressClassification of Properties

Ylies Falcone, VERIMAG - University of Grenoble, FranceJean-Claude Fernandez, VERIMAG - University of Grenoble, France

Laurent Mounier, VERIMAG - University of Grenoble, France

On the Verification of Probabilistic I/O Automatawith Unspecified Rates

Sergio Giro, FaMAF, Universidad Nacional de Cordoba, ArgentinaPedro R. D’Argenio, FaMAF, Universidad Nacional de Cordoba,

Argentina

Mon. 10:30 - 12:10 IS: S.Pacific Ballroom #2

(MMV-1) Multimedia and VisualizationSession chair: Simone Diniz Junqueira Barbosa, PUC-Rio,

Brazil

Incremental Board: A Grid-Based Space forVisualizing Dynamic Data Sets

Roberto Pinho, Universidade de Sao Paulo, BrazilMaria Cristina F. Oliveira, Universidade de Sao Paulo, Brazil

Alneu de. A. Lopes, Universidade de Sao Paulo, Brazil

Visualization of Clustered Directed Acyclic Graphswith Node Interleaving

Pushpa Kumar, University of Texas at Dallas, United StatesKang Zhang, University of Texas at Dallas, United States

Term Distribution Visualizations withFocus+Context

Moses Schwartz, New Mexico Institute of Mining & Technology,United States

Curtis Hash, New Mexico Institute of Mining & Technology, UnitedStates

L.M. Liebrock, New Mexico Institute of Mining & Technology,United States

A Recommendation System for Browsing DigitalLibraries

Antonio d’Acierno, ISA-CNR, ItalyVincenzo Moscato, University of Naples, ItalyAntonio Picariello, University of Naples, Italy

Massimiliano Albanese, University of Maryland, United StatesAngelo Chianese, University of Naples, Italy

Information-Theoretic Identification of ContentPages for Analyzing User Information Needs and

Actions on the Multimedia WebRahul Singh, San Francisco State University, United States

Bibek D. Bhhatarai, San Francisco State University, United States

Mon. 10:30 - 12:10 SWD: S.Pacific Ballroom #3

(RTS) Real-Time SystemsSession chair: Paulo Martins, Chaminade University, USA

Resource Sharing in Behavioral based SchedulingLeo Ordinez, Universidad Nacional del Sur, ArgentinaDavid Donari, Universidad Nacional del Sur, Argentina

Rodrigo Santos, Universidad Nacional del Sur, ArgentinaJavier Orozco, Universidad Nacional del Sur, Argentina

Exploiting Stack Distance to Estimate Worst-CaseData Cache Performance

Yu Liu, Southern Illinois University Carbondale, United StatesWei Zhang, Southern Illinois University Carbondale, United States

An Implementation of the Earliest Deadline FirstAlgorithm in Linux

Dario Faggioli, Scuola Superiore Sant’Anna, ItalyMichael Trimarchi, Scuola Superiore Sant’Anna, Italy

Fabio Checconi, Scuola Superiore Sant’Anna, ItalyMarko Bertogna, Scuola Superiore Sant’Anna, ItalyAntonio Mancina, Scuola Superiore Sant’Anna, Italy

An Orthogonal Real-Time Scheduling Architecturefor Responsiveness QoS Requirements in SOA

EnvironmentsF.J. Monaco, University of Sao Paulo, Brazil

M. Nery, University of Sao Paulo, BrazilM.M.L. Peixoto, University of Sao Paulo, Brazil


Mon. 10:30 - 12:10 AIA: S.Pacific Ballroom #4

(AT) Agreement TechnologiesSession chair: Jesus Cerquides, University of Barcelona, Spain

Market-Based Coordination for IntersectionControl

Matteo Vasirani, University Rey Juan Carlos, SpainSascha Ossowski, University Rey Juan Carlos, Spain

MultiAgent System Adaptation in a Peer-to-PeerScenario

Jordi Campos Miralles, Universitat de Barcelona, SpainMaite Lopez-Sanchez, Universitat de Barcelona, Spain

Marc Esteva, Artificial Intelligence Research Institute (IIIA, CSIC),Spain

Organising MAS: A Formal Model based onOrganisational Mechanisms

Roberto Centeno, University Rey Juan Carlos, SpainHolger Billhardt, University Rey Juan Carlos, SpainRamon Hermoso, University Rey Juan Carlos, SpainSascha Ossowski, University Rey Juan Carlos, Spain

Towards Organizational Agent-Oriented OperatingSystems

Javier Palanca, Universidad Politecnica de Valencia, SpainVicent Botti, Universidad Politecnica de Valencia, Spain

Ana Garcıa-Fornes, Universidad Politecnica de Valencia, Spain

Mon. 10:30 - 12:10 DS: Hibiscus Suite

(CN-1) Computer NetworksSession chair: Edoardo Biagioni, University of Hawaii, USA

Using Geo-Spatial Session Tagging for SmartMulticast Session Discovery

Piyush Harsh, University of Florida, United StatesRichard Newman, University of Florida, United States

Robust Scheduler for Grid NetworksDaniel M. Batista, Institute of Computing, State University of

Campinas, BrazilAndre C. Drummond, Institute of Computing, State University of

Campinas, BrazilNelson L.S. da Fonseca, Institute of Computing, State University of

Campinas, Brazil

Quality of Service Management in GMPLS-BasedGrid OBS Networks

Rafael Esteves, Universidade Federal do Para, BrazilAntonio Abelem, Universidade Federal do Para, Brazil

Michael Stanton, Universidade Federal Fluminense, Brazil

New Content-Aware Request Distribution Policiesin Web Clusters Providing Multiple Services

Mei-Ling Chiang, National Chi-Nan University, TaiwanChun-Hung Wu, National Chi-Nan University, Taiwan

Yi-Jiun Liao, National Chi-Nan University, TaiwanYu-Fen Chen, National Chi-Nan University, Taiwan

12:10 - 13:30

Lunch Break


(SVT-2) Software Verification and TestingSession chair: Tamara Rezk, INRIA, France

Local Reasoning for Abstraction and SharingRenato Cherini, FaMAF, Universidad Nacional de Cordoba,

ArgentinaJavier O. Blanco, FaMAF, Universidad Nacional de Cordoba,

Argentina

Reasoning about Comprehensions with First-OrderSMT Solvers

K. Rustan M. Leino, Microsoft Research, United StatesRosemary Monahan, National University of Ireland, Ireland

Specifying and Checking Protocols ofMultithreaded Classes

Clement Hurlin, INRIA Sophia Antipolis, France

Extended Static Checking in JML4: Benefits ofMultiple-Prover Support

Perry R. James, Concordia University, CanadaPatrice Chalin, Concordia University, Canada

Certification of Smart-Card Applications inCommon Criteria

Iman Narasamdya, VERIMAG - Universite de Grenoble, FranceMichael Perin, VERIMAG - Universite de Grenoble, France


(MMV-2) Multimedia and VisualizationSession chair: Rahul Singh, San Francisco State University,

USA

A New Inter-Layer Prediction Scheme for SpatialScalability with Different Frame Rates

Jinmi Kang, Pusan National University, KoreaGyeongeun Goh, Pusan National University, KoreaKidong Chung, Pusan National University, Korea

A Smart Clustering Algorithm for Photo SetObtained from Multiple Digital Cameras

Chuljin Jang, Pusan National University, KoreaTaijin Yoon, Pusan National University, Korea

Hwan-Gue Cho, Pusan National University, Korea

An Enhanced Multi-View Video CompressionUsing the Constrained Inter-View Prediction

Sunghwan Chun, Pusan National University, KoreaSeoyoung Lee, Pusan National University, Korea

Kwangmu Shin, Pusan National University, KoreaKidong Chung, Pusan National University, Korea

Discovery of Time Series in Video Data throughDistribution of Spatiotemporal GradientsOmar U. Florez, Utah State University, United StatesSeungJin Lim, Utah State University, United States


(SEC-1) Computer SecuritySession chair: Jaideep Vaidya, Rutgers, The State University

of New Jersey, USA


On the Practical Importance of CommunicationComplexity for Secure Multi-Party Computation

ProtocolsFlorian Kerschbaum, SAP Research, Germany

Daniel Dahlmeier, SAP Research, GermanyAxel Schropfer, SAP Research, GermanyDebmalya Biswas, IRISA/INRIA, France

Open Source vs. Closed Source Software: TowardsMeasuring Security

Guido Schryen, International Computer Science Institute, UnitedStates

Rouven Kadura, RWTH Aachen University, Germany

Improving Stream Correlation Attacks onAnonymous Networks

Gavin O’Gorman, Dublin City University, IrelandStephen Blott, Dublin City University, Ireland

KvmSec: A Security Extension for Linux KernelVirtual Machines

Flavio Lombardi, Consiglio Nazionale delle Ricerche, Ufficio SistemiInformativi, Italy

Roberto Di Pietro, Universitat Rovira i Virgili, Spain

Bayesian Bot Detection based on DNS TrafficSimilarity

Ricardo Villamarın-Salomon, University of Pittsburgh, UnitedStates

Jose Carlos Brustoloni, University of Pittsburgh, United States


(AOMS) Agent-Oriented Software EngineeringMethodologies and Systems

Session chair: Matteo Casadei, Alma Mater Studiorum -Universita di Bologna, Italy

SoSAA: A Framework for Integrating Componentsand Agents

Mauro Dragone, University College Dublin, IrelandDavid Lillis, University College Dublin, IrelandRem Collier, University College Dublin, Ireland

G.M.P. O’Hare, University College Dublin, Ireland

Situated Process Engineering for IntegratingProcesses from Methodologies to Infrastructures

Ambra Molesini, Universita di Bologna, ItalyElena Nardini, Universita di Bologna, ItalyEnrico Denti, Universita di Bologna, Italy

Andrea Omicini, Universita di Bologna, Italy

agentTool Process Editor: Supporting the Designof Tailored Agent-Based Processes

Juan C. Garcia-Ojeda, Kansas State University, United StatesScott A. DeLoach, Kansas State University, United States

Robby , Kansas State University, United States

A Collaborative Tool for Designing and EnactingDesign Processes

M. Cossentino, ICAR-CNR Consiglio Nazionale delle Ricerche, ItalyL. Sabatucci, Universita degli Studi di Palermo, ItalyV. Seidita, Universita degli Studi di Palermo, ItalyS. Gaglio, Universita degli Studi di Palermo, Italy


(CN-2) Computer NetworksSession chair: Daniel Macedo Batista, State University of

Campinas, Brazil

Network Protocol Interoperability Testing basedon Contextual Signatures and Passive Testing

Fatiha Zaidi, University Paris-Sud, FranceEmmanuel Bayse, Steria Telecom, FranceAna Cavalli, Telecom Sud-Paris, France

Cross-Layer Cooperation between MembershipEstimation and Routing

Juan Carlos Garcıa, Instituto Tecnologico de Informatica, SpainStefan Beyer, Instituto Tecnologico de Informatica, Spain

Pablo Galdamez, Instituto Tecnologico de Informatica, Spain

NECTAR: A DTN Routing Protocol based onNeighborhood Contact History

Etienne C.R. de Oliveira, Instituto de Computacao - UniversidadeFederal Fluminense, Brazil

Celio V.N. de Albuquerque, Instituto de Computacao - UniversidadeFederal Fluminense, Brazil

BPR: A Bit-Level Packet Recovery in WirelessSensor Networks

Jianping He, Tsinghua University, ChinaJiahai Yang, Tsinghua University, China

Changqing An, Tsinghua University, ChinaXuenong Li, Tsinghua University, China


Coffee Break


(OS-1) Operating SystemsSession chair: Jian-Jia Chen, ETH Zurich

Impact of Function Inlining onResource-Constrained Embedded Systems

Bongjae Kim, Seoul National University, KoreaSangho Yi, Seoul National University, Korea

Yookun Cho, Seoul National University, KoreaJiman Hong, Soongsil University, Korea

Joongjin Kook, Soongsil University, KoreaHyung-Do Choi, ETRI, Korea

Building a Self-Healing Embedded System in aMulti-OS Environment

Tomohiro Katori, Waseda University, JapanLei Sun, Waseda University, Japan

Dennis K. Nilsson, Chalmers University of Technology, SwedenTatsuo Nakajima, Waseda University, Japan

DARAW: A New Write Buffer to Improve ParallelI/O Energy-Efficiency

Xiaojun Ruan, Auburn University, United StatesAdam Manzanares, Auburn University, United StatesKiranmai Bellam, Auburn University, United States

Xiao Qin, Auburn University, United StatesZiliang Zong, South Dakota School of Mines & Technology, United

States

A Real-Time Message Scheduler Support forDual-Sink Mobile Ad-Hoc Sensor Networks

Junghoon Lee, Cheju National University, KoreaGyung-Leen Park, Cheju National University, KoreaShafqat Rehman, Cheju National University, Korea

Sung Tae Jhang, Suwon University, KoreaMikyung Kang, Information Sciences Institute East, University of

Southern California, United States



(MMV-3) Multimedia and VisualizationSession chair: SeungJin Lim, Utah State University, USA

A New Multimedia Synchronous Distance LearningSystem: The IVA Study Case

Valter Roesler, Federal University of Rio Grande do Sul, BrazilRonaldo Husemann, Federal University of Rio Grande do Sul, BrazilCarlos Haas Costa, Federal University of Rio Grande do Sul, Brazil

Variable Handling in Time-Based XML DeclarativeLanguages

Luiz Fernando G. Soares, Pontifıcia Universidade Catolica do Rio deJaneiro, Brazil

Rogerio F. Rodrigues, Pontifıcia Universidade Catolica do Rio deJaneiro / FAST, a Microsoft Subsidiary, Brazil

Renato Cerqueira, Pontifıcia Universidade Catolica do Rio deJaneiro, Brazil

SimoneDJ Barbosa, Pontifıcia Universidade Catolica do Rio deJaneiro, Brazil

User-Media Interaction via Interactive TVCesar A.C. Teixeira, Universidade Federal de Sao Carlos, Brazil

Erick L. Melo, Universidade Federal de Sao Carlos, BrazilRenan G. Cattelan, Universidade de Sao Paulo, Brazil

Maria da Graca C. Pimentel, Universidade de Sao Paulo, Brazil

Ubiquitous Services in Home Networks offeredthrough Digital TV

Giliard Brito de Freitas, Universidade Federal de Sao Carlos, BrazilCesar Augusto Camillo Teixeira, Universidade Federal de Sao

Carlos, Brazil


(SEC-2) Computer SecuritySession chair: Jaideep Vaidya, Rutgers, The State University

of New Jersey, USA

Semi-Supervised Co-Training and Active Learningbased Approach for Multi-View Intrusion

DetectionChing-Hao Mao, National Taiwan University of Science &

Technology, TaiwanHahn-Ming Lee, National Taiwan University of Science &

Technology / Academia Sinica, TaiwanDevi Parikh, Carnegie Mellon University, United States

Tsuhan Chen, Carnegie Mellon University, United StatesSi-Yu Huang, National Taiwan University of Science & Technology,

Taiwan

Taking Total Control of Voting Systems: FirmwareManipulations on an Optical Scan Voting Terminal

Seda Davtyan, University of Connecticut, United StatesSotiris Kentros, University of Connecticut, United StatesAggelos Kiayias, University of Connecticut, United StatesLaurent Michel, University of Connecticut, United States

Nicolas Nicolaou, University of Connecticut, United StatesAlexander Russell, University of Connecticut, United States

Andrew See, University of Connecticut, United StatesNarasimha Shashidhar, University of Connecticut, United States

Alexander A. Shvartsman, University of Connecticut, United States

SQLProb: A Proxy-Based Architecture towardsPreventing SQL Injection Attacks

Anyi Liu, George Mason University, United StatesYi Yuan, George Mason University, United States

Duminda Wijesekera, George Mason University, United StatesAngelos Stavrou, George Mason University, United States

Secure Web-Based Retrieval of Documents withUsage Controls

Peter Djalaliev, University of Pittsburgh, United StatesJose Carlos Brustoloni, University of Pittsburgh, United States

Privacy-Preserving Linear ProgrammingJaideep Vaidya, Rutgers University, United States


(SOPDS) Self-Organization in PervasiveDistributed Systems

Session chair: Matteo Casadei, Alma Mater Studiorum -Universita di Bologna, Italy

Keeping Diversity when Exploring DynamicEnvironments

Jose Luis Fernandez-Marquez, Artificial Intelligence ResearchInstitute, Spanish National Research Council, Spain

Josep Lluis Arcos, Artificial Intelligence Research Institute, SpanishNational Research Council, Spain

Geographical Data Collection in Sensor Networkswith Self-Organizing Transaction Cluster-HeadsNeeraj Rajgure, National Institute of Informatics/New Jersey

Institute of Technology, United StatesEric Platon, National Institute of Informatics, Japan

Cristian Borcea, New Jersey Institute of Technology, United StatesShinichi Honiden, National Institute of Informatics, Japan

Prestige-Based Peer Sampling Service:Interdisciplinary Approach to Secure Gossip

Gian Paolo Jesi, University of Bologna, ItalyEdoardo Mollona, University of Bologna, Italy

Srijith K. Nair, Vrije Universiteit Amsterdam, NetherlandsMaarten van Steen, Vrije Universiteit Amsterdam, Netherlands

Flexible Self-Healing GradientsJacob Beal, BBN Technologies, United States

Self-Organized Control of Knowledge Generationin Pervasive Computing Systems

Gabriella Castelli, University of Modena & Reggio Emilia, ItalyRonaldo Menezes, Florida Tech, United States

Franco Zambonelli, University of Modena & Reggio Emilia, Italy


(CN-3) Computer NetworksSession chair: Fatiha Zaidi, University Paris-Sud, France

Practical Distributed Voter-Verifiable Secret BallotSystem

Edoardo Biagioni, University of Hawaii, United StatesYingfei Dong, University of Hawaii, United States

Wesley Peterson, University of Hawaii, United StatesKazuo Sugihara, Univ of Hawaii, United States

A Holistic Mechanism Against File Pollution inPeer-to-Peer Networks

Zhuhua Cai, Institute of Software, School of Electronics Engineering& Computer Science, Peking University, China

Ruichuan Chen, Institute of Software, School of ElectronicsEngineering & Computer Science, Peking University, ChinaJianqiao Feng, Institute of Software, School of Electronics

Engineering & Computer Science, Peking University, ChinaCong Tang, Institute of Software, School of Electronics Engineering

& Computer Science, Peking University, ChinaZhong Chen, Institute of Software, School of Electronics

Engineering & Computer Science, Peking University, ChinaJianbin Hu, Institute of Software, School of Electronics Engineering

& Computer Science, Peking University, China


DoSTRACK: A System for Defending Against DoSAttacks

Udaya Kiran Tupakula, Macquarie University, AustraliaVijay Varadharajan, Macquarie University, AustraliaSrini Rao Pandalaneni, Hewlett Packard, Australia

Secure Routing in Peer-to-Peer Distributed HashTables

Keith Needels, Rochester Institute of Technology, United StatesMinseok Kwon, Rochester Institute of Technology, United States

Multi-Step Attack Modelling and Simulation(MsAMS) Framework based on Mobile Ambients

Virginia N.L. Franqueira, University of Twente, NetherlandsRaul H.C. Lopes, Brunel University, United Kingdom

Pascal van Eck, University of Twente, Netherlands

Mon. 18:00 - 19:00 Coral Ballroom #1

SIGAPP Annual Business Meeting

Mon. 19:00 Coral Ballroom #4

SAC Reception (Hosted by SIGAPP)

Tuesday March 10, 2009

Tue. 9:00 – 12:00 Coral Lounge

Poster Session 1

Posters of the following tracks: AOMS, BIO, CAHC, CF,CIIA, CM, CN, DADS, DM, DS, EC, EIS, GCR, HCI, IAR,SOAP, SWA (see the detailed list of posters at page 28.)

Tue. 08:20 - 10:00 ENG: S.Pacific Ballroom #1

(OS-2) Operating SystemsSession chair: Jiman Hong, Soongsil University, Korea

Fast Networking with Socket-Outsourcing inHosted Virtual Machine Environments

Hideki Eiraku, University of Tsukuba, JapanYasushi Shinjo, University of Tsukuba, Japan

Calton Pu, Georgia Institute of Technology, United StatesYounggyun Koh, Georgia Institute of Technology, United States

Kazuhiko Kato, University of Tsukuba, Japan

CPS-SIM: Configurable and Accurate ClockPrecision Solid State Drive Simulator

Jongmin Lee, University of Seoul, KoreaEujoon Byun, University of Seoul, Korea

Hanmook Park, INDILINX.Co.,Ltd., KoreaJongmoo Choi, Dankook University, KoreaDonghee Lee, University of Seoul, KoreaSam H. Noh, Hongik University, Korea

Simplifying Security Policy Descriptions forInternet Servers in Secure Operating Systems

Toshihiro Yokoyama, Keio University, JapanMiyuki Hanaoka, Keio University, Japan

Makoto Shimamura, Keio University, JapanKenji Kono, Keio University, Japan

Response Time Analysis of Software TransactionalMemory-Based Distributed Real-Time Systems

Sherif F. Fahmy, Virginia Tech, United StatesBinoy Ravindran, Virginia Tech, United States

E.D Jensen, The MITRE Corporation, United States

Tue. 08:20 - 10:00 IS: S.Pacific Ballroom #2

(DTTA-1) Data Theory, Technology, andApplications

Session chair: Junping Sun, Nova Southeastern University,USA

Exploiting Join Cardinality for Faster Hash JoinsMichael Henderson, University of British Columbia Okanagan,

CanadaBryce Cutt, University of British Columbia Okanagan, Canada

Ramon Lawrence, University of British Columbia Okanagan, Canada

Approximate Indexing in Road Network DatabasesSang-Chul Lee, Hanyang University, Korea

Sang-Wook Kim, Hanyang University, KoreaJunghoon Lee, Cheju National University, Korea

Jae Soo Yoo, Chungbuk National University, Korea


Computing Data Cubes Using Exact Sub-GraphMatching: The Sequential MCG Approach

Joubert de Castro Lima, Instituto Tecnologico de Aeronautica,Brazil

Celso Massaki Hirata, Instituto Tecnologico de Aeronautica, Brazil

Information Retrieval from Visual Databases UsingMultiple Representations and Multiple Queries

Noureddine Abbadeni, Al-Ain University of Science & Technology,United Arab Emirates

CPref-SQL: A Query Language SuppportingConditional Preferences

Sandra de Amo, Federal University of Uberlandia, BrazilMarcos Roberto Ribeiro, Federal University of Uberlandia, Brazil

Tue. 08:20 - 10:00 SWD: S.Pacific Ballroom #3

(CM) Coordination Models, Languages andApplications

Session chair: Michael Schumacher, University of AppliedSciences Western, Switzerland

Knowledge-Based Coordination with a ReliableSemantic Subscription Mechanism

Martin Murth, Institute of Computer Languages, Vienna Universityof Technology, Austria

Eva Kuhn, Institute of Computer Languages, Vienna University ofTechnology, Austria

Situated Tuple Centres in ReSpecTMatteo Casadei, Universita di Bologna, ItalyAndrea Omicini, Universita di Bologna, Italy

A Framework for Modelling and ImplementingSelf-Organising Coordination

Mirko Viroli, Universita di Bologna, ItalyMatteo Casadei, Universita di Bologna, ItalyAndrea Omicini, Universita di Bologna, Italy

On-Line Adaptation of Sequential MobileProcesses Running Concurrently

Massimiliano de Leoni, SAPIENZA - Universita di Roma, ItalyGiuseppe De Giacomo, SAPIENZA - Universita di Roma, Italy

Yves Lesperance, York University, CanadaMassimo Mecella, SAPIENZA - Universita di Roma, Italy

Decomposing Port AutomataChristian Koehler, CWI, Netherlands

Dave Clarke, Katholieke Universiteit Leuven, Belgium

Tue. 08:20 - 10:00 AIA: S.Pacific Ballroom #4

(DADS-1) Dependable and AdaptiveDistributed Systems

Session chair: Karl M. Goeschka, Vienna University ofTechnology, Austria

A Framework for Dynamic Adaptation ofPower-Aware Server Clusters

Vinicius Petrucci, Fluminense Federal University, BrazilOrlando Loques, Fluminense Federal University, BrazilDaniel Mosse, University of Pittsburgh, United States

Adaptive Resource Management Architecture forDistributed Real-Time Embedded SystemsKe Liang, Northwestern Polytechnical University, China

Xingshe Zhou, Northwestern Polytechnical University, ChinaRuiqing Sheng, Northwestern Polytechnical University, ChinaKailong Zhang, Northwestern Polytechnical University, China

Formalizing the Notion of Adaptive SystemBehavior

M. Broy, Technische Universitat Munchen, GermanyC. Leuxner, Technische Universitat Munchen, GermanyW. Sitou, Technische Universitat Munchen, Germany

B. Spanfelner, Technische Universitat Munchen, GermanyS. Winter, Technische Universitat Munchen, Germany

ATM: An Automatic Trust Monitoring Algorithmfor Service Software

Mohammad Gias Uddin, Queen’s University, CanadaMohammad Zulkernine, Queen’s University, Canada

Supporting Recovery, Privacy and Security inRFID Systems Using a Robust Authentication

ProtocolEndadul Hoque, Marquette University, United States

Farzana Rahman, Marquette University, United StatesSheikh Iqbal Ahamed, Marquette University, United States

Tue. 08:20 - 10:00 APP: Hibiscus Suite

(CAHC-1) Computer Application in HealthCare

Session chair: Fatima Nunes, Universidade de Sao Paulo,Brazil

HIVSetSubtype: Software for SubtypeClassification of HIV-1 Sequences

Luciano V. de Araujo, University of Sao Paulo, BrazilSabri S. Sanabani, Federal University of Sao Paulo, Brazil

Ester C. Sabino, University of Sao Paulo, BrazilJoao E. Ferreira, University of Sao Paulo, Brazil

An Ontology-Based Application in HeartElectrophysiology: Representation, Reasoning and

Visualization on the WebBernardo Goncalves, UFES (Federal University of Espırito Santo),

BrazilVeruska Zamborlini, Federal University of Espırito Santo (UFES),

BrazilGiancarlo Guizzardi, Federal University of Espırito Santo (UFES),

BrazilJose G. Pereira Filho, Federal University of Espırito Santo (UFES),

Brazil

Thin Client Architecture in Support of RemoteRadiology Learning

Florian F. Schmitzberger, Stanford University, United StatesJustus Roos, Stanford University, United StatesSandy Napel, Stanford University, United States

Geoffrey D. Rubin, Stanford University, United StatesDavid Paik, Stanford University, United States

A Framework of a Logic-Based Question-AnsweringSystem for the Medical Domain (LOQAS-Med)

Sofia J. Athenikos, Drexel University, United StatesHyoil Han, Drexel University, United States

Ari D. Brooks, Drexel University, United States


Coffee Break



(OE-1) Organizational EngineeringSession chair: Robert Winter, University of St. Gallen,

Switzerland

Towards a Fast Enterprise Ontology based Methodfor Post Merger Integration

Martin Op ’t Land, Delft University of Technology, NetherlandsHans Zwitzer, KLM Cargo, Netherlands

Paul Ensink, KLM, NetherlandsQuentin Lebel, Air France Cargo, France

Operational Control of Service Processes:Modularization as Precondition

Diana Heckl, Frankfurt School of Finance & Management, GermanyJurgen Moormann, Frankfurt School of Finance & Management,

Germany

A Role-Based Enterprise Architecture FrameworkArtur Caetano, CODE, INESC INOV, IST, Technical University of

Lisbon, PortugalAntonio Rito Silva, CODE, INESC INOV, IST, Technical University

of Lisbon, PortugalJose Tribolet, CODE, INESC INOV, IST, Technical University of

Lisbon, Portugal

Towards a Maturity Model for Corporate DataQuality Management

Kai M. Huner, Institute of Information Management, University ofSt. Gallen, Switzerland

Martin Ofner, Institute of Information Management, University ofSt. Gallen, Switzerland

Boris Otto, Institute of Information Management, University of St.Gallen, Switzerland


(DTTA-2) Data Theory, Technology, andApplications

Session chair: Junping Sun, Nova Southeastern University,USA

Enhancing XML Data Warehouse QueryPerformance by Fragmentation

Hadj Mahboubi, University of Lyon, FranceJerome Darmont, University of Lyon, France

Retrieving Valid Matches for XML KeywordSearch

Lingbo Kong, INRIA Futurs, FranceRemi Gilleron, INRIA Futurs, France

Aurelien Lemay, INRIA Futurs, France

Fuzzy Data Modeling Based on XML SchemaLi Yan, Northeastern University, China

Z.M. Ma, Northeastern University, ChinaJian Liu, Northeastern University, China

Privacy Protection for RFID DataBenjamin C.M. Fung, Concordia University, Canada

Ming Cao, Concordia University, CanadaBipin C. Desai, Concordia University, CanadaHeng Xu, Penn State University, United States

Learning the Ontological Theory of an InformationExtraction System in the Multi-Predicate ILP

SettingAlain-Pierre Manine, Laboratoire d’Informatique de l’universite

Paris-Nord (LIPN), France


(SIM) Advances in Computer SimulationSession chair: Giuseppe Vizzari, University of Milano-Bicocca,

Italy

An Extensible Simulation Tool for OverlayNetworks and Services

Jordi Pujol-Ahullo, Universitat Rovira i Virgili, SpainPedro Garcıa-Lopez, Universitat Rovira i Virgili, Spain

Marc Sanchez-Artigas, Universitat Rovira i Virgili, SpainMarcel Arrufat-Arias, Universitat Rovira i Virgili, Spain

Composing a High Fidelity HLA Federation forLittoral Operations

Fawzi Hassaine, Defence R & D, CanadaRuss Moulton, JRM Technologies, United States

Chris Fink, JRM Technologies, United States

Simulating Human Intuitive Decisions byQ-Learning

Jason Leezer, Trinity University, United StatesYu Zhang, Trinity University, United States

Simulating Antigenic Drift and Shift in Influenza ANuno Fachada, LaSEEB-ISR, Portugal

Vitor V. Lopes, INETI - Instituto Nacional de Engenharia,Tecnologia e Inovacao, Portugal

Agostinho Rosa, LaSEEB-ISR, Portugal

Simulation Supporting the Design ofSelf-Organizing Ambient Intelligence Systems

Stefania Bandini, University of Milano-Bicocca, ItalyAndrea Bonomi, University of Milano-Bicocca, Italy

Giuseppe Vizzari, University of Milano-Bicocca, Italy


(DADS-2) Dependable and AdaptiveDistributed Systems

Session chair: Rui Carlos Oliveira, Universidade do Minho,Portugal

Adaptive Optimal Checkpoint Interval and ItsImpact on System’s Overall Quality in Soft

Real-Time ApplicationsNianen Chen, Illinois Institute of Technology, United States

Shangping Ren, Illinois Institute of Technology, United States

Latency-Aware Leader Election

Nuno Santos, Ecole Polytechnique Federale de Lausanne (EPFL),Switzerland

Martin Hutle, Ecole Polytechnique Federale de Lausanne (EPFL),Switzerland

Andre Schiper, Ecole Polytechnique Federale de Lausanne (EPFL),Switzerland

Boosting the Performance of Computing Systemsthrough Adaptive Configuration Tuning

Haifeng Chen, NEC Laboratories America, United StatesGuofei Jiang, NEC Laboratories America, United StatesHui Zhang, NEC Laboratories America, United States

Kenji Yoshihira, NEC Laboratories America, United States

Efficient Maintenance of Distributed Data inHighly Dynamic Opportunistic Grids

Raphael Y. de Camargo, University of Sao Paulo, BrazilFernando Castor Filho, University of Pernambuco, Brazil

Fabio Kon, University of Sao Paulo, Brazil


Dynamic Planning and Weaving of DependabilityConcerns for Self-Adaptive Ubiquitous Services

Romain Rouvoy, University of Oslo, NorwayFrank Eliassen, University of Oslo, Norway

Mikael Beauvois, University of Oslo, Norway


(CAHC-2) Computer Application in HealthCare

Session chair: Luciano Araujo, Universidade de Sao Paulo,Brazil

Medical Volume Segmentation Using Bank ofGabor Filters

Adebayo Olowoyeye, Indiana University, United StatesMihran Tuceryan, Indiana University Purdue Uninversity

Indianapolis, United StatesShiaofen Fang, Indiana University Purdue University Indianapolis,

United States

Evaluation of VR Medical Training Applicationsunder the Focus of Professionals of the Health AreaCleber Gimenez Correa, Centro Universitario Eurıpides de Marılia

(UNIVEM), BrazilFatima L.S. Nunes, Escola de Artes, Ciencias e Humanidades –

Universidade de Sao Paulo (EACH/USP), BrazilAdriano Bezerra, Centro Universitario Eurıpides de Marılia

(UNIVEM), BrazilPaulo M. Carvalho Jr., Faculdade de Medicina de Marılia

(FAMEMA), Brazil

Task Based Visualization of 5D Brain EIT DataYan Zhang, University of Hull, United Kingdom

Peter J. Passmore, Middlesex University, United KingdomRichard H. Bayford, Middlesex University, United Kingdom

Augmented Reality Environment for Life SupportTraining

Fabrıcio Pretto, PUCRS, BrazilIsabel Harb Manssour, PUCRS, BrazilMaria H. Itaqui Lopes, PUCRS, Brazil

Emerson Rodrigues da Silva, PUCRS, BrazilMarcio Sarroglia Pinho, PUCRS, Brazil

Facial Image Classification of Mouse Embryos forthe Animal Model Study of Fetal Alcohol

SyndromeShiaofen Fang, Indiana University Purdue University Indianapolis,

United StatesYing Liu, Indiana University Purdue University Indianapolis,

United StatesJeffrey Huang, Indiana University Purdue University Indianapolis,

United StatesSophia Vinci-Booher, Indiana University Medical Center, United

StatesBruce Anthony, Indiana University Medical Center, United States

Feng Zhou, Indiana University Medical Center, United States

12:10 - 13:30 Coral Ballroom #4

SAC General Luncheon

Tue. 14:00 – 17:00 Coral Lounge

Poster Session 2

Posters of the following tracks: CS, CSP, DTTA, EMBS,MCA, MMV, OE, OS, PL, RE, ROBOT, RTS, SE, SIM,SOPDS, TRECK, WSN, WT (see the detailed list of postersat page 28.)


(OE-2) Organizational EngineeringSession chair: Artur Caetano, Technical University of Lisbon,

Portugal

Concern-Oriented Business ArchitectureEngineering

Stephan Kurpjuweit, Institute of Information Management,University of St. Gallen, Switzerland

Robert Winter, Institute of Information Management, University ofSt. Gallen, Switzerland

Collaborative Workflow Assistant forOrganizational Effectiveness

Joe Bolinger, The Ohio State University, United StatesGreg Horvath, The Ohio State University, United States

Jay Ramanathan, The Ohio State University, United StatesRajiv Ramnath, The Ohio State University, United States

Collaborative Modeling of Business Processes – AComparative Case Study

Peter Rittgen, Vlerick Leuven Gent Management School, Belgium

The People, the Process or the Technology? Usingthe ACE Framework to make Tradeoffs in Service

Delivery ImprovementJay Ramanathan, The Ohio State University, United StatesRajiv Ramnath, The Ohio State University, United States

Randall Glassgow, Cardinal Health, United States


(DS) Data StreamsSession chair: Gerson Zaverucha, Federal University of Rio de

Janeiro, Brazil

Parameterless Outlier Detection in Data StreamsAlice Marascu, INRIA, France

Florent Masseglia, INRIA, France

Online Annotation and Prediction for RegimeSwitching Data Streams

Gordon J. Ross, Institute of Mathematical Sciences, ImperialCollege London, United Kingdom

Dimitris K. Tasoulis, Imperial College London, United KingdomNiall M. Adams, Imperial College London, United KingdomDavid J. Hand, Imperial College London, United Kingdom

Link-Based Event Detection in EmailCommunication Networks

Xiaomeng Wan, Dalhousie University, CanadaEvangelos Milios, Dalhousie University, Canada

Nauzer Kalyaniwalla, Dalhousie University, CanadaJeannette Janssen, Dalhousie University, Canada

Adaptive Burst Detection in a Stream EngineMarcel Karnstedt, Ilmenau University of Technology, Germany

Daniel Klan, Ilmenau University of Technology, GermanyChristian Politz, Ilmenau University of Technology, GermanyKai-Uwe Sattler, Ilmenau University of Technology, GermanyConny Franke, University of California, Davis, United States

Evaluating Algorithms that Learn from DataStreams

Joao Gama, University of Porto, PortugalPedro Pereira Rodrigues, University of Porto, Portugal

Raquel Sebastiao, University of Porto, Portugal



(CSP) Constraint Solving and ProgrammingSession chair: Sebastian Brand, University of Melbourne,

Australia

LS(Graph & Tree): A Local Search Framework forConstraint Optimization on Graphs and Trees

Pham Quang Dung, University of Louvain, BelgiumYves Deville, University of Louvain, Belgium

Pascal Van Hentenryck, Brown University, United States

Exploiting Weak Dependencies in Tree-BasedSearch

Alejandro Arbelaez, Microsoft-INRIA, FranceYoussef Hamadi, Microsoft Research, United Kingdom

Softening Gcc and Regular with PreferencesJean-Philippe Metivier, University of Caen, France

Patrice Boizumault, University of Caen, FranceSamir Loudni, University of Caen, France

Length-Lex Bound Consistency for KnapsackConstraints

Justin Yip, Brown University, United StatesPascal Van Hentenryck, Brown University, United States

Message-Passing and Local Heuristics asDecimation Strategies for Satisfiability

Lukas Kroc, Cornell University, United StatesAshish Sabharwal, Cornell University, United States

Bart Selman, Cornell University, United States


(TRECK) Trust, Reputation, Evidence andother Collaboration Know-how

Session chair: Jean-Marc Seigneur, University of Geneva,Switzerland

iTrustU: A Blog Recommender System based onMulti-Faceted Trust and Collaborative Filtering

Ting-Chun Peng, Institute for Information Industry, TaiwanSeng-cho T. Chou, National Taiwan University, Taiwan

A Personalized Framework for Trust AssessmentTrung Dong Huynh, University of Southampton, United Kingdom

Extending Bayesian Trust Models RegardingContext-Dependence and User Friendly

RepresentationSebastian Ries, Technische Universitat Darmstadt, Germany

A Taxonomy and Adversarial Model for Attacksagainst Network Log Anonymization

Justin King, IBM Rochester, United StatesKiran Lakkaraju, University of Illinios, United States

Adam Slagell, University of Illinois, United States

Defending Online Reputation Systems againstCollaborative Unfair Raters through Signal

Modeling and TrustYafei Yang, University of Rhode Island, United States

Yan (Lindsay) Sun, University of Rhode Island, United StatesSteven Kay, University of Rhode Island, United StatesQing Yang, University of Rhode Island, United States


(BIO-1) BioinformaticsSession chair: Mathew Palakal, Indiana University School of

Informatics, USA

A New Probabilistic Generative Model ofParameter Inference in Biochemical NetworksP. Lecca, Centre for Computational & Systems Biology, The

Microsoft Research - University of Trento, ItalyA. Palmisano, Centre for Computational & Systems Biology, The

Microsoft Research - University of Trento, ItalyC. Priami, Centre for Computational & Systems Biology, The

Microsoft Research - University of Trento, ItalyG. Sanguinetti, University of Sheffield, United Kingdom

Construct Anticancer Drug-Drug CorrelationNetwork

Jiao Li, Tsinghua University, ChinaPamela Crowell, Idaho State University, United States

Jake Yue Chen, Indiana University Purdue University Indianapolis,United States

An Improved Shrinkage Estimator to InferRegulatory Networks with Gaussian Graphical

ModelsKevin Kontos, Universite Libre de Bruxelles, Belgium

Gianluca Bontempi, Universite Libre de Bruxelles, Belgium

Using Dynamic Bayesian Networks to Infer GeneRegulatory Networks from Expression Profiles

Akther Shermin, Macquarie University, AustraliaMehmet A. Orgun, Macquarie Univerisity, Australia


Coffee Break


(HCI-1) Human-Computer InteractionSession chair: Brent Auernheimer, California State University,

Fresno, USA

Towards ”WYDIWYS” for MIMI Using ConceptAnalysis

Jie Dai, Cleveland Clinic, United StatesRemo Mueller, Case Western Reserve University, United States

Jacek Szymanski, Case Western Reserve University, United StatesGuo-Qiang Zhang, Case Western Reserve University, United States

Learners Automated Evaluation with the ODALAApproach

Farida Bouarab-Dahmani, Tizi-Ouzou University, AlgeriaMalik Si-Mohammed, Tizi-Ouzou University, Algeria

Catherine Comparot, Mirail University, FrancePierre-Jean Charrel, Mirail University, France

Expert System for Supporting ConformityInspections of Software Application Interfaces to

the ISO 9241Lorena Lira de Menezes, Federal University of Campina Grande,

BrazilMariana Romao do Nascimento, Federal University of Campina

Grande, BrazilJose Eustaquio Rangel de Queiroz, Federal University of Campina

Grande, BrazilJoseana Macedo Fechine, Federal University of Campina Grande,

Brazil


A Generic Library for GUI Reasoning and TestingJoao Carlos Silva, Universidade do Minho, Portugal

Joao Saraiva, Universidade do Minho, PortugalJose Creissac Campos, Universidade do Minho, Portugal

Using Web Accessibility Patterns for WebApplication Development

Sabina Jeschke, University of Stuttgart, GermanyOlivier Pfeiffer, Technische Universitat Berlin, Germany

Helmut Vieritz, University of Stuttgart, Germany


(ASIIS) Advances in Spatial and Image-basedInformation Systems

Session chair: Ki-Joune Li, Pusan National University, Korea

Similarity Measures for Trajectory of MovingObjects in Cellular Space

Hye-Young Kang, Pusan National University, KoreaJoon-Seok Kim, Pusan National University, Korea

Ki-Joune Li, Pusan National University, KoreaJung-Rae Hwang, Pusan National University, Korea

GPU-Based Computation of Distance Functions onRoad Networks with Applications

Marta Fort, Institut d’Informatica i Aplicacions, Universitat deGirona, Spain

J. Antoni Sellares, Institut d’Informatica i Aplicacions, Universitatde Girona, Spain

A Spatial Bitmap-Based Index for GeographicalData Warehouses

Thiago Luıs Lopes Siqueira, Universidade Federal de Sao Carlos,Brazil

Ricardo Rodrigues Ciferri, Universidade Federal de Sao Carlos,Brazil

Valeria Cesario Times, Universidade Federal de Pernambuco, BrazilCristina Dutra de Aguiar Ciferri, Universidade Federal de Sao

Paulo, Brazil

Labeled Images Verification Using GaussianMixture Models

Micheal Baechler, University of Fribourg, SwitzerlandJean-Luc Bloechle, University of Fribourg, SwitzerlandAndreas Humm, University of Fribourg, Switzerland

Rolf Ingold, University of Fribourg, SwitzerlandJean Hennebert, University of Applied Science, Switzerland


(PSC) Programming for Separation ofConcerns

Session chair: Emiliano Tramontana, Universita’ diCatania,Italy

Flexible Features: Making Feature Modules moreReusable

Peter Ebraert, Vrije Universiteit Brussel, BelgiumJorge Vallejos, Vrije Universiteit Brussel, Belgium

Yves Vandewoude, Katholieke Universiteit Leuven, BelgiumTheo D’Hondt, Vrije Universiteit Brussel, Belgium

Yolande Berbers, Katholieke Universiteit Leuven, Belgium

Building a Customizable Embedded OperatingSystem with Fine-Grained Joinpoints Using the

AOX Programming EnvironmentJiyong Park, Seoul National University, Korea

Seongsoo Hong, Seoul National University, Korea

An Implementation Substrate for LanguagesComposing Modularized Crosscutting Concerns

Hans Schippers, University of Antwerp, BelgiumMichael Haupt, Hasso-Plattner-Institut, University of Potsdam,

GermanyRobert Hirschfeld, Hasso-Plattner-Institut, University of Potsdam,

GermanyDirk Janssens, University of Antwerp, Belgium

Aspect-Oriented Procedural Content Engineeringfor Game Design

Walter Cazzola, Universita di Milano, ItalyDiego Colombo, Microsoft Ireland Research, IrelandDuncan Harrison, Realtime Worlds, United Kingdom


(GCR) Geometric Constraints and ReasoningSession chair: Xiao-Shan Gao, Chinese Academy of Sciences,

China

Formalizing Desargues’ Theorem in Coq UsingRanks

Nicolas Magaud, Universite de Strasbourg, FranceJulien Narboux, Universite de Strasbourg, FrancePascal Schreck, Universite de Strasbourg, France

Infinite Bar-Joint FrameworksJ.C. Owen, D-Cubed, Seimens PLM Software Ltd., United Kingdom

S.C. Power, Lancaster University, United Kingdom

Characterizing 1-Dof Henneberg-I Graphs withEfficient Configuration Spaces (Extended Abstract)

Heping Gao, Universtiy of Florida, United StatesMeera Sitharam, University of Florida, United States

Body-and-Cad Geometric Constraint SystemsKirk Haller, SolidWorks Corporation, United States

Audrey Lee-St. John, Mount Holyoke College, United StatesMeera Sitharam, University of Florida, United States

Ileana Streinu, Smith College, United StatesNeil White, University of Florida, United States

Origami Fold as Algebraic Graph RewritingTetsuo Ida, University of Tsukuba, Japan

Hidekazu Takahashi, University of Tsukuba, Japan


(BIO-2) BioinformaticsSession chair: Mathew Palakal, Indiana University School of

Informatics, USA

HSP-HMMER: A Tool for Protein DomainIdentification on a Large Scale

Bhanu Rekapalli, Joint Institute of Computational Sciences(UTK-ORNL), United States

Christian Halloy, Joint Institute of Computational Sciences(UTK-ORNL), United States

Igor B. Zhulin, Joint Institute of Computational Sciences(UTK-ORNL), United States

A New Protein Motif Extraction Framework basedon Constrained Co-Clustering

Francesca Cordero, University of Torino, ItalyAlessia Visonti, University of Torino, ItalyMarco Botta, University of Torino, Italy


Global-to-Local Representation and Visualizationof Molecular Surfaces Using Deformable ModelsNicolay Postarnakevich, San Francisco State University, United

StatesRahul Singh, San Francisco State University, United States

A Novel Approach to Detect Copy NumberVariation Using Segmentation and Genetic

AlgorithmChihyun Park, Yonsei University, Korea

Youngmi Yoon, Yonsei University - Gachon University of Medicine& Science, Korea

Jaegyoon Ahn, Yonsei University, KoreaMyungjin Moon, Yonsei University, KoreaSanghyun Park, Yonsei University, Korea

Tue. 18:00 - 19:00 Coral Ballroom #2

Future SAC Organization Meeting

Wednesday March 11, 2009

Wed. 8:20 - 10:00 Coral Ballroom 1-2

Keynote Address

Astronomy in Hawaii: Exploring OurUniverse with the Largest Telescopes in

the World

Dr. Rolf-Peter KudritzkiDirector of the University of Hawaii’s Institute for

Astronomy, USA

See details at page 5


Coffee Break

Wed. 10:30 - 12:10 ENG: S.Pacific Ballroom #1

(HCI-2) Human-Computer InteractionSession chair: Brent Auernheimer, California State University,

Fresno, USA

Evaluating the Affective Tactics of an EmotionalPedagogical Agent

Patrıcia Augustin Jaques, PIPCA/UNISINOS, BrazilMatheus Lehmann, PIPCA/UNISINOS, Brazil

Sylvie Pesty, Laboratoire d’Informatique de Grenoble, France

Developing and Evaluating Web MultimodalInterfaces – A Case Study with Usability Principles

Americo Talarico Neto, Universidade de Sao Paulo - Instituto deCiencias Matematicas e de Computacao, Brazil

Thiago Jabur Bittar, Universidade de Sao Paulo - Instituto deCiencias Matematicas e de Computacao, Brazil

Renata P.M. Fortes, Universidade de Sao Paulo - Instituto deCiencias Matematicas e de Computacao, Brazil

Katia Felizardo, Universidade de Sao Paulo - Instituto de CienciasMatematicas e de Computacao, Brazil

A Pointing Method Using Two Accelerometers forWearable Computing

Yohei Tokoro, Kobe University, JapanTsutomu Terada, Kobe University, Japan

Masahiko Tsukamoto, Kobe University, Japan

Requirements Engineering Using AppreciativeInquiry for an Online Community of Caregivers of

Children with AutismCarol (Heins) Gonzales, Claremont Graduate University, United

StatesGondy Leroy, Claremont Graduate University, United States

Gianluca de Leo, Old Dominion University, United States

Towards the Universal Semantic Assessment ofAccessibility

Rui Lopes, LaSIGE/University of Lisbon, PortugalKonstantinos Votis, CERTH-ITI / University of Patras, Greece

Luis Carrico, LaSIGE/University of Lisbo, PortugalDimitrios Tzovaras, CERTH-ITI, Greece

Spiridon Likothanassis, University of Patras, Greece


Wed. 10:30 - 12:10 IS: S.Pacific Ballroom #2

(DM-1) Data MiningSession chair: Toon Calders, Eindhoven University of

Technology, Netherlands

A Recommender System for RequirementsElicitation in Large-Scale Software ProjectsCarlos Castro-Herrera, DePaul University, United States

Chuan Duan, DePaul University, United StatesJane Cleland-Huang, DePaul University, United StatesBamshad Mobasher, DePaul University, United States

A Novel Distance-Based Classifier Built on PatternRanking

Dipankar Bachar, Universita degli Studi di Torino, ItalyRosa Meo, Universita degli Studi di Torino, Italy

Frequent Spatio-Temporal Patterns in TrajectoryData Warehouses

L. Leonardi, Universita Ca’ Foscari, ItalyS. Orlando, Universita Ca’ Foscari, ItalyA. Raffaeta, Universita Ca’ Foscari, ItalyA. Roncato, Universita Ca’ Foscari, ItalyC. Silvestri, Universita Ca’ Foscari, Italy

Optimal Candidate Generation in SpatialCo-Location Mining

Zhongshan Lin, Utah State University, United StatesSeungJin Lim, Utah State University, United States

Wed. 10:30 - 12:10 SWD: S.Pacific Ballroom #3

(OOPS) Object Oriented ProgrammingLanguages and Systems

Session chair: Alex Buckley, Sun Microsystems, USA

Matching ThisType to SubtypingChieri Saito, Kyoto University, Japan

Atsushi Igarashi, Kyoto University, Japan

Static Type Inference for RubyMichael Furr, University of Maryland, United States

Jong-hoon (David) An, University of Maryland, United StatesJeffrey S. Foster, University of Maryland, United StatesMichael Hicks, University of Maryland, United States

Representing Refactoring OpportunitiesEduardo Piveta, Universidade Federal do Pampa, Brazil

Marcelo Pimenta, Universidade Federal do Rio Grande do Sul, BrazilJoao Araujo, Universidade Nova de Lisboa, PortugalAna Moreira, Universidade Nova de Lisboa, PortugalPedro Guerreiro, Universidade do Algarve, Portugal

R. Tom Price, Universidade Federal do Rio Grande do Sul, Brazil

Symmetric Encapsulated Multi-Methods toAbstract over Application StructureDavid Lievens, Trinity College Dublin, Ireland

William Harrison, Trinity College Dublin, Ireland

Wed. 10:30 - 12:10 AIA: S.Pacific Ballroom #4

(EC) Applications of EvolutionaryComputation

Session chair: Masaru Tezuka, Hitachi East Japan Solutions,Ltd., Japan

A Particle Swarm Optimization based Algorithmfor Fuzzy Bilevel Decision Making with

Constraints-Shared FollowersYa Gao, University of Technology, Sydney, Australia

Guangquan Zhang, University of Technology, Sydney, AustraliaJie Lu, University of Technology, Sydney, Australia

A Gradient Oriented Recombination Scheme forEvolution Strategies

Haifeng Chen, NEC Laboratories America, Inc., United StatesGuofei Jiang, NEC Laboratories America, Inc., United States

LEGAL-Tree: A Lexicographic Multi-ObjectiveGenetic Algorithm for Decision Tree Induction

Marcio P. Basgalupp, University of Sao Paulo, BrazilRodrigo C. Barros, Pontifical Catholic University of Rio Grande do

Sul, BrazilAndre C.P.L.F. de Carvalho, University of Sao Paulo, Brazil

Alex A. Freitas, University of Kent, United KingdomDuncan D. Ruiz, Pontifical Catholic University of Rio Grande do

Sul, Brazil

Using Artificial Life Techniques for DistributedGrid Job Scheduling

Azin Moallem, University of Saskatchewan, CanadaSimone A. Ludwig, University of Saskatchewan, Canada

Planning for Remarshaling in an AutomatedContainer Terminal Using Cooperative

Coevolutionary AlgorithmsKiyeok Park, Pusan National University, KoreaTaejin Park, Pusan National University, Korea

Kwang Ryel Ryu, Pusan National University, Korea

Wed. 10:30 - 12:10 APP: Hibiscus Suite

(CF) Computer ForensicsSession chair: Lorie M. Liebrock, New Mexico Institute of

Mining and Technology, USA

A Detecting and Tracing Algorithm forUnauthorized Internet-News Plagiarism UsingSpatio-Temporal Document Evoluton Model

Chang-Keon Ryu, Pusan National University, KoreaHyong-Jun Kim, Pusan National University, KoreaHwan-Gue Cho, Pusan National University, Korea

Improving Classification based Off-Topic SearchDetection via Category Relationships

Alana Platt, Illinois Institute of Technology, United StatesSaket S.R. Mengle, Illinois Institute of Technology, United States

Nazli Goharian, Illinois Institute of Technology, United States

Incorporating Accountability into Internet EmailWayne Liu, Florida State University, United States

Sudhir Aggarwal, Florida State University, United StatesZhenhai Duan, Florida State University, United States

Artificial Intelligence Applied to ComputerForensics

Bruno W.P. Hoelz, Brazilian Federal Police, BrazilCelia Ghedini Ralha, Brasilia University, BrazilRajiv Geeverghese, Brasilia University, Brazil

12:10 - 13:30

Lunch Break



(RE-1) Requirement EngineeringSession chair: Maria Lencastre, Universidade de Pernambuco,

Brazil

Identifying Vulnerabilities and CriticalRequirements Using Criminal Court ProceedingTravis D. Breaux, North Carolina State University, United States

Jonathan D. Lewis, North Carolina State University, United StatesPaul N. Otto, North Carolina State University / Duke University,

United StatesAnnie I. Anton, North Carolina State University, United States

i*-prefer: Optimizing Requirements ElicitationProcess based on Actor Preferences

Haihua Xie, Tsinghua University, ChinaLin Liu, Tsinghua University, China

Jingwei Yang, Tsinghua University, China

Mapping Semantically Enriched Formal Tropos toBusiness Process Models

Ken Decreus, Ghent University, BelgiumGeert Poels, Ghent University, Belgium

Extending Problem Frames to Deal withStakeholder Problems: An Agent- and

Goal-Oriented ApproachSam Supakkul, The University of Texas at Dallas, United States

Lawrence Chung, The University of Texas at Dallas, United States


(DM-2) Data MiningSession chair: Rosa Meo, Universita degli Studi di Torino, Italy

Combining Statistics and Semantics via EnsembleModel for Document Clustering

Samah Jamal Fodeh, Michigan State University, United StatesWilliam F. Punch, Michigan State University, United States

Pang-Ning Tan, Michigan State University, United States

Using Minimum Description Length for ProcessMining

T. Calders, Eindhoven University of Technology, NetherlandsC.W. Gunther, Eindhoven University of Technology, NetherlandsM. Pechenizkiy, Eindhoven University of Technology, Netherlands

A. Rozinat, Eindhoven University of Technology, Netherlands

Applying Latent Dirichlet Allocation to GroupDiscovery in Large Graphs

Keith Henderson, Lawrence Livermore National Laboratory, UnitedStates

Tina Eliassi-Rad, Lawrence Livermore National Laboratory, UnitedStates

Improved AdaBoost.M1 of Decision Trees withConfidence-Rated PredictionsZhipeng Xie, Fudan University, China


(PL-1) Programming LanguagesSession chair: Bostjan Slivnik, University of Ljubljana,

Slovenia

Optimizing Techniques for Saturated Arithmeticwith First-Order Linear Recurrence

Weihua Zhang, Parallel Processing Institute, Fudan University,China

Lili Liu, Parallel Processing Institute, Fudan University, ChinaChen Zhang, Parallel Processing Institute, Fudan University, ChinaHongjiong Zhang, Parallel Processing Institute, Fudan University,

ChinaBinyu Zang, Parallel Processing Institute, Fudan University, China

Chuanqi Zhu, Parallel Processing Institute, Fudan University, China

Algebraic Specification Techniques for ParametricTypes with Logic-Based Constraints

David Briggs, University of Southern Maine, United StatesSuad Alagic, University of Southern Maine, United States

Isomorphisms, Hylomorphisms and HereditarilyFinite Data Types in Haskell

Paul Tarau, University of North Texas, United States

Banzai: A Java Framework for the Implementationof High-Performance Servers

Julien Cervelle, Universite Paris-Est, FranceRemi Forax, Universite Paris-Est, France

Gautier Loyaute, Universite Paris-Est, FranceGilles Roussel, Universite Paris-Est, France


(CIIA-1) Computational Intelligence andImage Analysis

Session chair: Chih-Cheng Hung, Southern Polytechnic StateUniversity, USA

Forensic Bite Mark Identification Using ImageProcessing Methods

Glenn Flora, Indiana University Purdue Uninversity Indianapolis,United States

Mihran Tuceryan, Indiana University Purdue UninversityIndianapolis, United States

Herb Blitzer, Indiana Forensic Institute, United States

Super-Resolution Image Reconstruction Using theGeneralized Isotropic Multi-Level Logistic Model

Ana L.D. Martins, Universidade Federal de Sao Carlos, BrazilMurillo R.P. Homem, Universidade Federal de Sao Carlos, BrazilNelson D.A. Mascarenhas, Universidade Federal de Sao Carlos,

Brazil

Heuristic Approach for Automated Shelf SpaceAllocation

Dario Landa-Silva, University of Nottingham, United KingdomFathima Marikar, University of Nottingham, United Kingdom

Khoi Le, University of Nottingham, United Kingdom

From Exponential to Almost LinearDecomposability of Finite or Infinite Trees

Khalil Djelloul, Universite d’Orleans, France

Wed. 13:30 - 15:10 DS: Hibiscus Suite

(WT-1) Web TechnologiesSession chair: Fabio Vitali, Alma Mater Studiorum -

Universita di Bologna, Italy


Semantic Web Services: From OWL-S via UML toMVC Applications

Cassio V.S. Prazeres, Universidade de Sao Paulo, BrazilCesar A.C. Teixeira, Universidade Federal de Sao Carlos, BrazilEthan V. Munson, University of Wisconsin-Milwaukee, United

StatesMaria da Graca C. Pimentel, Universidade de Sao Paulo, Brazil

Implementing Rigorous Web Services with ProcessAlgebra

Mauricio Chui Rodrigues, University of Sao Paulo, BrazilSimon Malkowski, CERCS, Georgia Institute of Technology, United

StatesJoao Eduardo Ferreira, University of Sao Paulo, BrazilMarcos E.B. Broinizi, University of Sao Paulo, Brazil

Calton Pu, CERCS, Georgia Institute of Technology, United States

Towards Inference of More Realistic XSDsIrena Mlynkova, Charles University, Czech RepublicMartin Necasky, Charles University, Czech Republic

Discovering XML Keys and Foreign Keys inQueries

Martin Necasky, Charles University, Czech RepublicIrena Mlynkova, Charles University, Czech Republic

An Optimistic Technique for Transactions ControlUsing REST Architectural Style

Luiz Alexandre Hiane da Silva Maciel, Instituto Tecnologico deAeronautica, Brazil

Celso Massaki Hirata, Instituto Tecnologico de Aeronautica, Brazil


Coffee Break


(RE-2) Requirement EngineeringSession chair: Maria Lencastre, Universidade de Pernambuco,

Brazil

A Method for Developing UML State MachinesChristine Choppy, LIPN - Institut Galilee - Universite Paris XIII,

FranceGianna Reggio, DISI - Universita di Genova, Italy

Mapping UML Sequence Diagram to Time PetriNet for Requirement Validation of EmbeddedReal-Time Systems with Energy Constraints

Ermeson Andrade, Federal University of Pernambuco (UFPE),Brazil

Paulo Maciel, Federal Univestity of Pernambuco (UFPE), BrazilGustavo Callou, Federal University of Pernambuco, Brazil

Bruno Nogueira, Federal University of Pernambuco (UFPE), BrazilCarlos Araujo, Federal Univestity of Pernambuco (UFPE), Brazil

LTS Semantics for use Case ModelsDaniel Sinnig, Concordia University, CanadaPatrice Chalin, Concordia University, Canada

Ferhat Khendek, Concordia University, Canada

Eliciting Required Characteristics for UsableRequirements Engineering Approaches

Kristina Winbladh, University of California, Irvine, United StatesHadar Ziv, University of California, Irvine, United States

Debra J. Richardson, University of California, Irvine, United States


(DM-3) Data MiningSession chair: Alessandra Raffaeta, Universita Ca’ Foscari,

Italy

Capturing Truthiness: Mining Truth Tables inBinary Datasets

Clifford Conley Owens III, Virginia Tech, United StatesT. M. Murali, Virginia Tech, United States

Naren Ramakrishnan, Virginia Tech, United States

HTILDE: Scaling Up Relational Decision Trees forVery Large Databases

Carina Lopes, Federal University of Rio de Janeiro (UFRJ), BrazilGerson Zaverucha, Federal University of Rio de Janeiro (UFRJ),

Brazil

Automatic Discovery of Technology Trends fromPatent Text

Youngho Kim, Information & Communications University, KoreaYingshi Tian, Information & Communications University, Korea

Yoonjae Jeong, Information & Communications University, KoreaRyu Jihee, Information & Communications University, Korea

Sung-Hyon Myaeng, Information & Communications University,Korea


(PL-2) Programming LanguagesSession chair: Marjan Mernik, University of Maribor, Slovenia

Troll, a Language for Specifying Dice-RollsTorben Ægidius Mogensen, University of Copenhagen, Denmark

A Practical Solution for Scripting LanguageCompilers

Paul Biggar, Trinity College Dublin, IrelandEdsko de Vries, Trinity College Dublin, IrelandDavid Gregg, Trinity College Dublin, Ireland

TWEAST: A Simple and Effective Technique toImplement Concrete-Syntax AST Rewriting Using

Partial ParsingAkim Demaille, EPITA Research & Development Laboratory

(LRDE), FranceRoland Levillain, EPITA Research & Development Laboratory

(LRDE), FranceBenoıt Sigoure, EPITA Research & Development Laboratory

(LRDE), France

Points-to Analysis for JavaScriptDongseok Jang, Korea Advanced Institute of Science & Technology,

KoreaKwang-Moo Choe, Korea Advanced Institute of Science &

Technology, Korea


(CIIA-2) Computational Intelligence andImage Analysis

Session chair: Khalil Djelloul, LIFO, Orleans, France


A New K-View Algorithm for Texture ImageClassification Using Rotation-Invariant FeatureHong Liu, Huazhong University of Science & Technology, China

Siguang Dai, Huazhong University of Science & Technology, ChinaEnmin Song, Huazhong University of Science & Technology, ChinaCihui Yang, Huazhong University of Science & Technology, ChinaChih-Cheng Hung, Southern Polytechnic State University, United

States

A Method to Construct Knowledge Table-Base ink-in-a-row Games

Chang-Ming Xu, Northeastern University, ChinaZ.M. Ma, Northeastern University, China

Xin-he Xu, Northeastern University, China

On the Complexity of Hierarchical AssociativeMemories

Jana Stanclova, Charles University, Czech Republic

Wed. 15:40 - 17:20 DS: Hibiscus Suite

(WT-2) Web TechnologiesSession chair: Kay-Uwe Schmidt, SAP, Germany

Server Push with Instant MessagingMikko Pohja, Helsinki University of Technology, Finland

Where are your Manners? Sharing BestCommunity Practices in the Web 2.0

Angelo Di Iorio, Department of Computer Science - University ofBologna, Italy

Davide Rossi, Department of Computer Science - University ofBologna, Italy

Fabio Vitali, Department of Computer Science - University ofBologna, Italy

Stefano Zacchiroli, Universite Paris Diderot, France

Partitioning Web Applications between the Serverand the Client

Janne Kuuskeri, Tampere University of Technology, FinlandTommi Mikkonen, Tampere University of Technology, Finland

Socially Filtered Web SearchKay-Uwe Schmidt, SAP Research, Germany

Tobias Sarnow, SAP Research, GermanyLjiljana Stojanovic, Forschungszentrum Informatik, Germany

Implicit Relevance Feedback for Context-AwareInformation Retrieval in UbiLearning

EnvironmentsDiogo S. Martins, Universidade Federal de Sao Carlos, Brazil

Mauro Biajiz, Universidade Federal de Sao Carlos, BrazilAntonio F. do Prado, Universidade Federal de Sao Carlos, Brazil

Wanderley L. de Souza, Universidade Federal de Sao Carlos, Brazil

Wed. 18:00 - 19:00 S.Pacific Ballroom #1

Track Chairs Business Meeting

Wed. 19:15 Polynesian Cultural Center

SAC Banquet

During the Banquet, the SAC Organization Committee willaward the best papers of the conference

Thursday March 12, 2009

Thu. 08:20 - 10:00 ENG: S.Pacific Ballroom #1

(SE-1) Software EngineeringSession chair: Chang Oan Sung, Indiana University Southeast,

USA

Modeling and Integrating Aspects with UMLActivity Diagrams

Zhanqi Cui, Nanjing University, ChinaLinzhang Wang, Nanjing University, ChinaXuandong Li, Nanjing University, China

Dianxiang Xu, North Dakota State University, United States

Towards a Compositional Approach to ModelTransformation for Software DevelopmentSoichiro Hidaka, National Institute of Informatics, JapanZhenjiang Hu, National Institute of Informatics, JapanHiroyuki Kato, National Institute of Informatics, Japan

Keisuke Nakano, The University of Electro-Communications, Japan

Model Interfaces for Two-Way ObliviousnessNathan V. Roberts, Baylor University, United States

Eunjee Song, Baylor University, United StatesPaul C. Grabow, Baylor University, United States

Key Processes to Start Software ProcessImprovement in Small Companies

Francisco J. Pino, University of Cauca, ColombiaFelix Garcia, University of Castilla-La Mancha, Spain

Mario Piattini, University of Castilla-La Mancha, Spain

Executing JML Specifications of Java CardApplications: A Case Study

Nestor Catano, University of Madeira, PortugalTim Wahls, Dickinson College, United States

Thu. 08:20 - 10:00 IS: S.Pacific Ballroom #2

(WSN) Wireless Sensor NetworksSession chair: Richard Anthony, Greenwich University,UK

Sink-Oriented Dynamic Location Service forShortest Path Relay with Energy Efficient Global

GridHyeonjae Jeon, Sungkyunkwan University, Korea

Kwangjin Park, Wonkwang University, KoreaHyunseung Choo, Sungkyunkwan University, Korea

Lightweight Monitoring of Sensor SoftwareMustafa Hammad, New Mexico State University, United States

Jonathan Cook, New Mexico State University, United States

Jointly Optimizing Data Acquisition and Deliveryin Traffic Monitoring VANETs

Antonios Skordylis, University of Oxford, United KingdomNiki Trigoni, University of Oxford, United Kingdom

Real-Time Multi-View Vision Systems UsingWSNs

Paolo Pagano, Scuola Superiore Sant’Anna, ItalyFrancesco Piga, Scuola Superiore Sant’Anna, Pisa, Italy

Yao Liang, Indiana University Purdue University Indianapolis,United States


Opportunistic Real-Time Routing in Multi-HopWireless Sensor Networks

Junwhan Kim, Virginia Tech, United StatesBinoy Ravindran, Virginia Tech, United States

Thu. 08:20 - 10:00 SWD: S.Pacific Ballroom #3

(SOAP-1) Service Oriented Architectures andProgramming

Session chair: Claudio Guidi, Alma Mater Studiorum -Universita di Bologna, Italy

Runtime Monitoring of Web ServiceChoreographies Using Streaming XML

Sylvain Halle, University of California, Santa Barbara, United StatesRoger Villemaire, Universite du Quebec a Montreal, Canada

Load Management in Model-Aware Execution ofComposite Web Services

Karolina Zurowska, University of Saskatchewan, CanadaRalph Deters, University of Saskatchewan, Canada

Using Process Mining to Business ProcessDistribution

Faramarz Safi Esfahani, Islamic Azad University, Najaf AbadBranch, Iran

Masrah Azrifah Azmi Murad, University of Putra Malaysia,Malaysia

Nasir Sulaiman, University of Putra Malaysia, MalaysiaNur Izura Udzir, University of Putra Malaysia, Malaysia

CMC-UMC: A Framework for the Verification ofAbstract Service-Oriented Properties

Maurice H. ter Beek, ISTI-CNR, ItalyFranco Mazzanti, ISTI-CNR, ItalyStefania Gnesi, ISTI-CNR, Italy

Thu. 08:20 - 10:00 AIA: S.Pacific Ballroom #4

(ROBOT-1) Intelligent Robotic SystemsSession chair: Evan Drumwright, University of Memphis, USA

Visual Detection of Novel Terrain via Two-ClassClassification

Christopher Brooks, Massachusetts Institute of Technology, UnitedStates

Karl Iagnemma, Massachusetts Institute of Technology, UnitedStates

Attention Driven Visual Processing for anInteractive Dialog Robot

Thomas Muller, Technische Universitat Munchen, GermanyAlois Knoll, Technische Univeristat Munchen, Germany

Evaluation of Visual Attention Models under 2DSimilarity Transformations

Milton Roberto Heinen, Federal University of the Rio Grande doSul, Brazil

Paulo Martins Engel, Federal University of the Rio Grande do Sul,Brazil

Evolving Morphologies and Gaits of PhysicallyRealistic Simulated Robots

Milton Roberto Heinen, Federal University of the Rio Grande doSul, Brazil

Fernando Osorio, Universidade de Sao Paulo, Brazil

Thu. 08:20 - 10:00 APP: Hibiscus Suite

(CS-1) Computational SciencesSession chair: Adrian Sandu, Virginia Polytechnic Institute

and State University, USA

Workflow Management for High Volume SupernovaSearch

Cecilia R. Aragon, Lawrence Berkeley National Laboratory, UnitedStates

Karl J. Runge, Space Sciences Laboratory, United States

Vector Stream Processing for Effective Applicationof Heterogeneous Parallelism

John C. Linford, Virginia Polytechnic Institute & State University,United States

Adrian Sandu, Virginia Polytechnic Institute & State University,United States

GTfold: A Scalable Multicore Code for RNASecondary Structure Prediction

Amrita Mathuriya, Georgia Institute of Technology, United StatesDavid A. Bader, Georgia Institute of Technology, United States

Christine E. Heitsch, Georgia Institute of Technology, United StatesStephen C. Harvey, Georgia Institute of Technology, United States

Modular Implementation of Adaptive Decisions inStochastic Simulations

Pilsung Kang, Virginia Tech, United StatesYang Cao, Virginia Tech, United States

Naren Ramakrishnan, Virginia Tech, United StatesCalvin J. Ribbens, Virginia Tech, United States

Srinidhi Varadarajan, Virginia Tech, United States

Bulk based Preconditioning for Quantum DotComputations

Christof Vomel, ETH Zurich, SwitzerlandStanimire Z. Tomov, University of Tennessee, Knoxville, United

StatesOsni Marques, Lawrence Berkeley National Laboratory, United

StatesAndrew Canning, Lawrence Berkeley National Laboratory, United

StatesJack Dongarra, University of Tennessee, United States

Julien Langou, University of Colorado at Denver, United StatesLin-Wang Wang, Lawrence Berkeley National Laboratory, United

States


Coffee Break



USA

Using Aspects and Dynamic Composition toProvide Context-Aware Adaptation for Mobile

ApplicationsFlavia C. Delicato, Federal University of Rio Grande do Norte,

BrazilIsanio L. Araujo Santos, Federal University of Rio Grande do Norte,

BrazilPaulo F. Pires, Federal University of Rio Grande do Norte, BrazilAna Liz S. Oliveira, Federal University of Rio Grande do Norte,

BrazilThais Batista, Federal University of Rio Grande do Norte, Brazil

Luci Pırmez, Federal University of Rio de Janeiro, Brazil


Using a Product Line for Creating ComponentSystems

Tomas Bures, Institute of Computer Science, Academy of Sciencesof the Czech Republic / Charles University, Czech Republic

Petr Hnetynka, Charles University, Czech RepublicMichal Malohlava, Charles University, Czech Republic

A Comparative Study of Techniques to WriteCustomizable Libraries

Baris Aktemur, University of Illinois at Urbana-Champaign, UnitedStates

Sam Kamin, University of Illinois at Urbana-Champaign, UnitedStates

Applying Test-Driven Code Search to the Reuse ofAuxiliary Functionality

Otavio Augusto Lazzarini Lemos, Universidade de Sao Paulo -Instituto de Ciencias Matematicas e de Computacao, Brazil

Sushil Bajracharya, University of California, Irvine, United StatesJoel Ossher, University of California, Irvine, United States

Paulo Cesar Masiero, Universidade de Sao Paulo - Instituto deCiencias Matematicas e de Computacao, Brazil

Cristina Lopes, University of California, Irvine, United States

Component-Based Metrics Applying the Strengthof Dependency between ClassesMisook Choi, Woosuk University, Korea

Injoo J. Kim, East-West University, United StatesJiman Hong, Soongsil University, Korea

Jungyeop Kim, Utica College, United States


(EIS) Enterprise Information SystemsSession chair: Maria-Eugenia Iacob, University of Twente, The

Netherlands

Management of Requirements in ERPDevelopment: A Comparison between Proprietary

and Open Source ERPBjorn Johansson, Copenhagen Business School, Denmark

Rogerio Atem de Carvalho, Federal Center for TechnologicalEducation of Campos, Brazil

Cross-Organizational ERP Management: How toCreate a Successful Business Case?Silja Eckartz, University Twente, NetherlandsMaya Daneva, University Twente, NetherlandsRoel Wieringa, University Twente, Netherlands

Jos van Hillegersberg, University Twente, Netherlands

Model-Based Reasoning on the Achievement ofBusiness Goals

Sebastian Hohn, Albert-Ludwig University, Germany

Policy Management Architecture Based onProvisioning Model and Authorization Certificates

Arlindo L. Marcon Jr., Pontifical Catholic University of Parana,Brazil

Altair O. Santin, Pontifical Catholic University of Parana, BrazilLuiz A. de Paula Lima Jr., Pontifical Catholic University of Parana,

BrazilMaicon Stihler, Pontifical Catholic University of Parana, Brazil

Privacy Preserving Churn PredictionShuting Xu, Virginia State University, United StatesShuhua Lai, Virginia State University, United States

Manying Qiu, Virginia State University, United States


(SOAP-2) Service Oriented Architectures andProgramming

Session chair: Stefania Gnesi, ISTI-CNR, Italy

PRECISO: A Reengineering Process and a Tool forDatabase Modernisation through Web ServicesRicardo P. del Castillo, Alarcos Research Group, University of

Castilla-La Mancha, SpainIgnacio Garcıa-Rodrıguez, Alarcos Research Group, University of

Castilla-La Mancha, SpainIsmael Caballero, Alarcos Research Group, University of Castilla-La

Mancha, SpainMacario Polo, Alarcos Research Group, University of Castilla-La

Mancha, SpainMario Piattini, Alarcos Research Group, University of Castilla-La

Mancha, Spain

Annotating UDDI Registries to Support theManagement of Composite Services

M. Brian Blake, Georgetown University, United StatesMichael F. Nowlan, Georgetown University, United States

Ajay Bansal, Georgetown University, United StatesSrividya Kona, Georgetown University, United States

A General Service Oriented Approach forManaging Virtual Machines Allocation

Paolo Anedda, Center for Advanced Studies, Research &Development in Sardinia, Italy

Massimo Gaggero, Center for Advanced Studies, Research &Development in Sardinia, Italy

Simone Manca, Center for Advanced Studies, Research &Development in Sardinia, Italy

Omar Schiaratura, Center for Advanced Studies, Research &Development in Sardinia, Italy

Simone Leo, Center for Advanced Studies, Research & Developmentin Sardinia, Italy

Fabrizio Montesi, University of Bologna, ItalyGianluigi Zanetti, Center for Advanced Studies, Research &

Development in Sardinia, Italy

SimSOA – An Approach for Agent-BasedSimulation and Design-Time Assessment of

SOC-Based IT SystemsStefan Thanheiser, Karlsruhe Institute of Technology (KIT),

Institute AIFB, GermanyLei Liu, Karlsruhe Institute of Technology (KIT), Institute AIFB,

GermanyHartmut Schmeck, Karlsruhe Institute of Technology (KIT),

Institute AIFB, Germany


(ROBOT-2) Intelligent Robotic SystemsSession chair: Fernando Santos Osorio, University of Sao

Paulo,Brazil

Visual Loop-Closing with Image ProfilesHannah Hoersting, Harvey Mudd College, United States

Lesia Bilitchenko, California Polytechnic University, Pomona,United States

Zachary Dodds, Harvey Mudd College, United States

Autonomous Networked Robots for theEstablishment of Wireless Communication in

Uncertain Emergency Response ScenariosStelios Timotheou, Imperial College London, United KingdomGeorgios Loukas, Imperial College London, United Kingdom


A Robust and Tractable Contact Model forDynamic Robotic Simulation

Evan Drumwright, University of Memphis, United StatesDylan A. Shell, University of Southern California, United States

Sources of Error in a Rigid Body Simulation ofRigid Parts on a Vibrating Rigid Plate

Steve Berard, Rensselaer Polytechnic Institute, United StatesBinh Nguyen, Rensselaer Polytechnic Institute, United StatesJ.C. Trinkle, Rensselaer Polytechnic Institute, United States

Thu. 10:30 - 12:10 APP: Hibiscus Suite

(CS-2) Computational SciencesSession chair: Yang Cao, Virginia Polytechnic Institute and

State University, USA

An Efficient and Accurate Lattice for PricingDerivatives under a Jump-Diffusion Process

Chuan-Ju Wang, National Taiwan University, TaiwanTian-Shyr Dai, National Chiao Tung University, Taiwan

Yuh-Dauh Lyuu, National Taiwan University, TaiwanYen-Chun Liu, National Chiao Tung University, Taiwan

Semi-Automatic Parallelization of Direct andInverse Problems for Geothermal Simulation

H. Martin Bucker, RWTH Aachen University, GermanyArno Rasch, RWTH Aachen University, GermanyVolker Rath, RWTH Aachen University, Germany

Andreas Wolf, RWTH Aachen University, Germany

Uncertainty Apportionment for Air QualityForecast Models

Haiyan Cheng, Virginia Polytechnic Institute & State University,United States

Adrian Sandu, Virginia Polytechnic Institute & State University,United States

Interlaced Euler Scheme for Stiff Systems ofStochastic Differential Equations

Ioana Cipcigan, University of Maryland, Baltimore County, UnitedStates

Muruhan Rathinam, University of Maryland, Baltimore County,United States

Adaptive Finite Element Methods for NonlinearInverse Problems

Wolfgang Bangerth, Texas A & M University, United StatesAmit Joshi, Baylor College of Medicine, United States

Thu. 12:10 - 13:30 Sea Pearl Suite 1-2

Track-Chairs Luncheon

Open to all track chairs

12:10 - 13:30

Lunch Break



USA

Integration of Formal Specification, Review, andTesting for Software Component Quality Assurance

Shaoying Liu, Hosei University, JapanTetsuo Tamai, University of Tokyo, Japan

Shin Nakajima, National Institute of Informatics, Japan

Enhanced Lattice-Based Adaptive Random TestingT.Y. Chen, Swinburne University of Technology, Australia

De Hao Huang, Swinburne University of Technology, AustraliaF.-C. Kuo, Swinburne University of Technology, Australia

R.G. Merkel, Swinburne University of Technology, AustraliaJohannes Mayer, University of Ulm, Germany

GenQA: Automated Addition of ArchitecturalQuality Attribute Support for Java Software

Sarthak Grover, SAP, United StatesNigamanth Sridhar, Cleveland State University, United States

A Case Study of Pattern-Based SoftwareFramework to Improve the Quality of Software

DevelopmentChih-Hung Chang, Hsiuping Institute of Technology, Taiwan

Chih-Wei Lu, Hsiuping Institute of Technology, TaiwanWilliam C. Chu, Tunghai University, Taiwan

Nien-Lin Hsueh, Feng Chia University, TaiwanChorng-Shiuh Koong, Taichung University, Taiwan

An Empirical Study of Incorporating Cost intoTest Suite Reduction and Prioritization

Adam M. Smith, University of Pittsburgh, United StatesGregory M. Kapfhammer, Allegheny College, United States


(IAR-1) Information Access and RetrievalSession chair: Yoshinori Hijikata, Osaka University, Japan

Bipolar Query Satisfaction Using Satisfaction andDissatisfaction Degrees: Bipolar Satisfaction

DegreesTom Matthe, Ghent University, BelgiumGuy De Tre, Ghent University, Belgium

Heterogeneous Bipolar Criteria SatisfactionHandling in Geographic Decision Support Systems:

An LSP based ApproachGuy De Tre, Ghent University, Belgium

Jozo J. Dujmovic, San Francisco State University, United StatesNico Van de Weghe, Ghent University, Belgium

Tom Matthe, Ghent University, BelgiumNiels Charlier, Ghent University, Belgium

Alternatives to Conjunctive Query Processing inPeer-to-Peer File-Sharing Systems

Wai Gen Yee, Illinois Institute of Technology, United StatesLinh Thai Nguyen, Illinois Institute of Technology, United States

Ophir Frieder, Illinois Institute of Technology, United States

Fast Error-Tolerant Search on Very Large TextsMarjan Celikik, Max Planck Institute for Computer Science,

GermanyHolger Bast, Max Planck Institute for Computer Science, Germany

A Session Based Personalized Search Using anOntological User Profile

Mariam Daoud, IRIT, Paul Sabatier University, FranceLynda Tamine-Lechani, IRIT, Paul Sabatier University, FranceMohand Boughanem, IRIT, Paul Sabatier University, France

Bilal Chebaro, Lebanese University, Lebanon



(EMBS-1) Embedded SystemsSession chair: Alessio Bechini, University of Pisa, Italy

Celling SHIM: Compiling DeterministicConcurrency to a Heterogeneous Multicore

Nalini Vasudevan, Columbia University, United StatesStephen A. Edwards, Columbia University, United States

Heterogeneous Real-Time Embedded SoftwareOptimization Considering Hardware Platform

Meikang Qiu, University of New Orleans, United StatesHao Li, University of North Texas, United States

Edwin H.-M. Sha, University of Texas at Dallas, United States

RT-Replayer: A Record-Replay Architecture forEmbedded Real-Time Software Debugging

Ji Chan Maeng, Hanyang University, KoreaJung-Il Kwon, Hanyang University, KoreaMin-Kyu Sin, Hanyang University, KoreaMinsoo Ryu, Hnaynag University, Korea

Optimal Service Level Allocation inEnvironmentally Powered Embedded SystemsClemens Moser, Swiss Federal Institute of Technology (ETH),

SwitzerlandJian-Jia Chen, Swiss Federal Institute of Technology (ETH),

SwitzerlandLothar Thiele, Swiss Federal Institute of Technology (ETH),

Switzerland

Improving Functional Verification of EmbeddedSystems Using Hierarchical Composition and Set

TheoryCassio L. Rodrigues, Federal University of Campina Grande, Brazil

Karina R.G. da Silva, Federal University of Goias, BrazilHenrique N. Cunha, Federal University of Campina Grande, BrazilJorge C.A. de Figueiredo, Federal University of Campina Grande,

BrazilDalton D.S. Guerrero, Federal University of Campina Grande, Brazil

Elmar Melcher, Federal University of Campina Grande, Brazil


(SWA-1) The Semantic Web and ApplicationsSession chair: Hyoil Han, Drexel University, USA

Improving Folksonomies Quality by Syntactic TagVariations Grouping

Francisco Echarte, Universidad Publica de Navarra, SpainJose Javier Astrain, Universidad Publica de Navarra, SpainAlberto Cordoba, Universidad Publica de Navarra, SpainJesus Villadangos, Universidad Publica de Navarra, Spain

Efficient Processing of SPARQL Joins in Memoryby Dynamically Restricting Triple Patterns

Jinghua Groppe, Institute of Information Systems, University ofLubeck, Germany

Sven Groppe, Institute of Information Systems, University ofLubeck, Germany

Sebastian Ebers, Institute of Information Systems, University ofLubeck, Germany

Volker Linnemann, Institute of Information Systems, University ofLubeck, Germany

SWOBE – Embedding the Semantic Weblanguages RDF, SPARQL and SPARUL into Javafor Guaranteeing Type Safety, for Checking the

Satisfiability of Queries and for the Determinationof Query Result Types


Jana Neumann, Institute of Information Systems, University ofLubeck, Germany


Spam Decisions on Gray E-mail Using PersonalizedOntologies

Seongwook Youn, University of Southern California, United StatesDennis McLeod, University of Southern California, United States

Thu. 13:30 - 15:10 DS: Hibiscus Suite

(MCA-1) Mobile Computing and ApplicationsSession chair: Natallia Kokash, CWI, The Netherlands

A Lightweight 3D Visualization and NavigationSystem on Handheld Devices

Wendel Silva, University of Fortaleza, BrazilMaria Andreia Rodrigues, University of Fortaleza (UNIFOR), Brazil

Seamless Access of Home Theater PersonalComputers for Mobile Devices

Lorena Maia, UFCG, BrazilDanilo Santos, UFCG, BrazilRicardo Souza, UFCG, Brazil

Angelo Perkusich, UFCG, BrazilHyggo Almeida, UFCG, Brazil

Wireless Communication Glove Apparatus forMotion Tracking, Gesture Recognition, Data

Transmission, and Reception in ExtremeEnvironments

Marion Ceruti, Space and Naval Warfare Systems, USAVincent Dinh, Space and Naval Warfare Systems, USANghia Tran, Space and Naval Warfare Systems, USAHoa Phan, Space and Naval Warfare Systems, USA

LorRaine Duffy, Space and Naval Warfare Systems, USATu-Anh Ton, Space and Naval Warfare Systems, USAGuy Leonard, Space and Naval Warfare Systems, USAEmily Medina, Space and Naval Warfare Systems, USA

Omar Amezcua, Space and Naval Warfare Systems, USASunny Fugate, Space and Naval Warfare Systems, USAGary Rogers, Space and Naval Warfare Systems, USARobert Luna, Space and Naval Warfare Systems, USAJeffrey Ellen, Space and Naval Warfare Systems, USA

Creating a Mobile Web Application Platform: TheLively Kernel Experiences

Tommi Mikkonen, Sun Microsystems Laboratories, FinlandAntero Taivalsaari, Sun Microsystems Laboratories, Finland

The Device Service Bus: A Solution for EmbeddedDevice Integration through Web Services

Gustavo Araujo, Federal University of Santa Catarina, BrazilFrank Siqueira, Federal University of Santa Catarina, Brazil


Coffee Break



USA


Refining Spectrum-Based Fault LocalizationRankings

Rui Abreu, Delft University of Technology, NetherlandsWolfgang Mayer, University of South Australia, Australia

Markus Stumptner, University of South Australia, AustraliaArjan J.C. van Gemund, Delft University of Technology, Netherlands

Projecting Code Changes onto Execution Traces toSupport Localization of Recently Introduced Bugs

Johannes Bohnet, Hasso-Plattner-Institute at the University ofPotsdam, Germany

Stefan Voigt, Hasso-Plattner-Institute at the University of Potsdam,Germany

Jurgen Doellner, Hasso-Plattner-Institute at the University ofPotsdam, Germany

Searching for Relevant Software Change ArtifactsUsing Semantic Networks

Mikael Lindvall, Fraunhofer Center Maryland for ExperimentalSoftware Engineering, United States

Raimund L. Feldmann, Fraunhofer Center Maryland forExperimental Software Engineering, United States

George Karabatis, University of Maryland Baltimore County(UMBC), United States

Zhiyuan Chen, University of Maryland Baltimore County (UMBC),United States

Vandana P. Janeja, University of Maryland Baltimore County(UMBC), United States

Failure Management Development for IntegratedAutomotive Safety-Critical Software SystemsHaklin Kimm, East Stroudsburg University, United StatesSung Shin, South Dakota State University, United States

Ho-sang Ham, Electronics & Communication Research Institute,Korea

Chang Oan Sung, Indiana University Southeast, United States

Remote Software Protection by Orthogonal ClientReplacement

Mariano Ceccato, Fondazione Bruno Kessler, ItalyPaolo Tonella, Fondazione Bruno Kessler, ItalyMila Dalla Preda, University of Verona, Italy

Anirban Majumdar, University of Trento, Italy


(IAR-2) Information Access and RetrievalSession chair: Guy de Tre, University of Ghent, Belgium

HITS Algorithm Improvement UsingAnchor-related Text Extracted by DOM Structure

AnalysisYoshinori Hijikata, Osaka University, JapanBui Quang Hung, Osaka University, JapanMasanori Otsubo, Osaka University, Japan

Shogo Nishida, Osaka University, Japan

A Sentence Level Probabilistic Model forEvolutionary Theme Pattern Mining from News

CorporaShizhu Liu, Illinois Institute of Technology, United States

Yuval Merhav, Illinois Institute of Technology, United StatesWai Gen Yee, Illinois Institute of Technology, United States

Nazli Goharian, Illinois Institute of Technology, United StatesOphir Frieder, Illinois Institute of Technology, United States

Diverse Peer Selection in Collaborative Web SearchLe-Shin Wu, Indiana University, United States

Filippo Menczer, Indiana University, United States

A Class of Multistep Sparse Matrix Strategies forConcept Decomposition Matrix Approximation

Chi Shen, Kentucky State University, United StatesMike Unuakhalu, Kentucky State University, United States

Self-Organizing Collaborative Filtering inGlobal-Scale Massive Multi-User Virtual

EnvironmentsAlexander Hohfeld, University of Trier, Germany

Patrick Gratz, University of Luxembourg, LuxembourgAngelo Beck, University of Trier, GermanyJean Botev, University of Trier, Germany

Hermann Schloss, University of Trier, GermanyIngo Scholtes, University of Trier, Germany


(EMBS-2) Embedded SystemsSession chair: Alessio Bechini, University of Pisa, Italy

FlashBox: A System for LoggingNon-Deterministic Events in Deployed Embedded

SystemsSiddharth Choudhuri, University of California, Irvine, United States

Tony Givargis, University of California, Irvine, United States

Impact of NVRAM Write Cache for File SystemMetadata on I/O Performance in Embedded

SystemsIn Hwan Doh, Hongik University, Korea

Hyo J. Lee, Hongik University, KoreaYoung Je Moon, Hongik University, Korea

Eunsam Kim, Hongik University, KoreaJongmoo Choi, Dankook University, KoreaDonghee Lee, University of Seoul, KoreaSam H. Noh, Hongik University, Korea

Storage Architecture and Software Support forSLC/MLC Combined Flash Memory

Soojun Im, Sungkyunkwan University, KoreaDongkun Shin, Sungkyunkwan University, Korea

The Current Feasibility of Gesture Recognition fora Smartphone Using J2ME

Luıs Tarrataca, Technical University of Lisbon, PortugalAndre C. Santos, Technical University of Lisbon, Portugal

Joao M.P. Cardoso, University of Porto, Portugal

An Adaptive Block-Set based Management forLarge-Scale Flash Memory

Zhanzhan Liu, University of Science & Technology of China, ChinaLihua Yue, University of Science & Technology of China, ChinaPeng Wei, University of Science & Technology of China, China

Peiquan Jin, University of Science & Technology of China, ChinaXiaoyan Xiang, University of Science & Technology of China, China


(SWA-2) The Semantic Web and ApplicationsSession chair: Sofia J. Athenikos, Drexel University, USA

Efficient Mobile Reasoning for Pervasive DiscoveryLuke Steller, Monash University, Australia

Shonali Krishnaswamy, Monash University, Australia

Applying Semantic Web Technology to FeatureModeling

Lamia Abo Zaid, Vrije Universiteit Brussel, BelgiumFrederic Kleinermann, Vrije Universiteit Brussel, Belgium

Olga De Troyer, Vrije Universiteit Brussel, Belgium


Parallel Materialization of Large ABoxesSivaramakrishnan Narayanan, The Ohio State University, United

StatesUmit Catalyurek, The Ohio State University, United States

Tahsin Kurc, Emory University, United StatesJoel Saltz, Emory University, United States

Leveraging OWL for GIS Interoperability:Rewards and Pitfalls

Serge Boucher, Universite Libre de Bruxelles, BelgiumEsteban Zimanyi, Universite Libre de Bruxelles, Belgium

Thu. 15:40 - 17:20 DS: Hibiscus Suite

(MCA-2) Mobile Computing and ApplicationsSession chair: Tommi Mikkonen, Sun Microsystems

A Destination Prediction Method Using DrivingContexts and Trajectory for Car Navigation

SystemsKohei Tanaka, Osaka University, Japan

Yasue Kishino, NTT Communication Science Laboratories, JapanTsutomu Terada, Kobe University, Japan

Shojiro Nishio, Grad. of Information Science and Technology, OsakaUniversity, Japan

A Mobility Management Scheme using SCTP-SIPfor Real-time Services across Heterogeneous

NetworksHyelim Park, Information and Communications University, Korea

Myungchul Kim, Information and Communications University,Korea

Sooyong Lee, Information and Communications University, KoreaSungwon Kang, Information and Communications University, Korea

Yongho Kim, Korea Telecom, Korea

Mobility Aware Path Maintenance in Ad hocNetworks

Sumesh Philip, Western Illinois University, United StatesVishal Anand, SUNY College at Brockport, United States

A Passive Conformance Testing Approach for aManet Routing Protocol

Ana Cavalli, Telecom & Management SudParis, FranceStephane Maag, Telecom & Management SudParis, France

Edgardo Montes de Oca, Montimage, FranceWilly Jimenez, Telecom & Management SudParis, France

A Flexible QoS-aware Routing Protocol forInfrastructure-less B3G Networks

Natallia Kokash, CWI, NetherlandsRoberto Speicys Cardoso, INRIA, FrancePierre-Guillaume Raverdy, INRIA, France

Valerie Issarny, INRIA, France

Thu. 17:20

Conference Ends


SAC 2009 Posters List

Tuesday, 9:00 - 12:00 Coral Lounge

Poster Session 1

(AOMS) Agent-Oriented Software EngineeringMethodologies and Systems

Extending PASSI to Model Multi-Agent SystemsProduct Lines

Ingrid Nunes, Pontifıcia Universidade Catolica do Rio de Janeiro,Brazil

Uira Kulesza, Federal University of Rio Grande do Norte, BrazilCamila Nunes, Pontifıcia Universidade Catolica do Rio de Janeiro,

BrazilElder Cirilo, Pontifıcia Universidade Catolica do Rio de Janeiro,

BrazilCarlos Lucena, Pontifıcia Universidade Catolica do Rio de Janeiro,

Brazil

Automatic Product Derivation of Multi-AgentSystems Product Lines

Elder Cirilo, Pontifıcia Universidade Catolica do Rio de Janeiro,Brazil

Ingrid Nunes, Pontifıcia Universidade Catolica do Rio de Janeiro,Brazil

Uira Kulesza, Federal University of Rio Grande do Norte, BrazilCamila Nunes, Pontifıcia Universidade Catolica do Rio de Janeiro,

BrazilCarlos Lucena, Pontifıcia Universidade Catolica do Rio de Janeiro,

Brazil

(BIO) Bioinformatics

On a Discretizable Subclass of Instances of theMolecular Distance Geometry ProblemCarlile Lavor, State University of Campinas, Brazil

Leo Liberti, LIX, Ecole Polytechnique, FranceAntonio Mucherino, LIX, Ecole Polytechnique, France

Nelson Maculan, Federal University of Rio de Janeiro, Brazil

Measuring Coherence between Electronic andManual Annotations in Biological Databases

Catia Pesquita, University of Lisbon, PortugalDaniel Faria, University of Lisbon, Portugal

Francisco M. Couto, University of Lisbon, PortugalRui Lopes, University of Lisbon, Portugal

Two Lower Bounds for Self-Assemblies atTemperature 1

Jan Manuch, Simon Fraser University, CanadaLadislav Stacho, Simon Fraser University, CanadaChristine Stoll, Simon Fraser University, Canada

(CAHC) Computer Application in Health Care

An Evaluation of Technologies for thePseudonymization of Medical Data

Thomas Neubauer, Vienna University of Technology, AustriaAndreas Ekelhart, Secure Business Austria, Austria

Automated Device for Determination of SkinLesion Regions

Mohammad El Habbal, American University of Beirut, LebanonMaya El Moghrabi, American University of Beirut, Lebanon

Omar Monajjed, American University of Beirut, LebanonAyman Kayssi, American University of Beirut, Lebanon

(CF) Computer Forensics

Clustering Malware-Generated Spam Emails witha Novel Fuzzy String Matching Algorithm

Chun Wei, University of Alabama at Birmingham, United StatesAlan Sprague, University of Alabama at Birmingham, United StatesGary Warner, University of Alabama at Birmingham, United States

Revealing Common Sources of Image Spam by anUnsupervised Clustering with Visual Features

Chengcui Zhang, University of Alabama at Birmingham, UnitedStates

Wei-Bang Chen, University of Alabama at Birmingham, UnitedStates

Xin Chen, University of Alabama at Birmingham, United StatesGary Warner, University of Alabama at Birmingham, United States

Reconstructing Strip-Shredded Documents UsingColor as Feature Matching

Marlos A.O. Marques, Pontifical Catholic University of Parana –PUCPR, Brazil

Cinthia O.A. Freitas, Pontifical Catholic University of Parana –PUCPR, Brazil

On the Persistence of Deleted Windows RegistryData Structures

Damir Kahvedzic, University College Dublin, IrelandTahar Kechadi, University College Dublin, Ireland

(CIIA) Computational Intelligence and ImageAnalysis

An Intelligent Video System for VehicleLocalization and Tracking in Police CarsAmirali Jazayeri, Indiana University Purdue University

Indianapolis, United StatesHongyuan Cai, Indiana University Purdue University Indianapolis,

United StatesJiang Yu Zheng, Indiana University Purdue University Indianapolis,

United StatesMihran Tuceryan, Indiana University Purdue University

Indianapolis, United StatesHerbert Blitzer, Indiana Forensic Institute, United States

A New Cross-Training Approach by Using LabeledData

Dongshan Huang, Huazhong University of Science & Technology,China

Enmin Song, Huazhong University of Science & Technology, ChinaGuangzhi Ma, Huazhong University of Science & Technology, ChinaHuirong Zhan, Huazhong University of Science & Technology, China

Chih-Cheng Hung, Southern Polytechnic State University, UnitedStates

Foreground Classification Using Active Templatein the Scene Context for Visual Surveillance

Xiaoying Sha, Ocean University of China / Lotus Hill ResearchInstitute, China

Xiaobai Liu, Huazhong University of Science & Technology / LotusHill Research Institute, China

Jianting Wen, Chinese Academy of Sciences, ChinaLiang Lin, Lotus Hill Research Institute, ChinaJunyu Dong, Ocean University of China, China

Shader Space Navigator: A Turbo for an Intuitiveand Effective Shading Process

Jae-Ho Lee, ETRI, KoreaMin-Hee Jang, Hanyang University, KoreaDu-Yeol Kim, Hanyang University, Korea

Sang-Wook Kim, Hanyang University, KoreaMin-Ho Kim, Studio Floating Island, Korea

Jin-Sung Choi, ETRI, Korea


(CM) Coordination Models, Languages andApplications

Applying Reo to Service Coordination inLong-Running Business Transactions

Natallia Kokash, CWI, NetherlandsFarhad Arbab, CWI, Netherlands

(CN) Computer Networks

Securing Key Issuing in Peer-to-Peer NetworksCong Tang, School of EECS, Peking University, China

Ruichuan Chen, School of EECS, Peking University, ChinaZhuhua Cai, School of EECS, Peking University, ChinaAnmin Xie, School of EECS, Peking University, ChinaJianbin Hu, School of EECS, Peking University, China

Liyong Tang, School of EECS, Peking University, ChinaZhong Chen, School of EECS, Peking University, China

Analysis of the Secure RTP Protocol on Voice overWireless Networks Using Extended MedQoSAlexandre Passito, Federal University of Amazonas, Brazil

Edjair Mota, Federal University of Amazonas, BrazilEdjard Mota, Federal University of Amazonas, Brazil

Edson Nascimento, Jr., Federal University of Amazonas, Brazil

Preservation of Ordering in a Network of BrokersCassio M.M. Pereira, Faculdades COC, Brazil

Daniel C. Lobato, Faculdades COC, BrazilCesar A.C. Teixeira, Universidade Federal de Sao Carlos, Brazil

Maria G. Pimentel, Universidade de Sao Paulo, Brazil

(DADS) Dependable and Adaptive DistributedSystems

An Approach to Identifying ConversationDependency in Service Oriented System during

Dynamic EvolutionMin Liu, State Key Laboratory of Software Development

Environment of Beihang University, ChinaDianfu Ma, State Key Laboratory of Software Development

Environment of Beihang University, ChinaYongwang Zhao, State Key Laboratory of Software Development

Environment of Beihang University, China

(DM) Data Mining

Mining Functional Associated Patterns FromBiological Network Data

Xuequn Shang, Northwestern Polytechnical University, ChinaZhanhuai Li, Northwestern Polytechnical University, China

Wei Li, Northwestern Polytechnical University, China

(DS) Data Streams

Real-Time Scheduling for Continuous Queries withDeadlines

Li Ma, Chinese Academy of Sciences/China University ofPetroleum, China

Xin Li, Shandong University, ChinaYongyan Wang, Chinese Academy of Sciences, ChinaHongan Wang, Chinese Academy of Sciences, China

A Method for Clustering Transient Data StreamsPimwadee Chaovalit, University of Maryland, Baltimore County,

United StatesAryya Gangopadhyay, University of Maryland, Baltimore County,

United States

Incremental Outlier Detection in Data StreamsUsing Local Correlation Integral

Xinjie Lu, Chinese Academy of Sciences, ChinaTian Yang, Chinese Academy of Sciences, ChinaZaifei Liao, Chinese Academy of Sciences, China

Manzoor Elahi, Chinese Academy of Sciences, ChinaWei Liu, Chinese Academy of Sciences, China

Hongan Wang, Chinese Academy of Sciences, China

(EC) Applications of EvolutionaryComputation

Daily Demand Forecasting of New ProductsUtilizing Diffusion Models and Genetic Algorithms

Masaru Tezuka, Hitachi East Japan Solutions, Ltd., JapanSatoshi Munakata, Hitachi East Japan Solutions, Ltd., Japan

(EIS) Enterprise Information Systems

Constructing Process Views for ServiceOutsourcing

Rik Eshuis, Eindhoven University of Technology, NetherlandsAlex Norta, University of Helsinki, Finland

Web Services in the Dutch Healthcare InsuranceSector: Expected Versus Achieved Benefits

Hayley Bakker, University of Twente, NetherlandsMaria E. Iacob, University of Twente, Netherlands

(GCR) Geometric Constraints and Reasoning

The Unique Solution for P3P ProblemJianliang Tang, College of Mathematics & Computing Science,

Shenzhen University, ChinaNengzeng Liu, College of Mathematics & Computing Science,

Shenzhen University, China

Topology Determination and Isolation for ImplicitPlane Curves

Jin-San Cheng, Chinese Academy of Sciences, ChinaXiao-Shan Gao, Chinese Academy of Sciences, China

Jia Li, Chinese Academy of Sciences, China

Multivariate Root Finding with Search SpaceDecomposition and Randomisation

Markus Farber, Technische Universitat Ilmenau, GermanyBeat Bruderlin, Technische Universitat Ilmenau, Germany

(HCI) Human-Computer Interaction

Formalizing Motivational Patterns based on Colorsand Their Cultural Meanings for Developing Web

ApplicationsAna Luiza Dias, Universidade Federal de Sao Carlos, Brazil

Junia C. Anacleto, Universidade Federal de Sao Carlos, BrazilLuciana M. Silveira, Universidade Tecnologica do Parana, BrazilRosangela Ap. D. Penteado, Universidade Federal de Sao Carlos,

Brazil

Design and Implementation on a Pie MenuInterface for Analog Joysticks

Masakatsu Miyamoto, Kobe University, JapanTsutomu Terada, Kobe University, Japan

Masahiko Tsukamoto, Kobe University, Japan

Development of a Biosignals Framework forUsability Analysis

Ines Oliveira, CICANT, Universidade Lusofona, PortugalRui Lopes, LaSIGE/University of Lisbon, Portugal

Nuno M. Guimaraes, LaSIGE/University of Lisbon, Portugal


MATRACA: A Tool to Provide Support for Peoplewith Impaired Vision when Using the Computer

for Simple TasksFrancisco Gomes de Oliveira Neto, Federal University of Campina

Grande, BrazilJoseana Macedo Fechine, Federal University of Campina Grande,

BrazilRoberta Ribeiro G. Pereira, Federal University of Campina Grande,

BrazilPaloma F. de Queiroz e Silva, Federal University of Campina

Grande, BrazilMichelly Guedes de Oliveira, Federal University of Campina Grande,

BrazilJose Eustaquio R. Queiroz, Federal University of Campina Grande,

Brazil

(IAR) Information Access and Retrieval

Stratified Division Queries Involving Ordinal UserPreferences

P. Bosc, Irisa/Enssat - University of Rennes 1, FranceO. Pivert, Irisa/Enssat - University of Rennes 1, France

O. Soufflet, Irisa/Enssat - University of Rennes 1, France

Music Retrieval based on a Multi-SamplesSelection Strategy for Support Vector Machine

Active LearningTian-jiang Wang, Huazhong University of Science & Technology,

ChinaGang Chen, Huazhong University of Science & Technology, China

Perfecto Herrera, Universitat Pompeu Fabra, Spain

A Light-Weight Summarizer based on LanguageModel with Relative Entropy

Chandan Kumar, International Institute of Information Technology,India

Prasad Pingali, International Institute of Information Technology,India

Vasudeva Varma, International Institute of Information Technology,India

Improved Spam Filtering by Extraction ofInformation from Text Embedded Image E-mail

Seongwook Youn, University of Southern California, United StatesDennis McLeod, University of Southern California, United States

(SOAP) Service Oriented Architectures andProgramming

Assessing Complexity of Service-OrientedComputing Using Learning Classifier Systems

Lei Liu, Karlsruhe Institute of Technology (KIT), Institute AIFB,Germany

Stefan Thanheiser, Karlsruhe Institute of Technology (KIT),Institute AIFB, Germany

Hartmut Schmeck, Karlsruhe Institute of Technology (KIT),Institute AIFB, Germany

(SWA) The Semantic Web and Applications

Semantic Information and Sensor NetworksKrishnaprasad Thirunarayan, Wright State University, United States

Joshua Pschorr, Wright State University, United States

SemanticQA: Web-Based Ontology-DrivenQuestion Answering

Samir Tartir, University of Georgia, United StatesBobby McKnight, University of Georgia, United StatesI. Budak Arpniar, University of Georgia, United States

Tuesday, 14:00 - 17:00 Coral Lounge

Poster Session 2

(CS) Computational Sciences

An Algorithm for Optimal Comma Free Codeswith Isomorphism Rejection

Hao Wang, Michigan Technological University, United StatesVladimir D. Tonchev, Michigan Technological University, United

States

Reduced Parallel PNN Algorithm for PC GridSystems

Akiyoshi Wakatani, Konan University, JapanTakuya Koezuka, Konan University, Japan

Exhaustion Dominated Performance – A FirstAttempt

Nima Namaki, University West, SwedenAndreas de Blanche, University West, Sweden

Stefan Mankefors-Christiernin, University West, Sweden

(CSP) Constraint Solving and Programming

An Approximate Approach to Constraint Solvingin Soft Sensing

Tian Yang, Chinese Academy of Sciences, ChinaZaifei Liao, Chinese Academy of Sciences, ChinaXinjie Lu, Chinese Academy of Sciences, China

Hongan Wang, Chinese Academy of Sciences, China

The Sum-of-Increments Constraint in theConsecutive-Ones Matrix Decomposition Problem

Sebastian Brand, University of Melbourne, Australia

(DTTA) Data Theory, Technology, andApplications

Consistent and Decentralized Orchestration ofBPEL Processes

Weihai Yu, University of Tromsø, Norway

Building an Efficient Preference XML QueryProcessor

SungRan Cho, University of Hannover, GermanyWolf-Tilo Balke, University of Hannover, Germany

(EMBS) Embedded Systems

Method for Fast Compression of Program Codesfor Remote Updates in Embedded SystemsRyozo Kiyohara, Mitsubishi Electric Corporation, Japan

Satoshi Mii, Mitsubishi Electric Corporation, JapanMitsuhiro Matsumoto, Osaka University, Japan

Masayuki Numao, Osaka University, JapanSatoshi Kurihara, Osaka University, Japan

On Scheduling Soft Real-Time Tasks withLock-Free Synchronization for Embedded Devices

Shouwen Lai, Virginia Tech, United StatesBinoy Ravindran, Virginia Tech, United States

Hyeonjoong Cho, ETRI, Korea


ERIKA and OpenZB: An Implementation forReal-Time Wireless Networking

Paolo Pagano, Scuola Superiore Sant’Anna, ItalyMangesh Chitnis, Scuola Superiore Sant’Anna, ItalyAntonio Romano, Scuola Superiore Sant’Anna, ItalyGiuseppe Lipari, Scuola Superiore Sant’Anna, Italy

Ricardo Severino, Polytechnic Institute of Porto, PortugalMario Alves, Polytechnic Institute of Porto, Portugal

Paulo G. Sousa, Polytechnic Institute of Porto, PortugalEduardo Tovar, Polytechnic Institute of Porto, Portugal

(MCA) Mobile Computing and Applications

High-Level Specification of a MiddlewareFramework for Mobile Ad Hoc Networks –

Spontaneousware CaseVando de Freitas Batista, Federal University of Pernambuco, Brazil

Nelson Souto Rosa, Federal University of Pernambuco, Brazil

Scene Map on Wireless Mobile PlatformJiang Yu Zheng, Indiana University Purdue University Indianapolis,

United States

Towards a Landmark Influence Framework toProtect Location Privacy

Mehrab Monjur, Marquette University, United StatesSheikh I. Ahamed, Marquette University, United States

(MMV) Multimedia and Visualization

Efficient Concept Detection by Fusing SimpleVisual Features

Duy-Dinh Le, National Institute of Informatics, JapanShin’ichi Satoh, National Institute of Informatics, Japan

Visualization of Information Flows in a Very LargeSocial Network

Shin-gyu Kim, Seoul National University, KoreaHyuck Han, Seoul National University, Korea

Kyungho Jeon, Seoul National University, KoreaHyungsoo Jung, Seoul National University, KoreaHeon Y. Yeom, Seoul National University, Korea

Two-Dimensional Non-Photorealistic Drawings onMobile Devices

Damon Shing-Min Liu, National Chung Cheng University, TaiwanChi-Hsien Liu, National Chung Cheng University, TaiwanChing-I Cheng, National Chung Cheng University, Taiwan

Fast Mode Decision for Scalable Video Codingbased on Neighboring Macroblock Analysis

Gyeongeun Goh, Pusan National University, KoreaJinmi Kang, Pusan National University, KoreaMisook Cho, Pusan National University, Korea

Kidong Chung, Pusan National University, Korea

A Framework for Text Visualization UsingMemory Traffic Management for Mobile DevicesJoao Bosco Ferreira Filho, Universidade Federal do Ceara, Brazil

Jose de S.R. Neto, Universidade Federal do Ceara, BrazilClaudio R.F. Lima, Universidade Federal do Ceara, Brazil

Rossana M.C. Andrade, Universidade Federal do Ceara, Brazil

(OE) Organizational Engineering

Structuring a Process Management Center ofExcellence

Rafael Paim, Federal Center for Technological Education CelsoSuckow da Fonseca, Brazil

Vanessa Nunes, NP2Tec/Federal University of the State of Rio deJaneiro (UNIRIO), Brazil

Bruno Pinho, GEOS, BrazilFlavia Santoro, NP2Tec, Brazil

Claudia Cappelli, NP2Tec, BrazilFernanda Araujo Baiao, NP2Tec, Brazil

Constraint-Based Modelling and Analysis ofOrganisations

Viara Popova, De Montfort University, United KingdomAlexei Sharpanskykh, Vrije Universiteit Amsterdam, Netherlands

Architecture-Driven Requirements EngineeringWilco Engelsman, BiZZdesign, Netherlands

Maria E. Iacob, University of Twente, NetherlandsHenry M. Franken, BiZZdesign, Netherlands

(OS) Operating Systems

Arbiter-Recall: A New Function Update Schemeby Arbitration between a Remote Call and a

Dynamic Update for Wireless Sensor NetworksSangho Yi, Seoul National University, KoreaHong Min, Seoul National University, Korea

Yookun Cho, Seoul National University, KoreaYeongkwun Kim, Western Illinois University, United States

Injoo Jeong, East West University, United StatesHyung Bae Park, University of Missouri at Kansas City, United

StatesSun-Ae Shin, University of Missouri at Kansas City, United States

RPP: Reference Pattern based PrefetchingController

Hyo J. Lee, Hongik University, KoreaIn Hwan Doh, Hongik University, KoreaSam H. Noh, Hongik University, Korea

A Practical Evaluation of Large-Memory DataProcessing on a Reliable Remote Memory System

Hyungsoo Jung, Seoul National University, KoreaHyuck Han, Seoul National University, Korea

Shin-gyu Kim, Seoul National University, KoreaHeon Y. Yeom, Seoul National University, Korea

(PL) Programming Languages

Data Parallel Dialect of SchemePetr Krajca, SUNY Binghamton, United States

Vilem Vychodil, SUNY Binghamton, United States

Kenro: A Virtual Machine Monitor MostlyDescribed in Haskell

Yoshihiro Oyama, The University of Electro-Communications, JapanYoshiki Kaneko, The University of Electro-Communications, JapanHideya Iwasaki, The University of Electro-Communications, Japan

(RE) Requirement Engineering

Early Phase Requirements Assessment of aTeletreatment Trial

I. Widya, University of Twente, NetherlandsB.J.F. van Beijnum, University of Twente, Netherlands

R. Bults, University of Twente, NetherlandsV. Jones, University of Twente, Netherlands

H. Hermens, University of Twente, NetherlandsL. Sandsjo, University of Gothenburg, Sweden

L. Schaake, Roessingh Research & Development, NetherlandsM.H.A. Huis in ’t Veld, Roessingh Research & Development,

Netherlands

Architectural Requirements Prioritization andAnalysis Applied to Software Technology

EvaluationKaren Smiley, ABB Corporate Research, United StatesQingfeng He, ABB Corporate Research, United States

Elizabeth Kielczewski, ABB Corporate Research, United StatesAldo Dagnino, ABB Corporate Research, United States


A Systematic Method for Generating QualityRequirements Spectrum

Shunichi Suzuki, Shinshu University, JapanTomonori Sato, Shinshu University, Japan

Masaaki Tanigawa, Shinshu University, JapanAkira Osada, Shinshu University, Japan

Haruhiko Kaiya, Shinshu University, JapanKenji Kaijiri, Shinshu University, Japan

Requirements Modelling and Evaluation for DigitalPreservation: A COTS Selection Method based on

Controlled ExperimentationChristoph Becker, Vienna University of Technology, AustriaAndreas Rauber, Vienna University of Technology, Austria

(ROBOT) Intelligent Robotic Systems

A Nonlinear Mobile Robot Modeling Applied to aModel Predictive Controller

Andre Scolari Conceicao, Federal University of Ouro Preto, BrazilA. Paulo Moreira, University of Porto, Portugal

Paulo Costa, University of Porto, Portugal

Visual Navigation: Image Profiles for Odometryand Control

Devin Smith, Harvey Mudd College, United StatesZachary Dodds, Harvey Mudd College, United States

(RTS) Real-Time Systems

Designing Reliable Real-Time ConcurrentObject-Oriented Software Systems

Alfredo Capozucca, LASSY-University of Luxembourg, LuxembourgNicolas Guelfi, LASSY-University of Luxembourg, Luxembourg

Designing a Multi-Core Hard Real-Time Test Bedfor Energy Measurement Experiments

Tongquan Wei, Michigan Tech University, United StatesXiaodao Chen, Michigan Tech University, United StatesPiyush Mishra, Michigan Tech University, United States

(SE) Software Engineering

A Consumer/Producer Approach to Risk-DrivenSoftware Reliability and Testing

Norman Schneidewind, Naval Postgraduate School, United StatesMike Hinchey, Lero-the Irish Software Engineering Research Centre,

Ireland

Designing a Distributed AOP RuntimeComposition Model

Ruben Mondejar, Universitat Rovira i Virgili, SpainPedro Garcia, Universitat Rovira i Virgili, SpainCarles Pairot, Universitat Rovira i Virgili, SpainPascal Urso, Nancy-Universite, INRIA, FrancePascal Molli, Nancy-Universite, INRIA, France

An Approach to Detection of UML-BasedOwnership Violation

Hector Miguel Chavez, Western Michigan University, United StatesWuwei Shen, Western Michigan University, United States

Shaoying Liu, Hosei University, Japan

An Extensible Source-Level DebuggerZiad Al-Sharif, University of Idaho, United StatesClinton Jeffery, University of Idaho, United States

A Property-Based Verification Approach inAspect-Oriented Modeling

Eunjee Song, Baylor University, United StatesHanil Kim, Cheju National University, Korea

Wuliang Sun, Baylor University, United States

The Visual Authoring Tool of Flash-BasedComponent for Interactive Item Template

Chorng-Shiuh Koong, National Taichung University, TaiwanChing-Meng Lee, National Chiao Tung University, TaiwanDeng-Jyi Chen, National Chiao Tung University, Taiwan

Chih-Hung Chang, Hsiuping Institute of Technology, TaiwanChihhsiong Shih, Tunghai University, Taiwan

Abstraction of Multiple Executions ofObject-Oriented Programs

Chunying Zhao, University of Texas at Dallas, United StatesKang Zhang, University of Texas at Dallas, United States

Yu Lei, University of Texas at Dallas, United States

(SIM) Advances in Computer Simulation

Simulating Business Processes with EPML-SimDavide Rossi, University of Bologna, ItalyElisa Turrini, University of Bologna, ItalyFabio Vitali, University of Bologna, Italy

Using Probabilistic Model Checking andSimulation for Designing Self-Organizing Systems

Matteo Casadei, Universita di Bologna, ItalyMirko Viroli, Universita di Bologna, Italy

Conceptualization and Implementation of aMicroscopic Pedestrian Simulation Platform

Edgar F. Esteves, LIACC-FEUP, PortugalRosaldo J.F. Rossetti, LIACC-FEUP, PortugalPaulo A.F. Ferreira, LIACC-FEUP, PortugalEugenio C. Oliveira, LIACC-FEUP, Portugal

Precise Generalized Contact Point and NormalDetermination for Rigid Body Simulation

Dylan A. Shell, University of Southern California, United StatesEvan Drumwright, University of Memphis, United States

(SOPDS) Self-Organization in PervasiveDistributed Systems

A Real Time Financial System based on Grid andCloud Computing

Francesco Maria Aymerich, University of Cagliari, ItalyGianni Fenu, University of Cagliari, Italy

Simone Surcis, Cosmolab Consortium, Italy

A Biochemical Metaphor for Developing EternallyAdaptive Service Ecosystems

Mirko Viroli, Universita di Bologna, ItalyMatteo Casadei, Universita di Bologna, ItalySara Montagna, Universita di Bologna, Italy

Franco Zambonelli, Universita di Modena e Reggio Emilia, Italy

Decentralized Coordination of Homogeneous andHeterogeneous Agents by Digital Infochemicals

Holger Kasinger, University of Augsburg, GermanyJorg Denzinger, University of Calgary, Canada

Bernhard Bauer, University of Augsburg, Germany

(TRECK) Trust, Reputation, Evidence andother Collaboration Know-how

Modeling and Analyzing Review Information onthe Web Focusing on CredibilityTakuya Kobayashi, Kyoto University, JapanHiroaki Ohshima, Kyoto University, JapanSatoshi Oyama, Kyoto University, Japan

Katsumi Tanaka, Kyoto University, Japan


(WSN) Wireless Sensor Networks

Integrating Standardized Transaction Protocols inService-Oriented Wireless Sensor Networks

Christoph Reinke, Institute of Information Systems, University ofLubeck, Germany

Nils Hoeller, Institute of Information Systems, University of Lubeck,Germany

Jana Neumann, Institute of Information Systems, University ofLubeck, Germany



Martin Lipphardt, Institute of Telematics, University of Lubeck,Germany

Towards Developing a Trust based SecuritySolution

Sheikh I. Ahamed, Marquette University, United StatesDonghyun Kim, Marquette University, United States

Chowdhury S. Hasan, Marquette University, United StatesMohammad Zulkernine, Queen’s University, Canada

(WT) Web Technologies

Designing of a System Model for Web 3D DisabledAccess GIS on Web 2.0

Shinobu Izumi, Kyushu Institute of Technology, JapanToshihiro Uchibayashi, Kyushu Sangyo University, JapanTakaichi Yoshida, Kyushu Institute of Technology, Japan

Identifying Discourse Mistakes in Web Debates:Moderation in the DCC

Cristiano Maciel, Universidade Federal do Mato Grosso, BrazilPereira Vinicius Carvalho, UFRJ, Brazil

Roque Licinio, UC, PortugalBicharra Garcia Ana Cristina, UFF, Brazil

WebFlowAH: An Environment for Ad-HocSpecification and Execution of Web Services-Based

ProcessesReginaldo Mendes, Federal University of Rio Grande do Norte,

BrazilPaulo F. Pires, Federal University of Rio Grande do Norte, BrazilFlavia Delicato, Federal University of Rio Grande do Norte, BrazilThais Batista, Federal University of Rio Grande do Norte, Brazil

An Approach for Semantic Web ServicesAutomatic Discovery and Composition with

Similarity MetricsIvo Calado, Federal University of Campina Grande, Brazil

Heitor Barros, Federal University of Alagoas, BrazilIg Ibert Bittencourt, Federal University of Campina Grande &

Federal University of Alagoas, BrazilEvandro Costa, Federal University of Alagoas, BrazilElvys Soares, Federal University of Alagoas, BrazilMarlos Silva, Federal University of Alagoas, Brazil

Marcelo Arruda, Federal University of Alagoas, BrazilTarsis Toledo, Federal University of Alagoas, Brazil

SAC 2010 Invitation

SAC 2010 will be held in Crans-Montana/Sierre, Switzer-land, from March 21st to March 26th, 2010. It is hostedby the University of Applied Sciences Western Switzer-land (HES-SO) Sierre, and Ecole Polytechnique Federale deLausanne (EPFL), Switzerland. Please check the registra-tion desk for handouts. You can also visit the website athttp://www.acm.org/conferences/sac/sac2010/.

We hence invite you to submit track proposals and techni-cal papers, helping us in making SAC 2010 a very successfulconference.
