32
AI and Computational Logic and Image Analysis (AI) Track Chair: C.C. Hung, Southern Polytechnic State University, USA Track Co-Chair: Agostinho Rosa, LaSEEB –ISR – IST, Portugal Track Editorial ...........................................................................................................................................3 Experimenting with a Real-Size Man-Hill to Optimize Pedagogical Paths..........................................3 Gregory Valigiani, University of Calais Yannick Jamont, Paraschool Company Claire Bourgeois Republique, University of Bourgogne Raphael Biojout, Paraschool Company Evelyne Lutton, INRIA Rocquencourt Pierre Collet, University of Calais An Hybridization of an Ant-based Clustering Algorithm with Growing Neural Gas Networks for Classification Tasks ...................................................................................................................................8 Marco A. Montes de Oca, Monterrey Institute of Technology, Mexico Leonardo Garrido, Monterrey Institute of Technology, Mexico José L. Aguirre, Monterrey Institute of Technology, Mexico Reinforcement Learning Agents with Primary Knowledge Designed by Analytic Hierarchy Process.......................................................................................................................................................18 Kengo Katayama, Okayama University of Science, Japan Takahiro Koshiishi, Okayama University of Science, Japan Hiroyuki Narihisa, Okayama University of Science, Japan Estimating Manifold Dimension by Inverion Error .............................................................................26 Shawn Martin, Sandia National Laboratories, USA Alex Bäcker, Sandia National Laboratories, USA Data Driven Approach to Designing Minimum Hamming Distance Polychotomizer………….......31 Jie Zhou, Northern Illinois University, USA Giovanni Pasteris, Northern Illinois University, USA Variable Selection and Ranking for Analyzing Automobile Traffic Accident Data………….. .......36 Huanjing Wang, The Unversity of Alabama, USA Allen Parrish, The University of Alabama, USA Randy K. Smith, The University of Alabama, USA Susan Vrbsky, The University of Alabama, USA Stochastic Scheduling of Active Support Vector Learning Algorithms ………….. ..........................42 Gaurav Pandey, University of Minnesota, USA Himanshu Gupta, Indian Institute of Technology, India Pabitra Mitra, Indian Institute of Technology, USA Poster Papers The T-detectors Maturation Algorithm Based on Match Range Model ………….. .........................47 Dongyong Yang, Zhejiang University of Technology, China Jungan Chen, Zhejiang University of Technology, China A Comparison on Information Fusion Methods for Air Target Identification ………….. ..............49 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

AI and Computational Logic and Image Analysis (AI) · AI and Computational Logic and Image Analysis (AI) Track Chair: C.C. Hung, Southern Polytechnic State University, USA ... Jan

  • Upload
    hahanh

  • View
    230

  • Download
    0

Embed Size (px)

Citation preview

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

Track Editorial...........................................................................................................................................3

Experimenting with a Real-Size Man-Hill to Optimize Pedagogical Paths..........................................3 Gregory Valigiani, University of Calais Yannick Jamont, Paraschool Company Claire Bourgeois Republique, University of Bourgogne Raphael Biojout, Paraschool Company Evelyne Lutton, INRIA Rocquencourt Pierre Collet, University of Calais

An Hybridization of an Ant-based Clustering Algorithm with Growing Neural Gas Networks for Classification Tasks ...................................................................................................................................8 Marco A. Montes de Oca, Monterrey Institute of Technology, Mexico Leonardo Garrido, Monterrey Institute of Technology, Mexico José L. Aguirre, Monterrey Institute of Technology, Mexico

Reinforcement Learning Agents with Primary Knowledge Designed by Analytic Hierarchy Process.......................................................................................................................................................18 Kengo Katayama, Okayama University of Science, Japan Takahiro Koshiishi, Okayama University of Science, Japan Hiroyuki Narihisa, Okayama University of Science, Japan

Estimating Manifold Dimension by Inverion Error .............................................................................26 Shawn Martin, Sandia National Laboratories, USA Alex Bäcker, Sandia National Laboratories, USA

Data Driven Approach to Designing Minimum Hamming Distance Polychotomizer………….......31 Jie Zhou, Northern Illinois University, USA Giovanni Pasteris, Northern Illinois University, USA

Variable Selection and Ranking for Analyzing Automobile Traffic Accident Data………….. .......36 Huanjing Wang, The Unversity of Alabama, USA Allen Parrish, The University of Alabama, USA Randy K. Smith, The University of Alabama, USA Susan Vrbsky, The University of Alabama, USA

Stochastic Scheduling of Active Support Vector Learning Algorithms ………….. ..........................42 Gaurav Pandey, University of Minnesota, USA Himanshu Gupta, Indian Institute of Technology, India Pabitra Mitra, Indian Institute of Technology, USA

Poster Papers The T-detectors Maturation Algorithm Based on Match Range Model ………….. .........................47 Dongyong Yang, Zhejiang University of Technology, China Jungan Chen, Zhejiang University of Technology, China

A Comparison on Information Fusion Methods for Air Target Identification ………….. ..............49 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 of TU of Berlin, Germany Stefan Wollny, DAI-Lab of TU of Berlin, Germany Nicolas Varone, DAI-Lab of TU of Berlin, Germany Andreas Lommatzsch, DAI-Lab of TU of Berlin, Germany Dragan Milosevic, DAI-Lab of TU of Berlin, 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, OGM Laboratory, LLC, USA Ulrich Pinsdorf, Fraunhofer IGD, Germany Jan Peters, Fraunhofer IGD, Germany

An Empirical Evaluation of Communication Effectiveness in Autonomous Reactive Multiagent Systems......................................................................................................................................................74 David Hurt, University of North Texas, USA Paul Tarau, University of North Texas, USA

A Multi-Agent Approach for Solving Optimization Problems involving Expensive Resources ......79 Hoong Chuin Lau, National University of Singapore, Singapore Hui Wang, University of Southern California, USA

Forming Resource-Sharing Coalitions: A Distributed Resource Allocation Mechanism for Self-Interested Agents in Computational Grids............................................................................................84 Linli He, Texas A&M University, USA Thomas Ioerger, Texas A&M University, USA

Poster Paper Reliability Analysis of Mobile Agent-based Systems............................................................................92 Mosaab Daoud, University of Guelph, Canada Qusay Mahmoud, University of Guelph, 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 of Manchester, United Kingdom Petco Tsvetinov, Queensland University of Technology, Australia

Bioinformatics (BIO)

Track Co-Chairs: Mathew J. Palakal, Indiana University Purdue University Indianapolis, USA

Sven Rahmann, University of Bielefeld, Germany Birong 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

A Complex Biological Database Querying Method ............................................................................110 Jake Yue Chen, Indiana University – Purdue University Indianapolis, USA John Carlis, University of Minnesota, 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 of Iowa, USA Willy Valdivia, Orion Intregrated 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 Kun-Mao Chao, National Taiwan University, Taiwan Ting Chen, University of Southern California, USA

Efficient Mass Decomposition...............................................................................................................151 Sebastian Böcker, Universität Bielefeld, Germany Zsuzsanna Lipták, Universität Bielefeld, Germany

CAFISS: A Complex Adaptive Framework for Immune System Simulation..................................158 Joc Cing Tay, Nanyang Technological University, Singapore Atul Jhavar, 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, Université Paris 8, France Patrick Greussay, Université Paris 8, France

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 of Nebraska at Omaha, USA Hesham Ali, University of Nebraska at Omaha, USA

Comparing Approaches to Predict Transmembrane Domains in Protein Sequences.. ..................189 Paul Davidsson, Blekinge Institute of Technology, Sweden Johan Hagelbäck, Travelstart Nordic, Sweden Kenny Svensson, Ericsson AB, Sweden

Design and Evaluation of CATPA: Curation and Alignment Tool for Protein Analysis ...............194 Mehmet Dalkilic, Indiana University, USA Arijit Sengupta, Indiana University, USA

Optimizing Syntax Patterns for Discovering Protein-Protein Interactions ....................................199 Conrad Plake, Humboldt-Universität zu Berlin, Germany Jörg Hakenberg, Humbolt- Universität zu Berlin, Germany Ulf Leser, Humboldt- Universität zu Berlin, Germany

Poster Papers EXONSCAN: EXON Prediction with Signal Detection and Coding Region AligNment in Homologous Sequences..........................................................................................................................206 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 .............................................................................208 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 Similarity210 Raymond Wan, Kyoto University, Japan Hiroshi Mamitsuka, Kyoto University, Japan Kiyoko Aoki, Kyoto University, Japan

Prediction of Inherited and Genetic Mutations Using the Software Model Checker SPIN….. .....212 Zubin Balsara, University of Texas at El Paso, USA Steve Roach, University of Texas at El Paso, USA

Text-Based Summarization and Visualization of Gene Clusters .....................................................214 Pankaj Kankar, IBM Research Laboratory, India Sougata Mukherjea, IBM Research Laboratory, India

Finding Saddle Points using Stability Boundaries .............................................................................216 Chandan Reddy, Cornell University, USA Hsiao-Dong Chiang, Cornell University, USA

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

Track Editorial.......................................................................................................................................218

An Analysis of Modeling Flaws in HL7 and JAHIS ...........................................................................220 Eduardo Fernandez, Florida Atlantic University, USA Tami Sorgente, Florida Atlantic University, USA

Protecting Sensitive Patient Data via Query Modification ................................................................228 David Power, Oxford University, UK Mark Slaymaker, Oxford University, UK Eugenia Politou, Oxford University, UK Andrew Simpson, Oxford University, UK

An Interactive Evolutionary Algorithm for Cochlear Implant Fitting: First Results.....................235 Claire Bourgeois-Republique, University of Bourgogne, France Gregory Valigiani, ULCO, France Pierre Collet, ULCO, France

