applied computing 2005 - gbv · appliedcomputing2005 the20thannualacmsymposium onapplied computing...
TRANSCRIPT
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