APPLIED COMPUTING 2005

The 20th Annual ACM Symposium on Applied Computing

PROCEEDINGS OF THE 2005 ACM

SYMPOSIUM ON APPLIED COMPUTING

Santa Fe, New Mexico

March 13-17,2005

Organizing Committee

Hisham M. Haddad

Lorie M. Liebrock

Andrea Omicini

Roger L. Wainwright

Mathew J. Palakal

Maggie Wilds

Horst Clausen

Ubiquitous

TRECK

Software Engineering

Reliable Computations

Programming Languages

Prog and Separationof Concerns

Organization Engineering

OO Programming

Multimedia

Mobile Computing

Information AccessHandheld Evolutionary EmbeddedComputing Computing Systems

Agents

Approximation Reasoning

Bioinformatics

Computing in Health Care

Computer-Aided Law

- Computer Security

Constraint Solving

Coordination Models

Data Mining

Data Streams

Database

Distributed Systems

Document Engineering

E-Commerce

acm]

TIB/UB Hannover 89

128 599 006

Hosted by

the New Mexico Institute of Mining and Technology, Socorro, NM

Table of ContentsSymposium Organizing Committee iii

Sponsoring SIG Information iv

Co-Editors (Track Chairs) v

Message from the Symposium Chair viii

Message from Program Chairs ix

Keynote Address: The Future of Systematic Information Protection 1

Bob Hutchinson

Keynote Address: Order Relations and Rigor in Computing 2

Ramon E, Moore

AI and Computational Logic and Image Analysis (AI)Track Chair: C.C. Hung, Southern Polytechnic State University, USATrack Co-Chair: Agostinho Rosa, LaSEEB -ISR - 1ST, Portugal

Track Editorial 3

Experimenting with a Real-Size Man-Hill to Optimize Pedagogical Paths 4

Gregory Valigiani, University ofCalais

Yannick Jamont, Paraschool CompanyClaire Bourgeois Republique, University ofBourgogneRaphael Biojout, Paraschool CompanyEvelyne Lutton, INRIA RocquencourtPierre Collet, University of Calais

An Hybridization of an Ant-based Clustering Algorithm with GrowingNeural Gas Networks for Classification Tasks 9

Marco A. Montes de Oca, Monterrey Institute of Technology, Mexico

Leonardo Garrido, Monterrey Institute ofTechnology, Mexico

Jose L. Aguirre, Monterrey Institute ofTechnology, Mexico

Reinforcement Learning Agents with Primary Knowledge Designed byAnalytic Hierarchy Process 14

Kengo Katayama, Okayama University ofScience, JapanTakahiro Koshiishi, Okayama University ofScience, JapanHiroyuki Narihisa, Okayama University ofScience, Japan

Estimating Manifold Dimension by Inversion Error 22

Shawn Martin, Sandia National Laboratories, USA

Alex Backer, Sandia National Laboratories, USA

Data Driven Approach to Designing Minimum Hamming Distance Polychotomizer 27

Jie Zhou, Northern Illinois University, USA

Giovanni Pasteris, Northern Illinois University, USA

XI

i

Variable Selection and Ranking for Analyzing Automobile Traffic Accident Data 32

Huanjing Wang, The University ofAlabama, USA

Allen Parrish, The University ofAlabama, USA

Randy K. Smith, The University ofAlabama, USA

Susan Vrbsky, The University ofAlabama, USA

Stochastic Scheduling of Active Support Vector Learning Algorithms 38

Gaurav Pandey, University ofMinnesota, USA

Himanshu Gupta, Indian Institute ofTechnology, India

Pabitra Mitra, Indian Institute ofTechnology, USA

Poster Papers

The T-detectors Maturation Algorithm Based on Match Range Model 43

Dongyong Yang, Zhejiang University of Technology, China

Jungan Chen, Zhejiang University ofTechnology, China

A Comparison on Information Fusion Methods for Air Target Identification 45

Dongseob Jang, McMaster University, Canada

Sung Shin, South Dakota State University, USA

Charlie Shim, South Dakota State University, USA

C.C. Hung, Southern Polytechnic State University, USA

Agents, Interactions, Mobility, and Systems (AIMS)Track Co-Chairs: Henry Hexmoor, University of Arkansas, USA

Marcin Paprzycki, Oklahoma State University, USA

Niranjan Suri, IHMC / University of West Florida, USA

Mobile Agents for Network Management: When and When Not! 47

Huy Hoang To, Monash University, Australia

Shonali Krishnaswamy, Monash University, Australia

Bala Srinivasan, Monash University, Australia

Agent Technology for Personalized Information Filtering: The PIA-System 54

Sahin Albayrak, DAI-Lab ofTU ofBerlin, GermanyStefan Wollny, DAI-Lab ofTU ofBerlin, GermanyNicolas Varone, DAI-Lab of TU ofBerlin, GermanyAndreas Lommatzsch, DAI-Lab ofTU ofBerlin, Germany

Dragan Milosevic, DAI-Lab ofTU ofBerlin, Germany

An Agent Model for Fault-tolerant Systems 60

Avelino Francisco Zorzo, PURCS, Brazil