Data Logistics as a Means of Integration in Healthcare Applications..............................................240 Stefan Jablonski, University of Erlangen-Nuernberg, Germany Sasch Müller, University of Erlangen-Nuernberg, Germany Christian Meiler, University of Erlangen-Nuernberg, Germany Rainer Lay, University of Erlangen-Nuernberg, Germany Wolfgang Hümmer, University of Erlangen-Nuernberg, Germany

The Intensity Level Reduction in Radiation Therapy ........................................................................246 Xiaodong Wu, The University of Texas, USA John Abraham, The University of Texas, USA

Multilure Active Contours ....................................................................................................................251 Francisco Guerrero, Spain Valentin Masero, University of Extremadura, Spain Juan Leon-Rojas, University of Extremadura, Spain Jose Moreno, University of Extremadura, Spain

Segmentation and Reconstruction of the Lung Volume in CT Images.............................................259 Michela Antonelli, Electronica, Informatica, Telecomunicazioni, Italy Beatrice Lazzerini, Electronica, Informatica, Telecomunicazioni, Italy Francesco Marcelloni, Electronica, Informatica, Telecomunicazioni, Italy

A Clustering-based Approach for Prediction of Cardiac Resynchronization Therapy..................264 Heng Huang, Dartmouth College, USA Li Shen, University of Massachussetts 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, Darthmouth College, USA

Temporal Analysis of Infectious Diseases: Influenza .........................................................................271 Kaja Abbas, University of North Texas, USA Armin Mikler, University of North Texas, USA Robert Gatti, University of North Texas, USA

Adaptive and Fault Tolerant Medical Vest for Life-Critical Medical Monitoring………… .........276 Roozbeh Jafari, University of California, USA Foad Dabiri, University of California, USA Philip Brisk, University of California, USA Majid Sarrafzadeh, University of California, USA

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

Jeremy Pitt, Imperial College of London, UK Alessandra Villecco Bettelli, University of Bologna, Italy

Track Editorial.......................................................................................................................................284

Compensating the Creativity in the Digital World: Reconciling Technology and Culture ............286 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 ...........................................................................................................................................291 Slim Rekhis, University of Carthage, Tunisia Noureddine Boudriga, University of Carthage, Tunisia

Sequence Modelling for Sentence Classification in a Legal Summarisation System………….......296 Ben Hachey, Univeristy of Edinburgh, Scotland Claire Grover, Univeristy of Edinburgh, Scotland

The employment of XML Standards in Electronic Judicial Proceedings …………. ......................301 Alessandra Villecco Bettelli, University of Bologna, Italy

Poster Paper Honeynet based Distributed Adaptive Network Forensics and Active Real Time Investigation ….306 Wei Ren, Zhongnan University of Economics and Law, China Hai Jin, Huazhong University of Science & Technology, China

Computer Security (SEC) Track Co-Chairs: Giampaolo Bella, Università di Catania, Italy Peter Ryan, University of Newcastle upon Tyne, UK

Track Editorial.......................................................................................................................................308

SELS: A Secure E-mail List Service ....................................................................................................310 Himanshu Khurana, University of Illinois, USA Adam Slagell, University of Illinois, USA Rafael Bonilla, University of Illinois, USA

k-gram Based Software Birthmarks ....................................................................................................318 Ginger Myles, University of Arizona, USA Christian Collberg, University of Arizona, USA

A ZKP-based Identification Scheme for Base Nodes in Wireless Sensor Networks........................323 Dev Anshul, Honeywell Technology Solutions Lab, India Suman Roy, Honeywell Technology Solutions Lab, India

Efficient Diffie-Hellmann TwoParty Key Agreement Protocols based on Elliptic Curves.............328 Maurizio Adriano Strangio, University of Rome, Italy

Formal Specification of Role-based Security Policies for Clinical Information Systems......... ......336 Karsten Sohr, Universität Bremen, Germany Michael Drouineaud, Universität Bremen, Germany Gail-Joon Ahn, University of North Carolina at Charlotte, USA

Efficient Support for Enterprise Delegation Policies......... ................................................................344 Victoria Ungureanu, Rutgers University, USA

Preventing Race Condition Attacks on File-Systems .........................................................................350 Prem Uppuluri, University of Missouri – Kansas City, USA Uday Joshi, University of Missouri – Kansas City, USA Arnab Ray, State University of New York at Stony Brook, USA

Mediation Security Specification and Enforcement for Heterogeneous Databases.................. ......358 Li Yang, Florida International University, USA Raimund K. Ege, Florida International University, USA Huiqun Yu, East China University of Science & Technology, China

An Attribute-Based Access Matrix Model...........................................................................................363 Xinwen Zhang, George Mason University, USA Yingjiu Li, Singapore Management University, Singapore Divya Nalla, Singamore Management University, Singapore

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

Eric Monfroy, University of Nantes, France Barry O'Sullivan, University College Cork, Ireland

Track Editorial.......................................................................................................................................368

A Branch-Price-and-Propagate Approach for Optimising IGP Weight Setting subject to Unique Shortest Paths.........................................................................................................................................370 Farid Ajili, Imperial College London, UK Robert Rodosek, Imperial College London, UK Andrew Eremin, Imperial College London, UK

Breaking Value Symmetries in Matrix Models using Channeling Constraints...............................375 Y.C. Law, The Chinese University of Hong Kong, Hong Kong J.H.M. Lee, The Chinese University of Hong Kong, Hong Kong

Controlled Propagation in Continuous Numerical Constraint Networks............. ...........................381 Frédéric Goualard, Laboratoire d’Informatique de Nantes, France Laurent Granvilliers, Laboratoire d’Informatique de Nantes, France

Hybrid Lagrangian Relaxation for Bandwidth-Constrained Routing: Knapsack Decomposition........ ................................................................................................................................387 Wided Ouaja, Imperial College London, UK

Barry Richards, Imperial College London, UK

Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search……….... ........392 Roman Bartàk, Charles University, Czech Republic Hana Rudovà, Masaryk University, Czech Republic

On the Computational limits of Infinite Satisfaction ……….... ........................................................397 Stefan Dantchev, University of Durham, UK Frank D. Valencia, LIX École Polytechnique de Paris, France

Solving Strategies using a Hybridization Model for Local Search and Constraint Propagation...402 Tony Lambert, Université de Angers, France Eric Monfroy, Université de Nantes, France Frédéric Saubion, Université de Angers, France

Timid Acquisition of Constraint Satisfaction Problems.....................................................................408 Sarah O'Connell, University of College Cork, Ireland Barry O'Sullivan, University of College Cork, Ireland Eugene C. Freuder, University of College Cork, Ireland

Poster Papers The Shortest Route Cut and Fill Problem in Linear Topological Structure....................................413 Songshan, Zhongshan University, China Guo Weixing Li, Zhongshan University, China Andrew Lim, The Hong Kong University of Science & Technology, Hong Kong Fan Wang, The Hong Kong University of Science & 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.......................................................................................................................................415

LighTS: A Lightweight, Customizable Tuple Space Supporting Context-Aware Applications ....417 Gian Peitro Picco, Dip. Di Elettronica e Informazione, Italy Davide Balzarotti, Dip. Di Elettronica e Informazione, Italy Paolo Costa, Dip. Di Elettronica e Informazione, Italy

A Timed Extension of ReSpecT............................................................................................................424 Alessandro Ricci, Università di Bologna, Italy Mirko Viroli, Università di Bologna, Italy

Formal Modeling and Quantitative Analysis of KLAIM-based Mobile Channels..........................432 Rocco De Nicola, Università di Firenze, Italy Diego Latella, C.N.R- I.S.T.I . - Italy Mieke Massink, C.N.R. – I.S.T.I. - Italy

MoCha-pi an Exogenous Coordination Calculus based on Mobile Channels .................................440 Juan Guillen-Scholten, Centrum voor Wiskunde en Informatica, The Netherlands Farhad Arbab, Centrum voor Wiskunde en Informatica, The Netherlands Frank de Boer, Centrum voor Wiskunde en Informatica, The Netherlands Marcello Bonsangue, Lieden University, The Netherlands

Multi-coordination of Mobile Agents; a Model and a Component-based Architecture............ .....447 Giancarlo Fortino, Università della Calabria, Italy Wilma Russo, Università della Calabria, Italy

A Semantic Framework for the Recursive Specification of Interaction Protocols ..........................455 Juan-Manuel Serrano, University Rey Juan Carlos, Spain Sascha Ossowski, University Rey Juan Carlos, Spain

Implicit Environment-based Coordination in Pervasive Computing ...............................................461 Amine Tafat, Fribourg University, Switzerland Michele Courant, Fribourg University, Switzerland Béat Hirsbrunner, Fribourg University, Switzerland

Agent Coordination for Bus Fleet Management .................................................................................466 María-Victoria Belmonte, Universidad de Malaga, Spain Jose-Luis Pérez-de-la-Cruz, Universidad de Malaga, Spain Francisco Triguero, Universidad de Malaga, Spain Alberto Fernández, Universidad Rey Juan Carlos, Spain

Poster Paper Self-Organization and Computer Security..........................................................................................471 Ronaldo Menezes, Florida Tech, USA

Data Mining (DM) Track Chair: Hasan M. Jamil, Wayne State University, USA Track Co-Chair: Rosa Meo, Università di Torino, Italy

Performance Bottleneck in Time-Series Subsequence Matching......................................................473 Sang-Wook Kim, Hanyang University, Korea Byeong-Soo Jeong, Kyung Hee University, Korea

DrC4.5: Improving C4.5 by Means of Prior Knowledge ...................................................................478 Miriam Baglioni, University of Pisa, Italy Barbara Furletti, University of Pisa, Italy Franco Turini, University of Pisa, Italy

Mining Web Content Outliers using Structure Oriented Weighting Techniques and N-grams...................................................................................................................................................486 Malik Agyemang, University of Calgary, Canada Ken Barker, University of Calgary, Canada Rada S. Alhajj, University of Calgary, Canada

