-/ ^^^^. APPLIED COMPUTING Organizing Committee. George A. Papadopoulos Andrea Omicini. Roger L. Wainwright.

Transcription

1 Computing APPLIED COMPUTING 2004 PROCEEDINGS OF THE 2004 ACM SYMPOSIUM ON APPLIED COMPUTING VOLUME 2 of 2 Nicosia, Cyprus March 1417,2004 Organizing Committee Hisham M. Haddad George A. Papadopoulos Andrea Omicini Roger L. Wainwright Lorie M. Liebrock Mathew J. Palakal Andreas Andreou Constantinos Pattichis Ubiquitous Computing Software Engineering ) / Web Technologies Agents Programming Languages ^ / \ \ / / / Parallel and Dist. Systems \_<* *' &M / ^^^^. f>qnnli>«tlnn Fnglnnnrlnp ^Zy*^f~ ZVa!B!& // W0 Al "*"''", Bioinformatics ^' ^ Computational Sciences and Health Caro OO Programming m^^r~^mmsslis& ^^^^PP^/^ lllllliiilii^hil ^ Computer Security Multlmodla and Visualization ^^^BHhHH Rjiiflillir Coordination Models Mobile Computing y ^^8*"MII ^ ^ Data Mining Internet Data Management / 1 / \ "'^ ~ ^ "^ Data Streams Info Access & Retrieval ' / / ^ Database Evolutionary Computing ' ECommerce ELearrling Systems Embedded Systems TIB/UB Hannover Hosted by University of Cyprus in Nicosia, Cyprus

2 DSPxPlore Design Space Exploration Methodology for an Embedded DSP Core 876 Christian Panis, Corinthian Tech Institute, Austria Ulrich Himschrott, Vienna University of Technology, Austria Guniher 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 JungWo ok Park, Yonsei University, Korea CheongGhil Kim, Yonsei University, Korea JungHoon Lee, Yonsei University, Korea ShinDug Kim, Yonsei University, Korea MultiObjective CoExploration of Source Code Transformations and Design Space Architectures for LowPower Embedded Systems 891 Giovanni Agosta, Politecnico di Milano, Italy Gianluca Palermo, Politecnico di Milano, Italy Cristina Silvano, Politecnico di Milano, Italy A Hardware Extension of the RISC Microprocessor for Attribute Grammar Evaluation 897 loannis 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, Belgium Tom VanderAa, ESAT/ELECTA, Belgium Francisco Barat, ESAT/ELECTA, Belgium Geert Deconinck, ESAT/ELECTA, Belgium Francky Catthoor, IMEC, Belgium Henk Corporaal, Technical University, The Netherlands FineGrained Power Management for Multithreaded Processor Cores 907 Sascha Uhrig, University ofaugsburg, Germany Theo Ungerer, University ofaugsburg, Germany Engineering elearning Systems (ELS) Track CoChairs: Symeon Retalis, University of Piraeus, Greece Paris Avgeriou, University of Cyprus, Cyprus Track Editorial 909 Issues of Pedagogy and Design in elearning Systems 911 Charalambos Vrasidas, Intercollege, Cyprus Patterns for Blended, PersonCentered Learning: Strategy, Concepts, Experiences, and Evaluation 916 Michael Derntl, University of Vienna, Austria Renate MotschnigPitrik, University of Vienna, Austria xx

3 Towards a SiteLang::Edu ContextDriven ELearning Aleksander BinemannZdanowicz, Brandenburg University oftechnology at Cottbus, Germany Content Utilization Model 924 Evaluating Adaptive Hypermedia Authoring while Teaching Adaptive Systems 929 Alexandra Cristea, Eindhoven University oftechnology, The Netherlands Training Needs Analysis The first step in authoring elearning content 935 Emma OBrien, University oflimerick, Ireland Timothy Hall, University oflimerick, Ireland Carrying on the elearning Process with a Workflow Management Engine 940 Mirko Cesarini, Politecnico di Milano, Italy Mattia Monga, Universita degli Studi di Milano, Italy Roberto Tedesco, Politecnico di Milano, Italy Improving Courseware Quality through LifeCycle Encompassing Quality Assurance 946 Ines Gruizner, Fraunhofer IESE, Germany Stephan Weibelzahl, Fraunhofer IESE, Germany Patrick Waterson, Fraunhofer IESE, Germany Encouraging Knowledge Exchange in Discussion Forums by MarketOriented Mechanisms 952 Natalia Lopez, Universidad Complutense de Madrid, Spain Manuel Nunez, Universidad Complutense de Madrid, Spain Ismael Rodriguez, Universidad Complutense de Madrid, Spain Fernando Rubio, Universidad Complutense de Madrid, Spain The EduSource Communication Language: Implementing Open Network for Learning Repositories Marek Hatala, Simon Fraser University, Canada and Services..957 GriffRichards, Simon Fraser University, Canada Timmy Eap, Simon Fraser University, Canada Jordan Willms, Simon Fraser University, Canada An Architecture for Supporting Vicarious Learning in a Distributed Environment 963 Steve Neely, University ofstrathclyde, UK Helen Lowe, University ofstrathclyde, UK David Eyers, University of Cambridge, UK Jean Bacon, University of Cambridge, UK Julian Newman, Glasgow Caledonian University, Xiaofeng Gong, Glasgow Caledonian University, UK UK Modeling and Execution of ELearning Resources 971 Johannes Lischka, University of Vienna, Austria Dimitris Karagiannis, University of Vienna, Austria Evolutionary Computation and Optimization (ECO) Track Chair: Bryant A. Julstrom, St. Cloud State University, USA Track Editorial 973 Using a Genetic Algorithm to Optimize the Gape C. W. Liew, Lafayette College, USA of a Snake Jaw 975 xxi

