APPLIED COMPUTING 2004

PROCEEDINGS OF THE 2004 ACM

SYMPOSIUM ON APPLIED COMPUTING

VOLUME 1 of 2

Nicosia, CyprusMarch 14-17,2004

Organizing Committee

Hisham M. Haddad

George A. PapadopoulosAndrea Omicini

Roger L. Wainwright

Lorie M. Liebrock

Mathew J. Palakal

Andreas Andreou

Constantinos Pattichis

Ubiquitous Computing

Softw are Engineering

Programming Languages

Parallel and Dist Systems

Organization Engineering

OO Programming

Multimedia and Visualization

Mobile Computing

Internet Data Management

Info Access & Retrieval

Evolutionary Computing

Web Technologies - Agents

E-Learnmg Systems— E-Commerce

Embedded Systems

Biomformatics

Computational Sciences

Computing and Health Care

Computer Netw orks

Computer Security

- Coordination Models

Data Mining

Data Streams

Database

acm)

TIB/UB Hannover

128 599 022

89

Hosted by

University of Cyprus in Nicosia, Cyprus

Table of Contents

Symposium Organizing Committee iii

Sponsoring SIG Information iv

Co-Editors (Track Chairs) v

Message from the Symposium Chair viii

Message from Program Chairs ix

Keynote Address: Towards Secure Systems Programming Languages 1

GiladBracha

Al and Computational Logic and Image Analysis (Al)Track Chair: C.C. Hung, School of Computing and Soft. Eng., USATrack Co-Chairs: Stefano Bistarelli, Istituto per l'lnformatica e la Telematica, Italy

Agostinho Rosa, LaSEEB -ISR - 1ST, Portugal

Track Editorial 3

Person Identification From Heavily Occluded Face Images 5

Andreas Lanitis, Cyprus College, Cyprus

Morphing of Image Represented Objects Using a Physical Methodology 10

Raquel Ramos Pinho, Laboratorio de Optica e, PortugalJoao Manuel R. S. Tavares, Laboratorio de Optica e, Portugal

Hierarchical Nonlinear Constraint Satisfaction 16

Hiroshi Hosobe, National Institute ofInformatics, Japan

Concatenate Feature Extraction for Robust 3D Elliptic Object Localization 21

Yuichi Motai, University of Vermont, USA

Akio Kosaka, Purdue University, USA

Symbol Representation in Map Image Compression 29

Akimov Alexander, University ofJoensuu, Finland

Pasi Frdnti, University ofJoensuu, Finland

Solving Weighted Max-Sat Optimization Problems Using a Taboo Scatter Search

Metaheuristic 35

Dalila Boughaci, University ofSciences and Technology, AlgeriaHabiba Drias, University ofSciences and Technology, Algeria

xi

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

Track Editorial 37

Knowledge Based Conversational Agents and Virtual Storytelling 39

Paul Tarau, University ofNorth Texas, USA

Elizabeth Figa, University ofNorth Texas, USA

Further Extensions of FIPA Contract Net Protocol: Threshold plus DoA 45

Chen Xueguang, Huazhong University ofScience and Technology, China

Song Haigang, Huazhong University ofScience and Technology, China

Information Agents Cooperating with Heterogeneous Data Sources for Customer-Order

Management 52

Dionisis Kehagias, Aristotle University ofThessaloniki, Greece

Kyriakos Chatzidimitriou, Aristotle University ofThessaloniki, Greece

Andreas Symeonidis, Aristotle University ofThessaloniki, Greece

Pericles Mitkas, Aristotle University ofThessaloniki, Greece

Propositional Planning in BDI Agents 58

Felipe Meneguzzi, PUCRS, Brazil

Avelino Zorzo, PUCRS, Brazil

Micheal da Costa Mora, PUCRS, Brazil

A Decision-Theoretic Approach for Designing Proactive Communication in Multi-AgentTeamwork 64

Yu Zhang, TexasA&MUniversity, USA

Richard Volz, Texas A&M University, USA

Thomas Ioerger, Texas A&M University, USA

John Yen, The Pennsylvania State University, USA

Specification and Verification of Agent Interaction Protocols in a Logic-based System 72

Marco Alberti, Universita de Ferrara, ItalyDavide Daolio, Universita de Ferrara, ItalyPaolo Torroni, Universita de Bologna, Italy

A Framework and Analysis for Cooperative Search Using UAV Swarms 79

Patrick Vincent, University ofCalifornia, USA

Izhak Rubin, University of California, USA

Using Mobile Agents as Roaming Security Guards to Test and Improve Security of Hosts

and Networks 87

Marco Carvalho, Institutefor Human and Machine Cognition, USA

Thomas Cowin, Institutefor Human and Machine Cognition, USA

Niranjan Suri, Institutefor Human and Machine Cognition, USA

Maggie Breedy, Institutefor Human and Machine Cognition, USA

Kenneth Ford, Institutefor Human and Machine Cognition, USA

xii

Software Agents for Process Monitoring and Notification 94

Larry Bunch, Institutefor Human and Machine Cognition, USA

Maggie Breedy, Institutefor Human and Machine Cognition, USA

Jeffrey Bradshaw, Institutefor Human and Machine Cognition, USA

Marco Carvalho, Institutefor Human and Machine Cognition, USA