Felipe Rech Meneguzzi, PURCS, Brazil

A Distributed Content-Based Search Engine Based on Mobile Code 66

Volker Roth, OGMLaboratory, LLC, USA

Ulrich Pinsdorf, Fraunhofer IGD, GermanyJan Peters, Fraunhofer IGD, Germany

xii

An Empirical Evaluation of Communication Effectiveness in

Autonomous Reactive Multiagent Systems 74

David Hurt, University ofNorth Texas, USA

Paul Tarau, University ofNorth Texas, USA

A Multi-Agent Approach for Solving OptimizationProblems involving Expensive Resources 79

Hoong Chuin Lau, National University ofSingapore, SingaporeHui Wang, University ofSouthern California, USA

Forming Resource-Sharing Coalitions: A Distributed Resource Allocation

Mechanism for Self-interested Agents in Computational Grids 84

Linli He, TexasA&M University, USA

Thomas loerger, Texas A&M University, USA

Poster Paper

Reliability Analysis of Mobile Agent-based Systems 92

Mosaab Daoud, University ofGuelph, Canada

Qusay Mahmoud, University ofGuelph, Canada

Approximate Reasoning in Human Decision Making (ARHD)Track Co-Chairs: Robert John, De Montfort University, United Kingdom

Johnathan Garibaldi, University of Nottingham, United Kingdom

Fuzzy Approach to Outsourcing of Information Technology Services 94

Ludmil Mikhailov, The University ofManchester, United KingdomPetco Tsvetinov, Queensland University ofTechnology, Australia

Bioinformatics (BIO)Track Co-Chairs: Mathew J. Palakal, Indiana University Purdue University Indianapolis, USA

Sven Rahmann, University of Bielefeld, GermanyBirong Liao, Lilly Research Laboratories, USA

Track Editorial 99

Efficient Discovery of Unique Signatures on Whole-genome EST Databases 100

Hsiao Ping Lee, National Tsing Hua University, Taiwan

Tzu Fang Sheu, National Tsing Hua University, Taiwan

Yin Te Tsai, Providence University, Taiwan

Grid-based Management of Biomedical Data using an XML-based

Distributed Data Management System 105

Shannon Hastings, The Ohio State University, USA

Stephen Langella, The Ohio State University, USA

Scott Oster, The Ohio State University, USA

Tahsin Kurc, The Ohio State University, USA

Tony Pan, The Ohio State University, USA

Umit Catalyurek The Ohio State University, USA,

Dan Janies, The Ohio State University, USA

Joel Saltz, The Ohio State University, USA

XIII

A Complex Biological Database Querying Method HOJake Yue Chen, Indiana University - Purdue University Indianapolis, USA

John Carlis, University ofMinnesota, USA

Ning Gao, Indiana University ~ Purdue University Indianapolis, USA

PViN - A Scalable and Flexible System for Visualizing Pedigree Databases 115

Eric Wernert, Indiana University, USA

Jagannathan Lakshmipathy, Indiana University - Purdue University Indianapolis, USA

Incremental Interactive Mining of Constrained Association Rules from

Biological Annotation Data with Nominal Features 123

Imad Rahal, North Dakota State University, USA

Dongmei Ren, North Dakota State University, USA

Amal Perera, North Dakota State University, USA

Hassan Najadat, North Dakota State University, USA

William Perrizo, North Dakota State University, USA

Riad Rahal, University ofIowa, USA

Willy Valdivia, Orion Integrated Biosciences, USA

A Framework for Result Handling in Bioinformatics: an Application to

Computer Assisted Drug Design 128

Andrei Oliveira da Silva, LABIO - PPGCC/PUCRS, Brazil

Osmar Norberto de Souza, LABIO - PPGCC/PUCRS, Brazil

Graphical Rule-Based Representation of Signal-Transduction Networks 133

James R. Faeder, Los Alamos National Laboratory, USA

Michael L. Blinov, Los Alamos National Laboratory, USA

William S. Hlavacek, Los Alamos National Laboratory, USA

Generating Association Graphs of Non-Co-occurring Text

Objects using Transitive Methods 141

Niranjin Jayadevaprakash, Purdue University, USA

Snehasis Mukhopadhyay, Purdue University, USA

Mathew Palakal, Purdue University, USA

An Approximation Algorithm for Haplotype Inference by Maximum Parsimony 146

Yao-Ting Huang, National Taiwan University, Taiwan

Kim-Mao Chao, National Taiwan University, Taiwan

Ting Chen, University ofSouthern California, USA

Efficient Mass Decomposition 151

Sebastian Bocker, Universitdt Bielefeld, GermanyZsuzsanna Liptdk, Universitdt Bielefeld, Germany

CAFISS: A Complex Adaptive Framework for Immune System Simulation 158

Joe Cing Toy, Nanyang Technological University, SingaporeAtulJhavar, Nanyang Technological University, Singapore

Object-Oriented Wound Healing in the Liver: a Class-Structured

View of Fibrogenesis and a Glimpse of its Evolution 165

Jacqueline Signorini, Universite Paris 8, France

Patrick Greussay, Universite Paris 8, France

XIV

Volume Fractal Dimensionality: A Useful Parameter for Measuring the