4 Two Hybrid Evolutionary Algorithms for the Rectilinear Steiner Arborescence Problem 980 Bryant A. Julstrom, St. Cloud State University, USA Athos Antoniades, University ofcyprus, Cyprus Solving the Error Correcting Code Problem with Parallel Hybrid Heuristics 985 Enrique Alba, University ofmalaga, Spain J. Francisco Chicano, University ofmalaga, Spain An Improved Hybrid Genetic Algorithm for the Generalized Assignment Problem 990 Harald Feltl, Gunther R. Raidl, Vienna University of Technology, Austria Vienna University oftechnology, Austria Automatic Construction of Drama School Timetables Based on a Generic Evolutionary Framework for Allocation and Scheduling Problems 996 Oskar Preinfalk, University of Salzburg, Austria Helmut A. Mayer, University of Salzburg, Austria Genetic Programming for Data Classification: Partitioning the Search Space 1001 Jeroen Eggermont, Universiteit Leiden, The Netherlands JoostN Kok, Universiteit Leiden, The Netherlands Walter A. Kosters, Universiteit Leiden, The Netherlands Schemata Theory for the Real Coding and Arithmetical Operators 1006 Diego F. Nehab, Princeton University, Brazil Marco Aurelio C. Pacheco, PUCRio, Brazil Experiments with UNA for Solving Linear Constraints in Real Variables 1013 Neelam Gupta, The University ofarizona, USA YongJun Cho, The University ofarizona, USA Mohammad Z. Hossain, The University ofarizona, USA Solving the Maximum Clique Problem by kopt Local Search 1021 Kengo Katayama, Okayama University ofscience, Japan Akihiro Hamamoto, Okayama University ofscience, Japan Hiroyuki Narihisa, Okayama University ofscience, Japan Evolutionary Segmentation of Yeast Genome 1026 Daniel Mateos, University Seville, Spain Jose C. Riquelme, University Seville, Spain Jesus S. AguilarRuiz, University Seville, Spain Application of Fuzzy Logic to Multiple Criteria Decision Making in Aquacultural Planning OmarF. ElGayar, Dakota State University, USA xxii

5 Information Access and Retrieval (IAR) Track CoChairs: Fabio Crestani, University of Strathclyde, UK Gabriella Pasi, ITCCNR, Italy Track Editorial 1031 A Comparison of Several Predictive Algorithms for Collaborative Filtering on Multi Valued Ratings 1033 Maritza CalderonBenavides, Universidad Autonoma de Bucaramanga, Colombia Cristina GonzdlezCaro, Universidad Autonoma de Bucaramanga, Colombia Jose PerezAlcazar, Universidad Autonoma de Bucaramanga, Colombia Juan GarciaDiaz, Universidad Autonoma de Bucaramanga, Colombia Joaquin Delgado, TripleHop Technologies, USA A Knowledge Based System for Contentbased Retrieval of Scalable Vector Graphics Documents 1040 Eugenio Di Sciascio, Politecnico di Bari, Italy Francesco Donini, Universita' della Tuscia, Italy Marina Mongiello, Politecnico di Bari, Italy Ontology and Rule based Retrieval of Sound Objects in Augmented Audio Reality System for Museum Visitors 1045 Marek Hatala, Simon Fraser University, Canada Leila Kalantari, Simon Fraser University, Canada Ron Wakkary, Simon Fraser University, Kenneth Newby, Simon Fraser University, Canada Canada Geographical Information Recognition and Visualisation in Texts Written in Various Languages 1051 Bruno Pouliquen, ECJoint Research Centre, Italy RalfSteinberger, ECJoint Research Centre, Italy Camelia Ignat, ECJoint Research Centre, Italy Tom De Groeve, ECJoint Research Centre, Italy Experiments on using Fuzzy Quantified Sentences in Adhoc Retrieval 1059 David E. Losada, University ofsantiago de Compostela, Spain Felix DiazHermida, University ofsantiago de Compostela, Spain Alberto Bugarin, University ofsantiago de Compostela, Spain Senen Barro, University ofsantiago de Compostela, Spain Shadow Document Methods of Results Merging 1067 Shengli Wu, University ofstrathclyde, UK Fabio Crestani, University ofstrathclyde, UK The Effectiveness of Combining Information Retrieval Strategies for European Languages 1073 Jaap Kamps, University ofamsterdam, Holand Maarten de Rijke, University ofamsterdam, Holand xxiii