Finding Frequent Itemsets by Transaction Mapping.........................................................................492 Mingjun Song, Univeristy of Connecticut, USA Sanguthevar Rajasekaran, University of Connecticut, USA

LS3: A Linear Semantic Scan Statistic Technique for Detecting Anomalous Windows .................497 Vandana Janeja, Rutgers University, USA Vijayalakshmi Atlrui, Rutgers University, USA

A "Go With the Winners" Approach to Finding Frequent Patterns ...............................................502 Todd Ebert, California State University, Long Beach, USA Darin Goldstein, California State University, Long Beach, USA

Discovery and Regeneration of Hidden Emails...................................................................................507 Giuseppe Carenini, University of British Columbia, Canada Raymond Ng, University of British Columbia, Canada Xiaodong Zhou, University of British Columbia, Canada Ed Zwart, University of British Columbia, Canada

Discovery and Regeneration of Hidden Emails...................................................................................507 Giuseppe Carenini, University of British Columbia, Canada Raymond Ng, University of British Columbia, Canada Xiaodong Zhou, University of British Columbia, Canada Ed Zwart, University of British Columbia, Canada

A Hybrid Approach for Multiresolution Modeling of Large-Scale Scientific Data………… ........515 Tina Eliassi-Rad, Lawrence Livermore National Laboratroy, USA Terence Critchlow, Lawrence Livermore National Laboratory, USA

Rearranging Data Objects for Efficient and Stable Clustering.........................................................523 Gyesung Lee, Dankook University, Korea Xindong Wu, University of Vermont, USA Jinho Chon, Dankook University, Korea

Spatial Contextual Noise Removal for Post Classification Smoothing of Remotely Sensed Images……… .........................................................................................................................................528 Yu Qian, The University of Texas at Dallas, USA Kang Zhang, The University of Texas at Dallas, USA Fang Qiu, The University of Texas at Dallas, USA

Distributed Approximate Mining of Frequent Patterns ....................................................................533 Claudio Silvestri, Università Ca’ Foscari, Italy Salvatore Orlando, Università Ca’ Foscari, Italy

Detection and Prediction of Distance-Based Outliers.........................................................................541 Fabrizio Angiulli, ICAR-CNR, Italy Stefano Basta, ICAR-CNR, Italy Clara Pizzuti, ICAR-CNR, Italy

Poster Papers Optimized Transitive Association Rule: Mining Significant Stopover between Events…… .........547 Yasuhiko Morimoto, Hiroshima University, Japan

A Model for Association Rules Based on Clustering ..........................................................................549 Carlos Ordonez, Teradata, NCR, USA

Circle: Design and Implementation of a Classifier Based on Circuit Minimization……….. .........551 Mehmet Dalkilic, Indiana University, USA Arijit Sengupta, Indiana University, USA Mining Concept Associations for Knowledge Discovery in Large Textual Databases………........553 Xiaowei Xu, University of Arkansas at Little Rock, USA Mutlu Mete, University of Arkansas at Little Rock, USA Nurcan Yuruk, University of Arkansas at Little Rock, USA

A Relatedness-based Data-driven Approach to Determination of Interestingness of Association Rules ........................................................................................................................................................555 Rajesh Natarajan, Indian Institute of Management Lucknow, India B. Shekar, Indian Institute of Management Bangalore, India

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

S. Muthukrishnan, Rutgers University, USA

Track Editorial.......................................................................................................................................557

Intregrated Resource Management for Data Stream Systems..........................................................559 Henrike Berthold, Dresden University of Technology, Germany Sven Schmidt, Dresden University of Technology, Germany Wolfgang Lehner, Dresden University of Technology, Germany Claude-Joachim Hamann, Dresden University of Technology, Germany

Quality-Driven Evaluation of Trigger Conditions on Streaming Time Series.................................567 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..............572 Francisco Ferrer-Troyano, Av. Reina Mercedes S/N, Spain Jesus Aguilar-Ruiz, Av. Reina Mercedes S/N, Spain Jose C. Riquelme, Av. Reina Mercedes S/N, Spain

Learning Decision Trees from Dymanic Data Streams......................................................................577 João Gama, Univ. do Porto, Portugal Pedro Medas, Univ. do Porto, Portugal Pedro Rodrigues, Univ. do Porto, Portugal

Poster Paper Wavelet Density Estimators over Data Streams .................................................................................582 Christoph Heinz, Philipps University Marburg, Germany Bernhard Seeger, Philipps University Marburg, Germany

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 Editorial.......................................................................................................................................584

Optimization of Subsequence Matching Under Time Warping in Time-Series Databases…........585 Man-Soon Kim, Kangwon National University, Korea Sang-Wook Kim, Hanyang University, Korea Miyoung Shin, Electronics and Telecommunications Research Institute, Korea

Identifying Topological Predicates for Vague Spatial Objects..........................................................591 Alejandro Pauly, University of Florida, USA Markus Schneider, University of Florida, USA

A Flexible Approach to User-defined Symbolic Granularities in Temporal Databases…… .........596 Lavina Egidi, Università del Piemonte Orientale, Italy Paolo Terenziani, Università del Piermonte Orientale, Italy

Hierarchical Binary Histograms for Summarizing Multi-Dimensional Data..................................602 F. Furfaro, University of Calabria, Italy G.M. Mazzeo, University of Calabria, Italy D. Saccà, ICAR-CNR, Italy C. Sirangelo, University of Calabria, Italy

Image Domain Formalization for Content-Based Image Retrieval ..................................................608 Caetano Triana Jr, University of Sao Paulo at Sao Carlos, Brazil

Josiel M. Figueiredo, Federal University of Mato Grosso, Brazil Agma J.M. Traina, University of Sao Paulo at Sao Carlos, Brazil

Distributed Evaluation of Generalized Path Queries .........................................................................614 Dan Stefanescu, Suffolk University, USA Alex Thomo, University of Victoria, Canada Lida Thomo, University of Macedonia, Greece

Accelerating Approximate Similarity Queries using Genetic Algorithms .......................................621 Renato Bueno, University of Sao Paulo at Sao Carlos, Brazil Agma J.M. Traina, University of Sao Paulo at Sao Carlos, Brazil Caetano Traina Jr., University of Sao Paulo at Sao Carlos, Brazil

Optimizing Existential Queries in Stratifiable Deductive Databases................................................627 Andreas Behrend, University of Bonn, Germany

Jelly View - A Technology for Arbitrarily Advanced Queries within RDBMS...............................633 Igor Wojnicki, University of Missouri-St. Louis, USA Antoni Ligeza, University of Science and Technology, Poland

Cost-Efficient Processing of Min/Max Queries over Distributed Sensors with Uncertainty…......638 Zhenyu Liu, University of California, USA Ka Cheung Sia, University of California, USA Junghoo Cho, University of California, USA

Graph Transformation to Infer Schemata from XML Documents. .................................................646 Luciano Baresi, Politecnico di Milano, Italy Elisa Quintarelli, Politecnico di Milano, Italy

Finding an Optimum Edit Script between an XML Document and a DTD. ...................................651 Nobutaka Suzuki, University of Tsukuba, Japan

Automatic Wrapper Maintenance for Semi-Structured Web Sources Using Results from Previous Queries ....................................................................................................................................................658 Juan Raposo, University of A Coruña, Spain Alberto Pan, University of A Coruña, Spain Manuel Álverez, University of A Coruña, Spain Ángel Viña, University of A Coruña, Spain

Supporting Efficient Query Processing on Compressed XML Files.................................................664 Yongjing Lin, University of Texas at Dallas, USA Youtao Zhang, University of Texas at Dallas, USA Quanzhong Li, IBM Almaden Research Center, USA Jun Yang, University of California, USA

ERONTO: A Tool for Extracting Ontologies from Extended E/R Diagrams..................................670 Sujatha R. Upadhyaya, Indian Institute of Technology Madras, India P Sreenivasa Kumar, Indian Institute of Technology Madras, India

User-Defined View Automation of Genomic Databases.....................................................................675 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 Dimesnional Selectivity Estimation………........680 Chris Giannella, University of Maryland Baltimore County, USA Bassem Sayrafi, Indiana University Bloomington, USA

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

Madhu Govindaraju, Binghamton University, USA Nectarios Koziris, National Technical University of Athens, Greece Kleanthis Psarris, University of Texas at San Antonio, USA

Track Editorial.......................................................................................................................................682

The Pegasus Portal: Web Based Grid Computing .............................................................................684 Gurmeet Singh, Information Sciences Institute, University of Southern California, USA Ewa Deelman, Informaiton Sciences Institute, University of Southern California, USA Gaurang Mehta, Informaiton Sciences Institute, University of Southern California, USA Karan Vahi, Information Sciences Institute, Univeristy of Southern California, USA Mei-Hui Su, Informaiton Sciences Institute, University of Southern California, USA G. Bruce Berriman, Infrared Processing & Analysis Center, California Institute of Technology, USA John Good, Infrared Processing & Analysis Center, California Institute of Technology, USA Joseph Jacob, Jet Propulsion Laboratory, California Institure of Technology, USA Daniel Katz, Jet Propulsion Laboratory, California Institute of Technology, USA Albert Lazzarini, California Institute of Technology, 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……… ......691 Radu Prodan, Univeristy of Innsbruck, Austria Thomas Fahringer, University of Innsbruck, Austria

Replica Selection in Grid Environment: A Data-mining Approach .................................................699 Rashedur M. Rahman, University of Calgary, Canada Ken Barker, University of Calgary, Canada Reda Alhajj, University of Calgary, Canada

A Grid-Based Architecture for Earth Observation Data Access ......................................................705 Giovanni Aloisio, University of Lecce, Italy Massimo Cafaro, University of Lecce, Italy Sandro Fiore, Univeristy of Lecce, Italy Gianvito Quarta, University of Lecce, Italy