Complexity of 3D Protein Spatial Structures 172

Min Hu, Zhejiang University, China

Qunsheng Peng, Zhejiang University, China

A New Approach for Gene Prediction Using Comparative Sequence Analysis 177

Rong Chen, University ofNebraska at Omaha, USA

Hesham Ali, University ofNebraska at Omaha, USA

Comparing Approaches to Predict Transmembrane Domains in Protein Sequences 185

Paul Davidsson, Blekinge Institute ofTechnology, Sweden

Johan Hagelbdck, Travelstart Nordic, Sweden

Kenny Svensson, Ericsson AB, Sweden

Design and Evaluation of CATPA: Curation and Alignment Tool for Protein Analysis 190

Mehmet Dalkilic, Indiana University, USA

Arijit Sengupta, Indiana University, USA

Optimizing Syntax Patterns for Discovering Protein-Protein Interactions 195

ConradPlake, Humboldt-Universitdtzu Berlin, Germany

Jbrg Hakenberg, Humbolt- Universitdt zu Berlin, Germany

UlfLeser, Humboldt- Universitdt zu Berlin, Germany

Poster Papers

EXONSCAN: EXON Prediction with Signal Detection and Coding Region

AligNment in Homologous Sequences 202

Shu Ju Hsieh, National Tsing-Hua University, Taiwan

Yun Sheng Chung, National Tsing-Hua University, Taiwan

Chun Yuan Lin, National Tsing-Hua University, Taiwan

Chuan Yi Tang, National Tsing-Hua University, Taiwan

Tree-based Clustering for Gene Expression Data 204

Baoying Wang, North Dakota State University, USA

William Perrizo, North Dakota State University, USA

Cleaning Microarray Expression Data using Markov Random

Fields Based on Profile Similarity 206

Raymond Wan, Kyoto University, JapanHiroshi Mamitsuka, Kyoto University, Japan

Kiyoko Aoki, Kyoto University, Japan

Prediction of Inherited and Genetic Mutations Using the Software Model Checker SPIN 208

Zubin Balsara, University of Texas at El Paso, USA

Steve Roach, University ofTexas at El Paso, USA

Text-Based Summarization and Visualization of Gene Clusters 210

Pankaj Kankar, IBMResearch Laboratory, India

Sougata Mukherjea, IBM Research Laboratory, India

Finding Saddle Points using Stability Boundaries 212

Chandan Reddy, Cornell University, USA

Hsiao-Dong Chiang, Cornell University, USA

xv

Computer Applications in Health Care (CAHC)Track Chair: Valentin Masero, University of Extremadura, Spain

Track Editorial 214

An Analysis of Modeling Flaws in HL7 and JAHIS 216

Eduardo Fernandez, Florida Atlantic University, USA

Tami Sorgente, Florida Atlantic University, USA

Protecting Sensitive Patient Data via Query Modification 224

David Power, Oxford University, UKMark Slaymaker, Oxford University, UK

Eugenia Politou, Oxford University, UKAndrew Simpson, Oxford University, UK

An Interactive Evolutionary Algorithm for Cochlear Implant Fitting: First Results 231

Claire Bourgeois-Republique, University ofBourgogne, France

Gregory Valigiani, ULCO, France

Pierre Collet, ULCO, France

Data Logistics as a Means of Integration in Healthcare Applications 236

Stefan Jablonski, University ofErlangen-Nuernberg, GermanyRainer Lay, University ofErlangen-Nuernberg, GermanyChristian Meiler, University ofErlangen-Nuernberg, GermanySasch Muller, University ofErlangen-Nuernberg, GermanyWolfgang Hummer, University ofErlangen-Nuernberg, Germany

The Intensity Level Reduction in Radiation Therapy 242

Xiaodong Wu, The University ofTexas, USA

John Abraham, The University ofTexas, USA

Multiture Active Contours 247

Francisco Guerrero, SpainValentin Masero, University ofExtremadura, SpainJuan Leon-Rojas, University ofExtremadura, SpainJose Moreno, University ofExtremadura, Spain

Segmentation and Reconstruction of the Lung Volume in CT Images 255

Michela Antonelli, Electronica, Informatica, Telecomunicazioni, ItalyBeatrice Lazzerini, Electronica, Informatica, Telecomunicazioni, ItalyFrancesco Marcelloni, Electronica, Informatica, Telecomunicazioni, Italy

A Clustering-based Approach for Prediction of Cardiac Resynchronization Therapy 260

Heng Huang, Dartmouth College, USA

Li Shen, University ofMassachusetts Dartmouth, USA

Fillia Makedon, Dartmouth College, USA

Sheng Zhang, Dartmouth College, USA

Mark Greenberg, Dartmouth Medical School, USA

Ling Gao, Dartmouth Medical School, USA

Justin Pearlman, Dartmouth College, USA

XVI

Temporal Analysis of Infectious Diseases: Influenza 267

Kaja Abbas, University ofNorth Texas, USA

Armin Mikler, University ofNorth Texas, USA

Robert Gatti, University ofNorth Texas, USA

Adaptive and Fault Tolerant Medical Vest for Life-Critical Medical Monitoring 272

