'Annual ACM Symposium on Applied Computing ; 20 (Santa Fe ...APPLIEDCOMPUTING2005 The20th...

APPLIED COMPUTING 2005

The 20th Annual ACM Symposium on Applied Computing

PROCEEDINGS OF THE 2005 ACM

SYMPOSIUM ON APPLIED COMPUTING

Santa Fe, New Mexico

March 13-17,2005

Organizing Committee

Hisham M. Haddad

Lorie M. Liebrock

Andrea Omicini

Roger L. Wainwright

Mathew J. Palakal

Maggie Wilds

Horst Clausen

TRECK-

Software Engineering -

Reliable Computations-

Programming Languages-

Prog and Separation

of Concerns

Ubiquitous

Computing

Organization Engineering

OO Programming

Multimedia

Mobile Computing

Information AccessHandheld Evolutionary EmbeddedComputing Computing Systems

Agents

Approximation Reasoning

Bioinformatics

Computing in Health Care

Computer-Aided Law

Computer Security

Constraint Solving

Coordination Models

Data Mining

Data Streams

Database

Distributed Systems

Document Engineering

E-Commerce

Hosted by

TIB/UB Hannover 89

128 599 014

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

Efficient Placement and Routing in Grid-Based Networks 899

Roozbeh Jqfari, UCLA, USA

FoadDabiri, UCLA, USA

Bo-Kyung Choi, UCLA, USA

Majid Sarrafzadeh, UCLA, USA

Avoiding Data Conversions in Embedded Media Processors 901

Ben Juurlink, Delft University of Technology, The Netherlands

Asadollah Shahbahrami, Delft University of Technology, The Netherlands

Stamatis Vassiliadis, Delft University ofTechnology, The Netherlands

Two-Level Assurance of QoS Requirements for Distributed

Real-time and Embedded Systems 903

Shih-His Liu, University ofAlabama at Birmingham, USA

Barrett Bryant, University ofAlabama at Birmingham, USA

Jeffrey Gray, University ofAlabama at Birmingham, USA

Rajeev Raje, Indiana University Purdue University Indianapolis, USA

Andrew Olson, Indiana University Purdue University Indianapolis, USA

Mikhail Auguston, Naval Postgraduate School, USA

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

Track Editorial 905

Airspace Congestion Smoothing by Multi-objective Genetic Algorithm 907

Delahaye Daniel, CENA, France

Sofiane Oussedik, ILOG, France

Puechmorel Stephane, EMAC, France

The Container Loading Problem 913

Andrew Lim, Hong Kong University ofScience and Technology, Hong Kong

Xingwen Zhang, Hong Kong University ofScience and Technology, Hong Kong

An Artificial Immune System Approach to Document Clustering 918

Na Tang, University ofCalifornia, USA

V. Rao Vemuri, University ofCalifornia, USA

A New Variable-Length Genome Genetic Algorithm for Data Clustering in Semeiotics 923

I. De Falco, ICAR - CNR, ItalyE. Tarantino, ICAR - CNR, ItalyA. Delia Cioppa, DIIIE - University ofSalerno, ItalyF. Gagliardi, West-Suds.r.l, Italy

A Novel Grammar-based Genetic Programming Approach to Clustering 928

I. De Falco, ICAR-CNR, ItalyE. Tarantino, ICAR-CNR, ItalyA. Delia Cioppa, DIIIE - University ofSalerno, ItalyF. Fontanella, DIS - University ofNaples, Italy

XXI

Heuristic Methods for Graph Coloring Problems 933

A. Lim, HongKong University ofScience and Technology, Hong KongY. Zhu, Hong Kong University ofScience and Technology, Hong KongQ. Lou, National University ofSingapore, SingaporeB. Rodrigues, Singapore Management University, Singapore

A Tabu Search Algorithm for the Safe Transportation of Hazardous Materials 940

L. Zhang, Zhongshan University, China

S. Guo, Zhongshan University, China

Y. Zhu, University ofCalifornia, USA

A. Lim, HongKong University ofScience and Technology, Hong Kong

Call Me E-Mail: Arranging the Keyboard with a Permutation-Coded Genetic Algorithm 947

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 952

Haiyu Hou, Auburn University, USA

Gerry Dozier, Auburn University, USA

Poster Papers

Inductive Inference of Chaotic Series by Genetic Programming:A Solomonoff-based Approach 957

I. De Falco, ICAR-CNR, ItalyE. Taratino, ICAR-CNR, ItalyA. Delia Cioppa, DIIIE, University ofSalerno, ItalyA. Passaro, DI, University ofPisa, Italy