6 An Architecture for Information Retrieval over SemiCollaborating PeertoPeer Networks...l078 Iraklis Klampanos, University of Glasgow, Scotland Joemon Jose, University ofglasgow, Scotland Video Information Retrieval using Objects and Ostensive Relevance Feedback 1084 Paul Browne, Dublin City University, Ireland Alan Smeaton, Dublin City University, Ireland A New Algorithm for Computing Transitive Closures 1091 Yangjun Chen, University of Winnipeg, Canada Internet Data Management (IDM) Track CoChairs: Marios Dikaiakos, University of Cyprus, Cyprus Alexandras Labrinidis, University of Pittsburgh, USA Qiong Luo, Hong Kong University of Science and Technology, China Track Editorial 1093 Text Mining Agent for Net Auction 1095 Yukitaka Kusumura, Osaka University, Japan Yoshinori Hijikata, Osaka University, Japan Shogo Nishida, Osaka University, Japan Specifying Temporal Data Models for Semistructured Data by a Constraintbased Approach Carlo Combi, Universita degli studi di Verona, Italy Barbara Oliboni, Universita degli studi di Verona, Italy Elisa Quintarelli, Politecnico di Milano, Italy 1103 Caching in Web Memory Hierarchies 1109 Dimitrios Katsaros, Aristotle University, Greece Yannis Manolopoulos, Aristotle University, Greece Learning Query Languages of Web Interfaces 1114 Andre Bergholz, Xerox Research Centre Europe, France Boris Chidlovskii, Xerox Research Centre Europe, France Efficient Management ofxml Contents over Wireless Environment by Xstream 1122 Eugene Y.C, Wong, Hong Kong Polytechnic University, China Alvin T. S. Chan, Hong Kong Polytechnic University, China HongVa Leong, Hong Kong Polytechnic University, China Automatic Language Identification of Written Texts 1128 Rafael Lins, Universidade Federal de Pernambuco, Brazil Paulo Gongalves, Universidade Federal de Pernambuco, Brazil xxiv

7 Minimizing the Reconfiguration Overhead in ContentBased PublishSubscribe 1134 Gianpaolo Cugola, Politecnico di Milano, Italy Davide Frey, Politecnico di Milano, Italy Amy L. Murphy, Politecnico di Milano, Italy Gian Pietro Picco, Politecnico di Milano, Italy GDGhOST: A GoalOriented SelfTuning Caching Algorithm 1141 Ganesh Santhanakrishnan, University ofpittsburgh, USA Ahmed Amer, University ofpittsburgh, USA Panos K. Chrysanthis, University ofpittsburgh, USA Dan Li, University ofpittsburgh, USA A Webpage Fragmentation Technique for Personalized Browsing 1146 Christos Bouras, University ofpatras, Greece Vaggelis Kapoulas, University ofpatras, Greece Ioannis Misedakis, University ofpatras, Greece Mobile Computing and Applications (MCA) Track CoChairs: Hong Va Leong, Hong Kong Polytechnic University, Hong Kong Alvin Chan, Hong Kong Polytechnic University, Hong Kong Track Editorial 1149 A Call Admission Control Scheme using Genetic Algorithms 1151 Dilek Karabudak, Southern Polytechnic State University, USA ChihCheng Hung, Southern Polytechnic State University, USA Benny Bing, Georgia Institute of Technology, USA A Comparison of Randomized and Evolutionary Approaches for Optimizing Base Station Site Selection 1159 Larry Raisanen, Cardiff University, UK Roger M. Whitaker, Cardiff University, UK Steve Hurley, Cardiff University, UK Delivering Attribute Certificates over GPRS 1166 Georgios Kambourakis, University ofthe Aegean, Greece Angelos Rouskas, University of the Aegean, Greece Stefanos Gritzalis, University ofthe Aegean, Greece Extending InvalidAccess Prevention Policy Protocols for MobileClient Data Caching 1171 Shin Parker, University ofnebraska at Omaha, USA Zhengxin Chen, University ofnebraska at Omaha, USA A Declarative Framework for Adaptable Applications in Heterogeneous Environments 1177 P. Inverardi, Universita degli Studi deu'aquila, Italy F, Mancinelli, Universita degli Studi deu'aquila, Italy M. Nesi, Universita degli Studi deu'aquila, Italy xxv