Roozbeh Jafari, University ofCalifornia, USA

FoadDabiri, University ofCalifornia, USA

Philip Brisk, University ofCalifornia, USA

Majid Sarrafzadeh, University ofCalifornia, USA

Computer-aided Law and Advanced Technologies (CLAT)Track Co-Chairs: Giovanni Sartor, University ofBologna, Italy

Jeremy Pitt, Imperial College of London, UK

Alessandra Villecco Bettelli, University of Bologna, Italy

Track Editorial 280

Compensating the Creativity in the Digital World: Reconciling Technology and Culture 282

Mindaugas Kiskis, Mykolas Romeris University, Lithuania

Rimantas Petrauskas, Mykolas Romeris University, Lithuania

A Formal Logic-based Language and an Automated Verification

Tool for Computer Forensic Investigation 287

Slim Rekhis, University ofCarthage, Tunisia

Noureddine Boudriga, University ofCarthage, Tunisia

Sequence Modelling for Sentence Classification in a Legal Summarisation System 292

Ben Hachey, University ofEdinburgh, Scotland

Claire Grover, University ofEdinburgh, Scotland

The Employment ofXML Standards in Electronic Judicial Proceedings 297

Alessandra Villecco Bettelli, University ofBologna, Italy

Poster Paper

Honeynet based Distributed Adaptive Network Forensics and

Active Real Time Investigation 302

Wei Ren, Zhongnan University ofEconomics and Law, China

Hai Jin, Huazhong University ofScience & Technology, China

Computer Security (SEC)Track Co-Chairs: Giampaolo Bella, Universita di Catania, Italy

Peter Ryan, University of Newcastle upon Tyne, UK

Track Editorial 304

SELS: A Secure E-mail List Service 306

Himanshu Khurana, University ofIllinois, USA

Adam Slagell, University ofIllinois, USA

RafaelBonilla, University ofIllinois, USA

XVII

k-gram Based Software Birthmarks 314

Ginger Myles, University ofArizona, USA

Christian Collberg, University ofArizona, USA

A ZKP-based Identification Scheme for Base Nodes in Wireless Sensor Networks 319

Dev Anshul, Honeywell Technology Solutions Lab, India

Suman Roy, Honeywell Technology Solutions Lab, India

Efficient Diffie-Hellmann Two-Party Key Agreement Protocols

based on Elliptic Curves 324

Maurizio Adriano Strangio, University ofRome, Italy

Formal Specification of Role-based Security Policies for Clinical Information Systems 332

Karsten Sohr, Universitdt Bremen, GermanyMichael Drouineaud, Universitdt Bremen, GermanyGail-Joon Ahn, University ofNorth Carolina at Charlotte, USA

Efficient Support for Enterprise Delegation Policies 340

Victoria Ungureanu, Rutgers University, USA

Preventing Race Condition Attacks on File-Systems 346

Prem Uppuluri, University ofMissouri - Kansas City, USA

Uday Joshi, University ofMissouri - Kansas City, USA

Arnab Ray, State University ofNew York at Stony Brook, USA

Mediation Security Specification and Enforcement for Heterogeneous Databases 354

Li Yang, Florida International University, USA

RaimundK. Ege, Florida International University, USA

Huiqun Yu, East China University ofScience & Technology, China

An Attribute-Based Access Matrix Model 359

Xinwen Zhang, George Mason University, USA

Yingjiu Li, Singapore Management University, SingaporeDivya Nalla, Singamore Management University, Singapore

Constraint Solving and Programming (CSP)Track Co-Chairs: Stefano Bistarelli, Universita degli studi "G. D'Annunzio" di Chieti-Pescara, Italy

Istituto di Informatica e Telematica, CNR, Pisa, ItalyEric Monfroy, University of Nantes, France

Barry 0'Sullivan, University College Cork, Ireland

Track Editorial 364

A Branch-Price-and-Propagate Approach for Optimising IGP Weight Setting

subject to Unique Shortest Paths 366

FaridAjili, Imperial College London, UKRobert Rodosek, Imperial College London, UK

Andrew Eremin, Imperial College London, UK

Breaking Value Symmetries in Matrix Models using Channeling Constraints 371

Y.C. Law, The Chinese University ofHong Kong, Hong KongJ.H.M. Lee, The Chinese University ofHong Kong, Hong Kong

xviii

Controlled Propagation in Continuous Numerical Constraint Networks 377

Frederic Goualard, Laboratoire d'Informatique de Nantes, France

Laurent Granvilliers, Laboratoire d'Informatique de Nantes, France

Hybrid Lagrangian Relaxation for Bandwidth-Constrained Routing:

Knapsack Decomposition 383

Wided Ouqja, Imperial College London, UK

Barry Richards, Imperial College London, UK

Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search 388

Roman Bartdk, Charles University, Czech RepublicHana Rudovd, Masaryk University, Czech Republic

On the Computational limits of Infinite Satisfaction 393

Stefan Dantchev, University ofDurham, UK

Frank D. Valencia, LLXEcole Polytechnique de Paris, France

Solving Strategies using a Hybridization Model for

Local Search and Constraint Propagation 398