Realizing the Leasing Concept in COBRA-Based Applications........................................................710 Markus Aleksy, University of Mannheim, Germany Axel Korthaus, Univeristy of Mannheim, Germany Martin Schader, University of Mannheim, Germany

On Unit Task Linear-Nonlinear Two-Cluster Scheduling Problem .................................................717 Zhichun Xiao, University of Arkansas, USA Wing Ning Li, University of Arkansas, USA John JingFu Jenq, Montclair State Univeristy, USA

Reliability in Three-Tier Systmes without Application Server Coordination and Persistent Message Queues .....................................................................................................................................722 Francesco Quaglia, Università di Roma “La Sapeinza”, Italy

Paolo Romano, Università di Roma “La Sapeinza”, Italy

Policies Translation for Intregrated Management of Grids and Networks .....................................728 Ricardo Neisse, Federal University of Rio Grande do Sul, Brazil Maria Janilce Bosquiroli Almeida, Federal University of Rio Grande do Sul, Brazil Lisandro Zambenedetti Granville, Federal University of Rio Grande do Sul, Brazil Liane Margarida Rockenbach Tarouco, Federal University of Rio Grande do Sul, Brazil

The Necklace-Hypercube: A Well Scalable Hypercube-Based Interconnection Network for Multiprocessors ......................................................................................................................................733 M. Monemizadeh, Sharif University of Technology & School of Computer Science, Iran H. Sarbazi-Azad, Sharif University of Technology & School of Computer Science, Iran

The Recursive Transpose-Connected Cycles (RTCC) Interconnection Network for Multiprocessors ......................................................................................................................................738 M. Hoseiny Farahabady, IPM School of Computer Science, Iran H. Sarbazi-Azad, Sherif Univeristy of Techology, Iran

A Solution for the Location Problem in Arbitrary Computer Networks Using Generic Dominating Sets...........................................................................................................................................................743 Marco Aurélio Spohn, University of California at Santa Cruz, USA J.J. Garcia-Luna-Aceves, University of California at Santa Cruz, USA

Node Clustering Based on Link Delay in P2P Networks ...................................................................748 Wei 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 ..........................................754 Yanqing Ji, 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 Pernambuco, Brazil

Track Editorial.......................................................................................................................................756

Handwritten Character Skeletonisation for Forensic Document Analysis ......................................763 Vladimir Pervouchine, NanyaSng Technological University, Singapore Graham Leedham, Nanyang Technological University, Singapore Konstantin Melikhov, Nanyang Technological University, Singapore

Performance Evaluation for Text Processing of Noisy Inputs...........................................................768 Daniel Lopresti, Lehigh University, USA

Language Identification in Web Pages ................................................................................................773 Bruno Martins, Universidade de Lisboa, Portugal Mário J. Silva, Universidade de Lisboa, Portugal

An XForms Based Solution for Adaptable Documents Editing ........................................................778 Istvan Beszteri, Helsinki University of Technology, Finland Petri Vuorimaa, Helsinki University of Technology, Finland

Tool Support for Plagiarism Detection in Text Documents...............................................................785 Stefan Gruner, Swansea Institute at the University of Wales, Great Britian Stuart Naven, Swansea Institute at the Univerity of Wales, Great Britian

Semantic Document Engineering with WordNet and PageRank......................................................791 Paul Tarau, University of North Texas, USA Rada Mihalcea, University of North Texas, USA Elizabeth Figa, University of North Texas, USA

Poster Paper Approximate XML Document Matching.............................................................................................796 E. Rodney Canfield, University of Georgia, USA Guangming Xing, Western Kentucky University, USA

Electronic Commerce Technologies (ECT) Track Co-Chairs: Sviatoslav Braynov, University of Illinois at Springfield, USA Manuel Núñez, Universidad Complutense de Madrid, Spain Peter Wurman, North Carolina State University, USA

Track Editorial.......................................................................................................................................798

SVD-based Collaborative Filtering with Privacy................................................................................800 Huseyin Polat, Syracuse University, USA Wenliang Du, Syracuse University, USA

Implementing Private Vickrey Auctions .............................................................................................805 Ismael Rodríguez, Universidad Complutense de Madrid, Spain Natalia López, Universidad Complutense de Madrid, Spain

Scalable Security and Accounting Services for Content-based Publish/Subscribe Systems… ......810 Himanshu Khurana, University of Illinois, USA

Effort and Accuracy Analysis of Choice Strategies for Electronic Product Catalogs……….........817 Jiyong Zhang, Swiss Federal Institute of Technology, Switzerland Pearl Pu, Swiss Federal Institute of Technology, Switzerland

An Approach to Handle Real Time and Probabilistic Behaviors in e-commerce: Validating the SET Protocol...........................................................................................................................................824 Gregorio Diaz, University of Castilla-La Mancha, Spain Kim Larsen, Aalborg University, Denmark Juan Jose Pardo, University of Castilla-La Mancha, Spain Fernando Cuartero, University of Castilla-La Mancha, Spain Valentin Valero, University of Castilla-La Mancha, Spain

Privacy Preserving Learning in Negotiation .......................................................................................830 Sheng Zhang, Dartmouth College, USA Fillia Makedon, Dartmouth College, USA

Applying Model Checking to BPEL4WS Business Collaborations...................................................835 Jesús Arias Fisteus, Carlos III University of Madrid, Spain Luis Sánchez Fernández, Carlos III University of Madrid, Spain Carlos Delgado Kloos, Carlos III University of Madrid, Spain

Supporting e-commerce Systems Formalization with Choreography Languages...........................840 Mario Bravetti, University of Bologna, Italy Claudio Guidi, University of Bologna, Italy

Roberto Lucchi, University of Bologna, Italy Gianluigi Zavattaro, University of Bolog-na, Italy

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

Francois Bodin, IRISA, France Cosimo Antonio Prete, Università di Pisa, Italy

Track Editorial.......................................................................................................................................845

Efficient On-line Identification of Hot Data for Flash Memory Management ................................847 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.....................................852 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 ..............................................................859 Jan-Willem van de Waerdt, Philips Semiconductors, TU Delft, USA Gerrit A. Slavenburg, NVIDIA Corporation, USA Jean-Paul van Itegem, Philips Semiconductors, USA Stamatis Vassiliadis, TU Delft, The Netherlands

MSA: A Memory-Aware Utility Accrual Scheduling Algorithm......................................................866 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 .......................................................872 Sreejith K. Menon, Indian Institute of Science Bangalore, India Priti Shankar, Indian Institute of Science Bangalore, India

On Designing a Low-Power Garbage Collector for Java Embedded Devices: A Case Study ........877 Paul Griffin, Iowa State Univeristy, USA Witawas Srisa-An, University of Nebraska-Lincoln, USA J. Morris Chang, Iowa State University, USA

Armed E-Bunny: A Selective Dynamic Compiler for Embedded Java Virtual Machine Targeting ARM Processors.....................................................................................................................................883 Mourad Debbabi, Concordia University, Canada Azzam Mourad, Concordia University, Canada Nadia Tawbi, Laval University, Canada

Automatic Generation of Application-Specific Systems Based on a Micro-programmed Java Core888 Flavius Gruian, Lund University, Sweden Per Andersson, Lund University, Sweden Krzysztof Kuchcinski, Lund University, Sweden Martin Shoeberl, JOP Design, Austria

Performance Analysis Framework for Large Software-Intensive Systems with a Message Passing Paradigm.................................................................................................................................................894 Christian Del Rosso, Nokia Research Center, Finland

Profiling and Mapping of Parallel Workloads on Network Processors............................................899 Ning Weng, University of Massachusetts, USA Tilman Wolf, University of Massachusetts, USA

Poster Papers Real-Time Task Scheduling Anomaly: Observations and Prevention .............................................906 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 of Texas at Austin, USA

Efficient Placement and Routing in Grid-Based Networks ...............................................................908 Roozbeh Jafari, UCLA, USA Foad Dabiri, UCLA, USA Bo-Kyung Choi, UCLA, USA Majid Sarrafzadeh, UCLA, USA

Avoiding Data Conversions in Embedded Media Processors............................................................910 Ben Juurlink, Delft University of Technology, The Netherlands Asadollah Shahbahrami, Delft University of Technology, The Netherlands Stamatis Vassiliadis, Delft Universtiy of Technology, The Netherlands

Two-Level Assurance of QoS Requirements for Distributed Real-time and Embedded Systems.912 Shih-His Liu, University of Alabama at Birmingham, USA Barrett Bryant, University of Alabama at Birmingham, USA Jeffrey Gray, University of Alabama 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.......................................................................................................................................914

Airspace Congestion Smoothing by Multi-objective Genetic Algorithm..........................................916 Delahaye Daniel, CENA, France Sofiane Oussedik, ILOG, France Puechmorel Stephane, EMAC, France

The Container Loading Problem..........................................................................................................922 Andrew Lim, Hong Kong University of Science and Technology, Hong Kong Xingwen Zhang, Hong Kong University of Science and Technology, Hong Kong

An Artificial Immune System Approach to Document Clustering ...................................................927 Na Tang, University of California, USA V. Rao Vemuri, University of California, USA

A New Variable-Length Genome Genetic Algorithm for Data Clustering in Semeiotics...............932 I. De Falco, ICAR - CNR, Italy E. Tarantino, ICAR - CNR, Italy A. Della Cioppa, DIIIE - Univeristy of Salerno, Italy F. Gagliardi, West – Sud s.r.l., Italy

A Novel Grammer-based Genetic Programming Approach to Clustering ......................................937 I. De Falco, ICAR-CNR, Italy

E. Tarantino, ICAR-CNR, Italy A. Della Cioppa, DIIIE - Univeristy of Salerno, Italy F. Fontanella, DIS - University of Naples, Italy