8 ObjectOriented Middleware for LocationAware Systems 1184 Riku Jdrvensivu, Tampere University oftechno logy, Finland Risto Pitkdnen, Tampere University of Technology, Finland Tommi Mikkonen, Tampere University of Technology, Finland UbiCollab: Collaboration Support for Mobile Users Monica Divitini, IDI, NTNU, Norway BabakA. Farshchian, Telenor R&D, Norway Haldor Samset, Telenor R&D, Norway MIRES an Information Exchange System for Mobile Phones QingLi, City University ofhong Kong, Hong Kong XiangLi, City University ofhong Kong, Hong Kong JianZhai, City University ofhong Kong, Hong Kong Liu Wenyin, City University ofhong Kong, Hong Kong Wireless SpatioSemantic Transactions on Multimedia Datasets James D. Carswell, Dublin Institute of Technology, Ireland Keith Gardiner, Dublin Institute oftechnology, Ireland Marco Neumann, Dublin Institute oftechnology, Ireland A Network Independent Broker for Obtaining Position of Nomadic Users 1206 N. Prigouris, University ofathens, Greece G. Papazafeiropoulos, University ofathens, Greece G.F. Marias, University ofathens, Greece S. Hadjiefthymiades, University ofathens, Greece L. Merakos, University ofathens, Greece Towards an Intelligent Mobile Travel Assistant Marc Torrens, EPFL, Switzerland Patrick Hertzog, EPFL, Switzerland Pearl Pu, EPFL, Switzerland Boi Faltings, EPFL, Switzerland 1208 Multimedia and Visualization (MV) Track CoChairs: Chaman L. Sabharwal, University of MissouriRolla, USA S. R. Subramanya, University of MissouriRolla, USA Track Editorial 1211 Providing Resource Allocation and Performance Isolation in a Shared StreamingMedia Hosting Service Ludmila Cherkasova, HewlettPackard Laboratories, Wenting Tang, HewlettPackard Laboratories, USA 1213 USA A New Algorithm for Removing Noisy Borders from Monochromatic Bruno Tenorio Documents 1219 Avila, Universidade Federal de Pernambuco, Brazil Rafael Dueire Lins, Universidade Federal de Pernambuco, Brazil xxvi

9 Universita LEMP: Lightweight Efficient Multicast Protocol for Video on Demand 1226 Panayotis Fouliras, University ofmacedonia, Greece Spiros Xanthos, University of Macedonia, Greece Nikolaos Tsantalis, University ofmacedonia, Greece Athanasios Manitsaris, University ofmacedonia, Greece Similarity between Euclidean and Cosine Angle Distance for Nearest Neighbor Queries 1232 Gang Qian, Michigan State University, USA Shamik Sural, Indian Institute of Technology, India Yuelong Gu, Michigan State University, USA Sakti Pramanik, Michigan State University, USA Cost Effective Transcoding for QoS Adaptive Multimedia Streaming 1238 Ilhoon Shin, Seoul National University, South Korea Kern Koh, Seoul National University, South Korea AxesBased Visualizations with Radial Layouts 1242 Christian Tominski, University ofrostock, Germany James Abello, Rutgers University, USA Heidrun Schumann, University ofrostock, Germany Modelling and Filtering of MPEG7Compliant MetaData for Digital Video 1248 Harry Agius, Brunei University, UK Marios Angelides, Brunei University, UK A HighDimensional Approach to Interactive Graph Visualization 1253 Hiroshi Hosobe, National Institute ofinformatics, Japan Exploring an Open, Distributed Multimedia Framework to Design and Develop an Adaptive Middleware for Interactive Digital Television Systems 1258 Gledson Elias, Federal University of Rio Grande do Norte, Brazil Adilson B. Lopes, Federal University ofrio Grande do Norte, Brazil Frederico Borelli, Federal University ofrio Grande do Norte, Brazil Mauricio Magalhdes, Slate University of Campinas, Brazil ObjectOriented Programming Languages and Systems (OOP) Track CoChairs: Davide Ancona, DISI di Genova, Italy Rajeev Raje, Indiana University Purdue University Indianapolis, USA Mirko Viroli, Universita di Bologna, Italy Track Editorial 1265 The Inheritance Anomaly: Ten Years After 1267 Giuseppe Milicia, Chi Spaces Technologies ltd., UK Vladimiro Sassone, University ofsussex, UK Another Step Towards a Smart Compilation Manager for JAVA 1275 Giovanni Lagorio, DISI Universita di Genova, Italy XXVII