Evolutionary Computation for Biclustering of Gene Expression 959

Jesus S. Aguilar-Ruiz, University ofSeville, SpainFederico 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 961

Agent Technology and Reconfigurable Computing for Mobile Devices 963

Timothy O 'Sullivan, University ofCollege Cork, Ireland

Richard Studdert, University ofCollege Cork, Ireland

Pocket PC Beacons: Wi-Fi based Human Tracking and Following 970

Ankit Arora, Ryerson University, Canada

Alexander Ferworn, Ryerson University, Canada

XXII

Comparing Table Views for Small Devices 975

Carolyn Watters, Dalhousie University, Canada

Rui Zhang, Dalhousie, University, Canada

Jack Duffy, Dalhousie University, Canada

A Generic Serializer for Mobile Devices 981

Mattia Monga, Universita degli Studi di Milano, ItalyAngelo Scotto, Politecnico di Milano, Italy

Dynamic Group Communication in Mobile Peer-to-Peer Environments 986

Eiko Yoneki, University of Cambridge Computer Lab, United KingdomJean Bacon, University of Cambridge Computer Lab, United Kingdom

Efficiency of Prefix and Non-Prefix codes in String Matching over

Compressed Databases on Handheld Devices 993

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 998

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 AccessingWeb Information Systems through Mobile Devices 1003

Angela Carrillo-Ramos, Laboratoire LSR-IMAG, France

Jerome Gensel, Laboratoire LSR-IMAG, France

Marlene Villanova-Oliver, Laboratoire LSR-IMAG, France

Herve 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 1009

Semantic Cores for Representing Documents in IR 1011

Mustapha Baziz, IRIT- Universite Paul Sabatier, France

MohandBoughanem, IRIT- Universite Paul Sabatier, France

Nathalie Aussenac-Gilles, IRIT- Universite Paul Sabatier, France

Claude Chrisment, IRIT- Universite Paul Sabatier, France

An Information Retrieval Model using Proximity Degree of Term Occurrences 1018

Michel Beigbeder, Ecole Naitonale Superieure des Mines de Saint-Etienne, France

Annabelle Mercier, Ecole Naitonale Superieure des Mines de Saint-Etienne, France

On Search in Peer-to-Peer File Sharing Systems 1023

Wai Gen Yee, Illinois Institute ofTechnology, USA

Ophir Frieder, Illinois Institute ofTechnology, USA

Retrieving Lightly Annotated Images using Image Similarities 1031

Masashi Inoue, National Institute ofInformatics, JapanNaonori Ueda, NTT Communication Science Laboratories, Japan

XXIII

Methods for Learning Classifier Combinations: No Clear Winner 1038

Dmitriy Fradkin, DIMACS, USA

Paul Kantor, DIMACS, USA

Text Classification Based on Data Partitioning and Parameter Varying Ensembles 1044

Yan-Shi Dong, Shanghai Jiao Tong University, China

Ke-SongHan, Motorola Labs China Research Center, China

Rule-based Word Clustering for Document Metadata Extraction 1049

HuiHan, 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 1054

Fan Li, Carnegie Mellon University, USA

Yiming Yang, Carnegie Mellon University, USA

The Effect of Named Entities on Effectiveness in Cross-LanguageInformation Retrieval Evaluation 1059

Thomas Mandl, University ofHildesheim, GermanyChrista Womser-Hacker, University ofHildesheim, Germany

A Hierarchical Naive Bayes Model for Name Disambiguation in Author Citations 1065

Hui Han, Yahoo Inc, USA

WeiXu, NEC LaboratoriesAmerica Inc., USA

Hongyuan Zha, The Pennsylvania State University, USA

C. Lee Giles, The Pennsylvania State University, USA

Query Length Impact on Misuse Detection in Information Retrieval Systems 1070

Ling Ma, Illinois Institute of Technology, USA

Nazli Goharian, Illinois Institute ofTechnology, USA

Knowledge-based Query Expansion to Support Scenario-SpecificRetrieval of Medical Free Text 1076

ZhenyuLiu, UCLA, USA

Wesley W. Chu, UCLA, USA

InfoFilter: A System for Expressive Pattern Specification and Detection over Text Streams... 1084

Laali Elkhalifa, The University of Texas atArlington, 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 Relevance 1089

Chunhua Cui, University ofTsukuba, JapanHiroyuki Kitagawa, University ofTsukuba, Japan

XXIV

Incremental Profile Learning based on a Reinforcement Method 1096

H. Tebri, University of Toulouse III, France