Niranjan Suri, Institutefor Human and Machine Cognition, USA

Andrzej Uszok, Institutefor Human and Machine Cognition, USA

Jack Hansen, Institutefor Human andMachine Cognition, USA

Michal Pechoucek, Czech Technical University, Czech RepublicVladimir Marik, Czech Technical University, Czech Republic

Bioinformatics (BIO)Track Chair: Warren Jones, University of Alabama at Birmingham, USATrack Co-Chairs: Mathew J. Palakal, Indiana University Purdue University Indianapolis, USA

Jake Chen, IUPUI, USA

Track Editorial 101

An Architecture for Biological Information Extraction and Representation 103

Aditya Vailaya, Agilent Laboratories, USA

Peter Bluvas, Agilent Laboratories, USA

Robert Kincaid, Agilent Laboratories, USA

Allan Kuchinsky, Agilent Laboratories, USA

Michael Creech, Agilent Laboratories, USA

Annette Adler, Agilent Laboratories, USA

Classifying Biological Articles using Web Resources Ill

Francisco M. Couto, Faculdade de Ciencias da Universidade de Lisboa, PortugalBruno Martins, Faculdade de Ciencias da Universidade de Lisboa, PortugalMario J. Silva, Faculdade de Ciencias da Universidade de Lisboa, Portugal

Clustering of Diverse Genomic Data using Information Fusion 116

Jyotsna Kasturi, The Pennsylvania State University, USA

Raj Acharya, The Pennsylvania State University, USA

BioMap: Toward the Development of a Knowledge Base of Biomedical Literature 121

Kamal Kumar, Indiana University Purdue University Indianapolis, USA

Mathew J. Palakal, Indiana University Purdue University Indianapolis, USA

Snehasis Mukhopadhyay, Indiana University Purdue University Indianapolis, USA

Mathew J. Stephens, Indiana University School ofMedicine, USA

Huian Li, Indiana University Purdue University Indianapolis, USA

Time-Frequency Feature Detection for Time-course Microarray Data 128

Jiawu Feng, New York University, USA

Paolo Emilio Barbano, New York University, USA

Bud Mishra, New York University, USA

xiii

An Integrated Tool for Microarray Data Clustering and Cluster Validity Assessment 133

Nadia Bolshakova, Trinity College Dublin, Ireland

Francisco Azuaje, University of Ulster at Jordanstown, Northern Ireland, UK

Pddraig Cunningham, Trinity College Dublin, Ireland

Finding Differentially Expressed Genes: Pattern Generation using q-values 138

OsmanAbul, University of Calgary, Canada

RedaAlhajj, University of Calgary, Canada

Faruk Polat, Middle East Technical University, TurkeyKen Barker, University ofCalgary, Canada

A New Framework for Clustering Algorithm Evaluation in the Domain of Functional

Genomics 143

AnYuanGuo, University ofMassachusetts Amherst, USA

A Parallel Algorithm for the Extraction of Structured Motifs 147

Alexandra M. Carvalho, INESCID, PortugalAna T. Freitas, IST/INESCID, PortugalArlindo L. Oliveira, IST/INESCID, PortugalMarie-France Sagot, Universite Claude Bernarde, France

Identification of Fundamental Building Blocks in Protein Sequences Using Statistical

Association Measures 154

Deborah Weisser, Carnegie Mellon University, USA

Judith Klein-Seetharaman, University ofPittsburgh, USA

Guiding Motif Discovery by Iterative Pattern Refinement 162

Zhiping Wang, Indiana University, USAMehmet Dalkilic, Indiana University, USA

Sun Kim, Indiana University, USA

VistaClara: An Interactive Visualization for Exploratory Analysis ofDNA Microarrays 167

Robert Kincaid, Agilent Laboratories, USA

Multidimensional Support Vector Machines for Visualization of Gene Expression Data 175

Daisuke Komura, The University of Tokyo, JapanHiroshi Nakamura, The University of Tokyo, JapanShuichi Tsutsumi, The University of Tokyo, JapanHiroyuki Aburatani, The University of Tokyo, JapanSigeo Ihara, The University ofTokyo, Japan

A Seriate Coverage Filtration Approach for Homology Search 180

Hsiao Ping Lee, National TsingHua University, Taiwan

Yin Te Tsai, Providence University, Taiwan

Chuan Yi Tang, National TsingHua University, Taiwan

Combining Analysis and Synthesis in a Model of a Biological Cell 185

Ken Webb, University ofSussex, UK

Tony White, Carleton University, Canada

xiv

Applications of Finite Fields to Dynamical Systems and Reverse Engineering Problems 191

Maria A. Avino, University ofPuerto Rico at Cayey, Puerto Rico

Edward Green, Virginia Tech, USA

Oscar Moreno, University ofPuerto Rico at Rio Piedras, Puerto Rico

A Fast Program for Maximum Likelihood-based Inference of Large Phylogenetic Trees 197

A. P. Stamatakis, Technical University ofMunich, GermanyT. Ludwig, University ofHeidelberg, GermanyH. Meier, Technical University ofMunich, Germany

Bio-Sequence Analysis with Cradle's 3SoC Software Scalable System on Chip 202

Xiandong Meng, Wayne State University, USA

Vipin Chaudhary, Wayne State University, USA