10 Universita Modeling Multiple Class Loaders by a Calculus for Dynamic Linking 1281 Sonia Fagorzi, DISI Universita di Genova, Italy Elena Zucca, DISI di Genova, Italy Davide Ancona, DISI Universita di Genova, Italy Adding Wildcards to the JAVA Programming Language 1289 Mads Torgersen, Univeristy ofaarhus, Denmark Christian Plesner Hansen, Univeristy ofaarhus, Denmark Erik Ernst, Univeristy ofaarhus, Denmark Peter von derahe, Univeristy ofaarhus, Denmark GiladBracha, Sun Microsystems, Inc., Neal Gafter, Sun Microsystems, Inc., USA USA Reclassification and Multithreading: Ficklewv 1297 Ferruccio Damiani, Universita di Torino, Italy Mariangiola DezaniCiancaglini, Universita di Torino, Italy Paola Giannini, Universita del Piemonte Orientale, Italy SmartMethod: an Efficient Replacement for Method 1305 Walter Cazzola, Universita degli Studi di Milano, Italy Interface Utilization in the JAVA Development Kit 1310 Jens Gofiner, Universitaet Hannover, Germany Philip Mayer, Universitaet Hannover, Germany Friedrich Steimann, Universitaet Hannover, Germany Language Support for Incremental Integration of Independently Developed Components in Java 1316 Bo Nerregaard J0rgensen, University of Southern Denmark, Denmark Prototype System for Methods Materialisation and Maintenance in ObjectOriented Databases 1323 Juliusz Jezierski, Poznan University of Technology, Poland Mariusz Masewicz, Poznan University oftechnology, Poland Robert Wrembel, Poznan University of Technology, Poland Seamless Integration of RuleBased Knowledge and ObjectOriented Functionality with Linguistic Symbiosis 1328 Maja D'Hondt, Vrije Universiteit Brussel, Belgium Kris Gybels, Vrije Universiteit Brussel, Belgium Viviane Jonckers, Vrije Universiteit Brussel, Belgium Organizational Engineering (OE) Track CoChairs: Jos< Tribolet, Technical University of Lisbon, Portugal Pedro Sousa, Technical University of Lisbon, Portugal Track Editorial 1337 Modeling Organizational Goals: Analysis of Current Methods 1339 Evangelia Kavakli, University ofthe Aegean, Greece xxviii

11 A Towards a Corporate Performance Measurement System 1344 Beate List, Vienna University of Technology, Austria Karl Machaczek, Vienna University of Technology, Austria Evolution of Business Processes towards ebusiness using a Critiquing Approach 1351 Lerina Aversano, University ofsannio, Italy Thierry Bodhuin, University ofsannio, Italy Gerardo Canfora, University ofsannio, Italy Raffaele Esposito, University ofsannio, Italy Maria Tortorella, University ofsannio, Italy Information Requirements Engineering for Data Warehouse Systems 1359 Robert Winter, University of St. Gallen, Switzerland Bernhard Strauch, LGT Financial Services, Principality ofliechtenstein A Method to Define an Enterprise Architecture using the Zachman Framework 1366 Carlo Marques Pereira, ESTIPCB, Portugal Pedro Sousa, I.S.TeLink, Portugal Developing the Extended Enterprise Frank Goethals, K, U.Leuven, Belgium Jacques Vandenbulcke, K. U.Leuven, Belgium Wilfried Lemahieu, K. U.Leuven, Belgium with the FADEE 1372 Separation, Review and Supervision Controls in the Context of a Credit Application Process Case Study of Organisational Control Principles 1380 Andreas Schaad, Ernst & Young LLP, UK Jonathan Moffett, Organizational Engineering University of York, UK in Public Administrations A Method for Processoriented egovernment Projects 1385 Joerg Becker, University ofmuenster, Germany Lars Algermissen, University ofmuenster, Germany Bjoern Niehaves, University ofmuenster, Germany An Integrated Model of Workflows, econtracts and Solution Implementation 1390 Mizuho Iwaihara, Kyoto University, Japan Haiying Jiang, Kyoto University, Japan Yahiko Kambayashi, Kyoto University, Japan Applying Scheduling Techniques to Minimize the Number of Late Jobs in Workflow Systems 1396 Gregorio Baggio Tramontina, Universidade Estadual de Campinas, Brazil Jacques Wainer, Universidade Estadual de Campinas, Brazil Clarence Ellis, University of Colorado, USA xxix