M. Boughanem, University ofToulouse III, France

C. Chrisment, University of Toulouse III, France

Incremental Collaborative Filtering for Mobile Devices 1102

Rickard Coster, Stockholm University, Sweden

Martin Svensson, Swedish Institute ofComputer Science, Sweden

Extending SQL with Customizable Soft Selection Conditions 1107

Gloria Bordogna, Sezione di Milano, Italy

Giuseppe Psaila, Universitd di Ingegneria, Italy

Depth-First Frequent Itemset Mining in Relational Databases 1112

Xuequn Shang, University ofMagdeburg, GermanyKai Uwe Sattler, Technical University ofllmenau, 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


Location Dependent Query Proxy 1120

Xing Gao, The Pennsylvania State University, USA

All R. Hurson, The Pennsylvania State University, USA

Indexing Continuously Changing Data with Mean-Variance Tree 1125

YuniXia, 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 1133

Tomoaki Kaneda, Tokyo Denki University, JapanYouhei Tanaka, Tokyo Denki University, JapanTomoya Enokido, Tokyo Denki University, JapanMakoto Takizawa, Tokyo Denki University, Japan

Alternative Source Coding Model for Mobile Text Communication 1139

Takehiro Nakayama, NTTDoCoMo, Inc., Japan

Developing Component Based Adaptive Applications in Mobile Environments 1146

Djalel Chefrour, INRIA Rennes, France

A Reflective Middleware Architecture to Support Adaptive Mobile Applications 1151

Celso Maciel da Costa, Pontificia Universidade Catolica do Rio Grande do sul, France

Marcelo da Silva Strzykalski, Pontificia Universidade Catolica do Rio Grande do sul, France

Guy Bernard, Institut National des Telecommunications, France

xxv

Reflective Middleware for Wireless Sensor Networks 1155

Fldvia C. Delicato, Federal University ofRio de Janeiro, Brazil

Paulo F. Pires, Federal University ofRio de Janeiro, Brazil

Luiz Rust, Federal University ofRio de Janeiro, Brazil

Luci Pirmez, Federal University ofRio de Janeiro, Brazil

Jose Ferreira de Rezende, GTA-UFRJ, Brazil

An Adaptive TDMA Slot Assignment Protocol in Ad Hoc Sensor Networks 1160

Akimitsu Kanzaki, Osaka University, JapanTakahiro Hara, Osaka University, JapanShojiro Nishio, Osaka University, Japan

Probabilistic Multi-path vs. Deterministic Single-path Protocols for

Dynamic Ad-Hoc Network Scenarios 1166

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 1174

Takahiro Hara, Osaka University, Japan

Mobile Real-Time Read-Only Transaction Processing in Data Broadcast Environments 1176

Guohui Li, Huazhong University ofScience and Technology, China

Hongya Wang, Huazhong University ofScience and Technology, China

Yunsheng Liu, Huazhong University ofScience and Technology, China

Jixiong Chen, Huazhong University ofScience 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


A Pivot-based Index Structure of Combination of Feature Vectors 1180

Benjamin Bustos, University ofKonstanz, GermanyDaniel Keim, University ofKonstanz, GermanyTobias Schreck, University ofKonstanz, Germany

Automated Terrain Generation Using LIDAR and Waterboy Survey Data 1185

Maik Flanagin, University ofNew Orleans, USA

Aurelein Grenotton, University ofNew Orleans, USA

Jay Ratcliff U.S. Army Corps ofEngineers, USA

Mahdi Abdelguerfi, University ofNew Orleans, USA

Kevin Shaw, Naval Research Laboratory, USA

xxvi

Contour-based Partial Object Recognition Using Symmetry in Image Databases 1190

June-Suh Cho, Hankuk University ofForeign Studies, Korea

Joonsoo Choi, Kookmin University, Korea

An Adaptive Distance Computation Technique for Image Retrieval Systems 1195

NualsawatHiransakolwong, KingMongkut's Institute ofTechnology, Thailand

KeinHua, University ofCentral Florida, USA

Soontharee Koompairojn, University of Central Florida, USA

Khanh Vu, University ofCentral Florida, USA

Sheau-Dong Lang, University ofCentral Florida, USA

Visualization of Neuronal Fiber Connections from DT-MRI with Global Optimization 1200

Nathaniel Font, The University ofCalifornia, USA

Jian Huang, The University ofTennessee, USA

Zhaohua Ding, Vanderbilt University, USA

Interactive 3D Visualization of Highly Connected Ecological Networks on the WWW 1207

Ilmi Yoon, San Francisco State University, USA