Tony Lambert, Universite" de Angers, France

Eric Monfroy, Universite de Nantes, France

Frederic Saubion, Universite de Angers, France

Timid Acquisition of Constraint Satisfaction Problems 404

Sarah O 'Co'nnell, University of College Cork, Ireland

Barry O 'Sullivan, University ofCollege Cork, Ireland

Eugene C. Freuder, University ofCollege Cork, Ireland

Poster Papers

The Shortest Route Cut and Fill Problem in Linear Topological Structure 409

Songshan, Zhongshan University, China

Guo WeixingLi, Zhongshan University, China

Andrew Lim, The Hong Kong University ofScience & Technology, Hong Kong

Fan Wang, The Hong Kong University ofScience & Technology, Hong Kong

Coordination Models, Languages and Applications (CM)Track Co-Chairs: Sascha Ossowski, Universidad Rey Juan Carlos, Spain

Ronaldo Menezes, Florida Institute of Technology, USA

Track Editorial 411

LighTS: A Lightweight, Customizable Tuple Space SupportingContext-Aware Applications 413

Gian Peitro Picco, Dip. Di Elettronica e Informazione, ItalyDavide Balzarotti, Dip. Di Elettronica e Informazione, Italy

Paolo Costa, Dip. Di Elettronica e Informazione, Italy

A Timed Extension of ReSpecT 420

Alessandro Ricci, Universita di Bologna, Italy

Mirko Viroli, Universita di Bologna, Italy

xix

AModel for Association Rules Based on Clustering 545Carlos Ordonez, Teradata, NCR, USA

Circle: Design and Implementation of a Classifier Based on Circuit Minimization 547Mehmet Dalkilic, Indiana University, USA

Arijit Sengupta, Indiana University, USA

Mining Concept Associations for Knowledge Discovery in Large Textual Databases 549

XiaoweiXu, University ofArkansas at Little Rock, USA

Mutlu Mete, University ofArkansas at Little Rock, USA

Nurcan Yuruk, University ofArkansas at Little Rock, USA

A Relatedness-based Data-driven Approach to Determination of

Interestingness of Association Rules 551

Rajesh Natarajan, Indian Institute ofManagement Lucknow, India

B. Shekar, Indian Institute ofManagement Bangalore, India

Data Streams (DS)Track Co-Chairs: Jesus S. Aguilar-Ruiz, University of Seville, Spain

S. Muthukrishnan, Rutgers University, USA

Track Editorial 553

Intregrated Resource Management for Data Stream Systems 555

Henrike Berthold, Dresden University ofTechnology, GermanySven Schmidt, Dresden University of Technology, GermanyWolfgang Lehner, Dresden University of Technology, GermanyClaude-Joachim Hamann, Dresden University of Technology, Germany

Quality-Driven Evaluation of Trigger Conditions on Streaming Time Series 563

Like Gao, University of Vermont, USA

Min Wang, IBM T.J. Watson, USA

X. Sean Wang, University of Vermont, USA

Incremental Rule Learning based on Example Nearness from Numerical Data Streams 568

Francisco Ferrer-Troyano, Av. Reina Mercedes S/N, SpainJesus Aguilar-Ruiz, Av. Reina Mercedes S/N, SpainJose C. Riquelme, Av. Reina Mercedes S/N, Spain

Learning Decision Trees from Dynamic Data Streams 573

Joao Gama, Univ. do Porto, PortugalPedro Medas, Univ. do Porto, PortugalPedro Rodrigues, Univ. do Porto, Portugal

Poster Paper

Wavelet Density Estimators over Data Streams 578

Christoph Heinz, Philipps University Marburg, GermanyBernhard Seeger, Philipps University Marburg, Germany

xxii

Database Theory, Technology and Applications (DTTA)Track Co-Chairs: Ramzi A. Haraty, Lebanese American University, Lebanon

Apostolos N. Papadopoulos, Aristotle University of Thessaloniki, Greece

Junping Sun, Nova Southeastern University, USA

Track Editorial580

Optimization of Subsequence Matching Under Time Warping in Time-Series Databases 581Man-Soon Kim, Kangwon National University, Korea

Sang-WookKim, Hanyang University, Korea

Miyoung Shin, Electronics and Telecommunications Research Institute, Korea

Identifying Topological Predicates for Vague Spatial Objects 587

Alejandro Pauly, University ofFlorida, USA

Markus Schneider, University ofFlorida, USA

A Flexible Approach to User-defined Symbolic Granularities in Temporal Databases 592Lavina Egidi, Universita del Piemonte Orientale, ItalyPaolo Terenziani, Universita del Piermonte Orientale, Italy

Hierarchical Binary Histograms for Summarizing Multi-Dimensional Data 598

F. Furfaro, University ofCalabria, ItalyG.M. Mazzeo, University ofCalabria, ItalyD. Sacca, ICAR-CNR, ItalyC. Sirangelo, University ofCalabria, Italy

Image Domain Formalization for Content-Based Image Retrieval 604Caetano Traina Jr, University ofSao Paido at Sao Carlos, Brazil

Josiel M. Figueiredo, Federal University ofMato Grosso, Brazil