12 Parallel and Distributed Systems (PDS) Track CoChairs: Robert van Engelen, Florida State University, USA Nectarios Koziris, National Technical University of Athens, Greece Mario Furnari, Consiglio Nazionale delle Ricerche, Italy Kleanthis Psarris, University of Texas at San Antonio, USA Track Editorial 1405 Exploiting Fast Ethernet Performance in Multiplatform Cluster Environment 1407 Sdndor Juhdsz, Budapest University of Technology and Economics, Hungary Hassan Charaf, Budapest University of Technology and Economics, Hungary Automatic Parallel Code Generation for Tiled Nested Loops 1412 Georgios Goumas, National Technical University ofathens, Greece Nikolaos Drosinos, National Technical University ofathens, Greece Maria Athanasaki, National Technical University ofathens, Greece Nectarios Koziris, National Technical University ofathens, Greece ClassDependent Assignment in Clusterbased Servers 1420 Victoria Ungureanu, Rutgers University, USA Benjamin Melamed, Rutgers University, USA Phillip G. Bradford, University ofalabama, USA Michael Katehakis, Rutgers University, USA Efficient FaultTolerant Routing Algorithm for OTISCube Using Unsafety Vectors 1426 Jehad A. AlSadi, Zarka Private University, Jordan Ahmad M. Awwad, Zarka Private University, Jordan A CostOriented Approach for Infrastructural Design 1431 Danilo Ardagna, Politecnico di Milano Italy Chiara Francalanci, Politecnico di Milano, Italy Marco Trubian, Universita degli Studi di Milano, Italy Scalable and LockFree Concurrent Dictionaries 1438 Hakan Sundell, Chalmers University of Technology, Sweden Philippas Tsigas, Chalmers University of Technology, Sweden Using a Hybrid EvolutionaryTaboo Algorithm to Solve the Job Shop Problem 1446 Joao Paulo Caldeira, Instituto Politecnico de Setubal, Portugal Fernando Melicio, I.S.E.L., Portugal Agostinho Rosa, LaSEEBISRIST, Portugal xxx

13 Programming Languages (PL) Track CoChairs: ChangHyun Jo, California State University at Fullerton, USA Marjan Mernik, University of Maribor, Slovenia Barrett R. Bryant, University of Alabama at Birmingham, USA Track Editorial 1453 FSMHume: Programming ResourceLimited Systems using Greg Michaelson, HeriotWatt University, UK Kevin Hammond, University of St Andrews, UK Jocelyn Serot, Blaise Pascal University, France Bounded Automata 1455 Controlling Data Movement in Global Computing Applications 1462 Daniele Gorla, Universita di Roma, Italy Rosario Pugliese, Universita di Firenze, Italy Constructive Negation by Bottomup Computation of Literal Answers 1468 Javier Alvez, Universidad del Pais Vasco, Spain Paqui Lucio, Universidad del Pais Vasco, Spain Fernando Orejas, Universidad Politecnica de Cataiunya, Spain Exploiting Labels in Structural Operational Semantics 1476 Peter D. Mosses, University ofaarhus, Denmark A Backend for GHC based on Categorical MultiCombinators 1482 Ricardo Massa F. Lima, Universidade de Pernambuco, Brazil Rafael Dueire Lins, Universidade Fedreal de Pernambuco, Brazil Andre L. M. Santos, Universidade Federal de Pernambuco, Brazil Approximating Module Semantics with Constraints 1490 Francesco Logozzo, Ecole Polytechnique, France TypeSafe Covariance in C Vitaly Surazhsky, Technionlnsrael Institute of Technology, Israel Joseph (Yossi) Gil, Technionlnsrael Institute of Technology, Israel Implementing the Essence of Reflection: a Reflective RunTime Environment 1503 Massimo Ancona, University ofgenova, Italy Walter Cazzola, University ofmilano, Italy A Core Calculus of HigherOrder Mixins and Classes 1508 Lorenzo Bettini, Universita di Firenze, Italy Viviana Bono, Universita di Torino, Italy Silvia Likavec, Universita di Torino, Italy xxxi