Sanghyuk Yoon, Rocky Mountain Biological Laboratory, USA

Neo Martinez, Rocky Mountain Biological Laboratory, USA

Rich Williams, National Center for Ecological Analysis and Synthesis, USA

Jennifer Dunne, Santa Fe Institute, USA

Similarity Measurement for Aggregation of Spatial Objects 1213

Byungwoo Kim, University ofLouisiana at Lafayette, USA

Jong Yoon, University ofLouisiana at Lafayette, USA

MAMView: A Visual Tool for Exploring and Understanding Metric Access Methods 1218

Fabio J.T. Chino, University ofSao Paulo at Sao Carlos, Brazil

Marcos R. Vieria, University ofSao Paulo at Sao Carlos, Brazil

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

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

Time-Varying, Multivariate Volume Data Reduction 1224

Nathaniel Fout, University of California, Davis, USA

Kwan-Liu Ma, University ofCalifornia, Davis, USA

James Ahrens, Los Alamos National Laboratory, USA

Discovering Parametric Clusters in Social Small-World Graphs 1231

Jonathan McPherson, University ofCalifornia, 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 1239

Yu Qian, The University of Texas at Dallas, USA

Kang Zhang, The University ofTexas at Dallas, USA

A Framework for Collaborative Control of Applications 1244

James Miller, University ofKansas, USA

Serhan Yengulalp, University ofKansas, USA

Patrick Steiner, University ofKansas, USA

XXVII

Poster Papers

Surface Reconstruction Using Shadow Profilometry 1250

Christopher Walker, University ofMissouri-Rolla, USA

Norbert Maerz, University ofMissouri-Rolla, USA

Michael G. Hilgers, University ofMissouri-Rolla, USA

Solving Linear and One-Way Constraints for Web Document Layout 1252

Hiroshi Hosobe, National Institute ofInformatics, Japan

Issues in Augmenting Image Databases to Improve ProcessingContent-Based Similarity Searches 1254

Leonard Brown, The University of Texas at Tyler, USA

Object-Oriented Programming Languages and Systems (OOP)Track Co-Chairs: Davide Ancona, DISI - Universita di Genova, Italy

Rajeev Raje, Indiana University Purdue University Indianapolis, USAMirko Viroli, Universita di Bologna, Italy


Safe and Flexible Objects 1258

Lorenzo Bettini, Universita di Firenze, ItalyViviana Bono, Universita di Torino, ItalySilvia Likavec, Universita di Torino, Italy

[a]C#: C# with a Customizable Code Annotation Mechanism 1264

Walter Cazzola, Universita delgi Studi di Milano, ItalyAntonio Cisternino, Universita degli Studi di Pisa, Italy

Selective Method Combination in Mixin-Based Composition 1269Tetsuo Kamina, The University of Tokyo, JapanTetsuo Tamai, The University of Tokyo, Japan

Virtual Namespace Functions: An Alternative to Virtual Member

Functions in C++ and Advice in AspectC++ 1274

Christian Heinlein, University of Ulm, Germany

RAIL: Code Instrumentation for .NET 1282Bruno Cabral, University ofCoimbra, ProtugalPaulo Marques, University ofCoimbra, ProtugalLuis Silva, University ofCoimbra, Protugal

Empirical Evaluation of OpenCCM on Java-based Distributed,Real-time, and Embedded Systems 1288

Shruti Gorappa, University ofCalifornia, USA

Raymond Klefstad, University ofCalifornia, USA

xxvm

Organizational Engineering (OE)Track Co-Chairs: Jose Tribolet, Technical University ofLisbon, Portugal

Robert Winter, University of St. Gallen, Switzerland

Artur Caetano, Technical University ofLisbon, Portugal


Method Construction- A Core Approach to Organizational Engineering 1295

Christian Braun, University ofSt. Gallen, Switzerland

Felix Wortmann, University ofSt. Gallen, Switzerland

Martin Hafner, University ofSt. Gallen, Switzerland

Robert Winter, University ofSt. Gallen, Switzerland

Strategic Alignment in Requirements Analysis for

Organizational IT: An Integrated Approach 1300

Steven Bleistein, National ICTAustralia/UNSW, Australia

Karl Cox, National ICTAustralia/UNSW, Australia

June Verner, National ICTAustralia, Australia

Using Roles and Business Objects to Model and Understand Business Processes 1308

Artur Caetano, Technical University ofLisbon, PortugalAntonio Rito Silva, Technical University ofLisbon, PortugalJose Tribolet, Technical University ofLisbon, Portugal