Object-Oriented Design for the Specification of the Blood Clotting Cascade: a Class-Structured View of Bio-Computing Processes 207

Jacqueline Signorini, Universite Paris 8, France

Patrick Greussay, Universite Paris 8, France

Protein Threading with Residue-environment Matching by Artificial Neural Networks 209

Nan Jiang, Middlesex University, UKWendy Xinyu Wu, Middlesex University, UKIan Mitchell, Middlesex University, UK

Predicting Cell Adhesion Probability via the Biochemical Stochastic Jt-calculus 211

P. Lecca, Universita di Trento, ItalyC. Priami, Universita di Trento, ItalyC. Laudanna, Universita di Verona, ItalyG. Constantin, Universita di Verona, Italy

Computational Sciences (CS)Track Chair: Adrian Sandu, Virginia Polytechnic Institute and State University Blacksburg, USA

Track Editorial 213

Computational Analysis of Microwave Heating Patterns in Resonant Multimode Cavities 215

Dusko Dincov, University of Westminster, UK

Kevin Parrott, University of Greenwich, UK

A Class of OpenMP Applications Involving Nested Parallelism 220

H. Martin Sucker, Aachen University, GermanyArno Rasch, Aachen University, GermanyAndreas Wolf, Aachen University, Germany

Degree Restricted Spanning Trees of Graphs 225

Mohammad Sohel Rahman, Bangladesh University ofEngineering and Technology, Dhaka

Md. Abul Kashem, Bangladesh University ofEngineering and Technology, Dhaka

xv

Using Semi-Lagrangian Formulations with Automatic Code Generation for Environmental

Modeling 229Paul van der Mark, Leiden Institute ofAdvanced Computer Science, The Netherlands

Lex Wolthers, Leiden Institute ofAdvanced Computer Science, The Netherlands

Gerard Cats, Royal Netherlands Meteorological Institute, The Netherlands

Adaptive Resolution Modeling of Regional Air Quality 235

Chaitany Belwal, EPCON International, USA

Adrian Sandu, Virginia Polytechnic Institute and State University, USA

Emil Constantinescu, Virginia Polytechnic Institute and State University, USA

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

Track Editorial 241

Diagnosis of Lung Nodule Using Gini Coefficient and Skeletonization in ComputerizedTomography Images 243

Aristofanes C. Silva, Pontifical Catholic University ofRio de Janeiro, Brazil

Paulo-Cezar Pinto-Carvalho, Institute ofPure and Applied Mathematics, Brazil

Marcelo Gattass, Pontifical Catholic University ofRio de Janeiro, Brazil

Compression of Mammograms for Medical Practice 249

Artur Przelaskowski, Warsaw University of Technology, Poland

Boundary Extraction in Thermal Images by Edge Map 254

QumingZhou, University ofTexas at Austin, USA

Zhuojing Li, Texas State University, USA

J.KAggarwal, University ofTexas at Austin, USA

Health Level-7 Compliant Clinical Patient Records System 259

JagbirS. Hooda, E*TRADE FINANCIAL, USA

Erdogan Dogdu, Georgia State University, USA

Raj Sunderraman, Georgia State University, USA

Towards a Flexible, Process-Oriented IT Architecture for an Integrated HealthcareNetwork 264

Mario Beyer, Philipps University Marburg, GermanyKlaus A. Kuhn, Philipps University Marburg, GermanyChristian Meiler, Friedrich Alexander University Erlangen, GermanyStefan Jablonski, Friedrich Alexander University Erlangen, GermanyRichardLenz, Philipps University Marburg, Germany

A Relational Approach to the Capture ofDICOM files for Grid-enabled Medical ImagingDatabases 272

David Power, Oxford University, U.K.

Eugenia Politou, Oxford University, U.K.

Mark Slaymaker, Oxford University, U.K.

Steve Harris, Oxford University, U.K.

Andrew Simpson, Oxford University, U.K.

XVI

Knowledge Discovery from Doctor-Patient Relationship 280

Jesus S. Aguilar-Ruiz, University ofSeville, SpainRaquel Costa, Inst, for Mental Health Care, the Netherlands

Federico Divina, Free University ofAmsterdam, The Netherlands

Potential Prevention of Medical Errors in Casualty Surgery by Using Information

Technology 285

R. Blaser,, Philipps-University Medical Center, GermanyM. Schnabel, Philipps-University Medical Center, GermanyD. Mann, Philipps-University Medical Center, GermanyP. Jancke, Philipps-University Medical Center, GermanyK. Kuhn, Philipps-University Medical Center, GermanyR. Lenz, Philipps-University Medical Center, Germany

Regularized B-spline Network and its Application to Heart Arrhythmia Classification 291

Jie Zhou, Northern Illinois University, USA

Liqun Li, Northern Illinois University, USA

Automatic Fitting of Cochlear Implants with Evolutionary Algorithms 296

C. Bourgeois-Republique, Universite de Bourgogne, France

J.J. Chabrier, Universite de Bourgogne, France

P. Collet, Universite du Littoral, France

Disclosure Risk Measures for the Sampling Disclosure Control Method 301

Traian Marius Truta, Wayne State University, USA

FarshadFotouhi, Wayne State University, USA

Daniel Barth-Jones, Wayne State University, USA