14 Software Engineering: Applications, Practices and Tools (SE) Track Chair: Track CoChairs: Ibrahim K. ElFar, Microsoft Corporation, USA ChiaChu Chiang, University of Arkansas, USA Staphan Gruner, University of Southampton, Great Britan Markus Motigel, Systransis AG, Switzerland Herbert H.Thompson, Security Innovation, USA Track Editorial 1511 Missing Requirements and Relationship Discovery through Proxy Viewpoints Model 1513 Seok Won Lee, University ofnorth Carolina at Charlotte, USA David C. Rine, George Mason University, USA A Framework to Simulate UML Models: Moving from a SemiFormal to a Formal Environment 1519 Alessandra Cavarra, Oxford University, UK Elvinia Riccobene, University ofcatania, Italy Patrizia Scandurra, University ofcatania, Italy A Portable Virtual Machine for Program Debugging and Directing 1524 Camil Demetrescu, Universita degli Studi di Roma "La Sapienza", Italy Irene Finocchi, Universita degli Studi di Roma "Tor Vergata", Italy Translating the Object Constraint Language into the Java Modelling Language 1531 AliHamie, University ofbrighton, UK A Relational Approach to Software Metrics 1536 Marco Scotto, DIST Universita di Genova, Italy Alberto Sillitti, Libera Universita di Bolzano, Italy Giancarlo Succi, Libera Universita di Bolzano, Italy Tullio Vernazza, DIST Universita di Genova, Italy A New Approach to the BDI AgentBased Modeling 1541 ChangHyun Jo, California State University Fullerton, USA Guobin Chen, California State University Fullerton, USA James Choi, California State University Fullerton, USA A Control Theory Based Framework for Dynamic Adaptable Systems 1546 Joao W. Cangussu, University of Texas at Dallas, USA Kendra Cooper, University oftexas at Dallas, USA Changcheng Li, University of Texas at Dallas, USA Aspect Oriented Programming for a Componentbased Real Life Application: A Case Study 1554 Odysseas Papapetrou, University of Cyprus, Cyprus George A. Papadopoulos, University ofcyprus, Cyprus Modeling Sociotechnical Specifics using Architectural Concepts 1559 Michael Cebulla, Technische Universitdt Berlin, Germany xxxii

15 Ubiquitous Computing (UC) Track CoChairs: George Samaras, University of Cyprus, Cyprus Diomidis Spinellis, Athens University ofeconomics & Business, Greece George Roussos, University of London, UK Track Editorial 1565 Context to Work 1567 Route Profiling Putting Anthony Harrington, Trinity College Dublin, Ireland Vinny Cahill, Trinity College Dublin, Ireland Applications of ContextAware Computing in Hospital Work Examples and Design Principles 1574 Jakob E. Bardram, University ofaarhus, Denmark Infotainment across Access Devices: the Perceptual Impact of Multimedia QoS 1580 T. Serif, Brunei University, UK S.R. Gulliver, Brunei University, UK G. Ghinea, Brunei University, UK A Ubiquitous Computing Environment for Aircraft Maintenance 1586 Matthias Lampe, ETH Zurich, Switzerland Martin Strassner, University ofst. Galien, Switzerland Elgar Fleisch, University of St. Gallen, Switzerland Trust Enhanced Ubiquitous Payment without Too Much Privacy JeanMarc Seigneur, Trinity College Dublin, Ireland Christian Damsgaard Jensen, Technical University ofdenmark, Denmark Loss 1593 Fluid Supporting a Transportable and Adaptive Web Service 1600 I Made Pratistha, Monash University, Australia Arkady Zaslavsky, Monash University, Australia "Take me with you!": A Case Study of Contextaware Application Integrating Cyber and Physical Spaces 1607 Kaori Fujinami, Waseda University, Japan Tetsuo Yamabe, Waseda University, Japan Tatsuo Nakajima, Waseda University, Japan Profile and Context Filtering of Streaming Data for a Mobile Personal Assistant 1615 Alan Berfield, University ofpittsburgh, USA Jonathan Beaver, University ofpittsburgh, USA Panos K Chrysanthis, University ofpittsburgh, USA xxxiii