AgmaJ.M. Traina, University ofSao Paulo at Sao Carlos, Brazil

Distributed Evaluation of Generalized Path Queries .610

Dan Stefanescu, Suffolk University, USA

Alex Thomo, University of Victoria, Canada

Lida Thomo, University ofMacedonia, Greece

Accelerating Approximate Similarity Queries using Genetic Algorithms 617Renato Bueno, University ofSao Paulo at Sao Carlos, Brazil

Agma J.M. Traina, University ofSao Paulo at Sao Carlos, Brazil

Caetano Traina Jr., University ofSao Paulo at Sao Carlos, Brazil

Optimizing Existential Queries in Stratifiable Deductive Databases 623

Andreas Behrend, University ofBonn, Germany

Jelly View - A Technology for Arbitrarily Advanced Queries within RDBMS 629

Igor Wojnicki, University ofMissouri-St. Louis, USA

Antoni Ligeza, University ofScience and Technology, Poland

Cost-Efficient Processing of Min/Max Queries over Distributed Sensors with Uncertainty 634

ZhenyuLiu, University of California, USA

Ka Cheung Sia, University ofCalifornia, USA

Junghoo Cho, University ofCalifornia, USA

XXIII

Graph Transformation to Infer Schemata from XML Documents 642

Luciano Barest, Politecnico di Milano, ItalyElisa Quintarelli, Politecnico di Milano, Italy

Finding an Optimum Edit Script between an XML Document and a DTD 647

Nobutaka Suzuki, University ofTsukuba, Japan

Automatic Wrapper Maintenance for Semi-Structured Web Sources

Using Results from Previous Queries 654

Juan Raposo, University ofA CoruHa, SpainAlberto Pan, University ofA Coruna, SpainManuel Alverez, University ofA Coruna, Spain

Angel Vina, University ofA Coruna, Spain

Supporting Efficient Query Processing on Compressed XML Files 660

YongjingLin, University of Texas at Dallas, USA

Youtao Zhang, University of Texas at Dallas, USA

Quanzhong Li, IBMAlmaden Research Center, USA

Jun Yang, University ofCalifornia, USA

ERONTO: A Tool for Extracting Ontologies from Extended E/R Diagrams 666

Sujatha R. Upadhyaya, Indian Institute ofTechnology Madras, India

P. Sreenivasa Kumar, Indian Institute ofTechnology Madras, India

User-Defined View Automation of Genomic Databases 671

Andrew J. Robinson, Latrobe University, Austria

Wenny Rahayu, Latrobe University, Austria

Susanna Herd, Latrobe University, Austria

Tharam Dillon, University of Technology Sydney, Australia

Poster Paper

An Information Theoretic Histogram for Single Dimensional Selectivity Estimation 676

Chris Giannella, University ofMaryland Baltimore County, USA

Bassem Sayrqfi, Indiana University Bloomington, USA

XXIV

Distributed Systems and Grid Computing (DSGC)Track Co-Chairs: Robert van Engelen, Florida State University, USA

Madhu Govindaraju, Binghamton University, USANectarios Koziris, National Technical University of Athens, Greece

Kleanthis Psarris, University of Texas at San Antonio, USA

Track Editorial 678

The Pegasus Portal: Web Based Grid Computing 680

Gurmeet Singh, Information Sciences Institute, University ofSouthern California, USA

Ewa Deelman, Information Sciences Institute, University ofSouthern California, USA

Gaurang Mehta, Information Sciences Institute, University ofSouthern California, USA

Koran Vahi, Information Sciences Institute, University ofSouthern California, USA

Mei-Hui Su, Information Sciences Institute, University ofSouthern California, USA

G. Bruce Berriman, Infrared Processing & Analysis Center, California Institute of Technology, USA

John Good, Infrared Processing & Analysis Center, California Institute ofTechnology, USA

Joseph Jacob, Jet Propulsion Laboratory, California Institute ofTechnology, USA

Daniel Katz, Jet Propulsion Laboratory, California Institute ofTechnology, USA

Albert Lazzarini, California Institute ofTechnology, USA

Kent Blackburn, California Institute of Technology, USA

Scott Koranda, University of Wisconsin-Milwaukee, USA

Dynamic Scheduling of Scientific Workflow Applications on the Grid: A Case Study 687

Radu Prodan, University ofInnsbruck, Austria

Thomas Fahringer, University ofInnsbruck, Austria

Replica Selection in Grid Environment: A Data-mining Approach 695

Rashedur M. Rahman, University of Calgary, Canada

Ken Barker, University ofCalgary, Canada

RedaAlhajj, University ofCalgary, Canada

A Grid-Based Architecture for Earth Observation Data Access 701

Giovanni Aloisio, University ofLecce, ItalyMassimo Cafaro, University ofLecce, ItalySandro Fiore, University ofLecce, ItalyGianvito Quarta, University ofLecce, Italy

Realizing the Leasing Concept in COBRA-Based Applications 706

Markus Aleksy, University ofMannheim, GermanyAxel Korthaus, University ofMannheim, GermanyMartin Schader, University ofMannheim, Germany

On Unit Task Linear-Nonlinear Two-Cluster Scheduling Problem 713