Active Contour on the Basis of Inertia 307

Jose-Bias Pagador, Minimally Invasive Surgery Center, SpainJose Moreno, University ofExtremadura, SpainValentin Masero, University ofExtremadura, Spain

Juan-Miguel Leon-Rojas, University ofExtremadura, Spain

Patient Scheduling under Uncertainty 309

Torsten O. Paulussen, University ofMannheim, Germany

Anja Zoller, University ofMannheim, GermanyArmin Heinzl, University ofMannheim, GermanyLars Braubach, University ofHamburg, GermanyAlexander Pokahr, University ofHamburg, Germany

Winfried Lamersdorf, University ofHamburg, Germany

Computer Networks (CN)Track Co-Chairs: Vana Kalogeraki, University of California at Riverside, USA

Turgay Korkmaz., University of Texas at San Antonio, USA

Kamil Sarac, University of Texas at Dallas, USA

Track Editorial 311

xvii

Analytical Modelling of Priority Commit Protocol for Reliable Web Applications 313

IrfanAwan, University ofBradford, UKMohammad Younas, Coventry University, UK

A Study for Provisioning of QoS Web-based Services to the End-User 318

Yannis Mitsos, National Technical University ofAthens, Greece

Fotis Andritsopoulos, National Technical University ofAthens, Greece

Dimitrios Kagklis, National Technical University ofAthens, Greece

High Throughput Reliable Message Dissemination 322

B. Carmeli, IBMHaifa Research Laboratory, Israel

G. Gershinsky, IBMHaifa Research Laboratory, Israel

A. Harpaz, IBMHaifa Research Laboratory, Israel

N. Naaman, IBMHaifa Research Laboratory, Israel

H. Nelken, IBMHaifa Research Laboratory, Israel

J. Satran, IBMHaifa Research Laboratory, Israel

P. Vortman, IBMHaifa Research Laboratory, Israel

Core Selection with End-to-End QoS Support 328

Wanida Putthividhya, Iowa State University, USA

Wallapak Tavanapong, Iowa State University, USA

Min Tran, Iowa State University, USA

Johnny Wong, Iowa State University, USA

Optimal Placement of NAK-Suppressing Agents for Reliable Multicast: A Partial

Deployment Case 334

Ovidiu Daescu, University ofTexas at Dallas, USA

RajaJothi, University of Texas at Dallas, USA

Balaji Raghavachari, University of Texas at Dallas, USA

Kamil Sarac, University of Texas at Dallas, USA

Implications of the Topological Properties of Internet Traffic on Traffic Engineering 339

Steve Uhlig, Universite catholique de Louvain, BelgiumOlivier Bonaventure, Universite catholique de Louvain, BelgiumVincent Magnin, EDFL, Switzerland

Chris Rapier, Pittsburgh Supercomputing Center, USA

Luca Deri, University ofPisa, Italy

Communication Delay in Hypercubic Networks with LRD Traffic 347

G. Min, University ofBradford, UKM. Ould-Khaoua, University of Glasgow, UKI. U. Awan, University ofBradford, UKD.D. Kouvatsos, University ofBradford, UK

A Functional Architecture for Self-Aware Routers 352

Damien Galand, AlcatelR&I, France

Olivier Marce, Alcatel R&I, France

EmuNET: A Real-Time Network Emulator 357

Ayman Kayssi, American University ofBeirut, Lebanon

Ali El-Haj-Mahoud, North Carolina State University, Lebanon

xviii

A Framework for Implicit and Explicit Service Activation Based on Service Level

Specification 363

Dimitrios Kagklis, National Technical University ofAthens, Greece

Nicolas Liampotis, National Technical University ofAthens, Greece

Christos Tsakiris, National Technical University ofAthens, Greece

A Discrete Event based Simulation Environment for Enhanced UMTS 3rd Generation

Networks 369

J. Antoniou, University of Cyprus, CyprusV. Vassiliou, Intercollege, CyprusA. Pitsillides, University of Cyprus, CyprusG. Hadjipollas, University of Cyprus, CyprusN. Jacovides, University of Cyprus, Cyprus

RED with Dynamic Thresholds for Improved Fairness 371

Vladimir Vukadinovic, Simon Fraser University, Canada

Ljiljana Trajkovic, Simon Fraser University, Canada

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

Peter Ryan, University ofNewcastle upon Tyne, UK

Track Editorial 373

Efficient Comparison of Enterprise Privacy Policies 375

Michael Backes, IBMResearch, Switzerland

Walid Bagga, Eurecom Institute, France

Giinter Karjoth, IBMResearch, Switzerland

Matthias Schunter, IBMResearch, Switzerland

Modelling and Detecting the Cascade Vulnerability Problem using Soft Constraints 383

Stefano Bistarelli, Universita' di Chieti-Pescara, ItalySimon N. Foley, University College Cork, Ireland

Barry O 'Sullivan, University College Cork, Ireland

Fair Certified E-mail Delivery 391

Aleksandra Nenadic, University ofManchester, UK

Ning Zhang, University ofManchester, UK

Stephen Barton, University ofManchester, UK

Anonymity and Certification: e-mail, a case study 397

Lavinia Egidi, Universita del Piemonte Orientate, ItalyGiovanni Porcelli, Universita del Piemonte Orientale, Italy