Knowledge Based Approach to Semantic Composition of Teams in an Organization 1314

S. Colucci, Politecnico di Bari Via Re David, ItalyT. Di Noia, Politecnico di Bari Via Re David, ItalyE. Di Sciascio, Politecnico di Bari Via Re David, ItalyF.M. Donini, Universita della Tuscia, ItalyG Piscitelli, Politecnico di Bari Via Re David, ItalyS. Coppi, Politecnico di Bari Via Re David, Italy

Value-Oriented Design of Service Coordination Processes: Correctness and Trust 1320

RoelJ. Wieringa, University ofTwente, The Netherlands

Jaap Gordijn, Vrije Universiteit, The Netherlands

A Case Study of Separation of Duty Properties in the

Context of the Austrian "eLaw" Process 1328

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 1333

Joachim Schelp, University ofSt. Gallen, Switzerland

Alexander Schwinn, University ofSt. Gallen, Switzerland

Assessment and Impact Analysis for Aligning Business Processes and Software Systems 1338

Lerina Aversano, University ofSannio, ItalyThierry Bodhuin, University ofSannio, ItalyMaria Tortorella, University ofSannio, Italy

XXIX

Poster Paper

Enterprise Architecture: Business and IT Alignment 1344

Carla Marques Pereira, Link Consulting SA & IST/DEI, PortugalPedro 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, ItalyCorrado Santoro, Catania University, ItalyEmiliano Tramontana, Catania University, ItalyIan Welch, Victoria University, New Zealand

AOP for Software Evolution: A Design Oriented Approach 1346

Walter Cazzola, Universita degli Studi di Milano

Sonia Pini, Universita degli Studi di Genova

Massimo Ancona, Universita degli Studi di Genova

Supporting Efficient Dynamic Aspects through Reflection and Dynamic Compilation 1351

Frederic Ogel, France Telecom R&D, France

Gael 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 1357

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 1365

Xiaoqing Wu, The University ofAlabama at Birmingham, USA

Suman Roychoudhury, The University ofAlabama at Birmingham, USA

Barrett Bryant, The University ofAlabama at Birmingham, USA

Jeffrey Gray, The University ofAlabama at Birmingham, USA

Marfan Mernik, University ofMaribor, Slovenia

Weaving a Debugging Aspect into Domain-Specific Language Grammars 1370

Hui Wu, The University ofAlabama at Birmingham, USA

Jeff Gray, The University ofAlabama at Birmingham, USA

Suman Roychoudhury, The University ofAlabama at Birmingham, USA

Marfan Mernik, University ofMaribor, Slovenia

Handling Run-time Updates in Distributed Applications 1375

Marco Milazzo, Universita di Catania, ItalyGiuseppe Pappalardo, Universita di Catania, ItalyEmiliano Tramontana, Universita di Catania, Italy

Giuseppe Ursino, Universita di Catania, Italy

xxx

Poster Paper

Metrics for Evaluating Concern Separation and Composition 1381

A. Di Stefano, Universita di Catania, ItalyM. Fargetta, Universita di Catania, ItalyG. Pappaladro, Universita di Catania, ItalyE. Tramontana, Universita di Catania, Italy

Programming Languages (PL)Track Co-Chairs: Chang-Hyun Jo, California State University at Fullerton, USA

Marjan Mernik, University ofMaribor, Slovenia

Barrett R. Bryant, University of Alabama at Birmingham, USA


Compiling Regular Patterns to Sequential Machines 1385

Burak Emir, EPFL, Switzerland

Understanding Access Restriction of Variant Parametric Types and Java Wildcards 1390

Giovanni Rimassa, Whitestein Technologies AG, Switzerland

Mirko Viroli, Universita degli Studi di Bologna, Italy

Disentangling the Implementation of Local-to-Global Transformations

in a Rewrite Rule Transformation System 1398

Thomas Cleenewerck, Vrije Universiteit Brussel, BelgiumTheo D 'Hondt, Vrije Universiteit Brussel, Belgium

Use of Correctness Assertions in Declarative Diagnosis 1404

Lunjin Lu, Oakland University, USA

Reflection-Based Implementation of Java Extensions: The Double-Dispatch Use-Case 1409

Remi Forax, Universite de Marne-la-Vallee, France

Etienne Duris, Universite de Marne-la-Vallee, France

Gilles Roussel, Universite de Marne-la-Vallee, France

Mode-directed Preferences for Logic Programs 1414

Hai-Feng Guo, University ofNebraska at Omaha, USA

Bharat Jayaraman, State University ofNew York at Buffalo, USA