ZhichunXiao, University ofArkansas, USA

WingNingLi, University ofArkansas, USA

John JingFu Jenq, Montclair State University, USA

Reliability in Three-Tier Systems without Application Server

Coordination and Persistent Message Queues 718

Francesco Quaglia, Universita di Roma "La Sapeinza", ItalyPaolo Romano, Universita di Roma "La Sapeinza", Italy

XXV

Policies Translation for Integrated Management of Grids and Networks 724Ricardo Neisse, Federal University ofRio Grande do Sul, Brazil

Maria Janilce Bosquiroli Almeida, Federal University ofRio Grande do Sul, Brazil

Lisandro Zambenedetti Granville, Federal University ofRio Grande do Sul, Brazil

Liane Margarida Rockenbach Tarouco, Federal University ofRio Grande do Sul, Brazil

The Necklace-Hypercube: A Well Scalable Hypercube-BasedInterconnection Network for Multiprocessors 729

M. Monemizadeh, SharifUniversity ofTechnology & School ofComputer Science, Iran

H. Sarbazi-Azad, Sharif University ofTechnology & School ofComputer Science, Iran

The Recursive Transpose-Connected Cycles (RTCC)Interconnection Network for Multiprocessors 734

M. Hoseiny Farahabady, IPM School ofComputer Science, Iran

H. Sarbazi-Azad, Sherif University of Technology, Iran

A Solution for the Location Problem in Arbitrary Computer Networks

Using Generic Dominating Sets 739

Marco Aurelio Spohn, University ofCalifornia at Santa Cruz, USA

J.J. Garcia-Luna-Aceves, University ofCalifornia at Santa Cruz, USA

Node Clustering Based on Link Delay in P2P Networks 744Wei Zheng, Dartmouth College, USA

Sheng Zhang, Dartmouth College, USA

Yi Ouyang, Dartmouth College, USA

Fillia Makedon, Dartmouth College, USA

James Ford, Dartmouth College, USA

Poster Paper

Adaptation Point Analysis for Computation Migration/Checkpointing 750

YanqingJi, Wayne State University, USA

Hai Jiang, Arkansas State University, USA

Vipin Chaudhary, Wayne State University, USA

Document Engineering (DE)Track Chair: Rafael Dueire Lins, Universidade Federal de Pemambuco, Brazil

Track Editorial 752

Handwritten Character Skeletonisation for Forensic Document Analysis 754

Vladimir Pervouchine, Nanyang Technological University, SingaporeGraham Leedham, Nanyang Technological University, SingaporeKonstantin Melikhov, Nanyang Technological University, Singapore

Performance Evaluation for Text Processing of Noisy Inputs 759

Daniel Lopresti, Lehigh University, USA

Language Identification in Web Pages 764

Bruno Martins, Universidade de Lisboa, PortugalMario J. Silva, Universidade de Lisboa, Portugal

XXVI

An XForms Based Solution for Adaptable Documents Editing 769

Istvan Beszteri, Helsinki University ofTechnology, FinlandPetri Vuorimaa, Helsinki University ofTechnology, Finland

Tool Support for Plagiarism Detection in Text Documents 776

Stefan Gruner, Swansea Institute at the University ofWales, Great BritainStuart Naven, Swansea Institute at the University ofWales, Great Britain

Semantic Document Engineering with WordNet and PageRank 782Paul Tarau, University ofNorth Texas, USA

Rada Mihalcea, University ofNorth Texas, USA

Elizabeth Figa, University ofNorth Texas, USA

Poster Paper

Approximate XML Document Matching 787E. Rodney Canfield, University of Georgia, USA

GuangmingXing, Western Kentucky University, USA

Electronic Commerce Technologies (ECT)Track Co-Chairs: Sviatoslav Braynov, University of Illinois at Springfield, USA

Manuel Nunez, Universidad Complutense de Madrid, SpainPeter Wurman, North Carolina State University, USA

Track Editorial 789

SVD-based Collaborative Filtering with Privacy 791

Huseyin Polat, Syracuse University, USA

Wenliang Du, Syracuse University, USA

Implementing Private Vickrey Auctions 796Ismael Rodriguez, Universidad Complutense de Madrid, SpainNatalia Ldpez, Universidad Complutense de Madrid, Spain

Scalable Security and Accounting Services for Content-based Publish/Subscribe Systems 801

Himanshu Khurana, University ofIllinois, USA

Effort and Accuracy Analysis of Choice Strategies for Electronic Product Catalogs 808

Jiyong Zhang, Swiss Federal Institute ofTechnology, Switzerland

Pearl Pu, Swiss Federal Institute ofTechnology, Switzerland

An Approach to Handle Real Time and Probabilistic Behaviors in

e-commerce: Validating the SET Protocol 815

Gregorio Diaz, University ofCastilla-La Mancha, SpainKim Larsen, Aalborg University, Denmark

Juan Jose Pardo, University of Castilla-La Mancha, SpainFernando Cuartero, University ofCastilla-La Mancha, SpainValentin Valero, University of Castilla-La Mancha, Spain

Privacy Preserving Learning in Negotiation 821

Sheng Zhang, Dartmouth College, USA