The Loop Fallacy and Serialization in Tracing Intrusion Connections through SteppingStones 404

Xinyuan Wang, Cyber Defense Lab, USA

Unsupervised Learning Techniques for an Intrusion Detection System 412

Stefano Zanero, Politecnico di Milano, Italy

Sergio M. Savaresi, Politecnico di Milano, Italy

xix

Naive Bayes vs Decision Trees in Intrusion Detection Systems 420Nahla Ben Amor, Institute Superieur de Gestion, Tunisia

Salem Benferhat, Universite d'Artois, France

ZiedElouedi, Institute Superieur de Gestion, Tunisia

Protected Transmission of Biometric User Authentication Data for Oncard-Matching 425

Ulrich Waldmann, Fraunhofer-Institute Secure Telecooperation SIT, GermanyDirk Scheuermann, Fraunhofer-Institute Secure Telecooperation SIT, GermanyClaudia Eckert, Fraunhofer-Institute Secure Telecooperation SIT, Germany

JAVA Bytecode Verification on JAVA Cards 431Roberto Barbuti, Universita' di Pisa, ItalyStefano Cataudella, Universita' di Pisa, Italy

Towards Multisensor Data Fusion for DoS Detection 439

Christos Siaterlis, National Technical University ofAthens, Greece

Basil Maglaris, National Technical University ofAthens, Greece

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 447

Integrating Objective & Subjective Coordination in Multi-Agent Systems 449Andrea Omicini, Universita degli Studi di Bologna a Cesena, ItalyAlessandro Ricci, Universita degli Studi di Bologna a Cesena, ItalyMirko Viroli, Universita degli Studi di Bologna a Cesena, ItalyGiovanni Rimassa, FRAMeTech s.r.l, Italy

An Agent Design Method Promoting Separation Between Computation and Coordination 456Nico Janssens, K. U.Leuven, BelgiumElke Steegmans, K. U.Leuven, BelgiumTom Holvoet, K. U.Leuven, BelgiumPierre Verbaeten, K U.Leuven, Belgium

Enforcing Agent Communication Laws by means of a Reflective Framework 462Antonella Di Stefano, Universita di Catania, ItalyGiuseppe Pappalardo, Universita di Catania, ItalyCorrado Santoro, Universita di Catania, ItalyEmiliano Tramontana, Universita di Catania, Italy

A Robust Deception-Free Coalition Formation Model 469Maria-Victoria Belmonte, Universidad de Malaga, SpainRicardo Conejo, Universidad de Malaga, SpainJ.L. Perez-de-la-Cruz, Universidad de Malaga, SpainFrancisco Triguero, Universidad de Malaga, Spain

xx

A Negotiation Support System based on a Multi-agent System 474

Maxime Morge, ENS Mines, France

Philippe Beaune, ENS Mines, France

Self-Maintained Distributed Tuples for Field-based Coordination in Dynamic Networks 479

Marco Mamei, University ofModena andReggio Emilia, ItalyFranco Zambonelli, University ofModena andReggio Emilia, Italy

WSSecSpaces: A Secure Data-Driven Coordination Service for Web Services Applications 487

Roberto Lucchi, University ofBologna, ItalyGianluigi Zavattaro, University ofBologna, Italy

Web Services - Separation of Concerns: Computation Coordination Communication 492

Theophilos A. Limniotes, University of Cyprus, Cyprus

George A. Papadopoulos, University ofCyprus, CyprusFarhad Arbab, CWI, The Netherlands

Tucupi: A Flexible Workflow System Based on Overridable Constraints 498

Jacques Wainer, UNICAMP, Brazil

Fabio Bezerra, Universidade da Amazonia, Brazil

Paulo Barthelmess, University ofColorado, USA

Orchestrating Document-based Workflows with X-Folders 503

Davide Rossi, University ofBologna, Italy

Concurrent and Distributed Programming Using Constraint Logic Programs 508

Rafael Ramirez, Pompeu Fabra University, SpainAndrew Santosa, National University ofSingapore, Singapore

Cooperation Models for Service Oriented Multi-agent System 510

Mao Xinjun, National University ofDefense Technology, China

Wu Gang, National University ofDefense Technology, China

Wang Huaiming, National University ofDefense Technology, China

Data Mining (DM)Track Chair: Hasan M. Jamil, Wayne State University, USATrack Co-Chair: Rosa Meo, Universita' di Torino, Italy

Track Editorial 513

Statistical Properties of Transactional Databases 515

Paolo Palmerini, ISTI-CNR, ItalySalvatore Orlando, Universita Ca'Foscari, Italy

Raffaele Perego, ISTI-CNR, Italy

SDS-Rules and Association Rules 520

Tomds Karban, Charles University, Czech RepublicJan Rauch, University ofEconomics, Czech RepublicMilan Simunek, University ofEconomics, Czech Republic

Mining Dependence Rules by Finding Largest Itemset Support Quota 525

Alexandr Savinov, Fraunhofer AIS, Germany

xxi

Memory Issues in Frequent Itemset Mining 530

Bart Goethals, Helsinki Institutefor Information Technology, Finland

Optimizing Subset Queries: a Step towards SQL-based Inductive Databases for Itemsets 535

Cyrille Masson, INSA de Lyon-LIRIS, France