Heuristic Methods for Graph Coloring Problems ..............................................................................942 A. Lim, Hong Kong University of Science and Technology, Hong Kong Y. Zhu, Hong Kong University of Science and Technology, Hong Kong Q. Lou, National University of Singapore, Singapore B. Rodrigues, Singapore Management University, Singapore

A Tabu Search Algorithm for the Safe Transportation of Hazardous Materials……………........949 L. Zhand, Zhongshan University, China S. Guo, Zhongshan Univeristy, China Y. Zhu, University of California, USA A. Lim, Hong Kong University of Science and Technology, Hong Kong

Call Me E-Mail: Arranging the Keyboard with a Permutation-Coded Genetic Algorithm….......956 Jeffrey Goettl, General Mills Inc., USA Alexander Brugh, Los Alamos National Laboratory, USA Bryant Julstrom, St. Cloud State University, USA

Immunity-Based Intrusion Detection System Design, Vulnerability Analysis, and GENERTIA’s Genetic Arms Race ................................................................................................................................961 Haiyu Hou, Auburn University, USA Gerry Dozier, Auburn University, USA

Poster Papers Inductive Inference of Chaotic Series by Genetic Programming: a Solomonoff-based Approach966 I. De Falco, ICAR-CNR, Italy E. Taratino, ICAR-CNR, Italy A. Della Cioppa, DIIIE, University of Salerno, Italy A. Passaro, DI, University of Pisa, Italy

Evolutionary Computation for Biclustering of Gene Expression......................................................968 Jesus S. Aguilar-Ruiz, University of Seville, Spain Federico Divina, Tilburg University, The Netherlands Handheld Computing (HHC) Track Co-Chairs: Qusay H. Mahmoud, University of Guelph, Canada

Zakaria Maamar, Zayed University, UAE

Track Editorial.......................................................................................................................................970

Agent Technology and Reconfigurable Computing for Mobile Devices...........................................972 Timothy O’Sullivan, University of College Cork, Ireland Richard Studdert, University of College Cork, Ireland

Pocket PC Beacons: Wi-Fi based Human Tracking and Following..................................................979 Ankit Arora, Ryerson University, Canada Alexander Ferworn, Ryerson University, Canada

Comparing Table Views for Small Devices .........................................................................................984 Carolyn Watters, Dalhousie University, Canada Rui Zhang, Dalhousie, University, Canada Jack Duffy, Dalhousie University, Canada

A Generic Serializer for Mobile Devices..............................................................................................990 Mattia Monga, Università degli Studi di Milano, Italy Angelo Scotto, Politecnico di Milano, Italy

Dynamic Group Communication in Mobile Peer-to-Peer Environments ........................................995 Eiko Yoneki, University of Cambridge Computer Lab, United Kingdom Jean Bacon, University of Cambridge Computer Lab, United Kingdom

Efficiency of Prefix and Non-Prefix codes in String Matching over Compressed Databases on Handheld Devices.................................................................................................................................1002 Abdelghani Bellaachia, The George Washington University, USA Iehab AL Rassan, The George Washington University, USA

An Evaluation of Qinna, a Component-Based QoS Architecture for Embedded Systems….......1007 Jean-Charles Tourneir, France Telecom R&D Division, France Jean-Philippe Babau, CITI/NSA Lyon, France Vincent Olive, France Telecom R&D Division, France

PUMAS: a Framework based on Ubiquitous Agents for Accessing Web Information Systems through Mobile Devices.......................................................................................................................1012 Angela Carrillo-Ramos, Laboratoire LSR-IMAG, France Jérôme Gensel, Laboratoire LSR-IMAG, France Marlène Villanova-Oliver, Laboratoire LSR-IMAG, France Hervé Martin, Laboratoire LSR-IMAG, France

Information Access and Retrieval (IAR) Track Co-Chairs: Fabio Crestani, University of Strathclyde, UK Gabriella Pasi, ITC-CNR, Italy

Track Editorial.....................................................................................................................................1018

Semantic Cores for Representing Documents in IR .........................................................................1020 Mustapha Baziz, IRIT- Université Paul Sabatier, France Mohand Boughanem, IRIT- Université Paul Sabatier, France Nathalie Aussenac-Gilles, IRIT- Université Paul Sabatier, France Claude Chrisment, IRIT- Université Paul Sabatier, France

An Information Retrieval Model using Proximity Degree of Term Occurences ...........................1027 Michel Beigbeder, École NaitonaleSupérieure des Mines de Saint-Étienne, France Annabelle Mercier, École NaitonaleSupérieure des Mines de Saint-Étienne, France

On Search in Peer-to-Peer File Sharing Systems..............................................................................1032 Wai Ge Yee, Illinois Institute of Technology, USA Ophir Frieder, Illinois Institute of Technology, USA

Retrieving Lightly Annotated Images using Image Similarities......................................................1040 Masashi Inoue, National Institute of Informatics, Japan Naonori Ueda, NTT Communication Science Laboratories, Japan

Methods for Learning Classifier Combinations: No Clear Winner................................................1047 Dmitriy Fradkin, DIMACS, USA Paul Kantor, DIMACS, USA

Text Classification Based on Data Partitioning and Parameter Varying Ensembles……….. .....1053 Yan-Shi Dong, Shanghai Jiao Tong University, China Ke-Song Han, Motorola Labs China Research Center, China

Rule-based Word Clustering for Document Metadata Extraction .................................................1058 Hui Han, Yahoo Inc., USA Eren Manavoglu, The Pennsylvania State University, USA Hongyuan Zha, The Pennsylvania State University, USA Kostas Tsioutsiouliklis, Yahoo Inc., USA C. Lee Giles, The Pennsylvania State University, USA Xiangmin Zhang, Rutgers University, USA

Using Recursive Classification to Discover Predictive Features ....................................................1063 Fan Li, Carnegie Mellon University, USA Yiming Yang, Carnegie Mellon University, USA

The Effect of Named Entities on Effectiveness in Cross-Language Information Retrieval Evaluation.............................................................................................................................................1068 Thomas Mandl, University of Hildesheim, Germany Christa Womser-Hacker, University of Hildesheim, Germany

A Hierarchical Naive Bayes Model for Name Disambiguation in Author Citations.....................1074 Hui Han, Yahoo Inc, USA Wei Xu, NEC Laboratories America Inc., USA Hongyuan Zha, The Pennsylvania State University, USA C. Lee Giles, The Pennsylvani State University, USA

Query Length Impact on Misuse Detection in Information Retrieval Systems .............................1079 Ling Ma, Illinois Institute of Technology, USA Nazli Goharian, Illinois Institute of Technology, USA

Knowledge-based Query Expansion to Support Scenario-Specific Retrieval of Medical Free Text1085 Zhenyu Liu, UCLA, USA Wesley W. Chu, UCLA, USA

InfoFilter: A System for Expressive Pattern Specification and Detection over Text Streams .....1093 Laali Elkhalifa, The University of Texas at Arlington, USA Raman Adaikkalavan, The University of Texas at Arlington, USA Sharma Chakravarthy, The University of Texas at Arlington, USA

Topic Activation Analysis for Document Streams Based on Document Arrival Rate and Relevance1098 Chunhua Cui, University of Tsukuba, Japan Hiroyuki Kitagawa, University of Tsukuba, Japan

Incremental Profile Learning based on a Reinforcement Method..................................................1105 H. Tebri, University of Toulouse III, France M. Boughanem, University of Toulouse III, France C. Chrisment, University of Toulouse III, France

Incremental Collaborative Filtering for Mobile Devices .................................................................1111 Rickard Cöster, Stockholm University, Sweden Martin Svensson, Swedish Institute of Computer Science, Sweden

Extending SQL with Customizable Soft Selection Conditions ........................................................1116 Gloria Bordogna, Sezione di Milano, Italy Giuseppe Psaila, Università di Ingegneria, Italy

Depth-First Frequent Itemset Mining in Relational Databases ......................................................1121 Xuequn Shang, University of Magdeburg, Germany Kai Uwe Sattler, Technical University of Ilmenau, Germany

Mobile Computing and Applications (MCA) Track Co-Chairs: Hong Va Leong, The Hong Kong Polytechnic University, Hong Kong Alvin Chan, The Hong Kong Polytechnic University, Hong Kong

Track Editorial.....................................................................................................................................1127

Location Dependent Query Proxy......................................................................................................1129 Xing Gao, The Pennsylvania State University, USA Ali R. Hurson, The Pennsylvania State University, USA

Indexing Continuously Changing Data with Mean-Variance Tree ................................................1134 Yuni Xia, Purdue University, USA Sunil Prabhakar, Purdue University, USA Shan Lei, Purdue University, USA Reynold Cheng, Purdue University, USA Rahul Shah, Purdue University, USA

Transactional Agent Model for Fault-Tolerant Object Systems.....................................................1142 Tomoaki Kaneda, Tokoyo Denki University, Japan Youhei Tanaka, Tokoyo Denki University, Japan Tomoya Enokido, Tokoyo Denki University, Japan Makoto Takizawa, Tokoyo Denki University, Japan

Alternative Source Coding Model for Mobile Text Communication..............................................1148 Takehiro Nakayama, NTT DoCoMo, Inc., Japan

Developing Component Based Adaptive Applications in Mobile Environments ..........................1155 Djalel Chefrour, INRIA Rennes, France

A Reflective Middleware Architecture to Support Adaptive Mobile Applications………….......1160 Celso Maciel da Costa, Pontificia Universidade Católica do Rio Grande do sul, France Marcelo da Silva Strzykalski, Pontificia Universidade Católica do Rio Grande do sul, France Guy Bernard, Institut National des Télécommunications, France