Fillia Makedon, Dartmouth College, USA

XXVII

Applying Model Checking to BPEL4WS Business Collaborations 826Jesus Arias Fisteus, Carlos III University ofMadrid, SpainLuis Sanchez Fernandez, Carlos III University ofMadrid, SpainCarlos Delgado Kloos, Carlos III University ofMadrid, Spain

Supporting e-commerce Systems Formalization with Choreography Languages 831

Mario Bravetti, University ofBologna, ItalyClaudio Guidi, University ofBologna, ItalyRoberto Lucchi, University ofBologna, ItalyGianluigi Zavattaro, University ofBologna, Italy

Embedded Systems: Applications, Solutions and Techniques (EMBS)Track Co-Chairs: Alessio Bechini, Universita di Pisa, Italy

Francois Bodin, IRISA, France

Cosimo Antonio Prete, Universita di Pisa, Italy

Track Editorial 836

Efficient On-line Identification of Hot Data for Flash-Memory Management 838

Jen-Wei Hsieh, National Taiwan University, Taiwan

Li-Pin Chang, National Taiwan University, Taiwan

Tei-Wei Kuo, National Taiwan University, Taiwan

A Fast Start-Up Technique for Flash Memory Based Computing Systems 843

Keun Soo Yim, Seoul National University, Korea

Jihong Kim, Seoul National University, Korea

Kern Koh, Seoul National University, Korea

Motion Estimation Performance of the TM3270 Processor 850

Jan-Willem van de Waerdt, Philips Semiconductors, TU Delft, USA

GerritA. Slavenburg, NVIDIA Corporation, USA

Jean-Paul van Itegem, Philips Semiconductors, USA

Stamatis Vassiliadis, TU Delft, The Netherlands

MSA: AMemory-Aware Utility Accrual Scheduling Algorithm 857

Shahrooz Feizabadi, Real-Time Systems Laboratory Virginia Tech, USA

Binoy Ravindran, Real-Time Systems Laboratory Virginia Tech, USA

E. Douglas Jensen, The MITRE Corporation, USA

A Code Compression Advisory Tool for Embedded Processors 863

Sreejith K. Menon, Indian Institute ofScience Bangalore, India

Priti Shankar, Indian Institute ofScience Bangalore, India

On Designing a Low-Power Garbage Collector for Java Embedded Devices: A Case Study 868

Paul Griffin, Iowa State University, USA

Witawas Srisa-An, University ofNebraska-Lincoln, USA

J. Morris Chang, Iowa State University, USA

Armed E-Bunny: A Selective Dynamic Compiler for Embedded Java

Virtual Machine Targeting ARM Processors 874

Mourad Debbabi, Concordia University, CanadaAzzam Mourad, Concordia University, Canada

Nadia Tawbi, Laval University, Canada

XXVIII

Automatic Generation of Application-Specific Systems Based on a

Micro-programmed Java Core 879

Flavius Gruian, Lund University, Sweden

Per Andersson, Lund University, Sweden

KrzysztofKuchcinski, Lund University, Sweden

Martin Schoeberl, JOP Design, Austria

Performance Analysis Framework for Large Software-Intensive

Systems with a Message Passing Paradigm 885

Christian Del Rosso, Nokia Research Center, Finland

Profiling and Mapping of Parallel Workloads on Network Processors 890

Ning Weng, University ofMassachusetts, USA

Tilman Wolf, University ofMassachusetts, USA

Poster Papers

Real-Time Task Scheduling Anomaly: Observations and Prevention 897

Ya-Shu Chen, National Taiwan University, Taiwan

Li-Pin Chang, National Taiwan University, Taiwan

Tei-Wei Kuo, National Taiwan University, Taiwan

Aloysius K. Mok, University ofTexas atAustin, USA

Efficient Placement and Routing in Grid-Based Networks 899

RoozbehJafari, UCLA, USA

FoadDabiri, UCLA, USA

Bo-Kyung Choi, UCLA, USA

Majid Sarrafzadeh, UCLA, USA

Avoiding Data Conversions in Embedded Media Processors 901

BenJuurlink, Delft University of Technology, The Netherlands

Asadollah Shahbahrami, Delft University ofTechnology, The Netherlands

Stamatis Vassiliadis, Delft University of Technology, The Netherlands

Two-Level Assurance of QoS Requirements for Distributed

Real-time and Embedded Systems 903

Shih-His Liu, University ofAlabama at Birmingham, USA

Barrett Bryant, University ofAlabama at Birmingham, USA

Jeffrey Gray, University ofAlabama at Birmingham, USA

Rajeev Raje, Indiana University Purdue University Indianapolis, USA

Andrew Olson, Indiana University Purdue University Indianapolis, USA

Mikhail Auguston, Naval Postgraduate School, USA

Evolutionary Computation and Optimization (ECO)Track Chair: Bryant A. Julstrom, St. Cloud State University, USA

Track Editorial 905

Airspace Congestion Smoothing by Multi-objective Genetic Algorithm 907

Delahaye Daniel, CENA, France

Sofiane Oussedik, ILOG, France

Puechmorel Stephane, EMAC, France

XXIX