Rapidly Prototyping Implementation Infrastructure of Domain

Specific Languages: A Semantics-based Approach 1419

QianWang, University of Texas at Dallas, USA

Gopal Gupta, University of Texas at Dallas, USA

Poster Paper

Agent Oriented Logic Programming in Jinni 2004 1427

Paul Tarau, University ofNorth Texas, USA

xxxi

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


Order Relations and Rigor in Computing 1431

Ramon E. Moore, USA

On Considering and Interval Constraint Solving Algorithm as a

Free-Steering Nonlinear Gauss-Seidel Procedure 1434

Frederic Goualard, Laboratoire d'Informatique de Nantes, France

Box-Set Consistency for Interval-Based Constraint Problems 1439

Gilles Chabert, PROJECTCORPIN, France

Gilles Trombettoni, PROJECT CORPIN, France

BertrandNeveu, PROJECT CORPIN, France

Enhancing Network Intrusion Detection Systems with Interval Methods 1444

QiangDuan, University ofCentral Arkansas, USA

Chenyi Hu, University ofCentral Arkansas, USA

Han-Chieh Wei, University ofCentralArkansas, USA

Computing the Cube on an Interval Matrix is NP-Hard 1449

Olga Kosheleva, University of Texas at El Paso, USA

Vladik Kreinovich, University of Texas at El Paso, USA

Gunther 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


Using Object-Level Run-Time Metrics to Study Coupling Between Objects 1456

Aine Mitchell, National University ofIreland, Ireland

James F. Power, National University ofIreland, Ireland

Adaptive Testing of Software Components 1463

Kai-Yuan Cai, Beijing University ofAeronautics and Astronautics, China

T.Y. Chen, Swinburne University of Technology, Australia

Yong-Chao Li, Beijing University ofAeronautics and Astronautics, China

Wei-YiNing, Beijing University ofAeronautics andAstronautics, China

Y.T. Yu, City University ofHong Kong, Hong Kong

xxxii

Use Case-Driven Component Specification: A Medical ApplicationsPerspective to Product Line Development 1470

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-designKnowledge through Experiments 1478

Gerardo Canfora, University ofSannio, ItalyAniello Cimitile, University ofSannio, ItalyFelix Garcia, University ofCastillas-La-Mancha, SpainMario Piattini, University of Castillas-La-Mancha, SpainCorrado Aaron Visaggio, University ofSannio, Italy

Source Code-Based Software Risk Assessing 1485

W. Eric Wong, University ofTexas at Dallas, USA

Yu Qi, University ofTexas at Dallas, USA

Kendra Cooper, University of Texas at Dallas, USA

A Case Study on Building COTS-Based System Using Aspect-Oriented Programming 1491

Axel Anders Kvale, Norwegian University ofScience and Technology, NorwayJingyue Li, Norwegian University ofScience and Technology, NorwayReidar Conradi, Norwegian University ofScience and Technology, Norway

Towards the Prioritization of Regression Test Suites with Data Flow Information 1499

Matthew J. Rummel, Allegheny College, USA

Gregory M. Kapfhammer, Allegheny College, USA

Andrew Thall, Allegheny College, USA

A Strategy for Selecting Multiple Components 1505

EdMancebo, Washington State University, USA

Anneliese Andrews, Washington State University, USA

NextGen extreme Porting - Structured by Automation 1511

Pradeep Varma, IBM India Research Laboratory, India

AshokAnand, IBMIndia Research Laboratory, India

Donald P. Pazel, IBM T.J. Watson Research Center, USA

BethR. Tibbitts,IBMT.J. Watson Research Center, USA

High-Integrity Extreme Programming 1518

Richard F. Paige, University ofYork, UKHoward Chivers, University of York, UKJohn A. McDermid, University ofYork, UKZoe R. Stephenson, University of York, UK

A Pattern-based Development Methodology for Communication Protocols 1524

YoungJoon Byun, The Pennsylvania State University at Erie, USA

BeverlyA. Sanders, University ofFlorida, USA

xxxiii

Applying Agent Technology to Software Process Modeling and

Process-Centered Software Engineering Environment 1529

Xinpei Zhao, Chinese Academy ofSciences, China

Keith Chan, The Hong Kong Polytechnic University, USA

Mingshu Li, Chinese Academy ofSciences, China

Plan Validation via Petri Nets in the Real-Time Performers Java Framework 1534

Andrea Trentini, Universita degli Studi do Milano, ItalyDaniela Micucci, Universita degli Studi do Milano, Italy