Reflective Middleware for Wireless Sensor Networks .....................................................................1164 Flávia C. Delicato, Federal University of Rio de Janeiro, Brazil Paulo F. Pires, Federal University of Rio de Janeiro, Brazil Luiz Rust, Federal University of Rio de Janeiro, Brazil Luci Pirmez, Federal University of Rio de Janeiro, Brazil José Ferreira de Rezende, GTA-UFRJ, Brazil

An Adaptive TDMA Slot Assignment Protocol in Ad Hoc Sensor Networks ................................1169 Akimitsu Kanzaki, Osaka University, Japan Takahiro Hara, Osaka University, Japan Shojiro Nishio, Osaka University, Japan

Probabilistic Multi-path vs. Deterministic Single-path Protocols for Dynamic Ad-Hoc Network Scenarios ...............................................................................................................................................1175 Christopher L. Barrett, Virginia Bioinformatics Institute, USA Stephan J. Eidenbenz, Los Alamos National Laboratory, USA Lukas Kroc, Los Alamos National Laboratory, USA Madhav V. Marathe, Los Alamos National Laboratory, USA James P. Smith, Los Alamos National Laboratory, USA

Poster Papers Location Management of Data Items in Mobile Ad Hoc Networks ................................................1183 Takahiro Hara, Osaka University, Japan

Mobile Real-Time Read-Only Transaction Processing in Data Broadcast Environments...........1185 Guohui Li, Huazhong University of Science and Technology, China Hongya Wang, Huazhong University of Science and Technology, China Yunsheng Liu, Huazhong University of Science and Technology, China Jixiong Chen, Huazhong University of Science and Technology, China

Multimedia and Visualization (MV) Track Co-Chairs: Chaman L. Sabharwal, University of Missouri-Rolla, USA S. R. Subramanya, University of Missouri-Rolla, USA

Track Editorial.....................................................................................................................................1187

A Pivot-based Index Structure of Combination of Feature Vectors...............................................1189 Benjamin Bustos, University of Konstanz, Germany Daniel Keim, University of Konstanz, Germany Tobias Schreck, University of Konstanz, Germany

Automated Terrain Generation Using LIDAR and Waterboy Survey Data .................................1194 Maik Flanagin, University of New Orleans, USA Aurélein Grenotton, Univeristy of New Orleans, USA Jay Ratcliff, U.S. Army Corps of Engineers, USA Mahdi Abdelguerfi, University of New Orleans, USA Kevin Shaw, Naval Research Laboratory, USA

Contour-based Partial Object Recognition Using Symmetry in Image Databases………….. .....1199 June-Suh Cho, Hankuk Univeristy of Foreign Studies, Korea Joonsoo Choi, Kookmin University, Korea

An Adaptive Distance Computation Technique for Image Retreival Systems ..............................1205 Nualsawat Hiransakolwong, King Mongkut’s Institute of Technology, Bangkok Kein Hua, University of Central Florida, USA Soontharee Koompairojn, University of Central Florida, USA Khanh Vu, University of Central Florida, USA Sheau-Dong Lang, University of Central Florida, USA

Visualization of Neuronal Fiber Connections from DT-MRI with Global Optimization…….....1210 Nathaniel Fout, The University of California, USA Jian Huang, The University of Tennessee, USA Zhaohua Ding, Vanderbilt University, USA

Interactive 3D Visualization of Highly Connected Ecological Networks on the WWW…….......1217 Ilmi Yoon, San Francisco State University, USA Sanghyuk Yoon, Rocky Mountain Biological Laboratory, USA Rich Williams, National Center for Ecological Analysis and Synthesis, USA Neo Martinez, Rocky Mountain Biological Laboratory, USA Jennifer Dunne, Santa Fe Institute, USA

Similarity Measurement for Aggregation of Spatial Objects ..........................................................1223 Byungwoo Kim, University of Louisiana at Lafayette, USA Jong Yoon, University of Louisiana at Lafayette, USA

MAMView: A Visual Tool for Exploring and Understanding Metric Access Methods……........1228 Fabio J.T. Chino, University of Sao Paulo at Sao Carlos, Brazil Marcos R. Vieria, University of Sao Paulo at Sao Carlos, Brazil Agma JM Traina, University of Sao Paulo at Sao Carlos, Brazil Caetano Traina Jr., University of Sao Paulo at Sao Carlos, Brazil

Time-Varying, Multivariate Volume Data Reduction......................................................................1234 Nathaniel Fout, Univeristy of California, Davis, USA Kwan-Liu Ma, University of California, Davis, USA James Ahrens, Los Alamos National Laboratory, USA

Discovering Parametric Clusters in Social Small-World Graphs ...................................................1241 Jonathan McPherson, University of California, Davis, USA Kwan-Liu Ma, University of California, Davis, USA Michael Ogawa, University of California, Davis, USA

The Role of Visualization in Effective Data Cleaning ......................................................................1249 Yu Qian, The University of Texas at Dallas, USA Kang Zhang, The University of Texas at Dallas, USA

A Framework for Collaborative Control of Applications................................................................1254 James Miller, University of Kansas, USA Serhan Yengulalp, University of Kansas, USA Patrick Steiner, University of Kansas, USA

Poster Papers Surface Reconstruction Using Shadow Profilometry .......................................................................1260 Christopher Walker, University of Missouri-Rolla, USA Norbert Maerz, University of Missouri-Rolla, USA Michael G. Hilgers, University of Missouri-Rolla, USA

Solving Linear and One-Way Contraints for Web Document Layout ...........................................1262 Hiroshi Hosobe, National Institute of Informatics, Japan

Issues in Augmenting Image Databases to Improve Processing Content-Based Similarity Searches1264 Leonard Brown, The University of Texas at Tyler, USA

Object-Oriented Programming Languages and Systems (OOP) Track Co-Chairs: Davide Ancona, DISI - Università di Genova, Italy Rajeev Raje, Indiana University Purdue University Indianapolis, USA Mirko Viroli, Università di Bologna, Italy

Track Editorial.....................................................................................................................................1266

Safe and Flexible Objects ....................................................................................................................1268 Lorenzo Bettini, Università di Firenze, Italy Viviana Bono, Università di Torino, Italy Silvia Likavec, Università di Torino, Italy

[a]C#: C# with a Customizable Code Annotation Mechanism........................................................1274 Walter Cazzola, Universitá delgi Studi di Milano, Italy Antonio Cisternino, Universitá degli Studi di Pisa, Italy

Selective Method Combination in Mixin-Based Composition.........................................................1279 Tetsuo Kamina, The University of Tokoyo, Japan Tetsuo Tamai, The University of Tokoyo, Japan

Virtual Namespace Functions: An Alternative to Virtual Member Functions in C++ and Advice in AspectC++…………….........................................................................................................................1284 Christian Heinlein, University of Ulm, Germany

RAIL: Code Instrumentation for .NET.............................................................................................1292 Bruno Cabral, University of Coimbra, Protugal

Paulo Marques, University of Coimbra, Protugal Luís Silva, University of Coimbra, Protugal

Empirical Evaluation of OpenCCM on Java-based Distributed, Real-time, and Embedded Systems..................................................................................................................................................1297 Shruti Gorappa, University of California, USA Raymond Klefstad, University of California, USA

Organizational Engineering (OE) Track Co-Chairs: José Tribolet, Technical University of Lisbon, Portugal

Robert Winter, University of St. Gallen, Switzerland Artur Caetano, Technical University of Lisbon, Portugal

Track Editorial.....................................................................................................................................1305

Method Construction- A Core Approach to Organizational Engineering .....................................1310 Christian Braun, University of St. Gallen, Switzerland Felix Wortmann, University of St. Gallen, Switzerland Martin Hafner, University of St. Gallen, Switzerland Robert Winter, University of St. Gallen, Switzerland

Strategic Alignment in Requirements Analysis for Organizational IT: an Intregrated Approach1318 Steven Bleistein, National ICT Australia/UNSW, Australia Karl Cox, National ICT Australia/UNSW, Australia June Verner, National ICT Australia, Australia

Using Roles and Business Objects to Model and Understand Business Processes……….. ..........1324 Artur Caetano, Technical University of Lisbon, Portugal António Rito Silva, Technical University of Lisbon, Portugal José Tribolet, Technical University of Lisbon, Portugal

Knowledge Based Approach to Semantic Composition of Teams in an Organization……….. ...1330 S. Colucci, Politecnico di Bari Via Re David, Italy T. Di Noia, Politecnico di Bari Via Re David, Italy E. Di Sciascio, Politecnico di Bari Via Re David, Italy F.M. Donini, Università della Tuscia, Italy G. Piscitelli, Politecnico di Bari Via Re David, Italy S. Coppi, Politecnico di Bari Via Re David, Italy

Value-Oriented Design of Service Coordination Processes: Correctness and Trust………….....1338 Roel J. Wieringa, University of Twente, The Netherlands Jaap Gordijn, Vrije Universiteit, The Netherlands

A Case Study of Seperation of Duty Properties in the Context of the Austrian "elaw" Process…1343 Andreas Schaad, SAP Research, France Pascal Spadone, SAP Research, France Helmut Weichsel, Federal Chancellery Vienna, Austria

Extending the Business Engineering Framework for Application Integration Purposes…….....1348 Joachim Schelp, Univesity of St. Gallen, Switzerland Alexander Schwinn, University of St. Gallen, Switzerland

Assessment and Impact Analysis for Aligning Business Processes and Software Systems……...1354 Lerina Aversano, University of Sannio, Italy Thierry Bodhuin, University of Sannio, Italy Maria Tortorella, University of Sannio, Italy

Poster Paper Enterprise Architecture: Business and IT Alignment......................................................................1356 Carla Marques Pereira, Link Consulting SA & IST/DEI, Portugal Pedro Sousa, Link Consulting SA & IST/DEI, Portugal

Programming for Separation of Concerns (PSC) Track Co-Chairs: Antonella Di Stefano, Catania University, Italy Giuseppe Pappalardo, Catania University, Italy Corrado Santoro, Catania University, Italy Emiliano Tramontana, Catania University, Italy Ian Welch, Victoria University, New Zealand