Celine Robartdet, INSA de Lyon-PRISMA, France

Jean-Francois Boulicaut, INSA de Lyon-LIRIS, France

A new Algorithm for Gap Constrained Sequence Mining 540

Salvatore Orlando, Universita Ca'Foscari de Venezia, Italy

Raffaele Perego, ISTI-CNR, ItalyClaudio Silvestri, Universita Ca'Foscari, Italy

Interval and Dynamic Time Warping-based Decision Trees 548

Juan J. Rodriguez, Universidad de Burgos, SpainCarlos J. Alonso, Universidad de Valladolid, Spain

On Support Thresholds in Associative Classification 553

Elena Baralis, Politecnico de Torino, ItalySilvia Chiusano, Politecnico de Torino, ItalyPaolo Garza, Politecnico de Torino, Italy

Reducing Borders of k-Disjunction Free Representations of Frequent Patterns 559

Marzenza Kryszkiewicz, Warsaw University ofTechnology, Poland

Frequent Free Tree Discovery in Graph Data 564

Ulrich Riieckert, Technische Universitat Munchen, Germany

Stefan Kramer, Technische Universitat Munchen, Germany

GraphZip: A Fast and Automatic Compression Method for Spatial Data Clustering 571

YuQian, University of Texas at Dallas, USA

Kang Zhang, University of Texas at Dallas, USA

Neighborhood Based Detection of Anomalies in High Dimensional Spatio-temporal Sensor

Datasets 576

Nabil R. Adam, Rutgers University, USA

Vandana Pursnani Janeja, Rutgers University, USA

Vijaylakshmi Atluri, Rutgers University, USA

K-Nearest-Neighbor Consistency in Data Clustering: Incorporating Local Information into

Global Optimization 584

Chris Ding, Lawrence Berkeley National Laboratory, USA

Xiaofeng He, Lawrence Berkeley National Laboratory, USA

Framework for Mining Web Content Outliers 590

MalikAgyemang, University ofCalgary, Canada

Ken Barker, University of Calgary, Canada

RedaAlhajj, University of Calgary, Canada

A Model for Mining Outliers from Complex Data Sets 595

Hongwei Qi, Institute ofAutomation - Chinese Academy ofSciences, China

Jue Wang, Institute ofAutomation - Chinese Academy ofSciences, China

xxii

Assigning Document Identifiers to Enhance Compressibility of Web Search Engines

Indexes .-. 600

Fabrizio Silvestri, University ofPisa, Italy

Raffaele Perego, ISTI-CNR, ItalySalvatore Orlando, University of Venice, Italy

Rule Discovery from Textual Data based on Key Phrase Patterns 606

Shigeaki Sakurai, Toshiba Corporation, JapanAkihiro Suyama, Toshiba Corporation, Japan

An Optimized Approach for KNN Text Categorization using P-trees 613

Imad Rahal, North Dakota State University, USA

William Perrizo, North Dakota State University, USA

SQL-Based Frequent Pattern Mining without Candidate Generation 618

Xuequn Shang, University ofMagdeburg, GermanyKai Uwe Sattler, University ofMagdeburg, Germany

IngolfGeist, University ofMagdeburg, Germany

Hierarchical Model-based Clustering of Relational Data with Aggregates 1....620

Jianzhong Chen, University of Ulster, UK

Mary Shapcott, University of Ulster, UK

Sally McClean, University of Ulster, UK

Kenny Adamson, University of Ulster, UK

FGKA: A Fast Genetic K-means Clustering Algorithm 622

Yi Lu, Wayne State University, USA

Shiyong Lu, Wayne State University, USA

Farshad Fotouhi, Wayne State University, USA

Youping Deng, Kansas State University, USA

Susan J. Brown, Kansas State University, USA

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

Paul R. Cohen, USC Information Sciences Institute, USA

Track Editorial 625

An Efficient Single-Pass Query Evaluator for XML Data Streams 627

Dan Olteanu, University ofMunich, GermanyTim Furche, University ofMunich, GermanyFrangois Bry, University ofMunich, Germany

Forest Trees for On-line Data 632

Joao Gama, Univ. do Porto, PortugalPedro Medas, Univ. do Porto, PortugalRicardo Rocha, Universitdrio de Santiago, Portugal

xxiii

The Time Diversification Monitoring of a Stock Portfolio: An Approach Based on the

Fractal Dimension 637

Mehmed Kantardzic, University ofLouisville, USA

Pedram Sadeghian, University ofLouisville, USA

Chun Shen, University ofLouisville, USA

Parallel Hypothesis Driven Video Content Analysis 642

Ole-Christoffer Granmo, Agder University College, Norway

Discovering Decision Rules from Numerical Data Streams 649

Francisco J. Ferrer-Troyano, University ofSeville, SpainJesus S. Aguilar-Ruiz, University ofSeville, SpainJose C. Riquelme, University ofSeville, Spain

Data Stream Management System for MavHome 654

Qingchun Jiang, University ofTexas at Arlington, USA

Sharma Chakravarthy, University ofTexas at Arlington, USA

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

Yannis Manolopoulos, Aristotle University, Greece

Junping Sun, Nova Southeastern University, USA

Track Editorial 657

Architectures for a Temporal Workflow Management System 659

Carlo Combi, Universita di Verona, Italy