16 A Web Technologies and Applications (WTA) Track CoChairs: Sara Comai, Politecnico di Milano, Italy Marlon Dumas, Queensland University of Technology, Australia Maristella Matera, Politecnico di Milano, Italy, Track Editorial 1617 A Web Services Composition Approach based on Software Agents and Context 1619! Zakaria Maamar, Zayed University, UAE j Soraya Kouadri Mostefaoui, Fribourg University, Switzerland \ Hamdi Yahyaoui, Laval University, Canada Migration to Web Services Oriented Architecture Jia Zhang, Northern Illinois University, USA JenYao Chung, IBM T.J. Watson Research, USA Carl K. Chang, Iowa State University, USA Case Study 1624 Using XML and Related Standards to Support Location Based Services 1629 Anastasios loannidis, University ofathens, Greece Manos Spanoudakis, University ofathens, Greece Panos Sianas, University ofathens, Greece Ioannis Priggouris, University ofathens, Greece Stathes Hadjiefthymiades, University ofathens, Greece Lazaros Merakos, University ofathens, Greece Semantic Enrichment for Improving System Interoperability 1634 Xiaomeng Su, Norwegian University of Science and Technology, Norway Sari Hakkarainen, Norwegian University ofscience and Technology, Norway Terje Brasethvik, Norwegian University of Science and Technology, Norway Multilingual Semantic Elaboration in the DOSE Platform 1642 Dario Bonino, Politecnico di Torino, Italy Fulvio Corno, Politecnico di Torino, Italy Laura Farinetti, Politecnico di Torino, Italy Andrea Ferrate, Politecnico di Torino, Italy Generating Webbased Systems from Specifications 1647 Tue Becher Jensen, Responsfabrikken, Denmark Terkel K. Tolstrup, Technical University ofdenmark, Denmark Michael R. Hansen, Technical University ofdenmark, Denmark Transformersbyexample: Pushing Reuse in Conceptual Web Application Modeling 1654 Stephan Lechner, University oflinz, Austria Michael Schrefl, University oflinz, Austria WebUml: Reverse Engineering of Web Applications 1662 Carlo Bellettini, Universita degli Studi di Milano, Italy Alessandro Marchetto, Universita degli Studi di Milano, Italy Andrea Trentini, Universita degli Studi di Milano, Italy XXXIV

17 WARP: Web Application Rapid Prototyping 1670 Mario Bochicchio, University oflecce, Italy Nicola Fiore, University oflecce, Italy Towards Increasing Web Application Productivity 1677 Jia Zhang, Northern Illinois University, USA JenYao Chung, IBM T.J. Watson Research, USA CarlK. Chang, Iowa State University, USA An Iterative Rating Process: Application to Webbased Conference Management 1682 Philippe Rigaux, Universite Paris Sud, France A Study into the Usability of Eencyclopaedias 1688 Ruth Wilson, University ofstrathclyde, UK Julie Shortreed, University ofabertay Dundee, UK Monica Landoni, University ofstrathclyde, UK Cookies OntheMove: Managing Cookies on a Smart Card 1693 Alvin T.S. Chan, The Hong Kong Polytechnic University, China Design and Implementation of Componentbased Adaptive Web Presentations 1698 ZoltdnFiala, Dresden University of Technology, Germany Michael Hinz, Dresden University of Technology, Germany GeertJan Houben, Technische Universiteit Eindhoven, The Netherlands Flavius Frasincar, Technische Universiteit Eindhoven, The Netherlands Replica Placement in Adaptive Content Distribution Networks 1705 Sven Buchholz, Dresden University of Technology, Germany Thomas Buchholz, LudwigMaximiliansUniversity, Germany Enhanced Object Management for High Performance Web Proxy 1711 YenJen Chang, National Taiwan University, Taiwan YungChing Weng, National Taiwan University, Taiwan Feipei Lai, National Taiwan University, Taiwan Adaptive Data Dissemination and Caching for Edge Service Architectures built with the J2EE 1717 Erich Liebmann, Vienna University of Technology, Austria Schahram Dustdar, Vienna University of Technology, Austria A LearningBased Approach for Fetching Pages in WebVigiL 1725 Sharma Chakravarthy, The University of Texas at Arlington, USA Anoop Sanka, The University of Texas at Arlington, USA Jyoti Jacob, The University oftexas at Arlington, USA Naveen Pandrangi, The University of Texas at Arlington, USA A ServiceOriented Customizable Digital Library 1730 Claudia Di Napoli, Istituto di Cibernetica 'E.Caianiello", Italy Maurizio Giordano, Istituto di Cibernetica 'E.Caianiello", Italy XXXV

18 XVM: XML Virtual Machine 1732 QuanzhongLi, University ofarizona, USA Michelle YKim, IBM T.J. Watson, USA Edward So, IBM T. J. Steve Wood, IBM T.J. Watson, USA Watson, USA Author Index Reviewer Index AI1 Rl xxxvi