AOP for Software Evolution: A Design Oriented Approach...........................................................1356 Walter Cazzola, Universitá degli Studi di Milano Sonia Pini, Universitá degli Studi di Genova Massimo Ancona, Universitá degli Studi di Genova

Supporting Efficient Dynamic Aspects Through Reflection and Dynamic Compilation……......1361 Frédéric Ogel, France Telecom R&D, France Gaël Thomas, Universite Pierre et Marie Curie, France Bertil Folliot, Universite Pierre et Marie Curie, France

The # Model: Separation of Concerns for Reconciling Modularity, Abstraction and Efficiency in Distributed Parallel Programming.....................................................................................................1367 Francisco Heron de Carvalho Junior, Instituto Titan, Brazil Rafael Dueire Lins, Universidade Federal de Pernambuco, Brazil

A Two-Dimensional Separation of Concerns for Compiler Construction .....................................1375 Xiaoqing Wu, The University of Alabama at Birmingham, USA Suman Roychoudhury, The University of Alabama at Birmingham, USA Barrett Bryant, The University of Alabama at Birmingham, USA Jeffrey Gray, The University of Alabama at Birmingham, USA Marjan Mernik, University of Maribor, Slovenia

Weaving a Debugging Aspect into Domain-Specific Language Grammars...................................1380 Hui Wu, The University of Alabama at Birmingham, USA Jeff Gray, The University of Alabama at Birmingham, USA Suman Roychoudhury, The University of Alabama at Birmingham, USA Marjan Mernik, University of Maribor, Slovenia

Handling Run-time Updates in Distributed Applications................................................................1385 Marco Milazzo, Universitá di Catania, Italy Giuseppe Pappalardo, Universitá di Catania, Italy Emiliano Tramontana, Universitá di Catania, Italy Giuseppe Ursino, Universitá di Catania, Italy

Poster Paper Metrics for Evaluating Concern Separation and Composition .......................................................1391 A. Di Stefano, Universitá di Catania, Italy M. Fargetta, Universitá di Catania, Italy G. Pappaladro, Universitá di Catania, Italy E. Tramontana, Universitá di Catania, Italy

Programming Languages (PL) Track Co-Chairs: Chang-Hyun Jo, California State University at Fullerton, USA Marjan Mernik, University of Maribor, Slovenia Barrett R. Bryant, University of Alabama at Birmingham, USA

Track Editorial.....................................................................................................................................1354

Compiling Regular Patterns to Sequential Machines.......................................................................1356 Burak Emir, EPFL, Switzerland

Understanding Access Restriction of Variant Parametric Types and Java Wildcards……… ....1361 Giovanni Rimassa, Whitestein Technologies AG, Switzerland Mirko Viroli, Universitá degli Studi di Bologna, Italy

Disentangling the Implementation of Local-to-Global Transformations in a Rewrite Rule Transformation System.......................................................................................................................1369 Thomas Cleenewerck, Vrije Universiteit Brussel, Belgium Theo D'Hondt, Vrije Universiteit Brussel, Belguim

Use of Correctness Assertions in Declarative Diagnosis ..................................................................1375 Lunjin Lu, Oakland University, USA

Reflection-Based Implementation of Java Extensions: The Double-Dispatch Use-Case…… ......1380 Rémi Forax, Université de Marne-la-Vallee, France Etienne Duris, Université de Marne-la-Vallee, France Gilles Roussel, Université de Marne-la-Vallee, France

Mode-directed Preferences for Logic Programs...............................................................................1385 Hai-Feng Guo, University of Nebraska at Omaha, USA Bharat Jayaraman, State University of New York at Buffalo, USA

Rapidly Prototyping Implementation Infrastructure of Domain Specific Languages: A Semantics-based Approach ...................................................................................................................................1390 Qian Wang, University of Texas at Dallas, USA Gopal Gupta, University of Texas at Dallas, USA

Poster Paper Agent Oriented Logic Programming in Jinni 2004 .........................................................................1398 Paul Tarau, University of North Texas, USA

Reliable Computations and their Applications (RCA) Track Co-Chairs: Martine Ceberio, University of Texas at El Paso, USA

Vladik Kreinovich, University of Texas at El Paso, USA Michael Rueher, Universite de Nice ESSI, France

Track Editorial.....................................................................................................................................1400

Order Relations and Rigor in Computing .........................................................................................1402 Roman E. Moore, USA

On Considering and Interval Constraint Solving Algorithm as a Free-Steering Nonlinear Gauss-Seidel Procedure...................................................................................................................................1405 Frédéric Goualard, Laboratoire d’Informatique de Nantes, France

Box-Set Consistency for Interval-Based Constraint Problems........................................................1410 Gilles Chabert, PROJECT CORPIN, France Gilles Trombettoni, PROJECT CORPIN, France

Bertrand Neveu, PROJECT CORPIN, France

Enhancing Network Intrusion Detection Systems with Interval Methods .....................................1415 Qiang Duan, University of Central Arkansas, USA Chenyi Hu, University of Central Arkansas, USA Han-Chieh Wei, University of Central Arkansas, USA

Computing the Cube on an Interval Matrix is NP-Hard .................................................................1420 Olga Kosheleva, University of Texas at El Paso, USA Vladik Kreinovich, University of Texas at El Paso, USA Günther Mayer, Universitat Rostock, Germany Hung T. Nguyen, New Mexico State University, USA

Software Engineering: Applications, Practices and Tools (SE) Track Co-Chairs: Stefan Gruner, Swansea Institute, Great Britain Alessandra Cavarra, University of Oxford, Great Britain Sung Shin, South Dakota State University, USA

Track Editorial.....................................................................................................................................1425

Using Object-Level Run-Time Metrics to Study Coupling Between Objects ................................1427 Áine Mitchell, National University of Ireland, Ireland James F. Power, National University of Ireland, Ireland

Adaptive Testing of Software Components .......................................................................................1434 Kai-Yuan Cai, Beijing Univeristy of Aeronautics and Astronautics, China T.Y. Chen, Swinburne University of Technology, Australia Yong-Chao Li, Beijing Univeristy of Aeronautics and Astronautics, China Wei-Yi Ning, Beijing Univeristy of Aeronautics and Astronautics, China Y.T. Yu, City University of Hong Kong, Hong Kong

Use Case-Driven Component Specification: A Medical Applications Perspective to Product Line Development .........................................................................................................................................1441 M. Brain Blake, Georgetown University, USA Kevin Cleary, Georgetown University, USA Sohan R. Ranjan, Georgetown University, USA Luis Ibanez, Kitware Incorporated, USA Kevin Gary, Arizona State University, USA

Confirming the Influence of Educational Background in Pair-design Knowledge through Experiments..........................................................................................................................................1449 Gerardo Canfora, University of Sannio, Italy Aniello Cimitile, University of Sannio, Italy Felix Garcia, University of Castillas-La-Mancha, Spain Mario Piattini, University of Castillas-La-Mancha, Spain Corrado Aaron Visaggio, University of Sannio, Italy

Source Code-Based Software Risk Assessing ....................................................................................1456 W. Eric Wong, University of Texas at Dallas, USA Yu Qi, University of Texas at Dallas, USA Kendra Cooper, University of Texas at Dallas, USA

A Case Study on Building COTS-Based System Using Aspect-Oriented Programming..............1462 Axel Anders Kvale, Norwegian University of Science and Technology, Norway Jingyue Li, Norwegian University of Science and Technology, Norway Reidar Conradi, Norwegian University of Science and Technology, Norway

Towards the Prioritization of Regression Test Suites with Data Flow Information……….. .......1470 Matthew J. Rummel, Allegheny College, USA Gregory M. Kapfhammer, Allegheny College, USA Andrew Thall, Allegheny College, USA

A Strategy for Selecting Multiple Components.................................................................................1476 Ed Mancebo, Washington State University, USA Anneliese Andrews, Washington State University, USA

NextGen eXtreme Porting – Structured by Automation..................................................................1482 Pradeep Varma, IBM India Research Laboratory, India Ashok Anand, IBM India Research Laboratory, India Donald P. Pazel, IBM T.J. Watson Research Center, USA Beth R. Tibbitts, IBM T.J. Watson Research Center, USA

High-Integrity Extreme Programming..............................................................................................1489 Richard F. Paige, University of York, UK Howard Chivers, University of York, UK John A. McDermid, University of York, UK Zoë R. Stephenson, University of York, UK

A Pattern-based Development Methodology for Communication Protocols .................................1495 YoungJoon Byun, The Pennsylvania State University at Erie, USA Beverly A. Sanders, University of Florida, USA

Applying Agent Technology to Software Process Modeling and Process-Centered Software Engineering Environment ...................................................................................................................1500 Xinpei Zhao, Chinese Academy of Sciences, China Keith Chan, The Hong Kong Polytechnic University, USA Mingshu Li, Chinese Academy of Sciences, China

Plan Validation via Petri Nets in the Real-Time Performers Java Framework ............................1505 Andrea Trentini, Universitá degli Studi do Milano, Italy Daniela Micucci, Universitá degli Studi do Milano, Italy

Organizing and Visualizing Software Repositories using the Growing Hierarchical Self-organizing Map........................................................................................................................................................1510 Songsri Tangsripairoj Mahidol University, Thailand M. H. Samadzadeh, Oklahoma State Univeristy, USA

Verification of Behavioral Elements of UML Models using B ........................................................1517 Ninh-Thuan Truong, LORIA, Campus Scienfique, France Jeanine Souquières, LORIA, Campus Scienfique, France