Giuseppe Pozzi, Politecnico di Milano, Italy

Enhancement of Workflow Flexibility by Composing Activities at Run-time 667

ShuiGuang Deng, ZeJiang University, China

Zhen Yu, ZeJiang University, China

ZhaoHui Wu, ZeJiang University, China

LiCan Huang, ZeJiang University, China

Simplified Access to Structured Databases by Adapting Keyword Search and Database

Selection 674

Mohammad Hassan, Bradford University, UK

RedaAlhajj, University of Calgary, UK

Mike J. Ridley, Bradford University, CanadaKen Barker, University of Calgary, Canada

A Mobile Agent Approach for Global Database Constraint Checking 679

Praveen Madiraju, Georgia State University, USA

Rajshekhar Sunderraman, Georgia State University, USA

1-2PC: The One-Two Phase Atomic Commit Protocol 684

YousefJ. Al-Houmaily, Institute ofPublic Administration, Saudi Arabia

Panos K. Chrysanthis, University ofPittsburgh, USA

xxiv

On the Semantics and Expressive Power ofDatalog-like Languages for NP Search and

Optimization Problems 692

E. Zumpano, Universita della Calabria, ItalyS. Greco, Universita della Calabria, ItalyI. Trubitsyna, Universita della Calabria, ItalyP. Veltri, Universita "Magna Crecia", Italy

ConvRel: Relationship Conversion to XML Nested Structures 698

Angela Cristina Duta, University ofCalgary, Canada

Ken Barker, University of Calgary, Canada

RedaAlhajj, University of Calgary, Canada

On Using Collection for Aggregation and Association Relationships in XML Object-Relational Storage 703

Eric Pardede, La Trobe University, Australia

J. Wenny Rahayu, La Trobe University, Australia

David Taniar, Monash University, Australia

A Data Mining Approach for Database Intrusion Detection 711

YiHu, University ofArkansas, USA

Brajendra Panda, University ofArkansas, USA

Creation and Management of Versions in Multiversion Data Warehouse 717

Bartosz Bebel, Poznan University ofTechnology, Poland

Johann Eder, University ofKlagenfurt, Austria

Christian Koncilia, University ofKlagenfurt, Austria

Tadeusz Morzy, Poznan University of Technology, Poland

Robert Wrembel, Poznan University ofTechnology, Poland

Signature File Hierarchies and Signature Graphs: A NewIndex Method for Object-

Oriented Databases 724

Yangjun Chen, University of Winnipeg, Canada

Yibin Chen, University of Winnipeg, Canada

Feature-based Distributed Object Search Using Signatures in Peer-to-Peer Environments 729

Ryo Matsushita, University ofTsukuba, Japan

Hiroyuki Kitagawa, University ofTsukuba, JapanYoshiharu Isihikawa, University ofTsukuba, Japan

Integrating Similarity-Based Queries in Image DBMSs 735

Solomon Atnafu, Addis Ababa University, EthiopiaRichard Chbeir, Bourgogne University, France

David Coquil, LIRIS-INSA de Lyon, France

Lionel Brunie, LIRIS-INSA de Lyon, France

VCR Indexing for Fast Event Matching for Highly-Overlapping Range Predicates 740

Kun-Lung Wu, IBM T. J. Watson Research Center, USA

Shyh-Kwei Chen, IBM T. J. Watson Research Center, USA

Philip S. Yu, IBMT. J. Watson Research Center, USA

Replicated Declustering for Arbitrary Queries 748

AH Soman Tosun, University ofTexas at San Antonio, USA

XXV

A Comparison of Two View Materialization Approaches for Disease Surveillance System 754

ZhenLiu, University ofPittsburgh, USA

Panos Chrysanthis, University ofPittsburgh, USA

Fu-Chiang Tsui, University ofPittsburgh, USA

Electronic Commerce Technologies (ECT)Track Co-Chairs: Sviatoslav Braynov, State University of New York at Buffalo, USA

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

Track Editorial 757

A Multi-criteria Model for Electronic Auctions 759

Marie-Jo Bellosta, Universite Paris Dauphine, France

Imene Brigui, Universite Paris Dauphine, France

Sylvie Kornman, Universite Paris Dauphine, France

Daniel Vanderpooten, Universite Paris Dauphine, France

An Anonymous Bonus Point System for Mobile Commerce Based on Word-of-Mouth

Recommendation 766

Tobias Straub, Darmstadt University of Technology, GermanyAndreas Heinemann, Darmstadt University of Technology, Germany

Formal Specification of Autonomous Commerce Agents 774

Ismael Rodriguez, Universidad Complutense de Madrid, Spain

An Improved Formal Specification of the Internet Open Trading Protocol 779

Chun Ouyang, University ofSouth Australia, Australia

Jonathan Billington, University ofSouth Australia, Australia

A Framework for the Classification and the Reclassification of Electronic Catalogs 784

Domenico Beneventano, Universita di Modena e Reggio Emilia, ItalyStefania Magnani, Universita di Modena e Reggio Emilia, Italy

Automatic Verification of the TLS HandShake Protocol 789

Gregorio Diaz, Universidad Castilla la Mancha, SpainFernando Cuartero, Universidad Castilla la Mancha, SpainValentin Valero, Universidad Castilla la Mancha, SpainFernando Pelayo, Universidad Castilla la Mancha, Spain