Organizing and Visualizing Software Repositories using the

Growing Hierarchical Self-organizing Map 1539

Songsri Tangsripairoj Mahidol University, Thailand

M. H. Samadzadeh, Oklahoma State University, USA

Verification ofBehavioral Elements of UML Models using B 1546

Ninh-Thuan Truong, LORIA, Campus Scienfique, France

Jeanine Souquieres, LORIA, Campus Scienfique, France

Marshaling and Unmarshaling Models Using the Entity-Relationship Model 1553

FeiCao, University ofAlabama at Birmingham, USA

Barrett R. Bryant, University ofAlabama at Birmingham, USA

Wei Zhao, University ofAlabama at Birmingham, USA

Carol C. Burt, University ofAlabama 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 1558

Junyoung Heo, Seoul National University, Korea

Sangho Yi, Seoul National University, Korea

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

Sung Y. Shin, South Dakota State University, USA

Poster Papers

Bridging AOP to SMP: Turning GCC into a Metalanguage Preprocessor 1563

Tiago Stein D 'Agostini, Federal University ofSanta Catarina, Brazil

Antdnio Augusto Frohlich, Federal University ofSanta Catarina, Brazil

Synthesis of C++ Software for Automated Teller from CSPm Specifications 1565

Stephen Doxsee, University ofGuelph, Canada

W.B. Gardner, University ofGuelph, Canada

Mediation Framework Modeling and Verification by SAM 1567

Li Yang, Florida International University, USA

RaimundK. Ege, Florida International University, USA

Huiqun Yu, East China University ofScience & Technology, China

xxxiv

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


Strong Pseudonymous Communication for Peer-to-Peer Reputation Systems 1570

Michael Kinateder, Universitdt Stuttgart, Germany

RalfTerdic, Universitdt Stuttgart, GermanyKurt Rothermel, Universitdt Stuttfart, Germany

Simulation of a Distributed Recommendation System for Pervasive Networks 1577

Seamus Moloney, Nokia Research Center, Finland

Component Based Trust Management in the Context of a Virtual Organization 1582

Yanjun Zuo, University ofArkansas, USA

Brajendra Panda, University ofArkansas, USA

A Trust-enhanced Recommender System Application: Moleskiing 1589

Paolo Avesani, ITC/irsT, ItalyPaolo Massa, ITC/irsT, ItalyRoberto Tiella, ITC/irsT, Italy

How to Incorporate Revocation Status Information into the

Trust Metrics for Public-Key Certification 1594

Kernel 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


From BuddySpace to CitiTag: Large-scale Symbolic Presence for

Community Building and Spontaneous Play 1600

Yanna Vogiazou, The Open University, UKMark Eisenstadt, The Open University, UKMartin Dzbor, The Open University, UK

Jiri Komzak, The Open University, UK

Extending the EPC Network - The Potential of RFID in Anti-Counterfeiting 1607

Thorsten Staake, University ofSt. Gallen, Switzerland

Frederic Thiesse, University ofSt. Gallen, Switzerland

Elgar Fleisch, University ofSt. Gallen, Switzerland

Towards System Software for Physical Space Applications 1613

Kaori Fujinami, Waseda University, JapanTatsuo Nakajima, Waseda University, Japan

xxxv

Intelligent File Management in Ubiquitous Environments 1621

Kartik Vishwanath, University ofMissouri- Kansas City, USA

Arvind S. Gautam, University ofMissouri- Kansas City, USA

YugyungLee, University ofMissouri- Kansas City, USA

Poster Paper

Declarative Control of the Future Home Environment 1626

Tope Omitola, University ofCambridge, United Kingdom

Web Technologies and Applications (WTA)Track Co-Chairs: Cristina Cachero, Universidad de Alicante, Spain

Sara Comai, Politecnico di Milano, ItalyMaristella Matera, Politecnico di Milano, Italy


An Approach to Acquire Semantic Relationships between Terms 1630

Xia Sun, Xi'anJiaotong University, China

Qinghua Zheng, XVan Jiaotong University, China

Survey of Semantic Annotation Platforms 1634

Lawrence Reeve, Drexel University, USA

Hyoil Han, Drexel University, USA

Automatic Learning of Text-to-concept Mappings ExploitingWordNet-Iike Lexical Networks 1639

Dario Bonino, Politecnico di Torino, ItalyFulvio Corno, Politecnico di Torino, ItalyFederico Pescarmona, Politecnico di Torino, Italy

Reactivity on the Web: Paradigms and Applications of the Language XChange 1645