Marshaling and Unmarshaling Models Using Entity-Relationship Model ....................................1524 Fei Cao, University of Alabama at Birmingham, USA Barrett R. Bryant, University of Alabama at Birmingham, USA Wei Zhao, University of Alabama at Birmingham, USA Carol C. Burt, University of Alabama at Birmingham, USA Rajeev R. Raje, Indiana University Purdue University Indianapolis, USA Andrew M. Olson, Indiana University Purdue University Indianapolis, USA Mikhail Auguston, Naval Postgraduate School, USA

Space-efficient Page-level Incremental Checkpointing ....................................................................1529 Junyoung Heo, Seoul National University, Korea Sangho Yi, Seoul National University, Korea Yookun Cho, Seoul National University, Korea

Jiman Hong, Kwangwoon University, Korea Sung Y. Shin, South Dakota State University, USA Gwangil Jeon, Korea PolytechnicUniversity, Korea Hanil Kim, Cheju National University Korea Jongmoo Choi, Dankook University, USA

Poster Papers Bridging AOP to SMP: Turning GCC into a Metalanguage Preprocessor ...................................1534 Tiago Stein D’Agostini, Federal University of Santa Catarina, Brazil Antônio Augusto Fröhlich, Federal University of Santa Catarina, Brazil

Synthesis of C++ Software for Automated Teller from CSPm Specifications ...............................1536 Stephen Doxsee, University of Guelph, Canada W.B. Gardner, University of Guelph, Canada

Mediation Framework Modeling and Verification by SAM............................................................1538 Li Yang, Florida International University, USA Raimund K. Ege, Florida International University, USA Huiqun Yu, East China University of Science & Technology, China

Trust, Recommendations, Evidence, and other Collaboration Know-how (TRECK) Track Co-Chairs: Jean-Marc Seigneur, Trinity College Dublin, Ireland Christian Damsgaard Jensen, Technical University of Denmark, Denmark

Track Editorial.....................................................................................................................................1540

Strong Pseudonymous Communication for Peer-to-Peer Reputation Systems .............................1541 Michael Kinateder, Universität Stuttgart, Germany Ralf Terdic, Universität Stuttgart, Germany Kurt Rothermel, Universität Stuttfart, Germany

Simulation of a Distributed Recommendation System for Perasive Networks..............................1548 Seamus Moloney, Nokia Research Center, Finland

Component Based Trust Management in the Context of a Virtual Organization.........................1553 Yanjun Zuo, University of Arkansas, USA Brajendra Panda, University of Arkansas, USA

A Trust-enhanced Recommender System Application: Moleskiing ...............................................1560 Paolo, Avesani, ITC/irsT, Italy Paolo Massa, ITC/irsT, Italy Roberto Tiella, ITC/irsT, Italy

How to Incorporate Revocation Status Information into the Trust Metrics for Public-Key Certification..........................................................................................................................................1565 Kemel Bicakci, Vrije Universiteit, The Netherlands Bruno Crispo, Vrije Universiteit, The Netherlands Andrew Tanenbaum, Vrije Universiteit, The Netherlands

Ubiquitous Computing (UC) Track Co-Chairs: George Roussos, University of London, UK George Samaras, University of Cyprus, Cyprus

Track Editorial.....................................................................................................................................1570

From BuddySpace to CitiTag: Large-scale Symbolic Presence for Community Building and Spontaneous Play .................................................................................................................................1571 Yanna Vogiazou, The Open University, UK Mark Eisenstadt, The Open University, UK Martin Dzbor, The Open University, UK Jiri Komzak, The Open University, UK

Extending the EPC Network - The Potential of RFID in Anti-Counterfeiting ..............................1578 Thorsten Staake, University of St. Gallen, Switzerland Frédéric Thiesse, University of St. Gallen, Switzerland Elgar Fleisch, University of St. Gallen, Switzerland

Towards System Software for Physical Space Applications ............................................................1584 Kaori Fujinami, Waseda Univeristy, Japan Tatsuo Nakajima, Waseda Univeristy, Japan

Intelligent File Management in Ubiquitous Environments..............................................................1592 Kartik Vishwanath, University of Missouri- Kansas City, USA Arvind S. Gautam, University of Missouri- Kansas City, USA Yugyung Lee, University of Missouri- Kansas City, USA

Poster Paper Declarative Control of the Future Home Environment ...................................................................1597 Tope Omitola, University of Cambridge, United Kingdom

Web Technologies and Applications (WTA) Track Co-Chairs: Cristina Cachero, Universidad de Alicante, Spain Sara Comai, Politecnico di Milano, Italy Maristella Matera, Politecnico di Milano, Italy

Track Editorial.....................................................................................................................................1599

An Approach to Acquire Semantic Relationships between Terms .................................................1601 Xia Sun, Xi’an Jiaotong University, China Qinghua Zheng, Xi’an Jiaotong University, China

Survey of Semantic Annotation Platforms ........................................................................................1605 Lawrence Reeve, Drexel University, USA Hyoil Han, Drexel University, USA

Automatic Learning of Text-to-concept Mappings Exploiting WordNet-like Lexical Networks….1610 Dario Bonino, Politecnico di Torino, Italy Fulvio Corno, Politecnico di Torino, Italy Federico Pescarmona, Politecnico di Torino, Italy

Reactivity on the Web: Paradigms and Applications of the Language XChange……………. ....1616 Francois Bry, University of Munich, Germany Paula-Lavinia Patranjan, University of Munich, Germany

Pollock: Automatic Generation of Virtual Web Services from Web Sites .....................................1621 Yi-Hsuan Lu, Pennsylvania State University, USA Yoojin Hong, Pennsylvania State University, USA Jinesh Varia, UBMatrix Dongwon Lee, Pennsylvania State University, USA

Tuple Spaces for Self-Coordination of Web Services.......................................................................1627 Zakaria Maamar, Zayed University, United Arab Emirates Djamal Benslimane, Claude Bernard Lyon 1 University, France Chirine Ghedira, Claude Bernard Lyon 1 University, France Qusay H. Mahmoud, University of Guelph, Canada Hamdi Yahyaoui, Laval University, Canada

An OWL-S Based Approach to Express Grid Services Coordination ...........................................1632 Laura Bocchi, University of Bologna, Italy Paolo Ciancarini, University of Bologna, Italy Rocco Moretti, University of Bologna, Italy Valentina Presutti, University of Bologna, Italy Davide Rossi, University of Bologna, Italy

Context-Aware Filtering for Collaborative Web Systems: Adapting the Awareness Information to the User’s Context................................................................................................................................1639 Manuele Kirsch-Pinheiro, LSR Laboratory- IMAG, France Marlène Villanova-Oliver, LSR Laboratory- IMAG, France Jérôme Gensel, LSR Laboratory- IMAG, France Hervé Martin, LSR Laboratory- IMAG, France

First Experiences on Constraining Consistency and Adaptivity of W2000 Models ......................1645 Luciano Baresi, Politecnico di Milano, Italy Sebastiano Colazzo, Politecnico di Milano, Italy Luca Mainetti, Universitá degli Studi di Lecce, Italy

Measuring Structure Complexity for Class Diagrams: An Information Theory Approach…….1650 Yumig Zhou, Southeast University Nanjing, China Baowen Xu, Southeast University Nanjing, China

Where Web Engineering Tool Support Ends: Building Usable Websites......................................1655 Richard Atterer, Ludwig-Maximilians-University, Germany

A Product Line Architecture for Web Applications.........................................................................1660 Luca Balzerani, Università degli Studi di L’Aquila, Italy Davide Di Ruscio, Università degli Studi di L’Aquila, Italy Alfonso Pierantonio, Università degli Studi di L’Aquila, Italy Guglielmo De Angelis, Istituto di Scienza e Tecnologie dell’Informazione, Italy

TestUml: User-Metrics Driven Web Applications Testing ..............................................................1665 Carlo Bellettini, Università degli Studi di Milano, Italy Alessandro Marchetto, Università degli Studi di Milano, Italy Andrea Trentini, Università degli Studi di Milano, Italy

Combining Queueing Networks and Web Usage Mining Techniques for Web Performance Analysis .................................................................................................................................................1670 Giuliano Casale, Politecnico di Milano, Italy

An Empirical Evaluation of Client-side Server Selection Policies for Accessing Replicated Web Services..................................................................................................................................................1675 Nabor Mendonça, Universidade de Fortaleza, Brasil José Airton Silva, Universidade de Fortaleza, Brasil

SEcS: Scalable Edge-computing Services..........................................................................................1680 Raffaella Grieco, Università di Salerno, Italy Delfina Malandrino, Università di Salerno, Italy Vittorio Scarano, Università di Salerno, Italy

Making XPath Reach for the Web-Wide Links ................................................................................1685 Lule Ahmedi, Universität Freiburg, Germany

Automatic Extraction of Informative Blocks from Webpages ........................................................1693 Sandip Debnath, Pennsylvania State University, USA Prasenjit Mitra, Pennsylvania State University, USA C. Lee Giles, Pennsylvania State University, USA

SmartGate: A Smart Push-Pull Approach to Support Role-Based Security in Web Gateways ..1698 Raman Adaikkalavan, The University of Texas at Arlington, USA Sharma Chakravarthy, The University of Texas at Arlington, USA

Sanitizing using Metadata in MetaXQuery.......................................................................................1703 Hao Jin, Washington State University, USA Curtis Dyreson, Washington State University, USA

Poster Papers Learning System to Introduce GIS to Civil Engineers.....................................................................1708 Ronaldo Luna, University of Missouri – Rolla, USA William T. Lawrence, University of Missouri – Rolla, USA John Sullivan, University of Missouri – Rolla, USA Richard Hall, University of Missouri – Rolla, USA Michael Hilgers, University of Missouri – Rolla, USA Matt Buechler, University of Missouri – Rolla, USA

wsBus: A Framework for Reliable Web Services Interactions .......................................................1710 Abdelkarim Erradi, Univerisyt of New South Wales, Australia Piyush Maheshwari, Univerisyt of New South Wales, Australia