Automated Test Scenarios Generation for an E-barter System 795

Ana Cavalli, INT, France

Stephane Maag, INT, France

Web Services for E-commerce: Guaranteeing Security Access and Quality of Service 800

Mario Bravetti, University ofBologna, ItalyRoberto Lucchi, University ofBologna, ItalyGianluigi Zavattaro, University ofBologna, ItalyRoberto Gorrieri, University ofBologna, Italy

xxvi

A New Signature Scheme: Joint-Signature 807

Li-Sha He, University ofManchester, UK

Ning Zhang, University ofManchester, UK

A Secure Method for Signature Delegation to Mobile Agents 813

Omaima Bamasak, University ofManchester, UK

Ning Zhang, University ofManchester, UK

Embedded Systems: Applications, Solutions and Techniques (EMBS)Track Co-Chairs: Alessio Bechini, University ofPisa, Italy

Cosimo Antonio Prete, University ofPisa, Italy

Track Editorial 819

Efficient Implementation of Fingerprint Verification for Mobile Embedded Systems usingFixed-point Arithmetic 821

T.Y. Tang, The Chinese University ofHong Kong, Hong KongYS. Moon, The Chinese University ofHong Kong, HongKongK.C. Chan, The Chinese University ofHong Kong, Hong Kong

Assessing the Effect of Failure Severity, Coincident Failures and Usage-Profiles on the

Reliability of Embedded Control Systems 826

Frederick T. Sheldon, Oak Ridge National Laboratory, USA

Kshamta Jeraih, Washington State University, USA

Profit Driven Uniprocessor Scheduling with Energy and Timing Constraints 834

Jian-Jia Chen, National Taiwan University, Taiwan

Tei-Wei Kuo, National Taiwan University, Taiwan

Chia-Lin Yang, National Taiwan University, Taiwan

Efficient AES Implementations for ARM Based Platforms 841

Kubilay Atasu, ALaRI-USI, Switzerland

Luca Breveglieri, Politecnico di Milano, ItalyMarco Macchetti, Politecnico di Milano, Italy

Dynamic On-Demand Updating of Data in Real-Time Database Systems 846

Thomas Gustafsson, Linkoping University, Sweden

Jorgen Hansson, Linkoping University, Sweden

Code Generation Techniques for Developing Light-WeightXML Web Services for

Embedded Devices 854

Robert van Engelen, Florida State University, USA

An Efficient Management Scheme for Large-Scale Flash-Memory Storage Systems 862

Li-Pin Chang, National Taiwan University, Taiwan

Tei-Wei Kuo, National Taiwan University, Taiwan

A Hardware/Software Kernel for System on Chip Designs 869

Andrew Morton, University of Waterloo, Canada

Wayne M. Loucks, University of Waterloo, Canada

xxvii

DSPxPlore - Design Space Exploration Methodology for an Embedded DSP Core 876

Christian Panis, Corinthian Tech Institute, Austria

Ulrich Hirnschrott, Vienna University of Technology, Austria

Gunther Laure, Infineon Technologies, Austria

Wolfgang Lazian, Infineon Technologies, Austria

JariNurmi, Tampere University of Technology, Finland

An Energy Efficient Cache Memory Architecture for Embedded Systems 884

Jung-WookPark, Yonsei University, Korea

Cheong-Ghil Kim, Yonsei University, Korea

Jung-Hoon Lee, Yonsei University, Korea

Shin-Dug Kim, Yonsei University, Korea

Multi-Objective Co-Exploration of Source Code Transformations and Design SpaceArchitectures for Low-Power Embedded Systems 891

Giovanni Agosta, Politecnico di Milano, ItalyGianluca Palermo, Politecnico di Milano, ItalyCristina Silvano, Politecnico di Milano, Italy

A Hardware Extension of the RISC Microprocessor for Attribute Grammar Evaluation 897

Ioannis Panagopoulos, National Technical University ofAthens, Greece

Christos Pavlatos, National Technical University ofAthens, Greece

George Papakonstantinou, National Technical University ofAthens, Greece

LO Buffer Energy Optimization through Scheduling and Exploration 905

Murali Jayapala, ESAT/ELECTA, BelgiumTom VanderAa, ESAT/ELECTA, BelgiumFrancisco Barat, ESAT/ELECTA, BelgiumGeert Deconinck, ESAT/ELECTA, BelgiumFrancky Catthoor, IMEC, BelgiumHenk Corporaal, Technical University, The Netherlands

Fine-Grained Power Management for Multithreaded Processor Cores 907

Sascha Uhrig, University ofAugsburg, GermanyTheo Ungerer, University ofAugsburg, Germany

Engineering e-Learning Systems (ELS)Track Co-Chairs: Symeon Retalis, University of Piraeus, Greece

Paris Avgeriou, University of Cyprus, Cyprus

Track Editorial 909

Issues of Pedagogy and Design in e-learning Systems 911

Charalambos Vrasidas, Intercollege, Cyprus

Patterns for Blended, Person-Centered Learning: Strategy, Concepts, Experiences, andEvaluation 916Michael Demtl, University of Vienna, Austria

Renate Motschnig-Pitrik, University of Vienna, Austria

xxviii