annual acm symposium on applied computing ; 20 (santa fe ...appliedcomputing2005 the20th...
Post on 07-Oct-2020
2 Views
Preview:
TRANSCRIPT
APPLIED COMPUTING 2005
The 20th Annual ACM Symposium on Applied Computing
PROCEEDINGS OF THE 2005 ACM
SYMPOSIUM ON APPLIED COMPUTING
Santa Fe, New Mexico
March 13-17,2005
Organizing Committee
Hisham M. Haddad
Lorie M. Liebrock
Andrea Omicini
Roger L. Wainwright
Mathew J. Palakal
Maggie Wilds
Horst Clausen
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
Track Editorial 1118
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
Track Editorial 1178
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
Track Editorial 1256
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
Track Editorial 1293
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
Track Editorial 1383
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
Track Editorial 1429
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
Track Editorial 1454
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
Track Editorial 1569
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
Track Editorial 1599
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
Track Editorial 1628
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
top related