Francois Bry, University ofMunich, GermanyPaula-Lavinia Patrdnjan, University ofMunich, Germany

Pollock: Automatic Generation of Virtual Web Services from Web Sites 1650

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 ofWeb Services 1656Zakaria Maamar, Zayed University, UnitedArab Emirates

Djamal Benslimane, Claude Bernard Lyon 1 University, France

Chirine Ghedira, Claude Bernard Lyon 1 University, France

Qusay H. Mahmoud, University ofGuelph, Canada

Hamdi Yahyaoui, Laval University, Canada

xxxvi

An OWL-S Based Approach to Express Grid Services Coordination 1661

Laura Bocchi, University ofBologna, ItalyPaolo Ciancarini, University ofBologna, ItalyRocco Moretti, University ofBologna, ItalyValentina Presutti, University ofBologna, ItalyDavide Rossi, University ofBologna, Italy

Context-Aware Filtering for Collaborative Web Systems: Adapting the

Awareness Information to the User's Context 1668Manuele Kirsch-Pinheiro, LSR Laboratory- IMAG, France

Marlene Villanova-Oliver, LSR Laboratory- IMAG, France

Jerome Gensel, LSR Laboratory- IMAG, France

Herve Martin, LSR Laboratory- IMAG, France

First Experiences on Constraining Consistency and Adaptivity ofW2000 Models 1674

Luciano Barest, Politecnico di Milano, ItalySebastiano Colazzo, Politecnico di Milano, ItalyLuca Mainetti, Universita degli Studi di Lecce, Italy

Measuring Structure Complexity for Class Diagrams: An Information Theory Approach 1679

YumigZhou, Southeast University Nanjing, China

Baowen Xu, Southeast University Nanjing, China

Where Web Engineering Tool Support Ends: Building Usable Websites 1684

RichardAtterer, Ludwig-Maximilians-University, Germany

A Product Line Architecture for Web Applications 1689Luca Balzerani, Universita degli Studi di L Aquila, ItalyDavide Di Ruscio, Universita degli Studi di L Aquila, Italy

Alfonso Pierantonio, Universita degli Studi di L Aquila, ItalyGuglielmo De Angelis, Istituto di Scienza e Tecnologie dell 'Informazione, Italy

TestUml: User-Metrics Driven Web Applications Testing 1694Carlo Bellettini, Universita degli Studi di Milano, ItalyAlessandro Marchetto, Universita degli Studi di Milano, ItalyAndrea Trentini, Universita degli Studi di Milano, Italy

Combining Queueing Networks and Web Usage Mining Techniques for

Web Performance Analysis 1699Giuliano Casale, Politecnico di Milano, Italy

An Empirical Evaluation of Client-side Server Selection Policies for

Accessing Replicated Web Services 1704

Nabor Mendonca, Universidade de Fortaleza, BrasilJose Airton Silva, Universidade de Fortaleza, Brasil

SEcS: Scalable Edge-computing Services 1709

Raffaella Grieco, Universita di Salerno, ItalyDelfina Malandrino, Universita di Salerno, ItalyVittorio Scarano, Universita: di Salerno, Italy

Making XPath Reach for the Web-Wide Links 1714Lule Ahmedi, Universitdt Freiburg, Germany

XXXVII

Automatic Extraction of Informative Blocks from Webpages 1722

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 1727Raman Adaikkalavan, The University ofTexas at Arlington, USA

Sharma Chakravarthy, The University ofTexas at Arlington, USA

Sanitizing using Metadata in MetaXQuery 1732

Hao Jin, Washington State University, USA

Curtis Dyreson, Washington State University, USA

Poster Papers

Learning System to Introduce GIS to Civil Engineers 1737Ronaldo Luna, University ofMissouri- Rolla, USA

William T. Lawrence, University ofMissouri - Rolla, USA

John Sullivan, University ofMissouri - Rolla, USA

Richard Hall, University ofMissouri- Rolla, USA

Michael Hilgers, University ofMissouri - Rolla, USA

Matt Buechler, University ofMissouri - Rolla, USA

wsBus: AFramework for Reliable Web Services Interactions 1739

Abdelkarim Erradi, University ofNew South Wales, Australia

Piyush Maheshwari, University ofNew South Wales, Australia

Author Index AI-1

Reviewer Index RI-1

xxxviii

'Annual ACM Symposium on Applied Computing ; 20 (Santa Fe ...APPLIEDCOMPUTING2005 The20th...

Documents

Transcript of 'Annual ACM Symposium on Applied Computing ; 20 (Santa Fe ...APPLIEDCOMPUTING2005 The20th...