Table of contents for issues of Lecture Notes in Computer Science

Last update: Fri Jan 5 06:25:32 MST 2018                Valid HTML 3.2!

Volume 2222, 2002
Volume 2238, 2002
Volume 2261, 2002
Volume 2265, 2002
Volume 2266, 2002
Volume 2268, 2002
Volume 2269, 2002
Volume 2270, 2002
Volume 2277, 2002
Volume 2278, 2002
Volume 2279, 2002
Volume 2280, 2002
Volume 2281, 2002
Volume 2282, 2002
Volume 2283, 2002
Volume 2285, 2002
Volume 2286, 2002
Volume 2287, 2002
Volume 2288, 2002
Volume 2289, 2002
Volume 2290, 2002
Volume 2291, 2002
Volume 2292, 2002
Volume 2293, 2002
Volume 2294, 2002
Volume 2295, 2002
Volume 2296, 2002
Volume 2297, 2002
Volume 2298, 2002
Volume 2299, 2002
Volume 2301, 2002
Volume 2302, 2002
Volume 2303, 2002
Volume 2304, 2002
Volume 2305, 2002
Volume 2306, 2002
Volume 2307, 2002
Volume 2308, 2002
Volume 2309, 2002
Volume 2310, 2002
Volume 2311, 2002
Volume 2312, 2002
Volume 2313, 2002
Volume 2314, 2002
Volume 2315, 2002
Volume 2316, 2002
Volume 2317, 2002
Volume 2318, 2002
Volume 2319, 2002
Volume 2320, 2002
Volume 2321, 2002
Volume 2322, 2002
Volume 2323, 2002
Volume 2324, 2002
Volume 2326, 2002
Volume 2327, 2002
Volume 2328, 2002
Volume 2329, 2002


Lecture Notes in Computer Science
Volume 2222, 2002

        H. Van Dyke Parunak and   
                 James J. Odell   Representing Social Structures in UML    1
           Catholijn Jonker and   
          Ioan Alfred Letia and   
                      Jan Treur   Diagnosis of the Dynamics within an
                                  Organization by Trace Checking of
                                  Behavioural Requirements . . . . . . . . 17
            Virginia Dignum and   
               Hans Weigand and   
                         Lai Xu   Agent Societies: Towards
                                  Frameworks-Based Design  . . . . . . . . 33
          Roberto A. Flores and   
               Robert C. Kremer   Bringing Coherence to Agent
                                  Conversations  . . . . . . . . . . . . . 50
            Jean-Luc Koning and   
        Marc-Philippe Huget and   
                    Jun Wei and   
                        Xu Wang   Extended Modeling Languages for
                                  Interaction Protocol Design  . . . . . . 68
             Naranker Dulay and   
         Nicodemos Damianou and   
                  Emil Lupu and   
                  Morris Sloman   A Policy Language for the Management of
                                  Distributed Agents . . . . . . . . . . . 84
                 Bernhard Bauer   UML Class Diagrams Revisited in the
                                  Context of Agent-Based Systems . . . . . 101
             Giovanni Caire and   
                Wim Coulier and   
           Francisco Garijo and   
                Jorge Gomez and   
                 Juan Pavon and   
             Francisco Leal and   
              Paulo Chainho and   
               Paul Kearney and   
                Jamie Stark and   
              Richard Evans and   
              Philippe Massonet   Agent Oriented Analysis Using
                                  Message/UML  . . . . . . . . . . . . . . 119
               Jürgen Lind   Specifying Agent Interaction Protocols
                                  with Standard UML  . . . . . . . . . . . 136
             Bernhard Bauer and   
          Federico Bergenti and   
          Philippe Massonet and   
                 James J. Odell   Agents and the UML: a Unified Notation
                                  for Agents and Multi-agent Systems?  . . 148
            Paolo Bresciani and   
                Anna Perini and   
             Paolo Giorgini and   
         Fausto Giunchiglia and   
                John Mylopoulos   Modeling Early Requirements in Tropos: a
                                  Transformation Based Approach  . . . . . 151
              Mehdi Dastani and   
           Catholijn Jonker and   
                      Jan Treur   A Requirement Specification Language for
                                  Configuration Dynamics of Multi-agent
                                  Systems  . . . . . . . . . . . . . . . . 169
          Scott A. O'Malley and   
               Scott A. DeLoach   Determining When to Use an
                                  Agent-Oriented Software Engineering
                                  Paradigm . . . . . . . . . . . . . . . . 188
                        Eric Yu   Agent-Oriented Modelling: Software
                                  versus the World . . . . . . . . . . . . 206
            Wilfried Brauer and   
           Matthias Nickles and   
           Michael Rovatsos and   
         Gerhard Weiß and   
               Kai F. Lorentzen   Expectation-Oriented Analysis and Design 226
              Franco Zambonelli   Abstractions and Infrastructures for the
                                  Design and Development of Mobile Agent
                                  Organizations  . . . . . . . . . . . . . 245
       Marie-Pierre Gervais and   
              Florin Muscutariu   Towards an ADL for Designing Agent-Based
                                  Systems  . . . . . . . . . . . . . . . . 263
          Clint H. Sparkman and   
           Scott A. DeLoach and   
                  Athie L. Self   Automated Derivation of Complex Agent
                                  Architectures from Analysis
                                  Specifications . . . . . . . . . . . . . 278
       Wamberto Vasconcelos and   
            David Robertson and   
        Jaume Agustí and   
              Carles Sierra and   
         Michael Wooldridge and   
              Simon Parsons and   
         Christopher Walton and   
                  Jordi Sabater   A Lifecycle for Models of Large
                                  Multi-agent Systems  . . . . . . . . . . 297
                      Anonymous   Author Index . . . . . . . . . . . . . . 319


Lecture Notes in Computer Science
Volume 2238, 2002

             Yakov Keselman and   
                 Sven Dickinson   Generic Model Abstraction from Examples  1
                    Boris Kluge   Tracking Multiple Moving Objects in
                                  Populated, Public Environments . . . . . 25
        B. J. A. Kröse and   
                 N. Vlassis and   
                  R. Bunschoten   Omnidirectional Vision for
                                  Appearance-Based Robot Localization  . . 39
          H. I. Christensen and   
                  D. Kragic and   
                    F. Sandberg   Vision for Interaction . . . . . . . . . 51
             Rolf P. Würtz   Vision and Touch for Grasping  . . . . . 74
                   X. Jiang and   
                   S. Hofer and   
                   T. Stahs and   
                   I. Ahrns and   
                       H. Bunke   A New Technique for the Extraction and
                                  Tracking of Surfaces in Range Image
                                  Sequences  . . . . . . . . . . . . . . . 87
              Markus Vincze and   
              Minu Ayromlou and   
             Stefan Chroust and   
            Michael Zillich and   
         Wolfgang Ponweiser and   
             Dietmar Legenstein   Dynamic Aspects of Visual Servoing and a
                                  Framework for Real-Time $3$D Vision for
                                  Robotics . . . . . . . . . . . . . . . . 101
                Peter Corke and   
            Seth Hutchinson and   
               Nicholas R. Gans   Partitioned Image-Based Visual Servo
                                  Control: Some New Results  . . . . . . . 122
              Bernt Schiele and   
            Martin Spengler and   
                  Hannes Kruppa   Towards Robust Perception and Model
                                  Integration  . . . . . . . . . . . . . . 141
           Wolfgang Rencken and   
            Wendelin Feiten and   
                   Martin Soika   Large Consistent Geometric Landmark Maps 159
           Steen Kristensen and   
            Mathias Neumann and   
             Sven Horstmann and   
            Frieder Lohnert and   
                  Andreas Stopp   Tactile Man-Robot Interaction for an
                                  Industrial Service Robot . . . . . . . . 177
                 Susan Hert and   
                  Brad Richards   Multiple-Robot Motion Planning =
                                  Parallel Processing + Geometry . . . . . 195
              Alberto Elfes and   
            Samuel S. Bueno and   
   Josué J. G. Ramos and   
            Ely C. de Paiva and   
           Marcel Bergerman and   
 José R. H. Carvalho and   
            Silvio M. Maeta and   
        Luiz G. B. Mirisola and   
             Bruno G. Faria and   
       José R. Azinheira   Modelling, Control and Perception for an
                                  Autonomous Robotic Airship . . . . . . . 216
           Christian Icking and   
            Thomas Kamphans and   
                 Rolf Klein and   
                Elmar Langetepe   On the Competitive Complexity of
                                  Navigation Tasks . . . . . . . . . . . . 245
   A. Frank van der Stappen and   
       Robert-Paul Berretty and   
               Ken Goldberg and   
               Mark H. Overmars   Geometry and Part Feeding  . . . . . . . 259
 Jorge Cabrera-Gámez and   
Antonio Carlos Domínguez-Brito and   
   Daniel Hernández-Sosa   CoolBOT: a Component-Oriented
                                  Programming Framework for Robotics . . . 282
         Christopher K. Eveland   Particle Filtering with Evidential
                                  Reasoning  . . . . . . . . . . . . . . . 305
                 G. Sagerer and   
               C. Bauckhage and   
                   E. Braun and   
                 J. Fritsch and   
                 F. Kummert and   
             F. Lömker and   
                   S. Wachsmuth   Structure and Process: Learning of
                                  Visual Models and Construction Plans for
                                  Complex Objects  . . . . . . . . . . . . 317
             Wolfgang Maass and   
          Gerald Steinbauer and   
                 Roland Koholka   Autonomous Fast Learning in a Mobile
                                  Robot  . . . . . . . . . . . . . . . . . 345
          Melanie A. Sutton and   
               Louise Stark and   
                     Ken Hughes   Exploiting Context in Function-Based
                                  Reasoning  . . . . . . . . . . . . . . . 357
                      Anonymous   Author Index . . . . . . . . . . . . . . 375


Lecture Notes in Computer Science
Volume 2261, 2002

                  Felix Naumann   1 Introduction . . . . . . . . . . . . . 3
                  Felix Naumann   2 Integrating Autonomous Information
                                  Sources  . . . . . . . . . . . . . . . . 11
                  Felix Naumann   3 Information Quality Criteria . . . . . 29
                  Felix Naumann   4 Quality Ranking Methods  . . . . . . . 51
                  Felix Naumann   5 Quality-Driven Query Planning  . . . . 69
                  Felix Naumann   6 Query Planning Revisited . . . . . . . 89
                  Felix Naumann   7 Completeness of Data . . . . . . . . . 101
                  Felix Naumann   8 Completeness-Driven Query Optimization 123
                  Felix Naumann   9 Conclusion . . . . . . . . . . . . . . 153
                  Felix Naumann   References . . . . . . . . . . . . . . . 159


Lecture Notes in Computer Science
Volume 2265, 2002

              V. Dujmovi\'c and   
                 M. Fellows and   
                 M. Hallett and   
                M. Kitching and   
            Giuseppe Liotta and   
                C. McCartin and   
               N. Nishimura and   
                   P. Ragde and   
                F. Rosamond and   
                M. Suderman and   
              S. Whitesides and   
                  David R. Wood   A Fixed-Parameter Approach to Two-Layer
                                  Planarization  . . . . . . . . . . . . . 1
              Patrick Healy and   
              Nikola S. Nikolov   How to Layer a Directed Acyclic Graph    16
              Ulrik Brandes and   
                Boris Köpf   Fast and Simple Horizontal Coordinate
                                  Assignment . . . . . . . . . . . . . . . 31
               Janet M. Six and   
              Ioannis G. Tollis   Automated Visualization of Process
                                  Diagrams . . . . . . . . . . . . . . . . 45
       Giuseppe Di Battista and   
              Walter Didimo and   
                 A. Marcandalli   Planarization of Clustered Graphs  . . . 60
              Keith Edwards and   
                    Graham Farr   An Algorithm for Finding Large Induced
                                  Planar Subgraphs . . . . . . . . . . . . 75
        Hubert de Fraysseix and   
       Patrice Ossona de Mendez   A Characterization of DFS Cotree
                                  Critical Graphs  . . . . . . . . . . . . 84
             Hristo Djidjev and   
                   Imrich Vrt'o   An Improved Lower Bound for Crossing
                                  Numbers  . . . . . . . . . . . . . . . . 96
          Petr Hlin\vený   Crossing-Critical Graphs and Path-Width  102
        Xavier Muñoz and   
                   W. Unger and   
                   Imrich Vrt'o   One Sided Crossing Minimization Is
                                  NP-Hard for Sparse Graphs  . . . . . . . 115
         Markus Eiglsperger and   
               Michael Kaufmann   Fast Compaction for Orthogonal Drawings
                                  with Vertices of Prescribed Size . . . . 124
              Carla Binucci and   
              Walter Didimo and   
            Giuseppe Liotta and   
               Maddalena Nonato   Labeling Heuristics for Orthogonal
                                  Drawings . . . . . . . . . . . . . . . . 139
          János Pach and   
            Gábor Tardos   Untangling a Polygon . . . . . . . . . . 154
        Christian A. Duncan and   
                 Alon Efrat and   
        Stephen G. Kobourov and   
                    Carola Wenk   Drawing with Fat Edges . . . . . . . . . 162
         Christoph Buchheim and   
            Michael Jünger   Detecting Symmetries by Branch & Cut  . . 178
                  Seok-Hee Hong   Drawing Graphs Symmetrically in Three
                                  Dimensions . . . . . . . . . . . . . . . 189
   Hugo A. D. do Nascimento and   
                    Peter Eades   User Hints for Directed Graph Drawing    205
          Carsten Friedrich and   
               Michael E. Houle   Graph Drawing in Motion II . . . . . . . 220
           Stephen C. North and   
                Gordon Woodhull   Online Hierarchical Graph Drawing  . . . 232
          János Pach and   
        Géza Tóth   Recognizing String Graphs Is Decidable   247
       Jakub \vCerný and   
        Daniel Král' and   
      Helena Nyklová and   
        Ond\vrej Pangrác   On Intersection Graphs of Segments with
                                  Prescribed Slopes  . . . . . . . . . . . 261
               Eriola Kruja and   
                  Joe Marks and   
                  Ann Blair and   
                 Richard Waters   A Short Note on the History of Graph
                                  Drawing  . . . . . . . . . . . . . . . . 272
                 Jan Adamec and   
          Jaroslav Ne\vset\vril   Towards an Aesthetic Invariant for Graph
                                  Drawing  . . . . . . . . . . . . . . . . 287
              Therese Biedl and   
           John R. Johansen and   
             Thomas Shermer and   
                  David R. Wood   Orthogonal Drawings with Few Layers  . . 297
                  David R. Wood   Bounded Degree Book Embeddings and
                                  Three-Dimensional Orthogonal Graph
                                  Drawing  . . . . . . . . . . . . . . . . 312
             Stefan Felsner and   
            Giuseppe Liotta and   
                Stephen Wismath   Straight-Line Drawings on Restricted
                                  Integer Grids in Two and Three
                                  Dimensions . . . . . . . . . . . . . . . 328
             Robert Babilon and   
   Ji\vrí Matou\vsek and   
         Jana Maxová and   
                    Pavel Valtr   Low-Distortion Embeddings of Trees . . . 343
            Eduard Gröller   Insight into Data through Visualization  352
            Chien-Chih Liao and   
                Hsueh-I. Lu and   
                   Hsu-Chun Yen   Floor-Planning via Orderly Spanning
                                  Trees  . . . . . . . . . . . . . . . . . 367
           Karlis Freivalds and   
              Ugur Dogrusoz and   
                 Paulis Kikusts   Disconnected Graph Layout and the
                                  Polyomino Packing Approach . . . . . . . 378
          Md. Saidur Rahman and   
             Mahmuda Naznin and   
                Takao Nishizeki   Orthogonal Drawings of Plane Graphs
                                  without Bends  . . . . . . . . . . . . . 392
        Christian A. Duncan and   
            Stephen G. Kobourov   Polar Coordinate Drawing of Planar
                                  Graphs with Good Angular Resolution  . . 407
             Joan P. Hutchinson   On Polar Visibility Representations of
                                  Graphs . . . . . . . . . . . . . . . . . 422
                    Auber David   Tulip  . . . . . . . . . . . . . . . . . 435
               Georg Sander and   
                 Adrian Vasiliu   The ILOG JViews Graph Layout Module  . . 438
          Emilio di Giacomo and   
                Giuseppe Liotta   WAVE . . . . . . . . . . . . . . . . . . 440
                  Tim Dwyer and   
                Peter Eckersley   WilmaScope --- An Interactive $3$D Graph
                                  Visualisation System . . . . . . . . . . 442
        Gabriele Barbagallo and   
          Andrea Carmignani and   
       Giuseppe Di Battista and   
              Walter Didimo and   
              Maurizio Pizzonia   Exploration and Visualization of
                                  Computer Networks: Polyphemus and Hermes 444
            Claus Lewerentz and   
                Frank Simon and   
       Frank Steinbrückner   CrocoCosmos  . . . . . . . . . . . . . . 446
            Stina Bridgeman and   
               Roberto Tamassia   The Graph Drawing Server . . . . . . . . 448
       Giuseppe Di Battista and   
              Walter Didimo and   
        Maurizio Patrignani and   
              Maurizio Pizzonia   Drawing Database Schemas with DBdraw . . 451
               Roland Wiese and   
         Markus Eiglsperger and   
               Michael Kaufmann   yFiles: Visualization and Automatic
                                  Layout of Graphs . . . . . . . . . . . . 453
       Franz J. Brandenburg and   
            Michael Forster and   
               Andreas Pick and   
             Marcus Raitner and   
                 Falk Schreiber   BioPath  . . . . . . . . . . . . . . . . 455
   François Bertault and   
                 Wendy Feng and   
    Uli Fößmeier and   
            Gabe Grigorescu and   
                 Brendan Madden   Graph Visualization API Library for
                                  Application Builders . . . . . . . . . . 457
                  Jay Bagga and   
                   Adrian Heinz   JGraph --- A Java Based System for
                                  Drawing Graphs and Running Graph
                                  Algorithms . . . . . . . . . . . . . . . 459
          Carsten Gutwenger and   
        Michael Jünger and   
              Karsten Klein and   
              Joachim Kupke and   
          Sebastian Leipert and   
                   Petra Mutzel   Caesar Automatic Layout of UML Class
                                  Diagrams . . . . . . . . . . . . . . . . 461
               Michael Baur and   
               Marc Benkert and   
              Ulrik Brandes and   
           Sabine Cornelsen and   
             Marco Gaertler and   
            Boris Köpf and   
         Jürgen Lerner and   
                Dorothea Wagner   Visone . . . . . . . . . . . . . . . . . 463
             Ulrich Lauther and   
         Andreas Stübinger   Generating Schematic Cable Plans Using
                                  Springembedder Methods . . . . . . . . . 465
            Holger Eichelberger   SugiBib  . . . . . . . . . . . . . . . . 467
            Jean Delahousse and   
                Pascal Auillans   Knowledge Index Manager  . . . . . . . . 469
           Günter Hotz and   
                  Steffen Lohse   Planarity Testing of Graphs on Base of a
                                  Spring Model . . . . . . . . . . . . . . 471
          Carsten Gutwenger and   
        Michael Jünger and   
             Gunnar W. Klau and   
          Sebastian Leipert and   
               Petra Mutzel and   
        René Weiskircher   AGD  . . . . . . . . . . . . . . . . . . 473
              Walter Didimo and   
        Maurizio Patrignani and   
              Maurizio Pizzonia   Industrial Plant Drawer  . . . . . . . . 475
          Vladimir Batagelj and   
                   Andrej Mrvar   Pajek --- Analysis and Visualization of
                                  Large Networks . . . . . . . . . . . . . 477
                    Kathy Ryall   GLIDE  . . . . . . . . . . . . . . . . . 479
    Rodolfo Castelló and   
                   Rym Mili and   
              Ioannis G. Tollis   ViSta  . . . . . . . . . . . . . . . . . 481
                John Ellson and   
              Emden Gansner and   
        Lefteris Koutsofios and   
           Stephen C. North and   
                Gordon Woodhull   Graphviz --- Open Source Graph Drawing
                                  Tools  . . . . . . . . . . . . . . . . . 483
                 Andreas Winter   Exchanging Graphs with GXL . . . . . . . 485
              Ulrik Brandes and   
         Markus Eiglsperger and   
                Ivan Herman and   
            Michael Himsolt and   
              M. Scott Marshall   GraphML Progress Report  . . . . . . . . 501
              Therese Biedl and   
           Franz J. Brandenburg   Graph-Drawing Contest Report . . . . . . 513
                      Anonymous   Author Index . . . . . . . . . . . . . . 523


Lecture Notes in Computer Science
Volume 2266, 2002

                     Sigi Reich   Introduction to OHS7 . . . . . . . . . . 4
        Kenneth M. Anderson and   
              Susanne A. Sherba   Using Open Hypermedia to Support
                                  Information Integration  . . . . . . . . 8
             Jörg M. Haake   Applying Collaborative Open Hypermedia
                                  Concepts to Extended Enterprise
                                  Engineering and Operation  . . . . . . . 17
              Yuzuru Tanaka and   
                 Jun Fujima and   
             Tsuyoshi Sugibuchi   Meme Media and Meme Pools for Re-editing
                                  and Redistributing Intellectual Assets   28
             Richard Beales and   
            Don Cruickshank and   
              David DeRoure and   
               Nick Gibbins and   
                   Ben Juby and   
      Danius T. Michaelides and   
                  Kevin R. Page   The Pipeline of Enrichment: Supporting
                                  Link Creation for Continuous Media . . . 47
      Danius T. Michaelides and   
           David E. Millard and   
               Mark J. Weal and   
                  David DeRoure   Auld Leaky: a Contextual Open Hypermedia
                                  Link Server  . . . . . . . . . . . . . . 59
               Neil Ridgway and   
                  David DeRoure   FOHM+RTSP: Applying Open Hypermedia and
                                  Temporal Linking to Audio Streams  . . . 71
                 Uffe Kock Wiil   Development Tools in Component-Based
                                  Structural Computing Environments  . . . 82
     Peter J. Nürnberg and   
                 David L. Hicks   Peer-Reviewed, Publishable Hypertexts: a
                                  First Look . . . . . . . . . . . . . . . 94
          Moritz Neumüller   Because I Seek an Image, Not a Book  . . 104
          Manolis M. Tzagarakis   Introduction to SC3  . . . . . . . . . . 118
                   Saul Shapiro   Writing the Holes: ``Structural''
                                  Reflections of a Visual Artist . . . . . 120
        Maria Kyriakopoulou and   
         Dimitris Avramidis and   
            Michalis Vaitis and   
      Manolis M. Tzagarakis and   
       Dimitris Christodoulakis   Broadening Structural Computing towards
                                  Hypermedia Development . . . . . . . . . 131
               Weigang Wang and   
     Alejandro Fernández   A Graphical User Interface Integrating
                                  Features from Different Hypertext
                                  Domains  . . . . . . . . . . . . . . . . 141
        Kenneth M. Anderson and   
              Susanne A. Sherba   Using Structural Computing to Support
                                  Information Integration  . . . . . . . . 151
             Uffe Kock Wiil and   
                 David L. Hicks   Providing Structural Computing Services
                                  on the World Wide Web  . . . . . . . . . 160
                 Samir Tata and   
             David L. Hicks and   
                 Uffe Kock Wiil   Cooperation Services in a Structural
                                  Computing Environment  . . . . . . . . . 172
     Peter J. Nürnberg and   
         Monica M. C. Schraefel   Structural Computing and Its
                                  Relationships to Other Fields  . . . . . 183
              Paul M. E. De Bra   Introduction to AH3  . . . . . . . . . . 199
               Kalina Bontcheva   The Impact of Empirical Studies on the
                                  Design of an Adaptive Hypertext
                                  Generation System  . . . . . . . . . . . 201
  Kyparisia A. Papanikolaou and   
          Maria Grigoriadou and   
           Harry Kornilakis and   
             George D. Magoulas   INSPIRE: An INtelligent System for
                                  Personalized Instruction in a Remote
                                  Environment  . . . . . . . . . . . . . . 215
              Gerhard Weber and   
        Hans-Christian Kuhl and   
             Stephan Weibelzahl   Developing Adaptive Internet Based
                                  Courses with the Authoring System
                                  NetCoach . . . . . . . . . . . . . . . . 226
         Christopher Bailey and   
       Samhaa R. El-Beltagy and   
                     Wendy Hall   Link Augmentation: a Context-Based
                                  Approach to Support Adaptive Hypermedia  239
            Mario Cannataro and   
                Andrea Pugliese   XAHM: An XML-Based Adaptive Hypermedia
                                  Model and Its Implementation . . . . . . 252
     Sébastien Iksal and   
                 Serge Garlatti   Revisiting and Versioning in Virtual
                                  Special Reports  . . . . . . . . . . . . 264
               L. Ardissono and   
                     A. Goy and   
                 G. Petrone and   
                  M. Segnan and   
                     P. Torasso   Tailoring the Recommendation of Tourist
                                  Information to Heterogeneous User Groups 280
              Guntram Graef and   
             Christian Schaefer   Application of ART2 Networks and
                                  Self-Organizing Maps to Collaborative
                                  Filtering  . . . . . . . . . . . . . . . 296
                David Bueno and   
             Ricardo Conejo and   
                  Amos A. David   METIOREW: An Objective Oriented Content
                                  Based and Collaborative Recommending
                                  System . . . . . . . . . . . . . . . . . 310
                Paolo Buono and   
  Maria Francesca Costabile and   
              Stefano Guida and   
               Antonio Piccinno   Integrating User Data and Collaborative
                                  Filtering in a Web Recommendation System 315
         Yoshinori Hijikata and   
            Tetsuya Yoshida and   
                  Shogo Nishida   Adaptive Hypermedia System for
                                  Supporting Information Providers in
                                  Directing Users through Hyperspace . . . 322
           William W. Wadge and   
         Monica M. C. Schraefel   A Complementary Approach for Adaptive
                                  and Adaptable Hypermedia: Intensional
                                  Hypertext  . . . . . . . . . . . . . . . 327
                      Anonymous   Author Index . . . . . . . . . . . . . . 335


Lecture Notes in Computer Science
Volume 2268, 2002

   Bishnupriya Bhattacharya and   
        Shuvra S. Bhattacharyya   Consistency Analysis of Reconfigurable
                                  Dataflow Specifications  . . . . . . . . 1
              Bart Kienhuis and   
           Ed F. Deprettere and   
        Pieter van der Wolf and   
                   Kees Vissers   A Methodology to Design Programmable
                                  Embedded Systems --- The Y-Chart
                                  Approach . . . . . . . . . . . . . . . . 18
          Christian Haubelt and   
          Jürgen Teich and   
                Kai Richter and   
                     Rolf Ernst   Flexibility/Cost-Tradeoffs of
                                  Platform-Based Systems . . . . . . . . . 38
             A. D. Pimentel and   
                 S. Polstra and   
                F. Terpstra and   
         A. W. van Halderen and   
             J. E. Coffland and   
              L. O. Hertzberger   Towards Efficient Design Space
                                  Exploration of Heterogeneous Embedded
                                  Media Systems  . . . . . . . . . . . . . 57
   Vladimir D. \vZivkovi\'c and   
                  Paul Lieverse   An Overview of Methodologies and Tools
                                  in the Field of System-Level Design  . . 74
           Ed F. Deprettere and   
             Edwin Rijpkema and   
                  Bart Kienhuis   Translating Imperative Affine Nested
                                  Loop Programs into Process Networks  . . 89
            Patrice Quinton and   
                  Tanguy Risset   Structured Scheduling of Recurrence
                                  Equations: Theory and Practice . . . . . 112
          Jürgen Teich and   
                  Lothar Thiele   Exact Partitioning of Affine Dependence
                                  Algorithms . . . . . . . . . . . . . . . 135
             Marcus Bednara and   
               Frank Hannig and   
              Jürgen Teich   Generation of Distributed Loop Control   154
       P. M. W. Knijnenburg and   
                  T. Kisuki and   
               M. F. P. O'Boyle   Iterative Compilation  . . . . . . . . . 171
                  P. Pirsch and   
                A. Freimann and   
                    C. Klar and   
               J. P. Wittenburg   Processor Architectures for Multimedia
                                  Applications . . . . . . . . . . . . . . 188
               Stephan Wong and   
       Stamatis Vassiliadis and   
                 Sorin Cotofana   Microcoded Reconfigurable Embedded
                                  Processors: Current Developments . . . . 207
                 Mihai Sima and   
             Sorin Cotofana and   
       Stamatis Vassiliadis and   
   Jos T. J. van Eijndhoven and   
                   Kees Vissers   A Reconfigurable Functional Unit for
                                  TriMedia/CPU64. A Case Study . . . . . . 224
                Henk Muller and   
                   Dan Page and   
                James Irwin and   
                      David May   Caches with Compositional Performance    242
            Clark N. Taylor and   
         Debashis Panigrahi and   
                      Sujit Dey   Design of an Adaptive Architecture for
                                  Energy Efficient Wireless Image
                                  Communication  . . . . . . . . . . . . . 260
                Dirk Desmet and   
            Prabhat Avasare and   
                 Paul Coene and   
              Stijn Decneut and   
            Filip Hendrickx and   
  Théodore Marescaux and   
         Jean-Yves Mignolet and   
               Robert Pasko and   
          Patrick Schaumont and   
               Diederik Verkest   Design of Cam-E-leon, a Run-Time
                                  Reconfigurable Web Camera  . . . . . . . 274
            Georgi Kuzmanov and   
       Stamatis Vassiliadis and   
       Jos T. J. van Eijndhoven   A $2$D Addressing Mode for Multimedia
                                  Applications . . . . . . . . . . . . . . 291
           C. John Glossner and   
            Michael Schulte and   
           Stamatis Vassiliadis   A Java-Enabled DSP . . . . . . . . . . . 307
                      Anonymous   Author Index . . . . . . . . . . . . . . 327


Lecture Notes in Computer Science
Volume 2269, 2002

             Andreas Kerren and   
                 John T. Stasko   Algorithm Animation --- Introduction . . 1
           Camil Demetrescu and   
             Irene Finocchi and   
                 John T. Stasko   Specifying Algorithm Visualizations:
                                  Interesting Events or State Mapping? . . 16
          Mordechai Ben-Ari and   
                Niko Myller and   
              Erkki Sutinen and   
                   Jorma Tarhio   Perspectives on Program Animation with
                                  Jeliot . . . . . . . . . . . . . . . . . 31
              Stephan Diehl and   
          Carsten Görg and   
                 Andreas Kerren   Animating Algorithms Live and Post
                                  Mortem . . . . . . . . . . . . . . . . . 46
                    James Noble   Visualising Objects: Abstraction,
                                  Encapsulation, Aliasing, and Ownership   58
               Jaroslaw Francik   Algorithm Animation Using Data Flow
                                  Tracing  . . . . . . . . . . . . . . . . 73
       Matthias Bäsken and   
              Stefan Näher   GeoWin A Generic Tool for Interactive
                                  Visualization of Geometric Algorithms    88
                    Ayellet Tal   Algorithm Animation Systems for
                                  Constrained Domains  . . . . . . . . . . 101
           Rudolf Fleischer and   
               Lud\vek Ku\vcera   Algorithm Animation for Teaching . . . . 113
                   Rym Mili and   
                  Renee Steiner   Software Engineering --- Introduction    129
                 Rainer Koschke   Software Visualization for Reverse
                                  Engineering  . . . . . . . . . . . . . . 138
                Wim De Pauw and   
                Erik Jensen and   
              Nick Mitchell and   
              Gary Sevitsky and   
             John Vlissides and   
                     Jeaha Yang   Visualizing the Execution of Java
                                  Programs . . . . . . . . . . . . . . . . 151
               Katharina Mehner   JaVis: a UML-Based Visualization and
                                  Debugging Environment for Concurrent
                                  Java Programs  . . . . . . . . . . . . . 163
             Rainer Oechsle and   
                 Thomas Schmitt   JAVAVIS: Automatic Program Visualization
                                  with Object and Sequence Diagrams Using
                                  the Java Debug Interface (JDI) . . . . . 176
          Thomas Zimmermann and   
                 Andreas Zeller   Visualizing Memory Graphs  . . . . . . . 191
                  John Domingue   Software Visualization and Education ---
                                  Introduction . . . . . . . . . . . . . . 205
                    Nils Faltin   Structure and Constraints in Interactive
                                  Exploratory Algorithm Learning . . . . . 213
     Christopher Hundhausen and   
                  Sarah Douglas   A Language and System for Constructing
                                  and Presenting Low Fidelity Algorithm
                                  Visualizations . . . . . . . . . . . . . 227
             Pilu Crescenzi and   
                 Gaia Innocenti   Towards a Taxonomy of Network Protocol
                                  Visualization Tools  . . . . . . . . . . 241
               Ari Korhonen and   
              Erkki Sutinen and   
                   Jorma Tarhio   Understanding Algorithms by Means of
                                  Visualized Path Testing  . . . . . . . . 256
           Rockford J. Ross and   
             Michael T. Grinder   Hypertextbooks: Animated, Active
                                  Learning, Comprehensive Teaching and
                                  Learning Resources for the Web . . . . . 269
               Petra Mutzel and   
                    Peter Eades   Graphs in Software Visualization ---
                                  Introduction . . . . . . . . . . . . . . 285
            H. Eichelberger and   
         J. Wolff von Gudenberg   On the Visualization of Java Programs    295
          Carsten Gutwenger and   
        Michael Jünger and   
             Gunnar W. Klau and   
          Sebastian Leipert and   
                   Petra Mutzel   Graph Drawing Algorithm Engineering with
                                  AGD  . . . . . . . . . . . . . . . . . . 307
             Andreas Winter and   
             Bernt Kullbach and   
                Volker Riediger   An Overview of the GXL Graph Exchange
                                  Language . . . . . . . . . . . . . . . . 324
 Alexander A. Evstiougov-Babaev   Call Graph and Control Flow Graph
                                  Visualization for Developers of Embedded
                                  Applications . . . . . . . . . . . . . . 337
                  Stephan Diehl   Future Perspectives --- Introduction . . 347
             Nelson Baloian and   
                 Wolfram Luther   Visualization for the Mind's Eye . . . . 354
            John F. Hopkins and   
               Paul A. Fishwick   The rube Framework for Personalized
                                  $3$-D Software Visualization . . . . . . 368
           Reinhard Wilhelm and   
        Tomasz Müldner and   
                 Raimund Seidel   Algorithm Explanation: Visualizing
                                  Abstract States and Invariants . . . . . 381
    Rolf Hendrik van Lengen and   
            Jan-Thies Bähr   Visualisation and Debugging of
                                  Decentralised Information Ecosystems . . 395
                      Anonymous   Author Index . . . . . . . . . . . . . . 405


Lecture Notes in Computer Science
Volume 2270, 2002

                Matthias Pflanz   1. Introduction  . . . . . . . . . . . . 1
                Matthias Pflanz   2. Fault Models and Fault-Behavior of
                                  Processor Structures . . . . . . . . . . 13
                Matthias Pflanz   3. On-line Check Technology for
                                  Processor Components . . . . . . . . . . 27
                Matthias Pflanz   4. On-line Check Technology for
                                  Processor Control Signals  . . . . . . . 55
                Matthias Pflanz   5. Fast Processor Recover Techniques
                                  with Micro Rollback  . . . . . . . . . . 65
                Matthias Pflanz   6. Conclusion and Outlook  . . . . . . . 81
                Matthias Pflanz   Appendix --- Demonstration Processors    87
                      Anonymous   Abbreviations, Symbols and Identifiers   117
                      Anonymous   List of Figures  . . . . . . . . . . . . 119
                      Anonymous   List of Tables . . . . . . . . . . . . . 121
                      Anonymous   References . . . . . . . . . . . . . . . 123


Lecture Notes in Computer Science
Volume 2277, 2002

                Peter Aczel and   
                 Nicola Gambino   Collection Principles in Dependent Type
                                  Theory . . . . . . . . . . . . . . . . . 1
           Stefan Berghofer and   
                  Tobias Nipkow   Executing Higher Order Logic . . . . . . 24
       Alberto Ciaffaglione and   
          Pietro Di Gianantonio   A Tour with Constructive Real Numbers    41
            Thierry Coquand and   
                Makoto Takeyama   An Implementation of Type:Type . . . . . 53
            Matt Fairtlough and   
                Michael Mendler   On the Logical Content of Computational
                                  Type Theory: A Solution to Curry's
                                  Problem  . . . . . . . . . . . . . . . . 63
             Herman Geuvers and   
                    Milad Niqui   Constructive Reals in Coq: Axioms and
                                  Categoricity . . . . . . . . . . . . . . 79
             Herman Geuvers and   
              Freek Wiedijk and   
                 Jan Zwanenburg   A Constructive Proof of the Fundamental
                                  Theorem of Algebra without Using the
                                  Rationals  . . . . . . . . . . . . . . . 96
               Healfdene Goguen   A Kripke-Style Model for the
                                  Admissibility of Structural Rules
                                  (Extended Abstract)  . . . . . . . . . . 112
             Susumu Hayashi and   
                Masahiro Nakata   Towards Limit Computable Mathematics . . 125
          Kristofer Johannisson   Formalizing the Halting Problem in a
                                  Constructive Type Theory . . . . . . . . 145
                 Giuseppe Longo   On the Proofs of Some Formally
                                  Unprovable Propositions and Prototype
                                  Proofs in Type Theory  . . . . . . . . . 160
             Nicolas Magaud and   
                    Yves Bertot   Changing Data Structures in Type Theory:
                                  a Study of Natural Numbers . . . . . . . 181
                  Conor McBride   Elimination with a Motive  . . . . . . . 197
                   Olivier Pons   Generalization in Type Theory Based
                                  Proof Assistants . . . . . . . . . . . . 217
            Monika Seisenberger   An Inductive Version of Nash-Williams'
                                  Minimal-Bad-Sequence Argument for
                                  Higman's Lemma . . . . . . . . . . . . . 233
                      Anonymous   Author Index . . . . . . . . . . . . . . 243


Lecture Notes in Computer Science
Volume 2278, 2002

                   Peter Martin   A Pipelined Hardware Implementation of
                                  Genetic Programming Using FPGAs and
                                  Handel-C . . . . . . . . . . . . . . . . 1
                    Tina Yu and   
                  Julian Miller   Finding Needles in Haystacks Is Not Hard
                                  with Neutrality  . . . . . . . . . . . . 13
        Matthew J. Streeter and   
            Martin A. Keane and   
                   John R. Koza   Routine Duplication of Post-2000
                                  Patented Inventions by Means of Genetic
                                  Programming  . . . . . . . . . . . . . . 26
            Markus Brameier and   
               Wolfgang Banzhaf   Explicit Control of Diversity and
                                  Effective Variation Distance in Linear
                                  Genetic Programming  . . . . . . . . . . 37
         Cândida Ferreira   Discovery of the Boolean Functions to
                                  the Best Density-Classification Rules
                                  Using Gene Expression Programming  . . . 50
         William B. Langdon and   
              S. J. Barrett and   
                   B. F. Buxton   Combining Decision Trees and Neural
                                  Networks for Drug Discovery  . . . . . . 60
               Jeroen Eggermont   Evolving Fuzzy Decision Trees with
                                  Genetic Programming and Clustering . . . 71
         Wolfgang Kantschik and   
               Wolfgang Banzhaf   Linear-Graph GP --- A New GP Structure   83
              Klaus Weinert and   
             Tobias Surmann and   
               Jörn Mehnen   Parallel Surface Reconstruction  . . . . 93
           Anthony Brabazon and   
            Michael O'Neill and   
                 Conor Ryan and   
                 Robin Matthews   Evolving Classifiers to Model the
                                  Relationship between Strategy and
                                  Corporate Performance Using Grammatical
                                  Evolution  . . . . . . . . . . . . . . . 103
              Klaus Weinert and   
                  Marc Stautner   A New View on Symbolic Regression  . . . 113
            Maarten Keijzer and   
            Michael O'Neill and   
                 Conor Ryan and   
                 Mike Cattolico   Grammatical Evolution Rules: The Mod and
                                  the Bucket Rule  . . . . . . . . . . . . 123
                 Conor Ryan and   
                  Atif Azad and   
               Alan Sheahan and   
                Michael O'Neill   No Coercion and No Prohibition, a
                                  Position Independent Encoding Scheme for
                                  Evolutionary Algorithms --- The Chorus
                                  System . . . . . . . . . . . . . . . . . 131
                  Terence Soule   Exons and Code Growth in Genetic
                                  Programming  . . . . . . . . . . . . . . 142
            Terry Van Belle and   
                David H. Ackley   Uniform Subtree Mutation . . . . . . . . 152
  Anikó Ekárt and   
        Sandor Z. Németh   Maintaining the Diversity of Genetic
                                  Programs . . . . . . . . . . . . . . . . 162
             Kosuke Imamura and   
       Robert B. Heckendorn and   
              Terence Soule and   
                James A. Foster   N-Version Genetic Programming via Fault
                                  Masking  . . . . . . . . . . . . . . . . 172
        Steffen Christensen and   
                 Franz Oppacher   An Analysis of Koza's Computational
                                  Effort Statistic for Genetic Programming 182
         James Cunha Werner and   
             Terence C. Fogarty   Genetic Control Applied to Asset
                                  Managements  . . . . . . . . . . . . . . 192
           Vinaysheel Baber and   
      Rema Ananthanarayanan and   
              Krishna Kummamuru   Evolutionary Algorithm Approach to
                                  Bilateral Negotiations . . . . . . . . . 202
              Riccardo Poli and   
           Jonathan E. Rowe and   
    Christopher R. Stephens and   
                Alden H. Wright   Allele Diffusion in Linear Genetic
                                  Programming and Variable-Length Genetic
                                  Algorithms with Subtree Crossover  . . . 212
           Nguyen Xuan Hoai and   
                R. I. McKay and   
                       D. Essam   Some Experimental Results with Tree
                                  Adjunct Grammar Guided Genetic
                                  Programming  . . . . . . . . . . . . . . 228
               Edmund Burke and   
           Steven Gustafson and   
                 Graham Kendall   A Puzzle to Challenge Genetic
                                  Programming  . . . . . . . . . . . . . . 238
               Aitor Ibarra and   
               J. Lanchares and   
              J. M. Mendias and   
              J. I. Hidalgo and   
                     R. Hermida   Transformation of Equational
                                  Specification by Means of Genetic
                                  Programming  . . . . . . . . . . . . . . 248
                 Jens Busch and   
               Jens Ziegler and   
              Christian Aue and   
                Andree Ross and   
            Daniel Sawitzki and   
               Wolfgang Banzhaf   Automatic Generation of Control Programs
                                  for Walking Robots Using Genetic
                                  Programming  . . . . . . . . . . . . . . 258
            John O'Sullivan and   
                     Conor Ryan   An Investigation into the Use of
                                  Different Search Strategies with
                                  Grammatical Evolution  . . . . . . . . . 268
                 Conor Ryan and   
             Miguel Nicolau and   
                Michael O'Neill   Genetic Algorithms Using Grammatical
                                  Evolution  . . . . . . . . . . . . . . . 278
         Felix Kühling and   
              Krister Wolff and   
                   Peter Nordin   A Brute-Force Approach to Automatic
                                  Induction of Machine Code on CISC
                                  Architectures  . . . . . . . . . . . . . 288
               Colin G. Johnson   Deriving Genetic Programming Fitness
                                  Properties by Static Analysis  . . . . . 298
              Wolfgang Golubski   New Results on Fuzzy Regression by Using
                                  Genetic Programming  . . . . . . . . . . 308
                 Marc Ebner and   
             Adrian Grigore and   
          Alexander Heffner and   
             Jürgen Albert   Coevolution Produces an Arms Race among
                                  Virtual Plants . . . . . . . . . . . . . 316
 Francisco Fernández and   
                 G. Galeano and   
             J. A. Gómez   Comparing Synchronous and Asynchronous
                                  Parallel and Distributed Genetic
                                  Programming Models . . . . . . . . . . . 326
                      Anonymous   Author Index . . . . . . . . . . . . . . 337


Lecture Notes in Computer Science
Volume 2279, 2002

              Peter Cowling and   
             Graham Kendall and   
                  Eric Soubeiga   Hyperheuristics: a Tool for Rapid
                                  Prototyping in Scheduling and
                                  Optimisation . . . . . . . . . . . . . . 1
               Karl Doerner and   
            Manfred Gronalt and   
           Richard F. Hartl and   
               Marc Reimann and   
          Christine Strauss and   
                Michael Stummer   SavingsAnts for the Vehicle Routing
                                  Problem  . . . . . . . . . . . . . . . . 11
               Marco Dorigo and   
               Mark Zlochin and   
            Nicolas Meuleau and   
                Mauro Birattari   Updating ACO Pheromones Using Stochastic
                                  Gradient Ascent and Cross-Entropy
                                  Methods  . . . . . . . . . . . . . . . . 21
              Anton Eremeev and   
                Colin R. Reeves   Non-parametric Estimation of Properties
                                  of Combinatorial Landscapes  . . . . . . 31
            Susana Esquivel and   
             Claudia Gatica and   
            Raúl Gallard   Performance of Evolutionary Approaches
                                  for Parallel Task Scheduling under
                                  Different Representations  . . . . . . . 41
            Susana Esquivel and   
Guillermo Leguizamón and   
             Federico Zuppa and   
            Raúl Gallard   A Performance Comparison of Alternative
                                  Heuristics for the Flow Shop Scheduling
                                  Problem  . . . . . . . . . . . . . . . . 51
              Markus Finger and   
        Thomas Stützle and   
         Helena Lourenço   Exploiting Fitness Distance Correlation
                                  of Set Covering Problems . . . . . . . . 61
            Michael Guntsch and   
              Martin Middendorf   A Population Based Approach for ACO  . . 72
             Jano I. van Hemert   Comparing Classical Methods for Solving
                                  Binary Constraint Satisfaction Problems
                                  with State of the Art Evolutionary
                                  Computation  . . . . . . . . . . . . . . 82
            Roy L. Johnston and   
   Thomas V. Mortimer-Jones and   
        Christopher Roberts and   
                Sarah Darby and   
             Frederick R. Manby   Application of Genetic Algorithms in
                                  Nanoscience: Cluster Geometry
                                  Optimization . . . . . . . . . . . . . . 92
            Sandor Kersting and   
      Günther R. Raidl and   
                   Ivana Ljubic   A Memetic Algorithm for
                                  Vertex-Biconnectivity Augmentation . . . 102
                Elena Marchiori   Genetic, Iterated and Multistart Local
                                  Search for the Maximum Clique Problem    112
               Luis Paquete and   
            Thomas Stützle   An Experimental Investigation of
                                  Iterated Local Search for Coloring
                                  Graphs . . . . . . . . . . . . . . . . . 122
              Markus Puchta and   
                  Jens Gottlieb   Solving Car Sequencing Problems by Local
                                  Optimization . . . . . . . . . . . . . . 132
          Barbara Schindler and   
             Franz Rothlauf and   
               Hans-Josef Pesch   Evolution Strategies, Network Random
                                  Keys, and the One-Max Tree Problem . . . 143
               Donald Sofge and   
               Alan Schultz and   
                Kenneth De Jong   Evolutionary Computational Approaches to
                                  Solving the Multiple Traveling Salesman
                                  Problem Using a Neighborhood Attractor
                                  Schema . . . . . . . . . . . . . . . . . 153
               Christine Solnon   Boosting ACO with a Preprocessing Step   163
Rodolfo Torres-Velázquez and   
       Vladimir Estivill-Castro   A Memetic Algorithm Guided by Quicksort
                                  for the Error-Correcting Graph
                                  Isomorphism Problem  . . . . . . . . . . 173
               Fulvio Corno and   
        Matteo Sonza Reorda and   
             Giovanni Squillero   Evolutionary Techniques for Minimizing
                                  Test Signals Application Time  . . . . . 183
              Julian Dorado and   
     Juan R. Rabuñal and   
    Jerónimo Puertas and   
            Antonino Santos and   
                  Daniel Rivero   Prediction and Modelling of the Flow of
                                  a Typical Urban Basin through Genetic
                                  Programming  . . . . . . . . . . . . . . 190
              Cyril Fonlupt and   
     Sébastien Cahon and   
           Denis Robilliard and   
           El-Ghazali Talbi and   
              Ludovic Duponchel   Using EAs for Error Prediction in Near
                                  Infrared Spectroscopy  . . . . . . . . . 202
              Daniel Howard and   
               Simon C. Roberts   The Prediction of Journey Times on
                                  Motorways Using Genetic Programming  . . 210
              Daniel Howard and   
           Simon C. Roberts and   
                     Conor Ryan   The Boru Data Crawler for Object
                                  Detection Tasks in Machine Vision  . . . 222
     Demetrio Macías and   
             Gustavo Olague and   
       Eugenio R. Méndez   Surface Profile Reconstruction from
                                  Scattered Intensity Data Using
                                  Evolutionary Strategies  . . . . . . . . 233
           Simon C. Roberts and   
                  Daniel Howard   Detection of Incidents on Motorways in
                                  Low Flow High Speed Conditions by
                                  Genetic Programming  . . . . . . . . . . 245
          Lukás Sekanina   Image Filter Design with Evolvable
                                  Hardware . . . . . . . . . . . . . . . . 255
                   Jim Torresen   A Dynamic Fitness Function Applied to
                                  Improve the Generalisation when Evolving
                                  a Signal Processing Hardware
                                  Architecture . . . . . . . . . . . . . . 267
     Róbert Ványi   Efficiently Computable Fitness Functions
                                  for Binary Image Evolution . . . . . . . 280
          Anthony Whitehead and   
                   Gerhard Roth   Evolutionary Based Autocalibration from
                                  the Fundamental Matrix . . . . . . . . . 292
                   Yong Fan and   
               Tianzi Jiang and   
                 David J. Evans   Medical Image Registration Using
                                  Parallel Genetic Algorithms  . . . . . . 304
        Michael Lòve and   
   Kim Riis Sòrensen and   
              Jesper Larsen and   
                   Jens Clausen   Disruption Management for an Airline ---
                                  Rescheduling of Aircraft . . . . . . . . 315
              Daniel Merkle and   
              Martin Middendorf   Ant Colony Optimization with the
                                  Relative Pheromone Evaluation Method . . 325
              Neil Urquhart and   
                 Peter Ross and   
               Ben Paechter and   
               Kenneth Chisholm   Improving Street Based Routing Using
                                  Building Block Mutations . . . . . . . . 334
                      Anonymous   Author Index . . . . . . . . . . . . . . 343


Lecture Notes in Computer Science
Volume 2280, 2002

               Michael R. Lowry   Software Construction and Analysis Tools
                                  for Future Space Missions  . . . . . . . 1
                 Daniel Jackson   Alloy: a New Technology for Software
                                  Modelling  . . . . . . . . . . . . . . . 20
    Víctor Braberman and   
         Diego Garbervetsky and   
                Alfredo Olivero   Improving the Verification of Timed
                                  Systems Using Influence Information  . . 21
             Joël Ouaknine   Digitisation and Full Abstraction for
                                  Dense-Time Model Checking  . . . . . . . 37
          Marta Kwiatkowska and   
              Gethin Norman and   
                   David Parker   Probabilistic Symbolic Model Checking
                                  with PRISM: A Hybrid Approach  . . . . . 52
              Elena Fersman and   
            Paul Pettersson and   
                        Wang Yi   Timed Automata with Asynchronous
                                  Processes: Schedulability and
                                  Decidability . . . . . . . . . . . . . . 67
                 Hojung Cha and   
                        Rhan Ha   Validating Timing Constraints of
                                  Dependent Jobs with Variable Execution
                                  Times in Distributed Real-Time Systems   83
                   K. Subramani   An Analysis of Zero-Clairvoyant
                                  Scheduling . . . . . . . . . . . . . . . 98
       Yasmina Abdedda\"\im and   
                     Oded Maler   Preemptive Job-Shop Scheduling Using
                                  Stopwatch Automata . . . . . . . . . . . 113
             Horst F. Wedde and   
                    Arnim Wedig   Explicit Modeling of Influences, and of
                                  Their Absence, in Distributed Systems    127
                Kevin Backhouse   A Functional Semantics of Attribute
                                  Grammars . . . . . . . . . . . . . . . . 142
                Thomas Ball and   
           Andreas Podelski and   
             Sriram K. Rajamani   Relative Completeness of Abstraction
                                  Refinement for Software Model Checking   158
           Giorgio Delzanno and   
Jean-François Raskin and   
              Laurent Van Begin   Towards the Automated Verification of
                                  Multithreaded Java Programs  . . . . . . 173
            Fabrice Bouquet and   
              Bruno Legeard and   
                 Fabien Peureux   CLPS-B --- A Constraint Solver for B . . 188
                  Taeho Kim and   
     David Stringer-Calvert and   
                   Sungdeok Cha   Formal Verification of Functional
                                  Properties of an SCR-Style Software
                                  Requirements Specification Using PVS . . 205
              Marco Bozzano and   
               Giorgio Delzanno   Beyond Parameterized Verification  . . . 221
                 Samik Basu and   
           K. Narayan Kumar and   
          L. Robert Pokorny and   
             C. R. Ramakrishnan   Resource-Constrained Model Checking of
                                  Recursive Programs . . . . . . . . . . . 236
           E. Allen Emerson and   
                  Vineet Kahlon   Model Checking Large-Scale and
                                  Parameterized Resource Allocation
                                  Systems  . . . . . . . . . . . . . . . . 251
          Patrice Godefroid and   
               Sarfraz Khurshid   Exploring Very Large State Spaces Using
                                  Genetic Algorithms . . . . . . . . . . . 266
                  Radu Mateescu   Local Model-Checking of Modal
                                  Mu-Calculus on Acyclic Labeled
                                  Transition Systems . . . . . . . . . . . 281
                 Roy Armoni and   
                  Limor Fix and   
              Alon Flaisher and   
                  Rob Gerth and   
             Boris Ginsburg and   
                Tomer Kanza and   
              Avner Landver and   
            Sela Mador-Haim and   
              Eli Singerman and   
           Andreas Tiemeyer and   
             Moshe Y. Vardi and   
                      Yael Zbar   The ForSpec Temporal Logic: a New
                                  Temporal Property-Specification Language 296
               HoonSang Jin and   
          Andreas Kuehlmann and   
                  Fabio Somenzi   Fine-Grain Conjunction Scheduling for
                                  Symbolic Reachability Analysis . . . . . 312
           Hyoung Seok Hong and   
                  Insup Lee and   
              Oleg Sokolsky and   
                     Hasan Ural   A Temporal Logic Based Theory of Test
                                  Coverage and Generation  . . . . . . . . 327
             Klaus Havelund and   
                   Grigore Rosu   Synthesizing Monitors for Safety
                                  Properties . . . . . . . . . . . . . . . 342
                 Alex Groce and   
                Doron Peled and   
             Mihalis Yannakakis   Adaptive Model Checking  . . . . . . . . 357
             Keijo Heljanko and   
            Victor Khomenko and   
                  Maciej Koutny   Parallelisation of the Petri Net
                                  Unfolding Algorithm  . . . . . . . . . . 371
           Sebastien Bornot and   
                 Remi Morin and   
              Peter Niebert and   
                   Sarah Zennou   Black Box Unfolding with Local First
                                  Search . . . . . . . . . . . . . . . . . 386
               Doron Bustan and   
                  Orna Grumberg   Applicability of Fair Simulation . . . . 401
        Raffaella Gentilini and   
               Carla Piazza and   
              Alberto Policriti   Simulation as Coarsest Partition Problem 415
                Elsa Gunter and   
                    Doron Peled   Temporal Debugging for Concurrent
                                  Systems  . . . . . . . . . . . . . . . . 431
               HoonSang Jin and   
                Kavita Ravi and   
                  Fabio Somenzi   Fate and Free Will in Error Traces . . . 445
              Tobias Amnell and   
              Elena Fersman and   
           Leonid Mokrushin and   
            Paul Pettersson and   
                        Wang Yi   TIMES --- A Tool for Modelling and
                                  Implementation of Embedded Systems . . . 460
    Frédéric Lang   Compositional Verification Using SVL
                                  Scripts  . . . . . . . . . . . . . . . . 465
              Duncan Clarke and   
       Thierry Jéron and   
                  Vlad Rusu and   
                Elena Zinovieva   STG: a Symbolic Test Generation Tool . . 470
               Christian Stehno   Real-Time Systems Design with PEP  . . . 476
                      Anonymous   Author Index . . . . . . . . . . . . . . 481


Lecture Notes in Computer Science
Volume 2281, 2002

           Koichi Takahashi and   
                  Masami Hagiya   Searching for Mutual Exclusion
                                  Algorithms Using BDDs  . . . . . . . . . 1
                 Tetsuo Ida and   
               Mircea Marin and   
                    Taro Suzuki   Reducing Search Space in Solving
                                  Higher-Order Equations . . . . . . . . . 19
             Keiichi Noé   The Structure of Scientific Discovery:
                                  From a Philosophical Point of View . . . 31
                Mitsuhiro Okada   Ideal Concepts, Intuitions, and
                                  Mathematical Knowledge Acquisitions in
                                  Husserl and Hilbert  . . . . . . . . . . 40
                  Masahiko Sato   Theory of Judgments and Derivations  . . 78
             Hiroki Arimura and   
           Hiroshi Sakamoto and   
                 Setsuo Arikawa   Efficient Data Mining from Large Text
                                  Databases  . . . . . . . . . . . . . . . 123
             Ikuo Kobayashi and   
            Koichi Furukawa and   
             Tomonobu Ozaki and   
                   Mutsumi Imai   A Computational Model for Children's
                                  Language Acquisition Using Inductive
                                  Logic Programming  . . . . . . . . . . . 140
           Makoto Haraguchi and   
               Yoshimitsu Kudoh   Some Criterions for Selecting the Best
                                  Data Abstractions  . . . . . . . . . . . 156
                   Yukio Ohsawa   Discovery of Chances Underlying Real
                                  Data . . . . . . . . . . . . . . . . . . 168
                  Chiaki Sakama   Towards the Integration of Inductive and
                                  Nonmonotonic Logic Programming . . . . . 178
                   Taisuke Sato   EM Learning for Symbolic-Statistical
                                  Models in Statistical Abduction  . . . . 189
                Masako Sato and   
          Yasuhito Mukouchi and   
                Mikiharu Terada   Refutable/Inductive Learning from
                                  Neighbor Examples and Its Application to
                                  Decision Trees over Patterns . . . . . . 201
                      Ken Satoh   Constructing a Critical Casebase to
                                  Represent a Lattice-Based Relation . . . 214
          Takeshi Shinohara and   
                Hiroki Ishizaka   On Dimension Reduction Mappings for
                                  Approximate Retrieval of
                                  Multi-dimensional Data . . . . . . . . . 224
          Hiroshi Tsukimoto and   
           Mitsuru Kakimoto and   
                Chie Morita and   
               Yoshiaki Kikuchi   Rule Discovery from fMRI Brain Images by
                                  Logical Regression Analysis  . . . . . . 232
           Akihiro Yamamoto and   
         Bertram Fronhöfer   A Theory of Hypothesis Finding in
                                  Clausal Logic  . . . . . . . . . . . . . 246
          Hiroshi Mamitsuka and   
                      Naoki Abe   Efficient Data Mining by Active Learning 258
             Takumi Okazaki and   
          Kunihiko Sadakane and   
                   Hiroshi Imai   Data Compression Method Combining
                                  Properties of PPM and CTW  . . . . . . . 268
         Masatoshi Tsuchiya and   
            Sadao Kurohashi and   
                   Satoshi Sato   Discovery of Definition Patterns by
                                  Compressing Dictionary Sentences . . . . 284
              Akira Maruoka and   
                  Eiji Takimoto   On-Line Algorithm to Predict Nearly as
                                  Well as the Best Pruning of a Decision
                                  Tree . . . . . . . . . . . . . . . . . . 296
            Ayumi Shinohara and   
            Masayuki Takeda and   
             Setsuo Arikawa and   
             Masahiro Hirao and   
           Hiromasa Hoshino and   
               Shunsuke Inenaga   Finding Best Patterns Practically  . . . 307
                Atsuhiro Takasu   Classification of Object Sequences Using
                                  Syntactical Structure  . . . . . . . . . 318
              Eiji Takimoto and   
                  Akira Maruoka   Top-Down Decision Tree Boosting and Its
                                  Applications . . . . . . . . . . . . . . 327
             Kuniaki Uehara and   
               Mitsuomi Shimada   Extraction of Primitive Motion and
                                  Discovery of Association Rules from
                                  Human Motion Data  . . . . . . . . . . . 338
                 Osamu Watanabe   Algorithmic Aspects of Boosting  . . . . 349
            Hiromichi Nagao and   
           Tomoyuki Higuchi and   
          Toshihiko Iyemori and   
                    Tohru Araki   Automatic Detection of Geomagnetic Jerks
                                  by Applying a Statistical Time Series
                                  Model to Geomagnetic Monthly Means . . . 360
                 Genta Ueno and   
          Nagatomo Nakamura and   
           Tomoyuki Higuchi and   
           Takashi Tsuchiya and   
            Shinobu Machida and   
                    Tohru Araki   Application of Multivariate Maxwellian
                                  Mixture Model to Plasma Velocity
                                  Distribution . . . . . . . . . . . . . . 372
        Hiroshi H. Hasegawa and   
             Takashi Washio and   
                Yukari Ishimiya   Inductive Thermodynamics from Time
                                  Series Data Analysis . . . . . . . . . . 384
                  Rie Honda and   
              Yuichi Iijima and   
                  Osamu Konishi   Mining of Topographic Feature from
                                  Heterogeneous Imagery and Its
                                  Application to Lunar Craters . . . . . . 395
                 Yuji Ikeda and   
           Dariusz Mazurkiewicz   Application of Neural Network Technique
                                  to Combustion Spray Dynamics Analysis    408
           Yoshiya Kasahara and   
             Ryotaro Niitsu and   
                      Toru Sato   Computational Analysis of Plasma Waves
                                  and Particles in the Auroral Region
                                  Observed by Scientific Satellite . . . . 426
             Yoshitaka Goto and   
           Yoshiya Kasahara and   
                      Toru Sato   A Flexible Modeling of Global Plasma
                                  Profile Deduced from Wave Data . . . . . 438
          Genshiro Kitagawa and   
            Tetsuo Takanami and   
               Asako Kuwano and   
               Yoshio Murai and   
               Hideki Shimamura   Extraction of Signal from High
                                  Dimensional Time Series: Analysis of
                                  Ocean Bottom Seismograph Data  . . . . . 449
           Yoshinori Tamada and   
               Hideo Bannai and   
             Osamu Maruyama and   
                  Satoru Miyano   Foundations of Designing Computational
                                  Knowledge Discovery Processes  . . . . . 459
             Shinichi Morishita   Computing Optimal Hypotheses Efficiently
                                  for Boosting . . . . . . . . . . . . . . 471
              Ryohei Nakano and   
                   Kazumi Saito   Discovering Polynomials to Fit
                                  Multivariate Data Having Numeric and
                                  Nominal Variables  . . . . . . . . . . . 482
             Koichi Niijima and   
                 Shigeru Takano   Finding of Signal and Image by
                                  Integer-Type Haar Lifting Wavelet
                                  Transform  . . . . . . . . . . . . . . . 494
                Einoshin Suzuki   In Pursuit of Interesting Patterns with
                                  Undirected Discovery of Exception Rules  504
            Masayuki Takeda and   
              Tomoko Fukuda and   
                   Ichiro Nanri   Mining from Literary Texts: Pattern
                                  Discovery and Similarity Computation . . 518
                Takehiko Tanaka   Second Difference Method Reinforced by
                                  Grouping: a New Tool for Assistance in
                                  Assignment of Complex Molecular Spectra  532
                Shusaku Tsumoto   Discovery of Positive and Negative
                                  Knowledge in Medical Databases Using
                                  Rough Sets . . . . . . . . . . . . . . . 543
             Takashi Washio and   
                 Hiroshi Motoda   Toward the Discovery of First Principle
                                  Based Scientific Law Equations . . . . . 553
            Yukinobu Hamuro and   
              Hideki Kawata and   
                Naoki Katoh and   
                Katsutoshi Yada   A Machine Learning Algorithm for
                                  Analyzing String Patterns Helps to
                                  Discover Simple and Interpretable
                                  Business Rules from Purchase History . . 565
                Hidenao Abe and   
             Takahira Yamaguchi   Constructing Inductive Applications by
                                  Meta-Learning with Method Repositories   576
           Hiroshi Sakamoto and   
             Hiroki Arimura and   
                 Setsuo Arikawa   Knowledge Discovery from Semistructured
                                  Texts  . . . . . . . . . . . . . . . . . 586
           Masaki Fukushima and   
                   Shigeki Goto   Packet Analysis in Congested Networks    600
            Sachio Hirokawa and   
                  Daisuke Ikeda   Visualization and Analysis of Web Graphs 616
            Hisayasu Kuroda and   
          Takahiro Katagiri and   
                Yasumasa Kanada   Knowledge Discovery in Auto-tuning
                                  Parallel Numerical Library . . . . . . . 628
            Hiroyuki Kawano and   
                Minoru Kawahara   Extended Association Algorithm Based on
                                  ROC Analysis for Visual Information
                                  Navigator  . . . . . . . . . . . . . . . 640
          Hironori Hiraishi and   
                Fumio Mizoguchi   WWW Visualization Tools for Discovering
                                  Interesting Web Pages  . . . . . . . . . 650
           Etsuya Shibayama and   
             Masashi Toyoda and   
                   Jun Yabe and   
                 Shin Takahashi   Scalable and Comprehensible
                                  Visualization for Discovery of Knowledge
                                  from the Internet  . . . . . . . . . . . 661
                  Yuzuru Tanaka   Meme Media for Re-editing and
                                  Redistributing Intellectual Assets and
                                  Their Application to Interactive Virtual
                                  Information Materialization  . . . . . . 672
                      Anonymous   Author Index . . . . . . . . . . . . . . 683


Lecture Notes in Computer Science
Volume 2282, 2002

                Domenico Ursino   1 Introduction . . . . . . . . . . . . . 1
                Domenico Ursino   2 Extraction of Synonymies, Homonymies,
                                  and Type Conflicts . . . . . . . . . . . 27
                Domenico Ursino   3 Extraction of Object Cluster
                                  Similarities . . . . . . . . . . . . . . 63
                Domenico Ursino   4 Extraction of Hyponymies and
                                  Overlappings . . . . . . . . . . . . . . 71
                Domenico Ursino   5 Extraction of Assertions between
                                  Knowledge Patterns . . . . . . . . . . . 87
                Domenico Ursino   6 Construction of a Data Repository  . . 113
                Domenico Ursino   7 Construction of a Cooperative
                                  Information System . . . . . . . . . . . 143
                Domenico Ursino   8 Construction of a Data Warehouse . . . 161
                Domenico Ursino   9 The System D.I.K.E.  . . . . . . . . . 175
                Domenico Ursino   10 Experiments on the Derivation of
                                  Similarities and Type Conflicts  . . . . 189
                Domenico Ursino   11 Experiments on the Extraction of
                                  Hyponymies . . . . . . . . . . . . . . . 215
                Domenico Ursino   12 Experiments on the Extraction of
                                  Assertions between Knowledge Patterns    221
                Domenico Ursino   13 Experiments on the Construction of a
                                  Data Repository  . . . . . . . . . . . . 225
                Domenico Ursino   14 Using the CIS Relative to ICGO
                                  Databases  . . . . . . . . . . . . . . . 243
                Domenico Ursino   15 A Look at the Future  . . . . . . . . 255
                Domenico Ursino   16 Conclusions . . . . . . . . . . . . . 267
                      Anonymous   References . . . . . . . . . . . . . . . 269
                Domenico Ursino   A Appendix . . . . . . . . . . . . . . . 279
                      Anonymous   Index  . . . . . . . . . . . . . . . . . 285


Lecture Notes in Computer Science
Volume 2283, 2002

              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   1. The Basics  . . . . . . . . . . . . . 3
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   2. Functional Programming in HOL . . . . 9
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   3. More Functional Programming . . . . . 27
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   4. Presenting Theories . . . . . . . . . 53
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   5. The Rules of the Game . . . . . . . . 67
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   6. Sets, Functions, and Relations  . . . 105
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   7. Inductively Defined Sets  . . . . . . 127
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   8. More about Types  . . . . . . . . . . 149
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   9. Advanced Simplification, Recursion,
                                  and Induction  . . . . . . . . . . . . . 175
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   10. Case Study: Verifying a Security
                                  Protocol . . . . . . . . . . . . . . . . 195
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   A. Appendix  . . . . . . . . . . . . . . 207
              Tobias Nipkow and   
        Lawrence C. Paulson and   
                  Markus Wenzel   Bibliography . . . . . . . . . . . . . . 209
                      Anonymous   Index  . . . . . . . . . . . . . . . . . 213


Lecture Notes in Computer Science
Volume 2285, 2002

              Yan Zong Ding and   
               Michael O. Rabin   Hyper-Encryption and Everlasting
                                  Security . . . . . . . . . . . . . . . . 1
           Christian Scheideler   Models and Techniques for Communication
                                  in Dynamic Networks  . . . . . . . . . . 27
                   Gilles Dowek   What Is a Theory?  . . . . . . . . . . . 50
          Pierre Fraigniaud and   
                 Cyril Gavoille   A Space Lower Bound for Routing in Trees 65
                Amos Korman and   
                David Peleg and   
                     Yoav Rodeh   Labeling Schemes for Dynamic Tree
                                  Networks . . . . . . . . . . . . . . . . 76
                Micah Adler and   
               Adi Rosén   Tight Bounds for the Performance of
                                  Longest-in-System on DAGs  . . . . . . . 88
                   Klaus Jansen   Approximate Strong Separation with
                                  Application in Fractional Graph Coloring
                                  and Preemptive Scheduling  . . . . . . . 100
                 Benjamin Doerr   Balanced Coloring: Equally Easy for All
                                  Numbers of Colors? . . . . . . . . . . . 112
       Johannes Köbler and   
            Jacobo Torán   The Complexity of Graph Isomorphism for
                                  Colored Graphs with Color Classes of
                                  Size 2 and 3 . . . . . . . . . . . . . . 121
                   E. Boros and   
                 V. Gurvich and   
               L. Khachiyan and   
                      K. Makino   On the Complexity of Generating Maximal
                                  Frequent and Minimal Infrequent Sets . . 133
           Khaled M. Elbassioni   On Dualization in Products of Forests    142
                  R. Lepere and   
                      C. Rapine   An Asymptotic $ \mathcal {O}(\ln \rho /
                                  \ln \ln \rho) $-Approximation Algorithm
                                  for the Scheduling Problem with
                                  Duplication on Large Communication Delay
                                  Graphs . . . . . . . . . . . . . . . . . 154
                    Hannah Bast   Scheduling at Twilight the Easy Way  . . 166
                Alain Darte and   
                Guillaume Huard   Complexity of Multi-dimensional Loop
                                  Alignment  . . . . . . . . . . . . . . . 179
          Thomas Hofmeister and   
          Uwe Schöning and   
             Rainer Schuler and   
                 Osamu Watanabe   A Probabilistic $3$-SAT Algorithm
                                  Further Improved . . . . . . . . . . . . 192
                  U. Lorenz and   
                      B. Monien   The Secret of Selective Game Tree
                                  Search, When Using Random-Error
                                  Evaluations  . . . . . . . . . . . . . . 203
                  Victor Y. Pan   Randomized Acceleration of Fundamental
                                  Matrix Computations  . . . . . . . . . . 215
          L. Sunil Chandran and   
                 L. Shankar Ram   Approximations for ATSP with
                                  Parametrized Triangle Inequality . . . . 227
             Joachim Giesen and   
                  Matthias John   A New Diagram from Disks in the Plane    238
           Stefan Langerman and   
                  Pat Morin and   
                   Michael Soss   Computing the Maximum Detour and
                                  Spanning Ratio of Planar Paths, Trees,
                                  and Cycles . . . . . . . . . . . . . . . 250
         Michael R. Fellows and   
                 Jens Gramm and   
               Rolf Niedermeier   On the Parameterized Intractability of C
                                  LOSEST S UBSTRING size and Related
                                  Problems . . . . . . . . . . . . . . . . 262
              Rolf Backofen and   
        N. S. Narayanaswamy and   
                   Firas Swidan   On the Complexity of Protein Similarity
                                  Search under mRNA Structure Constraints  274
            Manuel Bodirsky and   
                    Martin Kutz   Pure Dominance Constraints . . . . . . . 287
         Peter Hòyer and   
                 Ronald de Wolf   Improved Quantum Communication
                                  Complexity Bounds for Disjointness and
                                  Equality . . . . . . . . . . . . . . . . 299
            Harumichi Nishimura   On Quantum Computation with Some
                                  Restricted Amplitudes  . . . . . . . . . 311
                Mark Adcock and   
                  Richard Cleve   A Quantum Goldreich--Levin Theorem with
                                  Cryptographic Applications . . . . . . . 323
                 Hartmut Klauck   On Quantum and Approximate Privacy . . . 335
              Mart de Graaf and   
                 Ronald de Wolf   On Quantum Versions of the Yao Principle 347
             Jörg Flum and   
                   Martin Grohe   Describing Parameterized Complexity
                                  Classes  . . . . . . . . . . . . . . . . 359
                Matthias Krause   On the Computational Power of Boolean
                                  Decision Lists . . . . . . . . . . . . . 372
              Hans Ulrich Simon   How Many Missing Answers Can Be
                                  Tolerated by Query Learners? . . . . . . 384
                  Shin Aida and   
            Marcel Crasmaru and   
              Kenneth Regan and   
                 Osamu Watanabe   Games with a Uniqueness Property . . . . 396
                   A. Pavan and   
                 Alan L. Selman   Bi-Immunity Separates Strong
                                  NP-Completeness Notions  . . . . . . . . 408
             Dima Grigoriev and   
           Edward A. Hirsch and   
           Dmitrii V. Pasechnik   Complexity of Semi-algebraic Proofs  . . 419
                Philipp Woelfel   A Lower Bound Technique for Restricted
                                  Branching Programs and Applications  . . 431
             Andrei Krokhin and   
              Peter Jeavons and   
                  Peter Jonsson   The Complexity of Constraints on
                                  Intervals and Lengths  . . . . . . . . . 443
       Denis Thérien and   
                   Thomas Wilke   Nesting Until and Since in Linear
                                  Temporal Logic . . . . . . . . . . . . . 455
                    Till Tantau   Comparing Verboseness for Finite
                                  Automata and Turing Machines . . . . . . 465
                Daniel Krob and   
              Jean Mairesse and   
                 Ioannis Michos   On the Average Parallelism in Trace
                                  Monoids  . . . . . . . . . . . . . . . . 477
                 Dietrich Kuske   A Further Step towards a Theory of
                                  Regular MSC Languages  . . . . . . . . . 489
             Volker Diekert and   
                  Markus Lohrey   Existential and Positive Theories of
                                  Equations in Graph Products  . . . . . . 501
                Holger Petersen   The Membership Problem for Regular
                                  Expressions with Intersection Is
                                  Complete in LOGCFL . . . . . . . . . . . 513
              Rémi Morin   Recognizable Sets of Message Sequence
                                  Charts . . . . . . . . . . . . . . . . . 523
             Ji\vrí Srba   Strong Bisimilarity and Regularity of
                                  Basic Parallel Processes Is PSPACE-Hard  535
   Marie-Pierre Béal and   
               Dominique Perrin   On the Enumerative Sequences of Regular
                                  Languages on k Symbols . . . . . . . . . 547
           Christof Löding   Ground Tree Rewriting Graphs of Bounded
                                  Tree Width . . . . . . . . . . . . . . . 559
             Deepak D'Souza and   
                  P. Madhusudan   Timed Control Synthesis for External
                                  Specifications . . . . . . . . . . . . . 571
            J. C. M. Baeten and   
                  E. P. de Vink   Axiomatizing GSOS with Termination . . . 583
               Achim Blumensath   Axiomatising Tree-Interpretable
                                  Structures . . . . . . . . . . . . . . . 596
              Emanuel Kieronski   EXPSPACE-Complete Variant of Guarded
                                  Fragment with Transitivity . . . . . . . 608
                   S. Demri and   
             F. Laroussinie and   
                 P. Schnoebelen   A Parametric Analysis of the State
                                  Explosion Problem in Model Checking  . . 620
                   Markus Frick   Generalized Model-Checking over Locally
                                  Tree-Decomposable Classes  . . . . . . . 632
               Martin Grohe and   
            Gyorgy Turán   Learnability and Definability in Trees
                                  and Similar Structures . . . . . . . . . 645
                      Anonymous   Author Index . . . . . . . . . . . . . . 659


Lecture Notes in Computer Science
Volume 2286, 2002

                Jennifer Chayes   Phase Transitions in Computer Science    1
      Christos H. Papadimitriou   The Internet, the Web, and Algorithms    2
                   Joel Spencer   Erdos Magic  . . . . . . . . . . . . . . 3
                  Jorge Urrutia   Open Problems in Computational Geometry  4
                 Umesh Vazirani   Quantum Algorithms . . . . . . . . . . . 12
             Mihalis Yannakakis   Testing and Checking of Finite State
                                  Systems  . . . . . . . . . . . . . . . . 14
            Fabrizio Luccio and   
                    Linda Pagli   From Algorithms to Cryptography  . . . . 15
       Éric Goubault and   
                 Martin Raussen   Dihomotopy as a Tool in State Space
                                  Analysis . . . . . . . . . . . . . . . . 16
         Abdullah N. Arslan and   
            Ömer Egecioglu   Algorithms for Local Alignment with
                                  Length Constraints . . . . . . . . . . . 38
 Marília D. V. Braga and   
           João Meidanis   An Algorithm That Builds a Set of
                                  Strings Given Its Overlap Graph  . . . . 52
             Christiane Frougny   Conversion between Two Multiplicatively
                                  Dependent Linear Numeration Systems  . . 64
           Sylvain Lombardy and   
            Jacques Sakarovitch   Star Height of Reversible Languages and
                                  Universal Automata . . . . . . . . . . . 76
           Howard Straubing and   
           Denis Thérien   Weakly Iterated Block Products of Finite
                                  Monoids  . . . . . . . . . . . . . . . . 91
María Isabel González Vasco and   
          Mats Näslund and   
            Igor E. Shparlinski   The Hidden Number Problem in Extension
                                  Fields and Its Applications  . . . . . . 105
         Theodoulos Garefalakis   The Generalized Weil Pairing and the
                                  Discrete Logarithm Problem on Elliptic
                                  Curves . . . . . . . . . . . . . . . . . 118
               Rod Canfield and   
             Sylvie Corteel and   
                Pawel Hitczenko   Random Partitions with Non Negative $
                                  r^{th} $ Differences . . . . . . . . . . 131
Frédérique Bassino   Beta-Expansions for Cubic Pisot Numbers  141
             Prosenjit Bose and   
                    Qingda Wang   Facility Location Constrained to a
                                  Polygonal Domain . . . . . . . . . . . . 153
              Hanno Lefmann and   
                  Niels Schmitt   A Deterministic Polynomial Time
                                  Algorithm for Heilbronn's Problem in
                                  Dimension Three  . . . . . . . . . . . . 165
        Edgar Chávez and   
                Gonzalo Navarro   A Metric Index for Approximate String
                                  Matching . . . . . . . . . . . . . . . . 181
                Wojciech Rytter   On Maximal Suffices and Constant-Space
                                  Linear-Time Versions of KMP Algorithm    196
           Derek G. Corneil and   
           Feodor F. Dragan and   
           Ekkehard Köhler   On the Power of BFS to Determine a
                                  Graphs Diameter  . . . . . . . . . . . . 209
     Martín Matamala and   
              Erich Prisner and   
                  Ivan Rapaport   $k$-pseudosnakes in Large Grids  . . . . 224
         Tiziana Calamoneri and   
             Rossella Petreschi   $ {L} $ (2,1)-Coloring Matrogenic Graphs 236
    Ruy Luiz Milidiú and   
         Artur Alves Pessoa and   
             Eduardo Sany Laber   Pipeline Transportation of Petroleum
                                  Products with No Due Dates . . . . . . . 248
            Enrico Pontelli and   
                    Desh Ranjan   Ancestor Problems on Pure Pointer
                                  Machines . . . . . . . . . . . . . . . . 263
               Renato Carmo and   
             Jair Donadelli and   
       Yoshiharu Kohayakawa and   
                  Eduardo Laber   Searching in Random Partially Ordered
                                  Sets . . . . . . . . . . . . . . . . . . 278
              Brett Stevens and   
                Eric Mendelsohn   Packing Arrays . . . . . . . . . . . . . 293
             Michael Drmota and   
           Wojciech Szpankowski   Generalized Shannon Code Minimizes the
                                  Maximal Redundancy . . . . . . . . . . . 306
           S. Muthukrishnan and   
               S. Cenk Sahinalp   An Improved Algorithm for Sequence
                                  Comparison with Block Reversals  . . . . 319
              Blaise Genest and   
                  Anca Muscholl   Pattern Matching and Membership for
                                  Hierarchical Message Sequence Charts . . 326
                Jianer Chen and   
                   Iyad A. Kanj   Improved Exact Algorithms for MAX-SAT    341
          Steffen van Bakel and   
 Mariangiola Dezani-Ciancaglini   Characterising Strong Normalisation for
                                  Explicit Substitutions . . . . . . . . . 356
                  Roel Bloo and   
        Fairouz Kamareddine and   
                  Twan Laan and   
                  Rob Nederpelt   Parameters in Pure Type Systems  . . . . 371
           Rusins Freivalds and   
                  Carl H. Smith   Category, Measure, Inductive Inference:
                                  a Triality Theorem and Its Applications  386
Frédéric Herbreteau and   
              Franck Cassez and   
               Alain Finkel and   
               Olivier Roux and   
          Grégoire Sutre   Verification of Embedded Reactive Fiffo
                                  Systems  . . . . . . . . . . . . . . . . 400
            Alejandro Hevia and   
                    Marcos Kiwi   Electronic Jury Voting Protocols . . . . 415
        Gonzalo Tornaría   Square Roots Modulo $p$  . . . . . . . . 430
             Goran Konjevod and   
                 Soohyun Oh and   
         Andréa W. Richa   Finding Most Sustainable Paths in
                                  Networks with Time-Dependent Edge
                                  Reliabilities  . . . . . . . . . . . . . 435
     Jean-Christophe Dubacq and   
       Véronique Terrier   Signals for Cellular Automata in
                                  Dimension 2 or Higher  . . . . . . . . . 451
                Paolo Boldi and   
               Sebastiano Vigna   Holographic Trees  . . . . . . . . . . . 465
             Prosenjit Bose and   
                Luc Devroye and   
              William Evans and   
              David Kirkpatrick   On the Spanning Ratio of Gabriel Graphs
                                  and $ \beta $-skeletons  . . . . . . . . 479
Hervé Brönnimann and   
                John Iacono and   
           Jyrki Katajainen and   
                  Pat Morin and   
             Jason Morrison and   
             Godfried Toussaint   In-Place Planar Convex Hull Algorithms   494
          Michael A. Bender and   
    Martín Farach-Colton   The Level Ancestor Problem Simplified    508
      Claudson F. Bornstein and   
                Santosh Vempala   Flow Metrics . . . . . . . . . . . . . . 516
               Howard Straubing   On Logical Descriptions of Regular
                                  Languages  . . . . . . . . . . . . . . . 528
              Mario Szegedy and   
                   Xiaomin Chen   Computing Boolean Functions from
                                  Multiple Faulty Copies of Input Bits . . 539
Magnús Halldórsson and   
                Kazuo Iwama and   
           Shuichi Miyazaki and   
                Yasufumi Morita   Inapproximability Results on Stable
                                  Marriage Problems  . . . . . . . . . . . 554
             Hadas Shachnai and   
                     Tami Tamir   Tight Bounds for Online
                                  Class-Constrained Packing  . . . . . . . 569
               R. Sai Anand and   
                Thomas Erlebach   On-line Algorithms for Edge-Disjoint
                                  Paths in Trees of Rings  . . . . . . . . 584
               James Abello and   
     Mauricio G. C. Resende and   
                Sandra Sudarsky   Massive Quasi-Clique Detection . . . . . 598
               Jochen Alber and   
               Rolf Niedermeier   Improved Tree Decomposition Based
                                  Algorithms for Domination-like Problems  613
                      Anonymous   Author Index . . . . . . . . . . . . . . 629


Lecture Notes in Computer Science
Volume 2287, 2002

           Hans-Jörg Schek   Hyperdatabases: Infrastructure for the
                                  Information Space  . . . . . . . . . . . 1
                   Ian Horrocks   DAML+OIL: a Reason-able Web Ontology
                                  Language . . . . . . . . . . . . . . . . 2
                     Jari Ahola   Ambient Intelligence: Plenty of
                                  Challenges by 2010 . . . . . . . . . . . 14
Michael Ortega-Binderberger and   
        Kaushik Chakrabarti and   
                Sharad Mehrotra   An Approach to Integrating Query
                                  Refinement in SQL  . . . . . . . . . . . 15
                   Jan Chomicki   Querying with Intrinsic Preferences  . . 34
                 Junhu Wang and   
              Michael Maher and   
                   Rodney Topor   Rewriting Unions of General Conjunctive
                                  Queries Using Views  . . . . . . . . . . 52
                    Ke Wang and   
              Senqiang Zhou and   
                     Jiawei Han   Profit Mining: From Patterns to Actions  70
                  Wenwu Lou and   
                 Guimei Liu and   
                 Hongjun Lu and   
                     Qiang Yang   Cut-and-Pick Transactions for Proxy Log
                                  Mining . . . . . . . . . . . . . . . . . 88
      Cheikh Talibouya Diop and   
          Arnaud Giacometti and   
          Dominique Laurent and   
               Nicolas Spyratos   Composition of Mining Contexts for
                                  Efficient Extraction of Association
                                  Rules  . . . . . . . . . . . . . . . . . 106
                Mong Li Lee and   
              Tok Wang Ling and   
                    Wai Lup Low   Designing Functional Dependencies for
                                  XML  . . . . . . . . . . . . . . . . . . 124
      Laks V. S. Lakshmanan and   
          Sailaja Parthasarathy   On Efficient Matching of Streaming XML
                                  Documents and Queries  . . . . . . . . . 142
              Shu-Yao Chien and   
        Vassilis J. Tsotras and   
              Carlo Zaniolo and   
                  Donghui Zhang   Efficient Complex Query Support for
                                  Multiversion XML Documents . . . . . . . 161
          Dimitris Papadias and   
               Dinos Arkoumanis   Approximate Processing of Multiway
                                  Spatial Joins in Very Large Databases    179
             Myoung-Ah Kang and   
         Christos Faloutsos and   
             Robert Laurini and   
                Sylvie Servigne   Indexing Values in Continuous Field
                                  Databases  . . . . . . . . . . . . . . . 197
              Wee Hyong Tok and   
        Stéphane Bressan   Efficient and Adaptive Processing of
                                  Multiple Continuous Queries  . . . . . . 215
            Goce Trajcevski and   
               Ouri Wolfson and   
               Fengli Zhang and   
                Sam Chamberlain   The Geometry of Uncertainty in Moving
                                  Objects Databases  . . . . . . . . . . . 233
    Marios Hadjieleftheriou and   
             George Kollios and   
        Vassilis J. Tsotras and   
            Dimitrios Gunopulos   Efficient Indexing of Spatiotemporal
                                  Objects  . . . . . . . . . . . . . . . . 251
            Iosif Lazaridis and   
         Kriengkrai Porkaew and   
                Sharad Mehrotra   Dynamic Queries over Mobile Objects  . . 269
               Fabio Casati and   
                Ming-Chien Shan   Semantic Analysis of Business Process
                                  Executions . . . . . . . . . . . . . . . 287
           Georges Gardarin and   
             Antoine Mensch and   
                Anthony Tomasic   An Introduction to the e-XML Data
                                  Integration Suite  . . . . . . . . . . . 297
          Leonardo Tininini and   
             Mario Paolucci and   
           Giuseppe Sindoni and   
           Stefano De Francisci   Spatio-temporal Information Systems in a
                                  Statistical Context  . . . . . . . . . . 307
       Henrik Engström and   
        Sharma Chakravarthy and   
                    Brian Lings   A Systematic Approach to Selecting
                                  Maintenance Policies in a Data Warehouse
                                  Environment  . . . . . . . . . . . . . . 317
          Michael O. Akinde and   
     Michael H. Böhlen and   
           Theodore Johnson and   
      Laks V. S. Lakshmanan and   
              Divesh Srivastava   Efficient OLAP Query Processing in
                                  Distributed Data Warehouses  . . . . . . 336
            Andreas Koeller and   
          Elke A. Rundensteiner   Incremental Maintenance of
                                  Schema-Restructuring Views . . . . . . . 354
            Klaudia Hergula and   
               Theo Härder   Coupling of FDBS and WfMS for
                                  Integrating Database and Application
                                  Systems: Architecture, Complexity,
                                  Performance  . . . . . . . . . . . . . . 372
              Etzard Stolte and   
                 Gustavo Alonso   Optimizing Scientific Databases for
                                  Client Side Data Processing  . . . . . . 390
                   Min Wang and   
             Yuan-Chi Chang and   
             Sriram Padmanabhan   Supporting Efficient Parametric Search
                                  of E-Commerce Data: a Loosely-Coupled
                                  Solution . . . . . . . . . . . . . . . . 409
              Sergey Melnik and   
           Hector Garcia-Molina   Divide-and-Conquer Algorithm for
                                  Computing Set Containment Joins  . . . . 427
               Ralf Rantzau and   
            Leonard Shapiro and   
         Bernhard Mitschang and   
                      Quan Wang   Universal Quantification in Relational
                                  Databases: a Classification of Data and
                                  Algorithms . . . . . . . . . . . . . . . 445
           Fabien De Marchi and   
      Stéphane Lopes and   
                Jean-Marc Petit   Efficient Algorithms for Mining
                                  Inclusion Dependencies . . . . . . . . . 464
              Anja Theobald and   
                 Gerhard Weikum   The Index-Based XXL Search Engine for
                                  Querying XML Data with Relevance Ranking 477
           Sihem Amer-Yahia and   
                SungRan Cho and   
              Divesh Srivastava   Tree Pattern Relaxation  . . . . . . . . 496
              Torsten Schlieder   Schema-Driven Evaluation of Approximate
                                  Tree-Pattern Queries . . . . . . . . . . 514
               Thomas Brinkhoff   A Robust and Self-tuning
                                  Page-Replacement Strategy for Spatial
                                  Database Systems . . . . . . . . . . . . 533
                    Xu Yang and   
             Athman Bouguettaya   Broadcast-Based Data Access in Wireless
                                  Environments . . . . . . . . . . . . . . 553
                Wai Gen Yee and   
        Shamkant B. Navathe and   
          Edward Omiecinski and   
           Christopher Jermaine   Bridging the Gap between Response Time
                                  and Energy-Efficiency in Broadcast
                                  Schedule Design  . . . . . . . . . . . . 572
                  Yuqing Wu and   
           Jignesh M. Patel and   
                 H. V. Jagadish   Estimating Answer Sizes for XML Queries  590
                Chengyu Sun and   
          Divyakant Agrawal and   
                  Amr El Abbadi   Selectivity Estimation for Spatial Joins
                                  with Geometric Selections  . . . . . . . 609
  Arnd Christian König and   
                 Gerhard Weikum   A Framework for the Physical Design
                                  Problem for Data Synopses  . . . . . . . 627
              Donghui Zhang and   
        Dimitrios Gunopulos and   
        Vassilis J. Tsotras and   
                Bernhard Seeger   Temporal Aggregation over Data Streams
                                  Using Multiple Granularities . . . . . . 646
           Rolfe R. Schmidt and   
                  Cyrus Shahabi   ProPolyne: a Fast Wavelet-Based
                                  Algorithm for Progressive Evaluation of
                                  Polynomial Range-Sum Queries . . . . . . 664
                  Yufei Tao and   
          Dimitris Papadias and   
                      Jun Zhang   Aggregate Processing of Planar Points    682
            Radek Vingralek and   
           Umesh Maheshwari and   
                William Shapiro   TDB: a Database System for Digital
                                  Rights Management  . . . . . . . . . . . 701
              Axel Wienberg and   
             Matthias Ernst and   
            Andreas Gawecki and   
                Olaf Kummer and   
             Frank Wienberg and   
             Joachim W. Schmidt   Content Schema Evolution in the
                                  CoreMedia\reg Content Application
                                  Platform CAP . . . . . . . . . . . . . . 712
        Victor M. Markowitz and   
              I-Min A. Chen and   
                  Anthony Kosky   Gene Expression Data Management: a Case
                                  Study  . . . . . . . . . . . . . . . . . 722
               Achim Kraiss and   
               Frank Schoen and   
             Gerhard Weikum and   
                   Uwe Deppisch   With HEART Towards Response Time
                                  Guarantees for Message-Based e-Services  732
             Milan Petkovic and   
                  Willem Jonker   Cobra: a Content-Based Video Retrieval
                                  System . . . . . . . . . . . . . . . . . 736
                 Xufei Qian and   
     Bertram Ludäscher and   
         Maryann E. Martone and   
                 Amarnath Gupta   Navigating Virtual Information Sources
                                  with Know-ME . . . . . . . . . . . . . . 739
           Peter Fankhauser and   
                Tobias Groh and   
                  Sven Overhage   XQuery by the Book: The IPSI XQuery
                                  Demonstrator . . . . . . . . . . . . . . 742
            Wolfgang Mahnke and   
                 Norbert Ritter   The ORDB-Based SFB-501-Reuse-Repository  745
          Christian Wiesner and   
           Peter Winklhofer and   
                  Alfons Kemper   Building Dynamic Market Places Using
                                  HyperQueries . . . . . . . . . . . . . . 749
            Ernesto Damiani and   
              Nico Lavarini and   
           Stefania Marrara and   
            Barbara Oliboni and   
             Daniele Pasini and   
              Letizia Tanca and   
               Giuseppe Viviani   The A PPRO XML Tool Demonstration  . . . 753
            Oliver Dunemann and   
               Ingolf Geist and   
               Roland Jesse and   
            Kai-Uwe Sattler and   
              Andreas Stephanik   A Database-Supported Workbench for
                                  Information Fusion: I N F USE  . . . . . 756
            Irini Fundulaki and   
                Bernd Amann and   
              Catriel Beeri and   
              Michel Scholl and   
          Anne-Marie Vercoustre   ST$_{Y \hspace {-3pt}X}$: Connecting the
                                  XML Web to the World of Semantics  . . . 759
        Christos Amanatidis and   
              Maria Halkidi and   
          Michalis Vazirgiannis   UMiner: a Data Mining System Handling
                                  Uncertainty and Quality  . . . . . . . . 762
                  Yuhui Jin and   
                  Sichun Xu and   
              Stefan Decker and   
                 Gio Wiederhold   Managing Web Sites with OntoWebber . . . 766
               Ouri Wolfson and   
                     Hu Cao and   
                    Hai Lin and   
            Goce Trajcevski and   
               Fengli Zhang and   
                       N. Rishe   Management of Dynamic Location
                                  Information in DOMINO  . . . . . . . . . 769
                    Peter Haase   Situation Aware Mobile Access to Digital
                                  Libraries  . . . . . . . . . . . . . . . 772
                      Anonymous   Author Index . . . . . . . . . . . . . . 776


Lecture Notes in Computer Science
Volume 2288, 2002

              David Pointcheval   Practical Security in Public-Key
                                  Cryptography . . . . . . . . . . . . . . 1
               Beomsik Song and   
              Huaxiong Wang and   
               Jennifer Seberry   A New Cryptanalytic Method Using the
                                  Distribution Characteristics of
                                  Substitution Distances . . . . . . . . . 18
                Seonhee Lee and   
               Seokhie Hong and   
                Sangjin Lee and   
                 Jongin Lim and   
                   Seonhee Yoon   Truncated Differential Cryptanalysis of
                                  Camellia . . . . . . . . . . . . . . . . 32
             Jung Hee Cheon and   
                  MunJu Kim and   
                Kwangjo Kim and   
              Jung-Yeun Lee and   
                   SungWoo Kang   Improved Impossible Differential
                                  Cryptanalysis of Rijndael and Crypton    39
           Sabine Leveiller and   
             Joseph Boutros and   
           Philippe Guillot and   
            Gilles Zémor   Cryptanalysis of Nonlinear Filter
                                  Generators with $ \{ 0, 1 \} $-Metric
                                  Viterbi Decoding . . . . . . . . . . . . 50
          Johannes Buchmann and   
            Kouichi Sakurai and   
                Tsuyoshi Takagi   An IND-CCA2 Public-Key Cryptosystem with
                                  Fast Decryption  . . . . . . . . . . . . 51
              Dug-Hwan Choi and   
              Seungbok Choi and   
                     Dongho Won   Improvement of Probabilistic Public Key
                                  Cryptosystems Using Discrete Logarithm   72
         Mototsugu Nishioka and   
            Hisayoshi Satoh and   
                Kouichi Sakurai   Design and Analysis of Fast Provably
                                  Secure Public-Key Cryptosystems Based on
                                  a Modular Squaring . . . . . . . . . . . 81
               Jaechul Sung and   
                Sangjin Lee and   
                 Jongin Lim and   
                  Wonil Lee and   
                      Okyeon Yi   Concrete Security Analysis of CTR-OFB
                                  and CTR-CFB Modes of Operation . . . . . 103
    Christopher Krügel and   
                Thomas Toth and   
                  Clemens Kerer   Decentralized Event Correlation for
                                  Intrusion Detection  . . . . . . . . . . 114
       Vorapranee Khu-smith and   
                 Chris Mitchell   Enhancing the Security of Cookies  . . . 132
              Yang-Seo Choi and   
                Dong-il Seo and   
                  Sung-Won Sohn   A New Stack Buffer Overflow Hacking
                                  Defense Technique with Memory Address
                                  Confirmation . . . . . . . . . . . . . . 146
             Hartono Kurnio and   
           Rei Safavi-Naini and   
                  Huaxiong Wang   Efficient Revocation Schemes for Secure
                                  Multicast  . . . . . . . . . . . . . . . 160
        Gérard Cohen and   
               Simon Litsyn and   
            Gilles Zémor   Binary Codes for Collusion-Secure
                                  Fingerprinting . . . . . . . . . . . . . 178
            Jarek Pastuszak and   
            Darek Micha\lek and   
                 Josef Pieprzyk   Copyright Protection of Object-Oriented
                                  Software . . . . . . . . . . . . . . . . 186
               Hyejoung Yoo and   
               Kwangsoo Lee and   
                Sangjin Lee and   
                     Jongin Lim   Off-Line Authentication Using Watermarks 200
                  Soichi Furuya   Slide Attacks with a Known-Plaintext
                                  Cryptanalysis  . . . . . . . . . . . . . 214
             Josef Pieprzyk and   
                  Xian-Mo Zhang   Constructions of Cheating Immune Secret
                                  Sharing  . . . . . . . . . . . . . . . . 226
             Clemente Galdi and   
                  Pino Persiano   Private Computation with Shared
                                  Randomness over Broadcast Channel  . . . 244
Nicolás González-Deleito and   
             Olivier Markowitch   An Optimistic Multi-party Fair Exchange
                                  Protocol with Reduced Trust Requirements 258
        Supakorn Kungpisdan and   
      Yongyuth Permpoontanalarp   Practical Reasoning about Accountability
                                  in Electronic Commerce Protocols . . . . 268
              Ron Steinfeld and   
              Laurence Bull and   
                  Yuliang Zheng   Content Extraction Signatures  . . . . . 285
               Dae Hyun Yum and   
                  Pil Joong Lee   New Signcryption Schemes Based on KCDSA  305
                  Jinho Kim and   
                Kwangjo Kim and   
                    Chulsoo Lee   An Efficient and Provably Secure
                                  Threshold Blind Signature  . . . . . . . 318
               Kei Kawauchi and   
             Hiroshi Minato and   
              Atsuko Miyaji and   
                   Mitsuru Tada   A Multi-signature Scheme with Signers'
                                  Intentions Secure against Active Attacks 328
  André Weimerskirch and   
                  Gilles Thonet   A Distributed Light-Weight
                                  Authentication Model for Ad-hoc Networks 341
                 Stelvio Cimato   Design of an Authentication Protocol for
                                  Gsm Javacards  . . . . . . . . . . . . . 355
                 Richard Au and   
                  Mark Looi and   
                Paul Ashley and   
                  Loo Tang Seet   Secure Authorisation Agent for
                                  Cross-Domain Access Control in a Mobile
                                  Computing Environment  . . . . . . . . . 369
                   Joan Mir and   
                   Joan Borrell   Protecting General Flexible Itineraries
                                  of Mobile Agents . . . . . . . . . . . . 382
              Sung-Ming Yen and   
               Seungjoo Kim and   
                Seongan Lim and   
                   Sangjae Moon   RSA Speedup with Residue Number System
                                  Immune against Hardware Fault
                                  Cryptanalysis  . . . . . . . . . . . . . 397
              Sung-Ming Yen and   
               Seungjoo Kim and   
                Seongan Lim and   
                   Sangjae Moon   A Countermeasure against One Physical
                                  Cryptanalysis May Benefit Another Attack 414
            Katsuyuki Okeya and   
          Kunihiko Miyazaki and   
                Kouichi Sakurai   A Fast Scalar Multiplication Method with
                                  Randomized Projective Coordinates on a
                                  Montgomery-Form Elliptic Curve Secure
                                  against Side Channel Attacks . . . . . . 428
               Kouichi Itoh and   
          Masahiko Takenaka and   
                    Naoya Torii   DPA Countermeasure Based on the
                                  ``Masking Method'' . . . . . . . . . . . 440
                      Anonymous   Author Index . . . . . . . . . . . . . . 457


Lecture Notes in Computer Science
Volume 2289, 2002

                    David Sharp   Hybrid and Embedded Software
                                  Technologies for Production Large-Scale
                                  Systems  . . . . . . . . . . . . . . . . 1
                  Uri M. Ascher   Numerical Methods for Differential
                                  Systems with Algebraic Equality and
                                  Inequality Constraints . . . . . . . . . 3
            Thomas A. Henzinger   From Models to Code: The Missing Link in
                                  Embedded Software  . . . . . . . . . . . 5
                 Eric Aaron and   
         Franjo Ivan\vci\'c and   
               Dimitris Metaxas   Hybrid System Models of Navigation
                                  Strategies for Games and Animations  . . 7
           Claudio Altafini and   
          Alberto Speranzon and   
          Karl Henrik Johansson   Hybrid Control of a Truck and Trailer
                                  Vehicle  . . . . . . . . . . . . . . . . 21
                Rajeev Alur and   
                  Thao Dang and   
             Franjo Ivan\vci\'c   Reachability Analysis of Hybrid Systems
                                  via Predicate Abstraction  . . . . . . . 35
              Eugene Asarin and   
          Gerardo Schneider and   
                  Sergio Yovine   Towards Computing Phase Portraits of
                                  Polygonal Differential Inclusions  . . . 49
          Jean-Pierre Aubin and   
                 Olivier Dordan   Dynamical Qualitative Analysis of
                                  Evolutionary Systems . . . . . . . . . . 62
            Andrea Balluchi and   
             Luca Benvenuti and   
      Maria D. Di Benedetto and   
Alberto L. Sangiovanni-Vincentelli   Design of Observers for Hybrid Systems   76
         Alexandre M. Bayen and   
             Eva Crück and   
               Claire J. Tomlin   Guaranteed Overapproximations of Unsafe
                                  Sets for Continuous and Hybrid Systems:
                                  Solving the Hamilton--Jacobi Equation
                                  Using Viability Techniques . . . . . . . 90
           Alberto Bemporad and   
         Francesco Borrelli and   
                 Manfred Morari   On the Optimal Control Law for Linear
                                  Discrete Time Hybrid Systems . . . . . . 105
        Michael S. Branicky and   
          Siddharth R. Chhatpar   A Computational Framework for the
                                  Verification and Synthesis of
                                  Force-Guided Robotic Assembly Strategies 120
              Franck Cassez and   
        Thomas A. Henzinger and   
    Jean-François Raskin   A Comparison of Control Problems for
                                  Timed and Hybrid Systems . . . . . . . . 134
              J. M. Davoren and   
                    T. Moor and   
                      A. Nerode   Hybrid Control Loops, A/D Maps, and
                                  Dynamic Specifications . . . . . . . . . 149
           Nael H. El-Farra and   
     Panagiotis D. Christofides   Switching and Feedback Laws for Control
                                  of Constrained Switched Nonlinear
                                  Systems  . . . . . . . . . . . . . . . . 164
                Nicola Elia and   
                Emilio Frazzoli   Quantized Stabilization of Two-Input
                                  Linear Systems: A Lower Bound on the
                                  Minimal Quantization Density . . . . . . 179
  Giancarlo Ferrari-Trecate and   
       Francesco A. Cuzzola and   
                 Manfred Morari   Analysis of Discrete-Time PWA Systems
                                  with Logic States  . . . . . . . . . . . 194
  Giancarlo Ferrari-Trecate and   
          Eduardo Gallestey and   
              Paolo Letizia and   
           Matteo Spedicato and   
             Manfred Morari and   
                   Marc Antoine   Modeling and Control of Co-generation
                                  Power Plants: A Hybrid System Approach   209
          Robert P. Goldman and   
          David J. Musliner and   
          Michael J. S. Pelican   Exploiting Implicit Representations in
                                  Timed Automaton Verification for
                                  Controller Synthesis . . . . . . . . . . 225
        João P. Hespanha   Computation of Root-Mean-Square Gains of
                                  Switched Linear Systems  . . . . . . . . 239
         Michael W. Hofbaur and   
              Brian C. Williams   Mode Estimation of Probabilistic Hybrid
                                  Systems  . . . . . . . . . . . . . . . . 253
                Jianghai Hu and   
                 Shankar Sastry   Symmetry Reduction of a Class of Hybrid
                                  Systems  . . . . . . . . . . . . . . . . 267
                T. John Koo and   
                 Shankar Sastry   Bisimulation Based Hierarchical System
                                  Architecture for Single-Agent
                                  Multi-modal Systems  . . . . . . . . . . 281
           Benjamin Kuipers and   
        Subramanian Ramamoorthy   Qualitative Modeling and Heterogeneous
                                  Control of Global System Behavior  . . . 294
          Sriram Narasimhan and   
                  Gautam Biswas   An Approach to Model-Based Diagnosis of
                                  Hybrid Systems . . . . . . . . . . . . . 308
                 Todd W. Neller   Information-Based Alpha-Beta Search and
                                  the Homicidal Chauffeur  . . . . . . . . 323
             Luigi Palopoli and   
            Claudio Pinello and   
Alberto Sangiovanni Vincentelli and   
           Laurent Elghaoui and   
                 Antonio Bicchi   Synthesis of Robust Control Systems
                                  under Resource Constraints . . . . . . . 337
          Stefania Pancanti and   
             Laura Leonardi and   
           Lucia Pallottino and   
                 Antonio Bicchi   Optimal Control of Quantized Input
                                  Systems  . . . . . . . . . . . . . . . . 351
                  Tal Pasternak   Reconfiguration in Hierarchical Control
                                  of Piecewise-Affine Systems  . . . . . . 364
           Patrick Saint-Pierre   Hybrid Kernels and Capture Basins for
                                  Impulse Constrained Systems  . . . . . . 378
           James A. Sethian and   
          Alexander Vladimirsky   Ordered Upwind Methods for Hybrid
                                  Control  . . . . . . . . . . . . . . . . 393
                 Thomas Stauner   Discrete-Time Refinement of Hybrid
                                  Automata . . . . . . . . . . . . . . . . 407
             Olaf Stursberg and   
                Sebastian Panek   Control of Switched Hybrid Systems Based
                                  on Disjunctive Formulations  . . . . . . 421
              Paulo Tabuada and   
           George J. Pappas and   
                     Pedro Lima   Composing Abstractions of Hybrid Systems 436
                 Xiaobo Tan and   
                  John S. Baras   Optimal Control of Hysteresis in Smart
                                  Actuators: a Viscosity Solutions
                                  Approach . . . . . . . . . . . . . . . . 451
              Ashish Tiwari and   
                  Gaurav Khanna   Series of Abstractions for Hybrid
                                  Automata . . . . . . . . . . . . . . . . 465
                      Anonymous   Author Index . . . . . . . . . . . . . . 479


Lecture Notes in Computer Science
Volume 2290, 2002

           Frank van der Linden   Introduction . . . . . . . . . . . . . . 1
              Peter Knauber and   
                  Steffen Thiel   Session Report on Product Issues in
                                  Product Family Engineering . . . . . . . 3
                  Jan Bosch and   
               Gert Florijn and   
           Danny Greefhorst and   
               Juha Kuusela and   
             J. Henk Obbink and   
                     Klaus Pohl   Variability Issues in Software Product
                                  Lines  . . . . . . . . . . . . . . . . . 13
                 Klaus Pohl and   
                  Andreas Reuys   Considering Variabilities during
                                  Component Selection in Product Family
                                  Development  . . . . . . . . . . . . . . 22
                   Klaus Schmid   An Initial Model of Product Line
                                  Economics  . . . . . . . . . . . . . . . 38
               Rob van Ommering   Roadmapping a Product Population
                                  Architecture . . . . . . . . . . . . . . 51
         Alessandro Maccari and   
                   Claudio Riva   Architectural Evolution of Legacy
                                  Product Families . . . . . . . . . . . . 64
               Paul C. Clements   On the Importance of Product Line Scope  70
              Joachim Bayer and   
        Günter Böckle   Session Report for Session 2: Process
                                  Issues . . . . . . . . . . . . . . . . . 79
            Marko Auerswald and   
            Martin Herrmann and   
          Stefan Kowalewski and   
         Vincent Schulte-Coerne   Reliability-Oriented Product Line
                                  Engineering of Embedded Systems  . . . . 83
         Christoph Stoermer and   
               Markus Roeddiger   Introducing Product Lines in Small
                                  Embedded Systems . . . . . . . . . . . . 101
                    Isabel John   Integrating Legacy Documentation Assets
                                  into a Product Line  . . . . . . . . . . 113
                  Steffen Thiel   On the Definition of a Framework for an
                                  Architecting Process Supporting Product
                                  Family Development . . . . . . . . . . . 125
           Mikael Svahnberg and   
               Michael Mattsson   Conditions and Restrictions for Product
                                  Line Generation Migration  . . . . . . . 143
              Peter Knauber and   
              Jesus Bermejo and   
    Günter Böckle and   
Julio Cesar Sampaio do Prado Leite and   
       Frank van der Linden and   
             Linda Northrop and   
              Michael Stark and   
                 David M. Weiss   Quantifying Product Line Benefits  . . . 155
         Svein Hallsteinsen and   
                       Len Bass   Platform & Quality Solutions  . . . . . . 164
                   Len Bass and   
                 Mark Klein and   
                 Felix Bachmann   Quality Attribute Design Primitives and
                                  the Attribute Driven Design Method . . . 169
                  Fons de Lange   The Philips-Open TV\reg Product Family
                                  Architecture for Interactive Set-Top
                                  Boxes  . . . . . . . . . . . . . . . . . 187
     Marie-José Blin and   
    Françoise Fabret and   
            Olga Kapitskaia and   
        François Llirbat   ProjectLeader: a Constraint-Based
                                  Process Support for the Distributed
                                  Design of Component-Based Products . . . 207
       Frank van der Linden and   
            Jan Gerben Wijnstra   Platform Engineering for the Medical
                                  Domain . . . . . . . . . . . . . . . . . 224
                   Anu Purhonen   Quality Attribute Taxonomies for DSP
                                  Software Architecture Design . . . . . . 238
                     Joe Bauman   The Perfect Architecture is Non-optimal
                                  --- Winning with Chaos . . . . . . . . . 248
                 Linda Northrop   Report on Discussion Sessions
                                  ``Diversity Solutions'' and
                                  ``Light-Weight Processes'' . . . . . . . 258
         Svein Hallsteinsen and   
                     Eric Swane   Handling the Diversity of Networked
                                  Devices by Means of a Product Family
                                  Approach . . . . . . . . . . . . . . . . 264
             Charles W. Krueger   Easing the Transition to Software Mass
                                  Customization  . . . . . . . . . . . . . 282
              Martin Becker and   
                 Lars Geyer and   
            Andreas Gilbert and   
                 Karsten Becker   Comprehensive Variability Modelling to
                                  Facilitate Efficient Variability
                                  Treatment  . . . . . . . . . . . . . . . 294
              Serge Salicki and   
                 Nicolas Farcet   Expression and Usage of the Variability
                                  in the Software Product Lines  . . . . . 304
             Rafael Capilla and   
          Juan C. Dueñas   Modelling Variability with Features in
                                  Distributed Architectures  . . . . . . . 319
            Eric M. Dashofy and   
      André van der Hoek   Representing Product Family
                                  Architectures in an Extensible
                                  Architecture Description Language  . . . 330
    Günter Böckle and   
                   Klaus Schmid   Product Validation: Discussion Report    342
                Ebru Dincel and   
           Nenad Medvidovic and   
      André van der Hoek   Measuring Product Line Architectures . . 346
     Balasubramaniam Ramesh and   
               Amrit Tiwana and   
                   Kannan Mohan   Supporting Information Product and
                                  Service Families with Traceability . . . 353
              Stefan Ferber and   
                Peter Heidl and   
                     Peter Lutz   Reviewing Product Line Architectures:
                                  Experience Report of ATAM in an
                                  Automotive Context . . . . . . . . . . . 364
         Josef Weingärtner   Product Family Engineering and Testing
                                  in the Medical Domain --- Validation
                                  Aspects  . . . . . . . . . . . . . . . . 383
               Paul C. Clements   Process Validation, Session Report . . . 388
             Herman Postema and   
                 J. Henk Obbink   Platform Based Product Development . . . 390
              Julio Mellado and   
          Juan C. Dueñas   Automated Validation Environment for a
                                  Product Line of Railway Traffic Control
                                  Systems  . . . . . . . . . . . . . . . . 401
              Joachim Bayer and   
                    Tanya Widen   Introducing Traceability to Product
                                  Lines  . . . . . . . . . . . . . . . . . 409
                      Anonymous   Author Index . . . . . . . . . . . . . . 417


Lecture Notes in Computer Science
Volume 2291, 2002

      Thomas Sòdring and   
                Alan F. Smeaton   Evaluating a Melody Extraction Engine    1
      Gérald Duffing and   
                Malika Sma\"\il   Organising and Searching Partially
                                  Indexed Image Databases  . . . . . . . . 22
              Daniel Heesch and   
              Stefan Rüger   Combining Features for Content-Based
                                  Sketch Retrieval --- A Comparative
                                  Evaluation of Retrieval Performance  . . 41
          Theodora Tsikrika and   
                  Mounia Lalmas   Combining Web Document Representations
                                  in a Bayesian Inference Network Model
                                  Using Link and Content-Based Evidence    53
               Sung Jin Kim and   
                    Sang Ho Lee   An Improved Computation of the PageRank
                                  Algorithm  . . . . . . . . . . . . . . . 73
            George Lepouras and   
          Costas Vassilakis and   
              George R. S. Weir   Serving Enhanced Hypermedia Information  86
              Ryen W. White and   
                Ian Ruthven and   
                 Joemon M. Jose   The Use of Implicit Evidence for
                                  Relevance Feedback in Web Retrieval  . . 93
                 Pertti Vakkari   Subject Knowledge, Source of Terms, and
                                  Term Selection in Query Expansion: An
                                  Analytical Study . . . . . . . . . . . . 110
              Anis Benammar and   
              Gilles Hubert and   
                  Josiane Mothe   Automatic Profile Reformulation Using a
                                  Local Document Analysis  . . . . . . . . 124
           Mohand Boughanem and   
                   Lynda Tamine   A Study on Using Genetic Niching for
                                  Query Optimisation in Document Retrieval 135
            R. K. Rajapakse and   
                      M. Denham   Concept Based Adaptive IR Model Using
                                  FCA-BAM Combination for Concept
                                  Representation and Encoding  . . . . . . 150
          Luis M. de Campos and   
Juan M. Fernández-Luna and   
                  Juan F. Huete   A Layered Bayesian Network Model for
                                  Document Retrieval . . . . . . . . . . . 169
               Gianni Amati and   
  Cornelis Joost van Rijsbergen   Term Frequency Normalization via Pareto
                                  Distributions  . . . . . . . . . . . . . 183
                Victor Lavrenko   Optimal Mixture Models in IR . . . . . . 193
        Madhusudhan Kongovi and   
         Juan Carlos Guzman and   
                    Venu Dasigi   Text Categorization: An Experiment Using
                                  Phrases  . . . . . . . . . . . . . . . . 213
                E. Gaussier and   
                  C. Goutte and   
                   K. Popat and   
                        F. Chen   A Hierarchical Model for Clustering and
                                  Categorising Documents . . . . . . . . . 229
                  C. Peters and   
                C. H. A. Koster   Uncertainty-Based Noise Reduction and
                                  Term Selection in Text Categorization    248
         Jesús Vegas and   
         Pablo de la Fuente and   
                 Fabio Crestani   A Graphical User Interface for
                                  Structured Document Retrieval  . . . . . 268
            Thomas Roelleke and   
              Mounia Lalmas and   
            Gabriella Kazai and   
                Ian Ruthven and   
                 Stefan Quicker   The Accessibility Dimension for
                                  Structured Document Retrieval  . . . . . 284
         Craig J. A. McEwan and   
                 Iadh Ounis and   
                    Ian Ruthven   Building Bilingual Dictionaries from
                                  Parallel Web Documents . . . . . . . . . 303
            Douglas W. Oard and   
                   Funda Ertunc   Translation-Based Indexing for
                                  Cross-Language Retrieval . . . . . . . . 324
                  Eero Sormunen   A Retrospective Evaluation Method for
                                  Exact-Match and Best-Match Queries
                                  Applying an Interactive Query
                                  Performance Analyser . . . . . . . . . . 334
                 Aidan Finn and   
        Nicholas Kushmerick and   
                    Barry Smyth   Genre Classification and Domain Transfer
                                  for Information Filtering  . . . . . . . 353
                      Anonymous   Author Index . . . . . . . . . . . . . . 363


Lecture Notes in Computer Science
Volume 2292, 2002

            Charles J. Colbourn   Multiple Access Communications Using
                                  Combinatorial Designs  . . . . . . . . . 1
                Marcos Kiwi and   
Frédéric Magniez and   
                  Miklos Santha   Exact and Approximate Testing/Correcting
                                  of Algebraic Functions: a Survey . . . . 30
 János Komlós and   
           Ali Shokoufandeh and   
   Miklós Simonovits and   
         Endre Szemerédi   The Regularity Lemma and Its
                                  Applications in Graph Theory . . . . . . 84
                  Kazem Lellahi   Modeling Data and Objects: An Algebraic
                                  View Point . . . . . . . . . . . . . . . 113
           Ali Shokoufandeh and   
                 Sven Dickinson   Graph-Theoretical Methods in Computer
                                  Vision . . . . . . . . . . . . . . . . . 148
               Amin Shokrollahi   An Introduction to Low-Density
                                  Parity-Check Codes . . . . . . . . . . . 175
              Vijay V. Vazirani   Primal-Dual Schema Based Approximation
                                  Algorithms . . . . . . . . . . . . . . . 198
                 Umesh Vazirani   Fourier Transforms and Quantum
                                  Computation  . . . . . . . . . . . . . . 208
                      Anonymous   Author Index . . . . . . . . . . . . . . 221


Lecture Notes in Computer Science
Volume 2293, 2002

                        J. Renz   1. Introduction  . . . . . . . . . . . . 1
                        J. Renz   2. Background  . . . . . . . . . . . . . 13
                        J. Renz   3. Qualitative Spatial Representation
                                  and Reasoning  . . . . . . . . . . . . . 31
                        J. Renz   4. The Region Connection Calculus  . . . 41
                        J. Renz   5. Cognitive Properties of Topological
                                  Spatial Relations  . . . . . . . . . . . 51
                        J. Renz   6. Computational Properties of RCC-8 . . 65
                        J. Renz   7. A Complete Analysis of Tractability
                                  in RCC-8 . . . . . . . . . . . . . . . . 117
                        J. Renz   8. Empirical Evaluation of Reasoning
                                  with RCC-8 . . . . . . . . . . . . . . . 131
                        J. Renz   9. Representational Properties of RCC-8  155
                        J. Renz   10. Conclusions  . . . . . . . . . . . . 173
                        J. Renz   A. Enumeration of the Relations of the
                                  Maximal Tractable Subsets of RCC-8 . . . 179
                      Anonymous   References . . . . . . . . . . . . . . . 191
                      Anonymous   Index  . . . . . . . . . . . . . . . . . 201


Lecture Notes in Computer Science
Volume 2294, 2002

        Cinzia Bernardeschi and   
         Nicoletta De Francesco   Combining Abstract Interpretation and
                                  Model Checking for Analysing Security
                                  Properties of Java Bytecode  . . . . . . 1
           Riccardo Focardi and   
               Carla Piazza and   
                   Sabina Rossi   Proofs Methods for Bisimulation Based
                                  Information Flow Security  . . . . . . . 16
              Gilles Barthe and   
            Guillaume Dufay and   
              Line Jakubiec and   
     Simão Melo de Sousa   A Formal Correspondence between
                                  Offensive and Defensive JavaCard Virtual
                                  Machines . . . . . . . . . . . . . . . . 32
             R. K. Shyamasundar   Analyzing Cryptographic Protocols in a
                                  Reactive Framework . . . . . . . . . . . 46
                         Li Tan   An Abstract Schema for
                                  Equivalence-Checking Games . . . . . . . 65
           Natalia Sidorova and   
                 Martin Steffen   Synchronous Closing of Timed SDL Systems
                                  for Model Checking . . . . . . . . . . . 79
               Marco Faella and   
         Salvatore La Torre and   
                 Aniello Murano   Automata-Theoretic Decision of Timed
                                  Games  . . . . . . . . . . . . . . . . . 94
          Witold Charatonik and   
      Supratik Mukhopadhyay and   
               Andreas Podelski   Compositional Termination Analysis of
                                  Symbolic Forward Analysis  . . . . . . . 109
               Samir Genaim and   
             Michael Codish and   
             John Gallagher and   
                  Vitaly Lagoon   Combining Norms to Prove Termination . . 126
        Andrzej S. Murawski and   
                   Kwangkeun Yi   Static Monotonicity Analysis for $
                                  \lambda $-definable Functions over
                                  Lattices . . . . . . . . . . . . . . . . 139
           Patricia M. Hill and   
                   Fausto Spoto   A Refinement of the Escape Property  . . 154
       Remko Tronçon and   
         Maurice Bruynooghe and   
             Gerda Janssens and   
               Francky Catthoor   Storage Size Reduction by In-place
                                  Mapping of Arrays  . . . . . . . . . . . 167
                Sava Krstic and   
                  John Matthews   Verifying BDD Algorithms through Monadic
                                  Interpretation . . . . . . . . . . . . . 182
         Alessandro Cimatti and   
              Marco Pistore and   
               Marco Roveri and   
             Roberto Sebastiani   Improving the Encoding of LTL Model
                                  Checking into SAT  . . . . . . . . . . . 196
                Lenore Zuck and   
                Amir Pnueli and   
                   Yonit Kesten   Automatic Verification of Probabilistic
                                  Free Choice  . . . . . . . . . . . . . . 208
               Roberta Gori and   
                   Giorgio Levi   An Experiment in Type Inference and
                                  Verification by Abstract Interpretation  225
         Salvatore La Torre and   
             Aniello Murano and   
              Margherita Napoli   Weak Muller Acceptance Conditions for
                                  Tree Automata  . . . . . . . . . . . . . 240
                Mario Coppo and   
 Mariangiola Dezani-Ciancaglini   A Fully Abstract Model for Higher-Order
                                  Mobile Ambients  . . . . . . . . . . . . 255
   Ferucio Laurentiu Tiplea and   
                  Aurora Tiplea   A Simulation Preorder for Abstraction of
                                  Reactive Systems . . . . . . . . . . . . 272
              Aidan Harding and   
                  Mark Ryan and   
          Pierre-Yves Schobbens   Approximating ATL$^*$ in ATL . . . . . . 289
                   Michael Huth   Model Checking Modal Transition Systems
                                  Using Kripke Structures  . . . . . . . . 302
                 Kai Baukus and   
           Yassine Lakhnech and   
                  Karsten Stahl   Parameterized Verification of a Cache
                                  Coherence Protocol: Safety and Liveness  317
                      Anonymous   Author Index . . . . . . . . . . . . . . 331


Lecture Notes in Computer Science
Volume 2295, 2002

         Cristian S. Calude and   
                   Elena Calude   Automata: From Uncertainty to Quantum    1
             Christian Choffrut   Elementary Theory of Ordinals with
                                  Addition and Left Translation by $
                                  \omega $ . . . . . . . . . . . . . . . . 15
                 Z. Ésik   The Equational Theory of Fixed Points
                                  with Applications to Generalized
                                  Language Theory  . . . . . . . . . . . . 21
               Thomas Eiter and   
              Georg Gottlob and   
              Thomas Schwentick   Second-Order Logic over Strings: Regular
                                  and Non-regular Fragments  . . . . . . . 37
                     Tero Harju   Decision Questions on Integer Matrices   57
                 Masami Ito and   
             Yoshiyuki Kunimoch   Some Petri Net Languages and Codes . . . 69
               Helmut Prodinger   Words, Permutations, and Representations
                                  of Numbers . . . . . . . . . . . . . . . 81
          Alexander A. Razborov   Proof Complexity of Pigeonhole
                                  Principles . . . . . . . . . . . . . . . 100
            Antonio Restivo and   
                  Sergio Salemi   Words and Patterns . . . . . . . . . . . 117
                Wolfgang Thomas   A Short Introduction to Infinite
                                  Automata . . . . . . . . . . . . . . . . 130
                 Thierry Cachat   The Power of One-Letter Rational
                                  Languages  . . . . . . . . . . . . . . . 145
                 Ludwig Staiger   The Entropy of Lukasiewicz-Languages . . 155
            D. S. Ananichev and   
                   M. V. Volkov   Collapsing Words vs. Synchronizing Words 166
                Karel Culik and   
      Juhani Karhumäki and   
                    Jarkko Kari   A Note on Synchronized Automata and Road
                                  Coloring Problem . . . . . . . . . . . . 175
          C. Câmpeanu and   
                 K. Salomaa and   
       S. Vágvölgyi   Shuffle Quotient and Decompositions  . . 186
            Gundula Niemann and   
              Jens R. Woinowski   The Growing Context-Sensitive Languages
                                  Are the Acyclic Context-Sensitive
                                  Languages  . . . . . . . . . . . . . . . 197
                 Dietrich Kuske   Recognizable Sets of N-Free Pomsets Are
                                  Monadically Axiomatizable  . . . . . . . 206
             Z. Ésik and   
            Z. L. Németh   Automata on Series-Parallel Biposets . . 217
           Joost Engelfriet and   
               Sebastian Maneth   Hierarchies of String Languages
                                  Generated by Deterministic Tree
                                  Transducers  . . . . . . . . . . . . . . 228
          Thomas Schwentick and   
       Denis Thérien and   
               Heribert Vollmer   Partially-Ordered Two-Way Automata: a
                                  New Characterization of DA . . . . . . . 239
     Christian Glaßer and   
                  Heinz Schmitz   Level $ 5 / 2 $ of the Straubing-Thérien
                                  Hierarchy for Two-Letter Alphabets . . . 251
          Juraj Hromkovi\vc and   
                Georg Schnitger   On the Power of Randomized Pushdown
                                  Automata . . . . . . . . . . . . . . . . 262
                Gerhard Lischke   The Root of a Language and Its
                                  Complexity . . . . . . . . . . . . . . . 272
             Henning Fernau and   
                    Ralf Stiebe   Valuated and Valence Grammars: An
                                  Algebraic View . . . . . . . . . . . . . 281
          Hendrik Jan Hoogeboom   Context-Free Valence Grammars ---
                                  Revisited  . . . . . . . . . . . . . . . 293
                Vesa Halava and   
                     Tero Harju   An Undecidability Result Concerning
                                  Periodic Morphisms . . . . . . . . . . . 304
             Manfred Kudlek and   
                 Yurii Rogozhin   A Universal Turing Machine with $3$
                                  States and $9$ Symbols . . . . . . . . . 311
         Michael Domaratzki and   
            Jeffrey Shallit and   
                       Sheng Yu   Minimal Covers of Formal Languages . . . 319
            Gundula Niemann and   
              Johannes Waldmann   Some Regular Languages That Are
                                  Church--Rosser Congruential  . . . . . . 330
                 M. Beaudry and   
                  M. Holzer and   
            Gundula Niemann and   
                        F. Otto   On the Relationship between the
                                  McNaughton Families of Languages and the
                                  Chomsky Hierarchy  . . . . . . . . . . . 340
            Filippo Mignosi and   
            Antonio Restivo and   
            Marinella Sciortino   Forbidden Factors and Fragment Assembly  349
Erzsébet Csuhaj-Varjú and   
             György Vaszil   Parallel Communicating Grammar Systems
                                  with Incomplete Information
                                  Communication  . . . . . . . . . . . . . 359
            Branislav Rovan and   
       Marián Sla\vst'an   Eliminating Communication by Parallel
                                  Rewriting  . . . . . . . . . . . . . . . 369
          Petr Sosík and   
                  Rudolf Freund   String Rewriting Sequential P-Systems
                                  and Regulated Rewriting  . . . . . . . . 379
                      Anonymous   Author Index . . . . . . . . . . . . . . 389


Lecture Notes in Computer Science
Volume 2296, 2002

                Andrzej Skowron   Approximate Reasoning by Agents  . . . . 3
          Krzysztof Zieli\'nski   Network Services in Context of Pervasive
                                  Mobile Internet  . . . . . . . . . . . . 15
               Nesria Agray and   
         Wiebe van der Hoek and   
                   Erik de Vink   On BAN Logics for Industrial Security
                                  Protocols  . . . . . . . . . . . . . . . 29
   Stanislaw Ambroszkiewicz and   
               Tomasz Nowak and   
         Dariusz Mikulowski and   
             Leszek Rozwadowski   A Concept of Agent Language in
                                  Agentspace . . . . . . . . . . . . . . . 37
               Andrzej Bielecki   Agent's Adaptivity --- Some Aspects of
                                  Theoretical Foundations of a Neural
                                  Agent Training Process . . . . . . . . . 47
                 J. Burgett and   
                 S. Hussain and   
               C. M. Jonker and   
                   A. Razaq and   
                        K. Silz   Mobie: Personalized Automated Recharge
                                  of Prepaid Mobile Phones . . . . . . . . 54
      Krzysztof Cetnarowicz and   
                Pablo Gruer and   
            Vincent Hilaire and   
                   Abder Koukam   A Formal Specification of M-Agent
                                  Architecture . . . . . . . . . . . . . . 62
      Krzysztof Cetnarowicz and   
             Jaros\law Ko\'zlak   Multi-agent System for Flexible
                                  Manufacturing Systems Management . . . . 73
               Frank Dignum and   
                David Kinny and   
                  Liz Sonenberg   Motivational Attitudes of Agents: On
                                  Desires, Obligations, and Norms  . . . . 83
                    Maria Fasli   On Commitments, Roles, and Obligations   93
              Mariusz Flasinski   Automata-Based Multi-agent Model as a
                                  Tool for Constructing Real-Time
                                  Intelligent Control Systems  . . . . . . 103
                Krzysztof Gajos   Rascal --- A Resource Manager for Multi
                                  Agent Systems in Smart Spaces  . . . . . 111
        Vladimir Gorodetski and   
              Oleg Karsayev and   
               Igor Kotenko and   
                Alexey Khabalov   Software Development Kit for Multi-agent
                                  Systems Design and Implementation  . . . 121
               Nabil Hameurlain   Formal Semantics for Behavioural
                                  Substitutability of Agent Components:
                                  Application to Interaction Protocols . . 131
        Catholijn M. Jonker and   
                  Jan Treur and   
        Wouter C. A. Wijngaards   A Modelling Environment for Mind and
                                  Matter Aspects of Intentional Behaviour  141
        Catholijn M. Jonker and   
                  Jan Treur and   
        Wouter C. A. Wijngaards   Temporal Languages for Simulation and
                                  Analysis of the Dynamics within an
                                  Organisation . . . . . . . . . . . . . . 151
                   Janusz Jurek   Syntactic Pattern Recognition-Based
                                  Agents for Real-Time Expert Systems  . . 161
               Adorjan Kiss and   
           Joël Quinqueton   Learning User Preferences in Multi-agent
                                  System . . . . . . . . . . . . . . . . . 169
Sorabain Wolfheart de Lioncourt and   
                   Michael Luck   Towards Requirements Analysis for
                                  Autonomous Agent Behaviour . . . . . . . 179
        Antoni Mazurkiewicz and   
   Dobies\law Wróblewski   Messages, Clocks, and Gravitation  . . . 187
            Ndedi Monekosso and   
            Paolo Remagnino and   
                 Adam Szarowicz   An Improved Q-Learning Algorithm Using
                                  Synthetic Pheromones . . . . . . . . . . 197
           Edward Nawarecki and   
   Marek Kisiel-Dorohinicki and   
           Grzegorz Dobrowolski   Organisations in the Particular Class of
                                  Multi-agent Systems  . . . . . . . . . . 207
        Christoph Oechslein and   
       Franziska Klügl and   
             Rainer Herrler and   
                    Frank Puppe   UML for Behavior-Oriented Multi-agent
                                  Simulations  . . . . . . . . . . . . . . 217
              Ales Pavliska and   
                  Vilem Srovnal   Robot Disassembly Process Using
                                  Multi-agent System . . . . . . . . . . . 227
           Michal Pechoucek and   
             Vladimir Marik and   
                 Jaroslav Barta   CPlanT: An Acquaintance Model-Based
                                  Coalition Formation Multi-agent System   234
               Wojciech Penczek   Efficient Model Checking of
                                  Causal-Knowledge Protocols . . . . . . . 242
     Pierre-Michel Ricordel and   
                  Yves Demazeau   Volcano, a Vowels-Oriented Multi-agent
                                  Platform . . . . . . . . . . . . . . . . 253
José C. Romero Cortés and   
           Leonid B. Sheremetov   Model of Cooperation in Multi-agent
                                  Systems with Fuzzy Coalitions  . . . . . 263
           Nicolas Sabouret and   
            Jean-Paul Sansonnet   Learning Collective Behaviour from Local
                                  Interactions . . . . . . . . . . . . . . 273
                Sylvain Sauvage   MAS Oriented Patterns  . . . . . . . . . 283
          Alexander Smirnov and   
            Mikhail Pashkin and   
             Nikolai Chilov and   
              Tatiana Levashova   Multi-agent Architecture for Knowledge
                                  Fusion from Distributed Sources  . . . . 293
                  Tadeusz Szuba   Universal Formal Model of Collective
                                  Intelligence and Its IQ Measure  . . . . 303
             Wieke de Vries and   
           Frank S. de Boer and   
           Koen V. Hindriks and   
         Wiebe van der Hoek and   
            John-Jules C. Meyer   A Programming Language for Coordinating
                                  Group Actions  . . . . . . . . . . . . . 313
                Oleg Zaikin and   
           Alexandre Dolgui and   
         Przemyslaw Korytkowski   Optimization of Resource Allocation in
                                  Distributed Production Networks  . . . . 322
                  Xin Zhang and   
                  Henry Hexmoor   Utility-Based Role Exchange  . . . . . . 332
                      Anonymous   Author Index . . . . . . . . . . . . . . 341


Lecture Notes in Computer Science
Volume 2297, 2002

                      Roy Crole   Chapter 1 Introduction . . . . . . . . . 1
            Hilary A. Priestley   Chapter 2 Ordered Sets and Complete
                                  Lattices . . . . . . . . . . . . . . . . 21
                    Peter Aczel   Chapter 3 Algebras and Coalgebras  . . . 79
               Roland Backhouse   Chapter 4 Galois Connections and Fixed
                                  Point Calculus . . . . . . . . . . . . . 89
                 Jeremy Gibbons   Chapter 5 Calculating Functional
                                  Programs . . . . . . . . . . . . . . . . 149
              Henk Doornbos and   
               Roland Backhouse   Chapter 6 Algebra of Program Termination 203
                    Bart Jacobs   Chapter 7 Exercises in Coalgebraic
                                  Specification  . . . . . . . . . . . . . 237
               Richard Bird and   
             Jeremy Gibbons and   
                  Shin-Cheng Mu   Chapter 8 Algebraic Methods for
                                  Optimization Problems  . . . . . . . . . 281
            Burghard von Karger   Chapter 9 Temporal Algebra . . . . . . . 309
                      Anonymous   Author Index . . . . . . . . . . . . . . 387


Lecture Notes in Computer Science
Volume 2298, 2002

              Annelies Braffort   Research on Computer Science and Sign
                                  Language: Ethical Aspects  . . . . . . . 1
            Ari Y. Benbasat and   
             Joseph A. Paradiso   An Inertial Measurement Framework for
                                  Gesture Recognition and Applications . . 9
                  Timo Sowa and   
                 Ipke Wachsmuth   Interpretation of Shape-Related Iconic
                                  Gestures in Virtual Environments . . . . 21
               Andrea Corradini   Real-Time Gesture Recognition by Means
                                  of Hybrid Recognizers  . . . . . . . . . 34
            Karin Husballe Munk   Development of a Gesture Plug-In for
                                  Natural Dialogue Interfaces  . . . . . . 47
         Thomas B. Moeslund and   
       Moritz Störring and   
                    Erik Granum   A Natural Interface to a Virtual
                                  Environment through Computer
                                  Vision-Estimated Pointing Gestures . . . 59
               Britta Bauer and   
          Karl-Friedrich Kraiss   Towards an Automatic Sign Language
                                  Recognition System Using Subunits  . . . 64
                Gaolin Fang and   
                    Wen Gao and   
                 Xilin Chen and   
                Chunli Wang and   
                      Jiyong Ma   Signer-Independent Continuous Sign
                                  Language Recognition Based on SRN/HMM    76
                Wang Chunli and   
                    Gao Wen and   
                      Ma Jiyong   A Real-Time Large Vocabulary Recognition
                                  System for Chinese Sign Language . . . . 86
                Wu Jiangqin and   
                        Gao Wen   The Recognition of Finger-Spelling for
                                  Chinese Sign Language  . . . . . . . . . 96
               Martha E. Tyrone   Overview of Capture Techniques for
                                  Studying Sign Language Phonetics . . . . 101
               Sylvie Gibet and   
Pierre-François Marteau and   
Frédéric Julliard   Models with Biological Relevance to
                                  Control Anthropomorphic Limbs: a Survey  105
             Ipke Wachsmuth and   
                    Stefan Kopp   Lifelike Gesture Synthesis and Timing
                                  for Conversational Agents  . . . . . . . 120
          Angus B. Grieve-Smith   SignSynth: a Sign Language Synthesis
                                  Application Using Web3D and Perl . . . . 134
               Richard Kennaway   Synthetic Animation of Deaf Signing
                                  Gestures . . . . . . . . . . . . . . . . 146
                 Isabella Poggi   From a Typology of Gestures to a
                                  Procedure for Gesture Production . . . . 158
         Margriet Verlinden and   
          Corrie Tijsseling and   
                    Han Frowein   A Signing Avatar on the WWW  . . . . . . 169
       Marie-Anne Sallandre and   
                Christian Cuxac   Iconicity in Sign Language: a
                                  Theoretical and Methodological Point of
                                  View . . . . . . . . . . . . . . . . . . 173
             Kazuyuki Kanda and   
             Akira Ichikawa and   
             Yuji Nagashima and   
                 Yushi Kato and   
              Mina Terauchi and   
               Daisuke Hara and   
                  Masanobu Sato   Notation System and Statistical Analysis
                                  of NMS in JSL  . . . . . . . . . . . . . 181
            Klimis Antzakas and   
                    Bencie Woll   Head Movements and Negation in Greek
                                  Sign Language  . . . . . . . . . . . . . 193
              Fanch Lejeune and   
          Annelies Braffort and   
     Jean-Pierre Desclés   Study on Semantic Representations of
                                  French Sign Language Sentences . . . . . 197
Antônio Carlos da Rocha Costa and   
 Graçaliz Pereira Dimuro   SignWriting-Based Sign Language
                                  Processing . . . . . . . . . . . . . . . 202
          Marianne Gullberg and   
              Kenneth Holmqvist   Visual Attention towards Gestures in
                                  Face-to-Face Interaction vs. on Screen   206
           Silke Steininger and   
            Bernd Lindemann and   
              Thorsten Paetzold   Labeling of Gestures in SmartKom --- The
                                  Coding System  . . . . . . . . . . . . . 215
                Nicole Beringer   Evoking Gestures in SmartKom --- Design
                                  of the Graphical User Interface  . . . . 228
           Marcelo M. Wanderley   Quantitative Analysis of Non-obvious
                                  Performer Gestures . . . . . . . . . . . 241
              Bernard Ogden and   
         Kerstin Dautenhahn and   
                Penny Stribling   Interactional Structure Applied to the
                                  Identification and Generation of Visual
                                  Interactive Behavior: Robots that
                                  (Usually) Follow the Rules . . . . . . . 254
                 Isabelle Dumas   Are Praxical Gestures Semiotised in
                                  Service Encounters?  . . . . . . . . . . 268
         A. Jonathan Howell and   
                  Hilary Buxton   Visually Mediated Interaction Using
                                  Learnt Gestures and Camera Control . . . 272
               Daniel Arfib and   
                Lo\"\ic Kessous   Gestural Control of Sound Synthesis and
                                  Processing Algorithms  . . . . . . . . . 285
            Aymeric Willier and   
               Catherine Marque   Juggling Gestures Analysis for Music
                                  Control  . . . . . . . . . . . . . . . . 296
             Thomas Hermann and   
        Claudia Nölker and   
                   Helge Ritter   Hand Postures for Sonification Control   307
           Helen Vassilakis and   
         A. Jonathan Howell and   
                  Hilary Buxton   Comparison of Feedforward (TDRBF) and
                                  Generative (TDRGBN) Network for Gesture
                                  Based Control  . . . . . . . . . . . . . 317
                      Anonymous   Author Index . . . . . . . . . . . . . . 323


Lecture Notes in Computer Science
Volume 2299, 2002

           Ralf Guido Herrtwich   Keynote: Communicating Cars: a Case for
                                  Ubiquitous Computing in the Automotive
                                  Domain . . . . . . . . . . . . . . . . . 3
               Marc Fleischmann   Keynote: Microprocessor Architectures
                                  for the Mobile Internet Era  . . . . . . 4
            Scott M. Thayer and   
               Peter Steenkiste   An Architecture for the Integration of
                                  Physical and Informational Spaces  . . . 7
                 Fritz Hohl and   
              Lars Mehrmann and   
                    Amen Hamdan   A Context System for a Mobile Service
                                  Platform . . . . . . . . . . . . . . . . 21
        Florian Michahelles and   
         Michael Samulowitz and   
                  Bernt Schiele   Detecting Context in Distributed Sensor
                                  Networks by Using Smart Context-Aware
                                  Packets  . . . . . . . . . . . . . . . . 34
   James ``Wez'' Weatherall and   
                  Duncan Grisby   A Ubiquitous Control Architecture for
                                  Low Power Systems  . . . . . . . . . . . 51
            Shang-Wen Cheng and   
               David Garlan and   
            Bradley Schmerl and   
    João Pedro Sousa and   
         Bridget Spitznagel and   
           Peter Steenkiste and   
                    Ningning Hu   Software Architecture-Based Adaptation
                                  for Pervasive Systems  . . . . . . . . . 67
      Christian Poellabauer and   
             Karsten Schwan and   
            Greg Eisenhauer and   
                   Jiantao Kong   KECho --- Event Communication for
                                  Distributed Kernel Services  . . . . . . 83
            Peter Coschurba and   
             Kurt Rothermel and   
                Frank Dürr   A Fine-Grained Addressing Concept for
                                  GeoCast  . . . . . . . . . . . . . . . . 101
           Christian Decker and   
                  Michael Beigl   Data Paths in Wearable Communication
                                  Networks . . . . . . . . . . . . . . . . 114
               Georgi Tonev and   
             Vaidy Sunderam and   
               Roger Loader and   
                   James Pascoe   Location and Network Quality Issues in
                                  Local Area Wireless Networks . . . . . . 131
                Tilman Wolf and   
               Mark A. Franklin   Design Tradeoffs for Embedded Network
                                  Processors . . . . . . . . . . . . . . . 149
           Sascha Wennekers and   
              Christian Siemers   Reconfigurable RISC --- A New Approach
                                  for Space-Efficient Superscalar
                                  Microprocessor Architecture  . . . . . . 165
                 Colin Egan and   
              Gordon Steven and   
                  Lucian Vintan   Cached Two-Level Adaptive Branch
                                  Predictors with Multiple Stages  . . . . 179
                  Tim Oodes and   
               Holger Krisp and   
  Christian Müller-Schloer   On the Combination of Assertions and
                                  Virtual Prototyping for the Design of
                                  Safety-Critical Systems  . . . . . . . . 195
             Frank Burchert and   
             Stephan Gatzka and   
       Christian Hochberger and   
              Chang-Kun Lee and   
               Ulrike Lucke and   
           Djamshid Tavangarian   Ubiquitous Access to Wide-Area
                                  High-Performance Computing . . . . . . . 209
             Gero Mühl and   
               Ludger Fiege and   
             Alejandro Buchmann   Filter Similarities in Content-Based
                                  Publish/Subscribe Systems  . . . . . . . 224
         Fridtjof Feldbusch and   
             Alexander Paar and   
            Manuel Odendahl and   
                    Ivan Ivanov   A Bluetooth Remote Control System  . . . 241
            Frank Siegemund and   
                   Michael Rohs   Rendezvous Layer Protocols for
                                  Bluetooth-Enabled Smart Devices  . . . . 256
                Xiaoyuan Gu and   
         Hannes Hartenstein and   
                 Stefan Fischer   A Robust Header Compression Simulator &
                                  Visualizer . . . . . . . . . . . . . . . 274
                      Anonymous   Author Index . . . . . . . . . . . . . . 287


Lecture Notes in Computer Science
Volume 2301, 2002

            Walter G. Kropatsch   Abstraction Pyramids on Discrete
                                  Representations  . . . . . . . . . . . . 1
             Ullrich Köthe   XPMaps and Topological Segmentation ---
                                  A Unified Approach to Finite Topologies
                                  in the Plane . . . . . . . . . . . . . . 22
              Grit Thürmer   Curves in $ {\it Z \! \! \! Z}^n $ . . . 34
                J. C. Ciria and   
        E. Domínguez and   
           A. R. Francés   Separation Theorems for Simplicity $ 26
                                  $-Surfaces . . . . . . . . . . . . . . . 45
       Franck Hétroy and   
               Dominique Attali   Topological Quadrangulations of Closed
                                  Triangulated Surfaces Using the Reeb
                                  Graph  . . . . . . . . . . . . . . . . . 57
          Leila De Floriani and   
  Mostefa Mohammed Mesmoudi and   
             Franco Morando and   
                   Enrico Puppo   Non-manifold Decomposition in Arbitrary
                                  Dimensions . . . . . . . . . . . . . . . 69
                  C. J. Gau and   
                   T. Yung Kong   $4$D Minimal Non-simple Sets . . . . . . 81
                   Luc Brun and   
            Walter G. Kropatsch   Receptive Fields within the
                                  Combinatorial Pyramid Framework  . . . . 92
           Christophe Lohou and   
                Gilles Bertrand   A New $3$D $6$-Subiteration Thinning
                                  Algorithm Based on $ {P} $-Simple Points 102
                Yuqing Song and   
                   Aidong Zhang   Monotonic Tree . . . . . . . . . . . . . 114
                 S. Chastel and   
               P. Colantoni and   
                      A. Bretto   Displaying Image Neighborhood
                                  Hypergraphs Line-Graphs  . . . . . . . . 124
                 A. Frosini and   
                        G. Simi   The Reconstruction of a Bicolored Domino
                                  Tiling from Two Projections  . . . . . . 136
           Alfred M. Bruckstein   Digital Geometry for Image-Based
                                  Metrology  . . . . . . . . . . . . . . . 145
              Vincent Agnus and   
                Christian Ronse   Topological Reconstruction of Occluded
                                  Objects in Video Sequences . . . . . . . 155
                Jose Crespo and   
               Victor Maojo and   
José A. Sanandrés and   
           Holger Billhardt and   
           Alberto Muñoz   On the Strong Property of Connected
                                  Open-Close and Close-Open Filters  . . . 165
                  Pierre Soille   Advances in the Analysis of Topographic
                                  Features on Discrete Images  . . . . . . 175
               Pieter P. Jonker   Morphological Operations in Recursive
                                  Neighbourhoods . . . . . . . . . . . . . 187
  Grégoire Malandain and   
         Jean-Daniel Boissonnat   Computing the Diameter of a Point Set    197
           Lluís Ros and   
           Kokichi Sugihara and   
                Federico Thomas   Shape Representation Using Trihedral
                                  Mesh Projections . . . . . . . . . . . . 209
          Guillaume Damiand and   
                  Patrick Resch   Topological Map Based Algorithms for
                                  $3$D Image Segmentation  . . . . . . . . 220
             Jovi\vsa \vZuni\'c   On Characterization of Discrete
                                  Triangles by Discrete Moments  . . . . . 232
          Ida-Maria Sintorn and   
              Gunilla Borgefors   Weighted Distance Transforms for Images
                                  Using Elongated Voxel Grids  . . . . . . 244
         Javier Cortadellas and   
                 Josep Amat and   
                  Manel Frigola   Robust Normalization of Shapes . . . . . 255
            Joakim Lindblad and   
            Ingela Nyström   Surface Area Estimation of Digitized
                                  $3$D Objects Using Local Computations    267
                Gabor T. Herman   An Abstract Theoretical Foundation of
                                  the Geometry of Digital Spaces . . . . . 279
                 Peter Veelaert   Concurrency of Line Segments in
                                  Uncertain Geometry . . . . . . . . . . . 289
             Michel Couprie and   
            Gilles Bertrand and   
                Yukiko Kenmochi   Discretization in $2$D and $3$D Orders   301
                    Eric Andres   Defining Discrete Objects for
                                  Polygonalization: The Standard Model . . 313
               David Coeurjolly   Visibility in Discrete Geometry: An
                                  Application to Discrete Geodesic Paths   326
            Jasmine Burguet and   
         Rémy Malgouyres   Multi-scale Discrete Surfaces  . . . . . 338
               Kokichi Sugihara   Invertible Minkowski Sum of Polygons . . 350
         Jocelyn Marchadier and   
            Didier Arqu\`es and   
               Sylvain Michelin   Thinning Grayscale Well-Composed Images:
                                  a New Approach for Topological Coherent
                                  Image Segmentation . . . . . . . . . . . 360
                   Lilian Buzer   An Incremental Linear Time Algorithm for
                                  Digital Line and Plane Recognition Using
                                  a Linear Incremental Feasibility Problem 372
                  J. Starck and   
                  A. Hilton and   
                 J. Illingworth   Reconstruction of Animated Models from
                                  Images Using Constrained Deformable
                                  Surfaces . . . . . . . . . . . . . . . . 382
                  E. Balogh and   
                    A. Kuba and   
               A. Del Lungo and   
                       M. Nivat   Reconstruction of Binary Matrices from
                                  Absorbed Projections . . . . . . . . . . 392
      Mohammed Mostefa Mesmoudi   A Simplified Recognition Algorithm of
                                  Digital Planes Pieces  . . . . . . . . . 404
      Philippe Carré and   
                    Eric Andres   Ridgelet Transform Based on Reveill\`es
                                  Discrete Lines . . . . . . . . . . . . . 417
         Rémy Malgouyres   A Discrete Radiosity Method  . . . . . . 428
                      Anonymous   Author Index . . . . . . . . . . . . . . 439


Lecture Notes in Computer Science
Volume 2302, 2002

              Christian Schulte   1. Introduction  . . . . . . . . . . . . 1
              Christian Schulte   2. Constraint Programming  . . . . . . . 9
              Christian Schulte   3. Introducing Oz Light  . . . . . . . . 15
              Christian Schulte   4. Spaces for Search . . . . . . . . . . 29
              Christian Schulte   5. Search Engines  . . . . . . . . . . . 45
              Christian Schulte   6. Best-Solution Search  . . . . . . . . 55
              Christian Schulte   7. Recomputation . . . . . . . . . . . . 59
              Christian Schulte   8. Oz Explorer: Visual Search  . . . . . 69
              Christian Schulte   9. Distributed Search  . . . . . . . . . 79
              Christian Schulte   10. Spaces for Combinators . . . . . . . 93
              Christian Schulte   11. Constraint Combinators . . . . . . . 105
              Christian Schulte   12. Implementing Oz Light  . . . . . . . 117
              Christian Schulte   13. Implementing Spaces  . . . . . . . . 121
              Christian Schulte   14. Other Approaches to Search . . . . . 143
              Christian Schulte   15. Conclusion . . . . . . . . . . . . . 153
              Christian Schulte   A. Benchmark Problems and Platforms  . . 157
                      Anonymous   References . . . . . . . . . . . . . . . 161
                      Anonymous   Index  . . . . . . . . . . . . . . . . . 171


Lecture Notes in Computer Science
Volume 2303, 2002

                Bruno Courcelle   Semantical Evaluations as Monadic
                                  Second-Order Compatible Structure
                                  Transformations  . . . . . . . . . . . . 1
Erika Ábrahám-Mumm and   
           Frank S. de Boer and   
      Willem-Paul de Roever and   
                 Martin Steffen   Verification for Java's Reentrant
                                  Multithreading Concept . . . . . . . . . 5
              Michel Bidoit and   
                 Rolf Hennicker   On the Integration of Observability and
                                  Reachability Concepts  . . . . . . . . . 21
           Frank S. de Boer and   
        Maurizio Gabbrielli and   
               Maria Chiara Meo   Proving Correctness of Timed Concurrent
                                  Constraint Programs  . . . . . . . . . . 37
            Benedikt Bollig and   
             Martin Leucker and   
                    Thomas Noll   Generalised Regular MSC Languages  . . . 52
            Michele Boreale and   
                  Daniele Gorla   On Compositional Reasoning in the
                                  Spi-calculus . . . . . . . . . . . . . . 67
              Corina C\^\irstea   On Specification Logics for
                                  Algebra-Coalgebra Structures:
                                  Reconciling Reachability and
                                  Observability  . . . . . . . . . . . . . 82
              Olivier Danvy and   
               Lasse R. Nielsen   A First-Order One-Pass CPS
                                  Transformation . . . . . . . . . . . . . 98
           Ernst-Erich Doberkat   The Demonic Product of Probabilistic
                                  Relations  . . . . . . . . . . . . . . . 114
          Gianluigi Ferrari and   
              Ugo Montanari and   
                  Marco Pistore   Minimizing Transition Systems for Name
                                  Passing Calculi: a Co-algebraic
                                  Formulation  . . . . . . . . . . . . . . 129
          Carsten Führmann   Varieties of Effects . . . . . . . . . . 144
            Emmanuel Godard and   
           Yves Métivier   A Characterization of Families of Graphs
                                  in Which Election Is Possible  . . . . . 159
              Petr Jan\vcar and   
    Antonín Ku\vcera and   
               Faron Moller and   
             Zdenék Sawa   Equivalence-Checking with One-Counter
                                  Automata: a Generic Method for Proving
                                  Lower Bounds . . . . . . . . . . . . . . 172
                 Somesh Jha and   
              Jens Palsberg and   
                      Tian Zhao   Efficient Type Matching  . . . . . . . . 187
              Teodor Knapik and   
            Damian Niwinski and   
                Pawe\l Urzyczyn   Higher-Order Pushdown Trees Are Easy . . 205
                Manuel Koch and   
           Luigi V. Mancini and   
      Francesco Parisi-Presicce   Conflict Detection and Resolution in
                                  Access Control Policy Specifications . . 223
                 Alexander Kurz   Logics Admitting Final Semantics . . . . 238
               Martin Lange and   
                 Colin Stirling   Model Checking Fixed Point Logic with
                                  Chop . . . . . . . . . . . . . . . . . . 250
François Laroussinie and   
             Nicolas Markey and   
           Philippe Schnoebelen   On Model Checking Durational Kripke
                                  Structures . . . . . . . . . . . . . . . 264
           Christof Löding   Model-Checking Infinite Systems
                                  Generated by Ground Tree Rewriting . . . 280
              Markus Lohrey and   
                  Anca Muscholl   Bounded MSC Communication  . . . . . . . 295
                    Keye Martin   The Informatic Derivative at a Compact
                                  Element  . . . . . . . . . . . . . . . . 310
               Till Mossakowski   Heterogeneous Development Graphs and
                                  Heterogeneous Borrowing  . . . . . . . . 326
             Gordon Plotkin and   
                     John Power   Notions of Computation Determine Monads  342
              Luigi Santocanale   A Calculus of Circular Proofs and Its
                                  Categorical Semantics  . . . . . . . . . 357
         Ulrich Schöpp and   
                   Alex Simpson   Verifying Temporal Properties Using
                                  Explicit Approximants: Completeness for
                                  Context-free Processes . . . . . . . . . 372
             Ji\vrí Srba   Note on the Tableau Technique for
                                  Commutative Transition Systems . . . . . 387
              Hongseok Yang and   
                  Peter O'Hearn   A Semantic Basis for Local Reasoning . . 402
             Nobuko Yoshida and   
                Kohei Honda and   
                  Martin Berger   Linearity and Bisimulation . . . . . . . 417
                      Anonymous   Author Index . . . . . . . . . . . . . . 435


Lecture Notes in Computer Science
Volume 2304, 2002

              Marjan Mernik and   
                Mitja Lenic and   
        Enis Avdicau\vsevic and   
                   Viljem Zumer   LISA: An Interactive Environment for
                                  Programming Language Development . . . . 1
              M. Anton Ertl and   
                    David Gregg   Building an Interpreter with \em Vmgen   5
             Hubert Garavel and   
Frédéric Lang and   
                  Radu Mateescu   Compiler Construction Using LOTOS NT . . 9
               Youtao Zhang and   
                    Rajiv Gupta   Data Compression Transformations for
                                  Dynamically Allocated Data Structures    14
              Gagan Agrawal and   
                 Jinqian Li and   
                          Qi Su   Evaluating a Demand Driven Technique for
                                  Call Graph Construction  . . . . . . . . 29
                  Markus Mohnen   A Graph-Free Approach to Data-Flow
                                  Analysis . . . . . . . . . . . . . . . . 46
                Rajiv Gupta and   
             Eduard Mehofer and   
                   Youtao Zhang   A Representation for Bit Section Based
                                  Analysis and Optimization  . . . . . . . 62
                 David Oren and   
               Yossi Matias and   
                    Mooly Sagiv   Online Subpath Profiling . . . . . . . . 78
           Michael Gschwind and   
                    Erik Altman   Precise Exception Semantics in Dynamic
                                  Compilation  . . . . . . . . . . . . . . 95
       Jerome Miecznikowski and   
                 Laurie Hendren   Decompiling Java Bytecode: Problems,
                                  Traps and Pitfalls . . . . . . . . . . . 111
               Eric Van Wyk and   
               Oege de Moor and   
            Kevin Backhouse and   
               Paul Kwiatkowski   Forwarding in Attribute Grammars for
                                  Modular Language Design  . . . . . . . . 128
   Mark G. J. van den Brand and   
           Jeroen Scheerder and   
            Jurgen J. Vinju and   
                   Eelco Visser   Disambiguation Filters for Scannerless
                                  Generalized LR Parsers . . . . . . . . . 143
             Patrick Cousot and   
                  Radhia Cousot   Modular Static Program Analysis  . . . . 159
              William Thies and   
          Michal Karczmarek and   
              Saman Amarasinghe   StreamIt: a Language for Streaming
                                  Applications . . . . . . . . . . . . . . 179
           Fergus Henderson and   
                 Zoltan Somogyi   Compiling Mercury to High-Level C Code   197
           George C. Necula and   
               Scott McPeak and   
             Shree P. Rahul and   
                 Westley Weimer   CIL: Intermediate Language and Tools for
                                  Analysis and Transformation of C
                                  Programs . . . . . . . . . . . . . . . . 213
Hanspeter Mössenböck and   
               Michael Pfeiffer   Linear Scan Register Allocation in the
                                  Context of SSA Form and Register
                                  Constraints  . . . . . . . . . . . . . . 229
         Andrea G. M. Cilio and   
                 Henk Corporaal   Global Variable Promotion: Using
                                  Registers to Reduce Cache Power
                                  Dissipation  . . . . . . . . . . . . . . 247
             Siddharth Rele and   
              Santosh Pande and   
                Soner Onder and   
                    Rajiv Gupta   Optimizing Static Power Dissipation by
                                  Functional Units in Superscalar
                                  Processors . . . . . . . . . . . . . . . 261
            Mahmut Kandemir and   
              Ibrahim Kolcu and   
                 Ismail Kadayif   Influence of Loop Optimizations on
                                  Energy Consumption of Multi-bank Memory
                                  Systems  . . . . . . . . . . . . . . . . 276
          Vitaly V. Mikheev and   
      Stanislav A. Fedoseev and   
       Vladimir V. Sukharev and   
               Nikita V. Lipsky   Effective Enhancement of Loop Versioning
                                  in Java  . . . . . . . . . . . . . . . . 293
                 Youfeng Wu and   
           Mauricio Serrano and   
         Rakesh Krishnaiyer and   
                     Wei Li and   
                     Jesse Fang   Value-Profile Guided Stride Prefetching
                                  for Irregular Code . . . . . . . . . . . 307
                  Feng Qian and   
             Laurie Hendren and   
                Clark Verbrugge   A Comprehensive Approach to Array Bounds
                                  Check Elimination for Java . . . . . . . 325
                      Anonymous   Author Index . . . . . . . . . . . . . . 343


Lecture Notes in Computer Science
Volume 2305, 2002

                 Greg Morrisett   Type Checking Systems Code . . . . . . . 1
            Tom Hirschowitz and   
                   Xavier Leroy   Mixin Modules in a Call-by-Value Setting 6
                   Dan Grossman   Existential Types for Imperative
                                  Languages  . . . . . . . . . . . . . . . 21
             David Aspinall and   
                 Martin Hofmann   Another Type System for In-Place Update  36
         Stefano Bistarelli and   
              Ugo Montanari and   
                Francesca Rossi   Soft Concurrent Constraint Programming   53
             Morgan McGuire and   
      Shriram Krishnamurthi and   
                 John F. Hughes   Programming Languages for Compressing
                                  Graphics . . . . . . . . . . . . . . . . 68
               Zhenjiang Hu and   
             Hideya Iwasaki and   
                Masato Takeichi   An Accumulative Parallel Skeleton for
                                  All  . . . . . . . . . . . . . . . . . . 83
              Stephanie Weirich   Higher-Order Intensional Type Analysis   98
               Joe B. Wells and   
                Christian Haack   Branching Types  . . . . . . . . . . . . 115
                    James Laird   Exceptions, Continuations and
                                  Macro-expressiveness . . . . . . . . . . 133
                      Neal Glew   A Theory of Second-Order Trees . . . . . 147
                  Susan Horwitz   Tool Support for Improving Test Coverage 162
                Mahmut Kandemir   Data Space Oriented Tiling . . . . . . . 178
                Matthieu Martel   Propagation of Roundoff Errors in Finite
                                  Precision Computations: a Semantics
                                  Approach . . . . . . . . . . . . . . . . 194
              Eric Goubault and   
            Matthieu Martel and   
                   Sylvie Putot   Asserting the Precision of
                                  Floating-Point Computations: a Simple
                                  Abstract Interpreter . . . . . . . . . . 209
              Mitchell Wand and   
            Galen B. Williamson   A Modular, Extensible Proof Method for
                                  Small-Step Flow Analyses . . . . . . . . 213
                 Peter Thiemann   A Prototype Dependency Calculus  . . . . 228
           Flemming Nielson and   
         Hanne Riis Nielson and   
                   Helmut Seidl   Automatic Complexity Analysis  . . . . . 243
            Cormac Flanagan and   
          Stephen N. Freund and   
                    Shaz Qadeer   Thread-Modular Verification for
                                  Shared-Memory Programs . . . . . . . . . 262
           Keith Wansbrough and   
            Michael Norrish and   
               Peter Sewell and   
               Andrei Serjantov   Timing UDP: Mechanized Semantics for
                                  Sockets, Threads, and Failures . . . . . 278
          Witold Charatonik and   
           Andrew D. Gordon and   
               Jean-Marc Talbot   Finite-Control Mobile Ambients . . . . . 295
      Jérôme Feret   Dependency Analysis of Mobile Systems    314
                      Anonymous   Author Index . . . . . . . . . . . . . . 331


Lecture Notes in Computer Science
Volume 2306, 2002

             Michel Charpentier   An Approach to Composition Motivated by
                                  wp . . . . . . . . . . . . . . . . . . . 1
              Gilles Barthe and   
               Dilian Gurov and   
                Marieke Huisman   Compositional Verification of Secure
                                  Applet Interactions  . . . . . . . . . . 15
              Hartmut Ehrig and   
            Fernando Orejas and   
            Benjamin Braatz and   
               Markus Klein and   
               Martti Piirainen   A Generic Component Framework for System
                                  Modeling . . . . . . . . . . . . . . . . 33
                 Antonio Cerone   Implementing Condition/Event Nets in the
                                  Circal Process Algebra . . . . . . . . . 49
                    Fei Xie and   
                James C. Browne   Integrated State Space Reduction for
                                  Model Checking Executable
                                  Object-Oriented Software System Designs  64
            Andreas Hagerer and   
               Hardi Hungar and   
               Oliver Niese and   
               Bernhard Steffen   Model Generation by Moderated Regular
                                  Extrapolation  . . . . . . . . . . . . . 80
                Sumit Kumar and   
                  Susan Horwitz   Better Slicing of Programs with Jumps
                                  and Switches . . . . . . . . . . . . . . 96
             Marco Bernardo and   
             Francesco Franz\`e   Architectural Types Revisited:
                                  Extensible And/Or Connections  . . . . . 113
Virgínia C. C. de Paula and   
               Thais V. Batista   Mapping an ADL to a Component-Based
                                  Application Development Environment  . . 128
           Mariano Belaunde and   
                 Mikael Peltier   From EDOC Components to CCM Components:
                                  a Precise Mapping Specification  . . . . 143
                 Tony Clark and   
                 Andy Evans and   
                    Stuart Kent   Engineering Modelling Languages: a
                                  Precise Meta-Modelling Approach  . . . . 159
               Juan de Lara and   
                Hans Vangheluwe   AToM$^3$: a Tool for Multi-formalism and
                                  Meta-modelling . . . . . . . . . . . . . 174
             Luciano Baresi and   
                  Mauro Pezz\`e   A Toolbox for Automating Visual Software
                                  Engineering  . . . . . . . . . . . . . . 189
           Julian Bradfield and   
 Juliana Küster Filipe and   
                Perdita Stevens   Enriching OCL Using Observational
                                  Mu-Calculus  . . . . . . . . . . . . . . 203
            Alexandre David and   
      M. Oliver Möller and   
                        Wang Yi   Formal Verification of UML Statecharts
                                  with Real-Time Extensions  . . . . . . . 218
         Reiner Hähnle and   
      Kristofer Johannisson and   
                    Aarne Ranta   An Authoring Tool for Informal and
                                  Formal Requirements Specifications . . . 233
                Felix Bübl   Introducing Context-Based Constraints    249
         Andreas Nonnengart and   
                 Georg Rock and   
                 Werner Stephan   Formal Requirements Engineering Using
                                  Observer Models  . . . . . . . . . . . . 264
         Oscar López and   
           Miguel A. Laguna and   
     Francisco J. García   Automatic Generation of Use Cases from
                                  Workflows: a Petri Net Based Approach    279
             Luciano Baresi and   
            Franca Garzotto and   
              Luca Mainetti and   
                  Paolo Paolini   Meta-modeling Techniques Meet Web
                                  Application Design Tools . . . . . . . . 294
            Antonio Navarro and   
  Baltasar Fernandez-Manjon and   
 Alfredo Fernandez-Valmayor and   
               Jose Luis Sierra   Formal-Driven Conceptualization and
                                  Prototyping of Hypermedia Applications   308
        João Gouveia and   
        Georgios Koutsoukos and   
         Michel Wermelinger and   
        Luís Andrade and   
      José Luiz Fiadeiro   The Coordination Development Environment 323
           Wolfgang Ahrendt and   
                Thomas Baar and   
           Bernhard Beckert and   
               Martin Giese and   
            Elmar Habermalz and   
         Reiner Hähnle and   
             Wolfram Menzel and   
         Wojciech Mostowski and   
               Peter H. Schmitt   The KEY System: Integrating
                                  Object-Oriented Design and Formal
                                  Methods  . . . . . . . . . . . . . . . . 327
                    Fei Xie and   
             Vladimir Levin and   
                James C. Browne   ObjectCheck: a Model Checking Tool for
                                  Executable Object-Oriented Software
                                  System Designs . . . . . . . . . . . . . 331
            Andreas Hagerer and   
               Hardi Hungar and   
           Tiziana Margaria and   
               Oliver Niese and   
           Bernhard Steffen and   
                Hans-Dieter Ide   Demonstration of an Operational
                                  Procedure for the Model-Based Testing of
                                  CTI Systems  . . . . . . . . . . . . . . 336
                      Anonymous   Author Index . . . . . . . . . . . . . . 341


Lecture Notes in Computer Science
Volume 2307, 2002

              Chengqi Zhang and   
                  Shichao Zhang   1. Introduction  . . . . . . . . . . . . 1
              Chengqi Zhang and   
                  Shichao Zhang   2. Association Rule  . . . . . . . . . . 25
              Chengqi Zhang and   
                  Shichao Zhang   3. Negative Association Rule . . . . . . 47
              Chengqi Zhang and   
                  Shichao Zhang   4. Causality in Databases  . . . . . . . 85
              Chengqi Zhang and   
                  Shichao Zhang   5. Causal Rule Analysis  . . . . . . . . 121
              Chengqi Zhang and   
                  Shichao Zhang   6. Association Rules in Very Large
                                  Databases  . . . . . . . . . . . . . . . 161
              Chengqi Zhang and   
                  Shichao Zhang   7. Association Rules in Small Databases  199
              Chengqi Zhang and   
                  Shichao Zhang   8. Conclusion and Future Work  . . . . . 225
              Chengqi Zhang and   
                  Shichao Zhang   References . . . . . . . . . . . . . . . 229
                      Anonymous   Subject Index  . . . . . . . . . . . . . 237


Lecture Notes in Computer Science
Volume 2308, 2002

      Christos H. Papadimitriou   Understanding the Internet . . . . . . . 1
            John Mylopoulos and   
                Manuel Kolp and   
                 Paolo Giorgini   Agent-Oriented Software Development  . . 3
             Nick Papadakis and   
           Dimitris Plexousakis   The Ramification and Qualification
                                  Problems in Temporal Databases . . . . . 18
    Ioannis Hatzilygeroudis and   
                   Jim Prentzas   Multi-inference with Multi-neurules  . . 30
           Ioannis Stamelos and   
              Ioannis Refanidis   Decision Making Based on Past Problem
                                  Cases  . . . . . . . . . . . . . . . . . 42
                George Antoniou   Relating Defeasible Logic to Extended
                                  Logic Programs . . . . . . . . . . . . . 54
                Kostas Stergiou   On Algorithms for Decomposable
                                  Constraints  . . . . . . . . . . . . . . 65
        Ioannis P. Vlahavas and   
          Ilias Sakellariou and   
                  Ivan Futo and   
             Zoltan Pasztor and   
                  Janos Szeredi   C SPCONS: a Communicating Sequential
                                  Prolog with Constraints  . . . . . . . . 72
Themistoklis Panayiotopoulos and   
            Harry Kalogirou and   
        Anthony Petropoulos and   
            Dionisis Dimopoulos   Genetic Evolution of Software
                                  Microorganisms . . . . . . . . . . . . . 85
            Ioannis Tsamardinos   A Probabilistic Approach to Robust
                                  Execution of Temporal Plans with
                                  Uncertainty  . . . . . . . . . . . . . . 97
           Harry Kornilakis and   
       Panagiotis Stamatopoulos   Crew Pairing Optimization with Genetic
                                  Algorithms . . . . . . . . . . . . . . . 109
    Panagiotis G. Zavlangas and   
            Spyros G. Tzafestas   Integration of Topological and Metric
                                  Maps for Indoor Mobile Robot Path
                                  Planning and Navigation  . . . . . . . . 121
        Ion Androutsopoulos and   
    Dimitris Spiliotopoulos and   
    Konstantinos Stamatakis and   
   Aggeliki Dimitromanolaki and   
       Vangelis Karkaletsis and   
     Constantine D. Spyropoulos   Symbolic Authoring for Multilingual
                                  Natural Language Generation  . . . . . . 131
              Gloria Dabiri and   
              Michael Brown and   
           Maria Aretoulaki and   
              Matthias Nitzsche   A User-Sensitive Spoken Dialogue System
                                  Incorporating Emotional Responsiveness   143
          Georgios Karberis and   
       Georgios Kouroupetroglou   Transforming Spontaneous Telegraphic
                                  Language to Well-Formed Greek Sentences
                                  for Alternative and Augmentative
                                  Communication  . . . . . . . . . . . . . 155
          Georgios Sigletos and   
         Georgios Paliouras and   
           Vangelis Karkaletsis   Role Identification from Free Text Using
                                  Hidden Markov Models . . . . . . . . . . 167
       Manolis Maragoudakis and   
        Nikolaos K. Tselios and   
         Nikolaos Fakotakis and   
            Nikolaos M. Avouris   Improving SMS Usability Using Bayesian
                                  Networks . . . . . . . . . . . . . . . . 179
          Maria Grigoriadou and   
           Harry Kornilakis and   
  Kyparisia A. Papanikolaou and   
             George D. Magoulas   Fuzzy Inference for Student Diagnosis in
                                  Adaptive Educational Hypermedia  . . . . 191
          Nikolaos Vassilas and   
            George Miaoulis and   
     Dionysios Chronopoulos and   
       Elias Konstantinidis and   
              Ioanna Ravani and   
           Dimitrios Makris and   
               Dimitri Plemenos   MultiCAD-GA: a System for the Design of
                                  $3$D Forms Based on Genetic Algorithms
                                  and Human Evaluation . . . . . . . . . . 203
            Yannis Avrithis and   
             Giorgos Stamou and   
      Anastasios Delopoulos and   
               Stefanos Kollias   Intelligent Semantic Access to
                                  Audiovisual Content  . . . . . . . . . . 215
     Dimitrios Frossyniotis and   
          Minas Pertselakis and   
           Andreas Stafylopatis   A Multi-clustering Fusion Algorithm  . . 225
                George Potamias   Distance and Feature-Based Clustering of
                                  Time Series: An Application on
                                  Neurophysiology  . . . . . . . . . . . . 237
      Michail G. Lagoudakis and   
                Ronald Parr and   
             Michael L. Littman   Least-Squares Methods in Reinforcement
                                  Learning for Control . . . . . . . . . . 249
        George Koundourakis and   
             Babis Theodoulidis   Association Rules & Evolution in Time . . 261
              Maria Halkidi and   
          Michalis Vazirgiannis   Managing Uncertainty and Quality in the
                                  Classification Process . . . . . . . . . 273
            Ioannis Kopanas and   
        Nikolaos M. Avouris and   
               Sophia Daskalaki   The Role of Domain Knowledge in a Large
                                  Scale Data Mining Project  . . . . . . . 288
           Costas Neocleous and   
               Christos Schizas   Artificial Neural Network Learning: a
                                  Comparative Review . . . . . . . . . . . 300
         Ioannis G. Tsoulos and   
           Isaac E. Lagaris and   
             Aristidis C. Likas   Piecewise Neural Networks for Function
                                  Approximation, Cast in a Form Suitable
                                  for Parallel Computation . . . . . . . . 314
        Christos Douligeris and   
                      Gang Feng   Using Hopfield Networks to Solve
                                  Assignment Problem and $N$-Queen
                                  Problem: An Application of Guided Trial
                                  and Error Technique  . . . . . . . . . . 325
Constantinos Constantinopoulos and   
        Michalis K. Titsias and   
                Aristidis Likas   A Bayesian Regularization Method for the
                                  Probabilistic RBF Network  . . . . . . . 337
         Theodoros Evgeniou and   
            Massimiliano Pontil   Support Vector Machines with Clustering
                                  for Training with Very Large Datasets    346
             Mihaela Gordan and   
    Constantine Kotropoulos and   
                  Ioannis Pitas   A Temporal Network of Support Vector
                                  Machine Classifiers for the Recognition
                                  of Visual Speech . . . . . . . . . . . . 355
           Gerasimos G. Rigatos   Fuzzy Stochastic Automata for Reactive
                                  Learning and Hybrid Control  . . . . . . 366
      George A. Tsihrintzis and   
         Konstantinos G. Girtis   Overview of Wave Probe-Based
                                  High-Resolution Subsurface Sensing,
                                  Imaging, and Vision  . . . . . . . . . . 378
           Stelios Krinidis and   
        Christophoros Nikou and   
                  Ioannis Pitas   $3$D Volume Reconstruction by Serially
                                  Acquired $2$D Slices Using a Distance
                                  Transform-Based Global Cost Function . . 390
   Dimitrios I. Kosmopoulos and   
     Konstantinos V. Chandrinos   Definition and Extraction of Visual
                                  Landmarks for Indoor Robot Navigation    401
        Antonios Gasteratos and   
                 Giulio Sandini   Factors Affecting the Accuracy of an
                                  Active Vision Head . . . . . . . . . . . 413
           Yannis Tzitzikas and   
           Nicolas Spyratos and   
          Panos Constantopoulos   Query Translation for Mediators over
                                  Ontology-Based Information Sources . . . 423
           Nick Bassiliades and   
               Ioannis Vlahavas   Intelligent Querying of Web Documents
                                  Using a Deductive XML Repository . . . . 437
     Ioannis Partsakoulakis and   
                  George Vouros   Roles in Collaborative Activity  . . . . 449
                 Petros Kefalas   Formal Modelling of Reactive Agents as
                                  an Aggregation of Simple Behaviours  . . 461
         Pavlos Georgilakis and   
            Nikos Hatziargyriou   On the Application of Artificial
                                  Intelligence Techniques to the Quality
                                  Improvement of Industrial Processes  . . 473
         Michael Dimopoulos and   
            Panagiotis Linardis   Using Non-uniform Crossover in Genetic
                                  Algorithm Methods to Speed up the
                                  Generation of Test Patterns for
                                  Sequential Circuits  . . . . . . . . . . 485
        Athanasios Tsakonas and   
                 George Dounias   Hybrid Computational Intelligence
                                  Schemes in Complex Domains: An Extended
                                  Review . . . . . . . . . . . . . . . . . 494
                      Anonymous   Author Index . . . . . . . . . . . . . . 513


Lecture Notes in Computer Science
Volume 2309, 2002

                    Greg Nelson   Foundations of a Constraint-Based
                                  Illustrator  . . . . . . . . . . . . . . 1
             Serge Autexier and   
               Till Mossakowski   Integrating \sc Hol-Casl into the
                                  Development Graph Manager \sc Maya . . . 2
        Christoph Lüth and   
                     Neil Ghani   Monads and Modularity  . . . . . . . . . 18
                  Michael Marte   A Modular Approach to Proving Confluence 33
         Alessandro Cimatti and   
         Enrico Giunchiglia and   
              Marco Pistore and   
               Marco Roveri and   
         Roberto Sebastiani and   
              Armando Tacchella   Integrating BDD-Based and SAT-Based
                                  Symbolic Model Checking  . . . . . . . . 49
         Tuba Yavuz-Kahveci and   
                  Tevfik Bultan   Heuristics for Efficient Manipulation of
                                  Composite Constraints  . . . . . . . . . 57
               Giorgio Delzanno   Constraint-Based Model Checking for
                                  Parameterized Synchronous Systems  . . . 72
                   Deepak Kapur   A Rewrite Rule Based Framework for
                                  Combining Decision Procedures  . . . . . 87
              Calogero G. Zarba   Combining Sets with Integers . . . . . . 103
            Martine Ceberio and   
           Laurent Granvilliers   Solving Nonlinear Equations by
                                  Abstraction, Gaussian Elimination, and
                                  Interval Methods . . . . . . . . . . . . 117
           Clark W. Barrett and   
              David L. Dill and   
                    Aaron Stump   A Generalization of Shostak's Method for
                                  Combining Decision Procedures  . . . . . 132
               Marco Cadoli and   
                   Toni Mancini   Combining Relational Algebra, SQL, and
                                  Constraint Programming . . . . . . . . . 147
          Philippe Balbiani and   
  Jean-François Condotta   Computational Complexity of
                                  Propositional Linear Temporal Logics
                                  Based on Qualitative Spatial or Temporal
                                  Reasoning  . . . . . . . . . . . . . . . 162
            Marco Gavanelli and   
              Evelina Lamma and   
                Paola Mello and   
                 Michela Milano   Exploiting Constraints for Domain
                                  Managing in CLP(FD)  . . . . . . . . . . 177
            Thom Fruehwirth and   
               Slim Abdennadher   Tutorial: Reasoning with, about and for
                                  Constraint Handling Rules  . . . . . . . 192
                   T. F. Melham   P ROSPER An Investigation into Software
                                  Architecture for Embedded Proof Engines  193
        Matthias Hölzl and   
               John N. Crossley   Constraint-Lambda Calculi  . . . . . . . 207
          João Rasga and   
    Amílcar Sernadas and   
          Cristina Sernadas and   
                  Luca Vigan\`o   Labelled Deduction over Algebras of
                                  Truth-Values . . . . . . . . . . . . . . 222
           Alfredo Burrieza and   
       Inma P. de Guzmán   A Temporal $ \times $ Modal Approach to
                                  the Definability of Properties of
                                  Functions  . . . . . . . . . . . . . . . 239
                      Anonymous   Author Index . . . . . . . . . . . . . . 255


Lecture Notes in Computer Science
Volume 2310, 2002

               Peter J. Bentley   Why Biologists and Computer Scientists
                                  Should Work Together . . . . . . . . . . 3
      Alexis Bienvenüe and   
             Marc Joannides and   
         Jean Bérard and   
        ÉricFontenas and   
        Olivier François   Niching in Monte Carlo Filtering
                                  Algorithms . . . . . . . . . . . . . . . 19
         Ronald W. Morrison and   
             Kenneth A. De Jong   Measurement of Population Diversity  . . 31
            Umberto Cerruti and   
            Mario Giacobini and   
                 Pierre Liardet   Prediction of Binary Sequences by
                                  Evolving Finite State Machines . . . . . 42
                   Arnaud Berny   Extending Selection Learning toward
                                  Fixed-Length $d$-Ary Strings . . . . . . 54
                D. F. Brown and   
      A. B. Garmendia-Doval and   
                J. A. W. McCall   Markov Random Field Modelling of Royal
                                  Road Genetic Algorithms  . . . . . . . . 65
              Alain Sidaner and   
           Olivier Bailleux and   
          Jean-Jacques Chabrier   Measuring the Spatial Dispersion of
                                  Evolutionary Search Processes:
                                  Application to Walksat . . . . . . . . . 77
             Andrew Johnson and   
               Jonathan Shapiro   The Importance of Selection Mechanisms
                                  in Distribution Estimation Algorithms    91
                  K. Abboud and   
                Marc Schoenauer   Surrogate Deterministic Mutation:
                                  Preliminary Results  . . . . . . . . . . 104
          Ingo la Tendresse and   
              Jens Gottlieb and   
                       Odej Kao   The Effects of Partial Restarts in
                                  Evolutionary Search  . . . . . . . . . . 117
             Benoit Leblanc and   
             Evelyne Lutton and   
      Bertrand Braunschweig and   
          Hervé Toulhoat   History and Immortality in Evolutionary
                                  Computation  . . . . . . . . . . . . . . 128
            Pierre-yves Oudeyer   Origins and Learnability of Syllable
                                  Systems: a Cultural Evolutionary Model   143
           Jerzy J. Korczak and   
           Piotr Lipi\'nski and   
                  Patrick Roger   Evolution Strategy in Portfolio
                                  Optimization . . . . . . . . . . . . . . 156
       Jean-Philippe Hamiez and   
                    Jin-Kao Hao   Scatter Search for Graph Coloring  . . . 168
             Thomas Bousonville   The Two Stage Continuous Parallel Flow
                                  Shop Problem with Limited Storage:
                                  Modeling and Algorithms  . . . . . . . . 180
Mériéma Bélaidouni and   
                    Jin-Kao Hao   SAT, Local Search Dynamics and Density
                                  of States  . . . . . . . . . . . . . . . 192
               Olga Rudenko and   
            Marc Schoenauer and   
              Tiziana Bosio and   
                Roberto Fontana   A Multiobjective Evolutionary Algorithm
                                  for Car Front End Design . . . . . . . . 205
             Evelyne Lutton and   
              Pierre Collet and   
                   Jean Louchet   EASEA Comparisons on Test Functions:
                                  GALib versus EO  . . . . . . . . . . . . 219
                 M. Keijzer and   
               J. J. Merelo and   
                  G. Romero and   
                Marc Schoenauer   Evolving Objects: a General Purpose
                                  Evolutionary Computation Library . . . . 231
           Denis Robilliard and   
                  Cyril Fonlupt   Backwarding : An Overfitting Control for
                                  Genetic Programming in a Remote Sensing
                                  Application  . . . . . . . . . . . . . . 245
                Alain Ratle and   
                Mich\`ele Sebag   Avoiding the Bloat with Stochastic
                                  Grammar-Based Genetic Programming  . . . 255
              Gregory Paris and   
           Denis Robilliard and   
                  Cyril Fonlupt   Applying Boosting Techniques to Genetic
                                  Programming  . . . . . . . . . . . . . . 267
          Rodolphe Le Riche and   
   Frédéric Guyon   Dual Evolutionary Optimization . . . . . 281
                  Stephen Smith   Using Evolutionary Algorithms
                                  Incorporating the Augmented Lagrangian
                                  Penalty Function to Solve Discrete and
                                  Continuous Constrained Non-linear
                                  Optimal Control Problems . . . . . . . . 295
             Jorge Casillas and   
           O. Cordón and   
                 F. Herrera and   
                   J. J. Merelo   Cooperative Coevolution for Learning
                                  Fuzzy Rule-Based Systems . . . . . . . . 311
            Ravi Srivastava and   
                   Amit Kaldate   Evolving Cooperative Ecosystems: a
                                  Multi-agent Simulation of Deforestation
                                  Activities . . . . . . . . . . . . . . . 323
                 Ian R. Edmonds   The Impact of Environmental Structure on
                                  the Evolutionary Trajectories of a
                                  Foraging Agent . . . . . . . . . . . . . 338
          Samuel Delepoulle and   
             Philippe Preux and   
        Jean-Claude Darcheville   Learning as a Consequence of Selection   350
      Franciszek Seredynski and   
               Albert Y. Zomaya   Coevolution and Evolving Parallel
                                  Cellular Automata --- Based Scheduling
                                  Algorithms . . . . . . . . . . . . . . . 362
                      Anonymous   Author Index . . . . . . . . . . . . . . 375


Lecture Notes in Computer Science
Volume 2311, 2002

                L. Rossides and   
            C. Chrysostomou and   
             A. Pitsillides and   
                 A. Sekercioglu   Overview of Fuzzy-RED in Diff-Serv
                                  Networks . . . . . . . . . . . . . . . . 1
               David Chieng and   
                    Ivan Ho and   
              Alan Marshall and   
                    Gerard Parr   An Architecture for Agent-Enhanced
                                  Network Service Provisioning through SLA
                                  Negotiation  . . . . . . . . . . . . . . 14
                   Roy Sterritt   Facing Fault Management as It Is, Aiming
                                  for What You Would Like It to Be . . . . 31
          Gianluca Bontempi and   
               Gauthier Lafruit   Enabling Multimedia QoS Control with
                                  Black-Box Modelling  . . . . . . . . . . 46
                Jianhan Zhu and   
                   Jun Hong and   
                 John G. Hughes   Using Markov Chains for Link Prediction
                                  in Adaptive Web Sites  . . . . . . . . . 60
             Michaela Black and   
                     Ray Hickey   Classification of Customer Call Data in
                                  the Presence of Concept Drift and Noise  74
     Filip \vZelezný and   
Ji\vrí Zídgek and   
Olga \vSt\vepánková   A Learning System for Decision Support
                                  in Telecommunications  . . . . . . . . . 88
           Trevor P. Martin and   
                  Benham Azvine   Adaptive User Modelling in an
                                  Intelligent Telephone Assistant  . . . . 102
                    Rolf Haenni   A Query-Driven Anytime Algorithm for
                                  Argumentative and Abductive Reasoning    114
             Gilles Richard and   
            Fatima Zohra Kettaf   Proof Length as an Uncertainty Factor in
                                  ILP  . . . . . . . . . . . . . . . . . . 128
                Rajiv Bagai and   
             Shellene J. Kelley   Paraconsistency in Object-Oriented
                                  Databases  . . . . . . . . . . . . . . . 141
          Gergely Lukács   Decision Support with Imprecise Data for
                                  Consumers  . . . . . . . . . . . . . . . 151
              Wolfgang Golubski   Genetic Programming: a Parallel Approach 166
            Manny M. Lehman and   
                    J. F. Ramil   Software Uncertainty . . . . . . . . . . 174
              Sally McClean and   
              Bryan Scotney and   
                   Fiona Palmer   Temporal Probabilistic Concepts from
                                  Heterogeneous Data Sequences . . . . . . 191
             Adele Marshall and   
                 David Bell and   
                   Roy Sterritt   Handling Uncertainty in a Medical Study
                                  of Dietary Intake During Pregnancy . . . 206
                 David McSherry   Sequential Diagnosis in the Independence
                                  Bayesian Framework . . . . . . . . . . . 217
                Dymitr Ruta and   
                  Bogdan Gabrys   Static Field Approach for Pattern
                                  Classification . . . . . . . . . . . . . 232
           Marzena Kryszkiewicz   Inferring Knowledge from Frequent
                                  Patterns . . . . . . . . . . . . . . . . 247
             Nahla Ben Amor and   
            Salem Benferhat and   
                Khaled Mellouli   Anytime Possibilistic Propagation
                                  Algorithm  . . . . . . . . . . . . . . . 263
                 Carl Adams and   
                David E. Avison   Macro Analysis of Techniques to Deal
                                  with Uncertainty in Information Systems
                                  Development: Mapping Representational
                                  Framing Influences . . . . . . . . . . . 280
               Isabel Ramos and   
            Daniel M. Berry and   
 João Á. Carvalho   The Role of Emotion, Values, and Beliefs
                                  in the Construction of Innovative Work
                                  Realities  . . . . . . . . . . . . . . . 300
                    Jim Tomayko   Managing Evolving Requirements Using
                                  eXtreme Programming  . . . . . . . . . . 315
             Colleen E. Crangle   Text Summarization in Data Mining  . . . 332
                  Benham Azvine   Industrial Applications of Intelligent
                                  Systems at BTexact . . . . . . . . . . . 348
                    John Bigham   Intelligent Control of Wireless and
                                  Fixed Telecom Networks . . . . . . . . . 349
       Professor Sir Tony Hoare   Assertions in Programming: From
                                  Scientific Theory to Engineering
                                  Practice . . . . . . . . . . . . . . . . 350
                Piero Bonissone   Hybrid Soft Computing for Classification
                                  and Prediction Applications  . . . . . . 352
                       Ray Paul   Why Users Cannot 'Get What They Want'    354
                  Derek McAuley   Systems Design with the Reverend Bayes   355
                Michael Jackson   Formalism and Informality in Software
                                  Development  . . . . . . . . . . . . . . 356
                Gordon Bell and   
                Bob Barbour and   
             Paul McMenamin and   
                 Dave Allen and   
               Maurice Mulvenna   An Industrial Perspective on Soft
                                  Issues: Successes, Opportunities, and
                                  Challenges . . . . . . . . . . . . . . . 357
                      Anonymous   Author Index . . . . . . . . . . . . . . 359


Lecture Notes in Computer Science
Volume 2312, 2002

        Ricardo Peña and   
                   Clara Segura   Sized Types for Typing Eden Skeletons    1
                  Dietmar Kreye   A Compilation Scheme for a Hierarchy of
                                  Array Types  . . . . . . . . . . . . . . 18
                 Clemens Grelck   Optimizations on Array Skeletons in a
                                  Shared Memory Environment  . . . . . . . 36
             Maarten de Mol and   
          Marko van Eekelen and   
               Rinus Plasmeijer   Theorem Proving for Functional
                                  Programmers  . . . . . . . . . . . . . . 55
         Andrew Butterfield and   
                   Glenn Strong   Proving Correctness of Programs with IO
                                  --- A Paradigm Comparison  . . . . . . . 72
       Alberto de la Encina and   
            Ricardo Peña   Proving the Correctness of the STG
                                  Machine  . . . . . . . . . . . . . . . . 88
        Karl-Filip Faxén   Dynamic Cheap Eagerness  . . . . . . . . 105
        Ricardo Peña and   
                   Clara Segura   A Polynomial-Cost Non-determinism
                                  Analysis . . . . . . . . . . . . . . . . 121
              Norman Scaife and   
            Greg Michaelson and   
               Susumu Horiguchi   Comparative Cross-Platform Performance
                                  Results from a Parallelizing SML
                                  Compiler . . . . . . . . . . . . . . . . 138
              Yasuhiko Minamide   Runtime Behavior of Conversion
                                  Interpretation of Subtyping  . . . . . . 155
            Artem Alimarine and   
               Rinus Plasmeijer   A Generic Programming Extension for
                                  Clean  . . . . . . . . . . . . . . . . . 168
                      Anonymous   Author Index . . . . . . . . . . . . . . 187


Lecture Notes in Computer Science
Volume 2313, 2002

  Abraham Sánchez L. and   
         René Zapata and   
           J. Abraham Arenas B.   Motion Planning for Car-Like Robots
                                  Using Lazy Probabilistic Roadmap Method  1
        Rafael Murrieta-Cid and   
               Carlos Parra and   
                Michel Devy and   
      Benjamín Tovar and   
                Claudia Esteves   A Vision System for Environment
                                  Representation: From Landscapes to
                                  Landmarks  . . . . . . . . . . . . . . . 11
         Victor de la Cueva and   
                 Fernando Ramos   Adapting the Messy Genetic Algorithm for
                                  Path Planning in Redundant and
                                  Non-redundant Manipulators . . . . . . . 21
                   G. Gomez and   
           L. Enrique Sucar and   
              Duncan F. Gillies   Navigation Advice from $ p q
                                  $-Histograms . . . . . . . . . . . . . . 31
   Gildardo Sánchez-Ante   Path Planning Using a Single-Query
                                  Bi-directional Lazy Collision Checking
                                  Planner  . . . . . . . . . . . . . . . . 41
            Leonardo Romero and   
         Eduardo F. Morales and   
               L. Enrique Sucar   An Exploration Approach for Indoor
                                  Mobile Robots Reducing Odometric Errors  51
Jesús A. Martínez Nuño and   
     Juan Humberto Sossa Azuela   Feature Matching Using Accumulation
                                  Spaces . . . . . . . . . . . . . . . . . 61
                   G. Gomez and   
                 M. Sanchez and   
               L. Enrique Sucar   On Selecting an Appropriate Colour Space
                                  for Skin Detection . . . . . . . . . . . 69
    Angel Fernando Kuri-Morales   A Methodology for the Statistical
                                  Characterization of Genetic Algorithms   79
Héctor Sanvicente-Sánchez and   
      Juan Frausto-Solís   MPSA: a Methodology to Parallelize
                                  Simulated Annealing and Its Application
                                  to the Traveling Salesman Problem  . . . 89
    Carlos A. Coello Coello and   
          Ricardo Landa Becerra   A Cultural Algorithm for Constrained
                                  Optimization . . . . . . . . . . . . . . 98
Angel Fernando Kuri-Morales and   
Jesús Gutiérrez-García   Penalty Function Methods for Constrained
                                  Optimization with Genetic Algorithms: a
                                  Statistical Analysis . . . . . . . . . . 108
Joaquín Pérez and   
              Rodolfo Pazos and   
                Laura Velez and   
     Guillermo Rodríguez   Automatic Generation of Control
                                  Parameters for the Threshold Accepting
                                  Algorithm  . . . . . . . . . . . . . . . 118
      E. Islas Pérez and   
    Carlos A. Coello Coello and   
Arturo Hernández-Aguirre and   
Alejandro Villavicencio Ramírez   Genetic Algorithms and Case-Based
                                  Reasoning as a Discovery and Learning
                                  Machine in the Optimization of
                                  Combinational Logic Circuits . . . . . . 128
           O. Mayora-Ibarra and   
                   F. Curatelli   Time-Domain Segmentation and Labelling
                                  of Speech with Fuzzy-Logic
                                  Post-Correction Rules  . . . . . . . . . 138
         Jesús Peral and   
       Antonio Ferrández   IL MT System. Evaluation for
                                  Spanish--English Pronominal Anaphora
                                  Generation . . . . . . . . . . . . . . . 146
Heriberto Cuayáhuitl and   
                   Ben Serridge   Out-of-Vocabulary Word Modeling and
                                  Rejection for Spanish Keyword Spotting
                                  Systems  . . . . . . . . . . . . . . . . 156
               L. A. Pineda and   
            A. Massé and   
                    I. Meza and   
                   M. Salas and   
                 E. Schwarz and   
                   E. Uraga and   
           L. Villaseñor   The \em DIME Project . . . . . . . . . . 166
   M. Montes-y-Gómez and   
                 A. Gelbukh and   
   A. López-López   Detecting Deviations in Text
                                  Collections: An Approach Using
                                  Conceptual Graphs  . . . . . . . . . . . 176
            Fernando Llopis and   
   Antonio Ferrández and   
        José Luis Vicedo   Using Long Queries in a Passage
                                  Retrieval System . . . . . . . . . . . . 185
               Georg Ringwelski   Object-Oriented Constraint Programming
                                  with J.CP  . . . . . . . . . . . . . . . 194
             Bernhard Heinemann   A Hybrid Treatment of Evolutionary Sets  204
                Ahti Pietarinen   Games and Logics of Knowledge for
                                  Multi-agent Systems  . . . . . . . . . . 214
     Ma. Guadalupe Quintana and   
                 Rafael Morales   Modelling Learners of a Control Task
                                  with Inductive Logic Programming: a Case
                                  Study  . . . . . . . . . . . . . . . . . 224
         Guillermo Morales-Luna   Simple Epistemic Logic for Relational
                                  Database . . . . . . . . . . . . . . . . 234
         Ana Paula Tomás   Solving Optimal Location of Traffic
                                  Counting Points at Urban Intersections
                                  in CLP(FD) . . . . . . . . . . . . . . . 242
      José Juan Palacios   Flexible Agent Programming in Linear
                                  Logic  . . . . . . . . . . . . . . . . . 252
Arturo Hernández-Aguirre and   
          Cris Koutsougeras and   
                Bill P. Buckles   Sample Complexity for Function Learning
                                  Tasks through Linear Neural Networks . . 262
Claudia Regina Milaré and   
André Carlos Ponce Leon Ferreira de Carvalho and   
          Maria Carolina Monard   Extracting Knowledge from Artificial
                                  Neural Networks: An Empirical Comparison
                                  of Trepan and Symbolic Learning
                                  Algorithms . . . . . . . . . . . . . . . 272
Patricia Rayón Villela and   
     Juan Humberto Sossa Azuela   Improving Pattern Recognition Using
                                  Several Feature Vectors  . . . . . . . . 282
            Isis Bonet Cruz and   
Adolfo Díaz Sardiñas and   
  Rafael Bello Pérez and   
  Yanetsy Sardiñas Oliva   Learning Optimization in a MLP Neural
                                  Network Applied to OCR . . . . . . . . . 292
                  B. Barros and   
              M. F. Verdejo and   
                    T. Read and   
                   R. Mizoguchi   Applications of a Collaborative Learning
                                  Ontology . . . . . . . . . . . . . . . . 301
               Liqiang Geng and   
              Christine W. Chan   Automated Case Generation from Databases
                                  Using Similarity-Based Rough
                                  Approximation  . . . . . . . . . . . . . 311
Lourdes Peña Castillo and   
                  Stefan Wrobel   On the Stability of Example-Driven
                                  Learning Systems: A Case Study in
                                  Multirelational Learning . . . . . . . . 321
                   Yang Liu and   
                 Xiaohui Yu and   
                     Jiqing Han   Sharpe Ratio-Oriented Active Trading: a
                                  Learning Approach  . . . . . . . . . . . 331
 Amal El Fallah-Seghrouchni and   
          Christian Lema\^\itre   A Framework for Social Agents'
                                  Interaction Based on Communicative
                                  Action Theory and Dynamic Deontic Logic  340
        Jesús Favela and   
                Manuel Alba and   
       Marcela Rodríguez   Autonomous Agents for Ubiquitous
                                  Collaborative Environments . . . . . . . 351
          Alberto Caballero and   
                  Ronny Alfonso   A Framework for Agent Based Network
                                  Management Systems . . . . . . . . . . . 361
    Evandro de Barros Costa and   
  Hyggo Oliveira de Almeida and   
Emerson Ferreira de Araújo Lima and   
Ricardo Rubens Gomes Nunes Filho and   
   Klebson dos Santos Silva and   
Fernando Maia Assunção   A Multi-agent Cooperative Intelligent
                                  Tutoring System: The Case of Musical
                                  Harmony Domain . . . . . . . . . . . . . 367
       Adolfo Guzmán and   
    Carmen Domínguez and   
          Jesús Olivares   Reacting to Unexpected Events and
                                  Communicating in Spite of Mixed
                                  Ontologies . . . . . . . . . . . . . . . 377
     Matías Alvarado and   
          Leonid Sheremetov and   
      Ernesto Germán and   
                     Erick Alva   Logic of Interaction for Multiagent
                                  Systems  . . . . . . . . . . . . . . . . 387
                  Rosa Saab and   
         Raúl Monroy and   
        Fernando Godínez   Towards a Model for an Immune System . . 401
          Alexandros Pappas and   
              Duncan F. Gillies   A New Measure for the Accuracy of a
                                  Bayesian Network . . . . . . . . . . . . 411
            Roberto O. Puch and   
                   Jim Q. Smith   FINDS: a Training Package to Assess
                                  Forensic Fibre Evidence  . . . . . . . . 420
José Antonio Ruz Hernández and   
Dionisio A. Suárez Cerda and   
             Evgen Shelomov and   
Alejandro Villavicencio Ramírez   Predictive Control Based on an
                                  Auto-regressive Neuro-fuzzy Model
                                  Applied to the Steam Generator Startup
                                  Process at a Fossil Power Plant  . . . . 430
    Gustavo Arroyo-Figueroa and   
     Raúl Herrera-Avelar   Modeling Dynamical Causal Interactions
                                  with Fuzzy Temporal Networks for Process
                                  Operation Support Systems  . . . . . . . 440
Miguel A. Padilla Castañeda and   
Fernando Arámbula Cosío   Resection Simulation with Local Tissue
                                  Deformations for Computer Assisted
                                  Surgery of the Prostate  . . . . . . . . 450
Francisco J. Gutiérrez and   
Margarita M. Lerma-Rascón and   
      Luis R. Salgado-Garza and   
      Francisco J. Cantú   Biometrics and Data Mining: Comparison
                                  of Data Mining-Based Keystroke Dynamics
                                  Methods for Identity Verification  . . . 460
             Juan J. Flores and   
                   Nelio Pastor   Qualitative Systems Identification for
                                  Linear Time Invariant Dynamic Systems    470
José Guillermo Valdéz and   
   Pablo H. Ibargüengoytia   Monitoring the Execution of an
                                  Intelligent Planning System  . . . . . . 477
                  Xiaoou Li and   
Joselito Medina Marín and   
                Sergio V. Chapa   A Structural Model of ECA Rules in
                                  Active Database  . . . . . . . . . . . . 486
Marino Sánchez-Parra and   
René Vite-Hernández   Use of a Rule-Based System for Process
                                  Control: Flow Instabilities in Axial
                                  Compressors Case Study . . . . . . . . . 494
       Dominique Decouchant and   
Ana María Martínez-Enríquez and   
               Jesus Favela and   
    Alberto L. Morán and   
              Sonia Mendoza and   
                    Samir Jafar   A Distributed Event Service for Adaptive
                                  Group Awareness  . . . . . . . . . . . . 506
         Eduardo F. Morales and   
          Dulce Ma. Heredia and   
Andrés F. Rodríguez   Mining Road Accidents  . . . . . . . . . 516
Ana María Martínez-Enríquez and   
             Aslam Muhammad and   
       Dominique Decouchant and   
            Jesús Favela   An Inference Engine for Web Adaptive
                                  Cooperative Work . . . . . . . . . . . . 526
              Luis E. Garza and   
  Francisco J. Cantú and   
               Salvador Acevedo   Faults Diagnosis in Industrial Processes
                                  with a Hybrid Diagnostic System  . . . . 536
                      Anonymous   Author Index . . . . . . . . . . . . . . 547


Lecture Notes in Computer Science
Volume 2314, 2002

              Shi-Kuo Chang and   
        Gennaro Costagliola and   
                 Erland Jungert   Multi-sensor Information Fusion by Query
                                  Refinement . . . . . . . . . . . . . . . 1
         Renato O. Stehling and   
        Mario A. Nascimento and   
     Alexandre X. Falcão   MiCRoM: a Metric Distance to Compare
                                  Segmented Images . . . . . . . . . . . . 12
            Julien Fauqueur and   
                 Nozha Boujemaa   Image Retrieval by Regions: Coarse
                                  Segmentation and Fine Color Description  24
                 Stephan Volmer   Fast Approximate Nearest-Neighbor
                                  Queries in Metric Feature Spaces by Buoy
                                  Indexing . . . . . . . . . . . . . . . . 36
                Guoping Qiu and   
                    S. Sudirman   A Binary Color Vision Framework for
                                  Content-Based Image Indexing . . . . . . 50
              Veena Sridhar and   
        Mario A. Nascimento and   
                      Xiaobo Li   Region-Based Image Retrieval Using
                                  Multiple-Features  . . . . . . . . . . . 61
                 Ju-Lan Tao and   
                   Yi-Ping Hung   A Bayesian Method for Content-Based
                                  Image Retrieval by Use of Relevance
                                  Feedback . . . . . . . . . . . . . . . . 76
              Jau-Ling Shih and   
                 Ling-Hwei Chen   Color Image Retrieval Based on
                                  Primitives of Color Moments  . . . . . . 88
                Shu-Kuo Sun and   
                   Zen Chen and   
                Tsorng-Lin Chia   Invariant Feature Extraction and Object
                                  Shape Matching Using Gabor Filtering . . 95
          Horst Eidenberger and   
      Christian Breiteneder and   
                    Martin Hitz   A Framework for Visual Information
                                  Retrieval  . . . . . . . . . . . . . . . 105
               Job Oostveen and   
                 Ton Kalker and   
                   Jaap Haitsma   Feature Extraction and a Database
                                  Strategy for Video Fingerprinting  . . . 117
          Munehiro Nakazato and   
             Lubomir Manola and   
                Thomas S. Huang   ImageGrouper: Search, Annotate and
                                  Organize Images by Groups  . . . . . . . 129
               Chih-Yi Chiu and   
              Hsin-Chih Lin and   
                  Shi-Nine Yang   Toward a Personalized CBIR System  . . . 143
           Philip K. C. Tse and   
            Clement H. C. Leung   An Efficient Storage Organization for
                                  Multimedia Databases . . . . . . . . . . 152
           Bertrand Le Saux and   
                 Nozha Boujemaa   Unsupervised Categorization for Image
                                  Database Overview  . . . . . . . . . . . 163
           Andrew J. Morris and   
          Alia I. Abdelmoty and   
         Baher A. El-Geresy and   
           Christopher B. Jones   A Data-Flow Approach to Visual Querying
                                  in Large Spatial Databases . . . . . . . 175
          Peter L. Stanchev and   
                Farshad Fotouhi   MEDIMAGE --- A Multimedia Database
                                  Management System for Alzheimer's
                                  Disease Patients . . . . . . . . . . . . 187
       Trista Pei-chun Chen and   
                Tsuhan Chen and   
                   Yuh-Feng Hsu   Life after Video Coding Standards: Rate
                                  Shaping and Error Concealment  . . . . . 194
               Yuh-Reuy Lee and   
               Chia-Wen Lin and   
                Cheng-Chien Kao   A DCT-Domain Video Transcoder for
                                  Spatial Resolution Downconversion  . . . 207
              Chin-Ying Kuo and   
             Chen-Lung Chan and   
                Vincent Hsu and   
                 Jia-Shung Wang   A Receiver-Driven Channel Adjustment
                                  Scheme for Periodic Broadcast of
                                  Streaming Video  . . . . . . . . . . . . 219
        Daniel Gatica-Perez and   
                   Zhi Zhou and   
              Ming-Ting Sun and   
                    Vincent Hsu   Video Object Hyper-Links for Streaming
                                  Applications . . . . . . . . . . . . . . 229
               Jung-Rim Kim and   
             Seong Soo Chun and   
                Seok-jin Oh and   
                  Sanghoon Sull   Scalable Hierarchical Summarization of
                                  News Using Fidelity in MPEG-7
                                  Description Scheme . . . . . . . . . . . 239
             Markus Koskela and   
            Jorma Laaksonen and   
                      Erkki Oja   MPEG-7 Descriptors in Content-Based
                                  Image Retrieval with PicSOM System . . . 247
             Seong Soo Chun and   
               Hyeokman Kim and   
               Jung-Rim Kim and   
                Sangwook Oh and   
                  Sanghoon Sull   Fast Text Caption Localization on Video
                                  Using Visual Rhythm  . . . . . . . . . . 259
             Kuan-Ting Shen and   
                 Ling-Hwei Chen   A New Digital Watermarking Technique for
                                  Video  . . . . . . . . . . . . . . . . . 269
               Duan-Yu Chen and   
              Ming-Ho Hsiao and   
                    Suh-Yin Lee   Automatic Closed Caption Detection and
                                  Font Size Differentiation in MPEG Video  276
               Duan-Yu Chen and   
              Shu-Jiuan Lin and   
                    Suh-Yin Lee   Motion Activity Based Shot
                                  Identification and Closed Caption
                                  Detection for Video Structuring  . . . . 288
                Peter Y. Wu and   
               Kai A. Olsen and   
                     Per Saetre   Visualizing the Construction of Generic
                                  Bills of Material  . . . . . . . . . . . 302
           TrongDung Nguyen and   
                   TuBao Ho and   
                 DucDung Nguyen   Data and Knowledge Visualization in
                                  Knowledge Discovery Process  . . . . . . 311
                      Anonymous   Author Index . . . . . . . . . . . . . . 323


Lecture Notes in Computer Science
Volume 2315, 2002

                Perdita Stevens   Playing Games with Software Design . . . 1
                      Jim Waldo   Coordination and System Design in a
                                  Network-Centric Age  . . . . . . . . . . 2
         Michael Wooldridge and   
             Wiebe van der Hoek   Time, Knowledge, and Cooperation:
                                  Alternating-Time Temporal Epistemic
                                  Logic and Its Applications . . . . . . . 4
            Luis F. Andrade and   
           Jose L. Fiadeiro and   
               Joao Gouveia and   
        Georgios Koutsoukos and   
            Michael Wermelinger   Coordination for Orchestration . . . . . 5
         Anupriya Ankolekar and   
                 Frank Huch and   
                   Katia Sycara   Concurrent Semantics for the Web
                                  Services Specification Language DAML-S   14
               Farhad Arbab and   
                Farhad Mavaddat   Coordination through Channel Composition 22
             Marco Bernardo and   
             Francesco Franz\`e   Exogenous and Endogenous Extensions of
                                  Architectural Types  . . . . . . . . . . 40
            Lorenzo Bettini and   
               Viviana Bono and   
                  Betti Venneri   Coordinating Mobile Object-Oriented Code 56
            Lorenzo Bettini and   
            Rocco De Nicola and   
                 Michele Loreti   Formalizing Properties of Mobile Agent
                                  Systems  . . . . . . . . . . . . . . . . 72
           Andrea Bracciali and   
              Antonio Brogi and   
                   Carlos Canal   Dynamically Adapting the Behaviour of
                                  Software Components  . . . . . . . . . . 88
            James C. Browne and   
                 Kevin Kane and   
                   Hongxia Tian   An Associative Broadcast Based
                                  Coordination Model for Distributed
                                  Processes  . . . . . . . . . . . . . . . 96
                 Nadia Busi and   
            Antony Rowstron and   
            Gianluigi Zavattaro   State- and Event-Based Reactive
                                  Programming in Shared Dataspaces . . . . 111
            Carlos J. Costa and   
              Pedro Antunes and   
      João Ferreira Dias   Integrating Two Organizational Systems
                                  through Communication Genres . . . . . . 125
               Juan Carlos Cruz   OpenCoLaS a Coordination Framework for
                                  CoLaS Dialects . . . . . . . . . . . . . 133
           Carlos E. Cuesta and   
         Pablo de la Fuente and   
Manuel Barrio-Solórzano and   
       Encarnación Beato   Coordination in a Reflective
                                  Architecture Description Language  . . . 141
              Amnon H. Eden and   
                    Jens Jahnke   Coordinating Software Evolution via
                                  Two-Tier Programming . . . . . . . . . . 149
              Rejane Frozza and   
     Luis Otávio Alvares   Criteria for the Analysis of
                                  Coordination in Multi-agent Applications 158
                 Jeremy Gibbons   Towards a Colimit-Based Semantics for
                                  Visual Programming . . . . . . . . . . . 166
        Kees G. W. Goossens and   
             Om Prakash Gangwal   The Cost of Communication Protocols and
                                  Coordination Languages in Embedded
                                  Systems  . . . . . . . . . . . . . . . . 174
           Luuk Groenewegen and   
                   Erik de Vink   Operational Semantics for Coordination
                                  in Paradigm  . . . . . . . . . . . . . . 191
             Radu Handorean and   
            Gruia-Catalin Roman   Service Provision in Ad Hoc Networks . . 207
              Kunihiko Hiraishi   PN$^2$: An Elementary Model for Design
                                  and Analysis of Multi-agent Systems  . . 220
                Hwa-Min Lee and   
            Kwang-Sik Chung and   
             Sang-Chul Shin and   
                Dae-Won Lee and   
                Won-Gyu Lee and   
                  Heon-Chang Yu   A Recovery Technique Using Multi-agent
                                  in Distributed Computing Systems . . . . 236
José Antonio Pérez and   
           Rafael Corchuelo and   
                 David Ruiz and   
                    Miguel Toro   An Order-Based, Distributed Algorithm
                                  for Implementing Multiparty Interactions 250
          Gian Pietro Picco and   
              Marco L. Buschini   Exploiting Transiently Shared Tuple
                                  Spaces for Location Transparent Code
                                  Mobility . . . . . . . . . . . . . . . . 258
            Jaco van de Pol and   
           Miguel Valero Espada   Formal Specification of JavaSpaces$^{\rm
                                  TM}$ Architecture Using $ \mu $CRL . . . 274
           Alessandro Ricci and   
             Andrea Omicini and   
                   Enrico Denti   Objective vs. Subjective Coordination in
                                  Agent-Based Systems: a Case Study  . . . 291
                Neal Sample and   
              Pedram Keyani and   
                 Gio Wiederhold   Scheduling under Uncertainty: Planning
                                  for the Ubiquitous Grid  . . . . . . . . 300
                 Jim Snyder and   
                Ronaldo Menezes   Using Logical Operators as an Extended
                                  Coordination Mechanism in Linda  . . . . 317
                   Andries Stam   A Framework for Coordinating Parallel
                                  Branch and Bound Algorithms  . . . . . . 332
                     Samir Tata   Policies for Cooperative Virtual Teams   340
           Robert Tolksdorf and   
          Gregor Rojec-Goldmann   The SPACETUB Models and Framework  . . . 348
               Mirko Viroli and   
                 Andrea Omicini   Tuple-Based Models in the Observation
                                  Framework  . . . . . . . . . . . . . . . 364
               George Wells and   
              Alan Chalmers and   
                  Peter Clayton   Extending the Matching Facilities of
                                  Linda  . . . . . . . . . . . . . . . . . 380
    Pawe\l T. Wojciechowski and   
                Sergio Mena and   
           André Schiper   Semantics of Protocol Modules
                                  Composition and Interaction  . . . . . . 389
                      Anonymous   Author Index . . . . . . . . . . . . . . 405


Lecture Notes in Computer Science
Volume 2316, 2002

           Josep Domingo-Ferrer   Advances in Inference Control in
                                  Statistical Databases: An Overview . . . 1
          Dale A. Robertson and   
                 Richard Ethier   Cell Suppression: Experience and Theory  8
                Lawrence H. Cox   Bounds on Entries in $3$-Dimensional
                                  Contingency Tables Subject to Given
                                  Marginal Totals  . . . . . . . . . . . . 21
Juan José Salazar González   Extending Cell Suppression to Protect
                                  Tabular Data against Several Attackers   34
                   Jordi Castro   Network Flows Heuristics for
                                  Complementary Cell Suppression: An
                                  Empirical Evaluation and Extensions  . . 59
             Peter-Paul de Wolf   HiTaS: a Heuristic Approach to Cell
                                  Suppression in Hierarchical Tables . . . 74
           Silvia Polettini and   
             Luisa Franconi and   
                 Julian Stander   Model Based Disclosure Protection  . . . 83
                     Ruth Brand   Microdata Protection through Noise
                                  Addition . . . . . . . . . . . . . . . . 97
         Ramesh A. Dandekar and   
              Michael Cohen and   
               Nancy Kirkendall   Sensitive Micro Data Protection Using
                                  Latin Hypercube Sampling Technique . . . 117
                    Mark Elliot   Integrating File and Record Level
                                  Disclosure Risk Assessment . . . . . . . 126
          William E. Yancey and   
         William E. Winkler and   
               Robert H. Creecy   Disclosure Risk Assessment in
                                  Perturbative Microdata Protection  . . . 135
         Ramesh A. Dandekar and   
       Josep Domingo-Ferrer and   
           Francesc Sebé   LHS-Based Hybrid Microdata vs Rank
                                  Swapping and Microaggregation for
                                  Numeric Microdata Protection . . . . . . 153
       Francesc Sebé and   
       Josep Domingo-Ferrer and   
     Josep Maria Mateo-Sanz and   
            Vicenç Torra   Post-Masking Optimization of the
                                  Tradeoff between Information Loss and
                                  Disclosure Risk in Masked Microdata Sets 163
                 Anco Hundepool   The CASC Project . . . . . . . . . . . . 172
             Sarah Giessing and   
                Dietz Repsilber   Tools and Strategies to Protect
                                  Multiples Tables with the GHQUAR Cell
                                  Suppression Engine . . . . . . . . . . . 181
                   Laura Zayatz   SDC in the 2000 U.S. Decennial Census    193
          Eric Schulte Nordholt   Applications of Statistical Disclosure
                                  Control at Statistics Netherlands  . . . 203
            Juli\`a Urrutia and   
                   Enric Ripoll   Empirical Evidences on Protecting
                                  Population Uniqueness at Idescat . . . . 213
                      Anonymous   Author Index . . . . . . . . . . . . . . 231


Lecture Notes in Computer Science
Volume 2317, 2002

              B. Chandrasekaran   What Does It Mean for a Computer to Do
                                  Diagrammatic Reasoning? A Functional
                                  Characterization of Diagrammatic
                                  Reasoning and Its Implications . . . . . 1
               Ichiro Umata and   
          Yasuhiro Katagiri and   
              Atsushi Shimojima   Movement Conceptualizations in Graphical
                                  Communication  . . . . . . . . . . . . . 3
           Eric G. Freedman and   
                     Priti Shah   Toward a Model of Knowledge-Based Graph
                                  Comprehension  . . . . . . . . . . . . . 18
           Susan L. Epstein and   
               J.-Holger Keibel   Learning on Paper: Diagrams and
                                  Discovery in Game Playing  . . . . . . . 31
         Daniel Winterstein and   
                 Alan Bundy and   
                 Corin Gurr and   
                  Mateja Jamnik   Using Animation in Diagrammatic Theorem
                                  Proving  . . . . . . . . . . . . . . . . 46
                Jean Flower and   
                     John Howse   Generating Euler Diagrams  . . . . . . . 61
                 John Howse and   
            Gemma Stapleton and   
                Jean Flower and   
                    John Taylor   Corresponding Regions in Euler Diagrams  76
               Nathaniel Miller   CDEG: Computerized Diagrammatic
                                  Euclidean Geometry . . . . . . . . . . . 91
           Bharat Jayaraman and   
                 Pallavi Tambay   Compositional Semantics for Diagrams
                                  Using Constrained Objects  . . . . . . . 94
           Patrick W. Yaner and   
                  Ashok K. Goel   Retrieving $2$-D Line Drawings by
                                  Example  . . . . . . . . . . . . . . . . 97
            Steven Tanimoto and   
               William Winn and   
                    David Akers   A System That Supports Using
                                  Student-Drawn Diagrams to Assess
                                  Comprehension of Mathematical Formulas   100
       Patrick G. T. Healey and   
                Nik Swoboda and   
                     James King   An Environment for Conducting and
                                  Analysing Graphical Communication
                                  Experiments  . . . . . . . . . . . . . . 103
              Ke-Bing Zhang and   
                 Kang Zhang and   
                Mehmet A. Orgun   Grammar-Based Layout for a Visual
                                  Programming Language Generation System   106
           Michael Anderson and   
                 Brian Andersen   Heterogeneous Data Querying in a
                                  Diagrammatic Information System  . . . . 109
                  Zinovy Diskin   Visualization vs. Specification in
                                  Diagrammatic Notations: a Case Study
                                  with the UML . . . . . . . . . . . . . . 112
              Atsushi Shimojima   The Inferential-Expressive Trade-Off: a
                                  Case Study of Tabular Representations    116
                Nik Swoboda and   
                 Gerard Allwein   Modeling Heterogeneous Systems . . . . . 131
                 John Howse and   
            Fernando Molina and   
               Sun-Joo Shin and   
                    John Taylor   On Diagram Tokens and Types  . . . . . . 146
               David J. Bennett   Effects of Navigation and Position on
                                  Task When Presenting Diagrams  . . . . . 161
          Christian S. Collberg   A Fuzzy Visual Query Language for a
                                  Domain-Specific Web Search Engine  . . . 176
          Alan F. Blackwell and   
                  Hanna Wallach   Diagrammatic Integration of Abstract
                                  Operations into Software Work Contexts   191
         J. Gregory Trafton and   
            Sandra Marshall and   
              Farilee Mintz and   
              Susan B. Trickett   Extracting Explicit and Implict
                                  Information from Complex Visualizations  206
               Pablo Romero and   
                Richard Cox and   
         Benedict du Boulay and   
                      Rudi Lutz   Visual Attention and Representation
                                  Switching During Java Program Debugging:
                                  a Study Using the Restricted Focus
                                  Viewer . . . . . . . . . . . . . . . . . 221
         Elizabeth R. Grant and   
              Michael J. Spivey   Guiding Attention Produces Inferences in
                                  Diagram-Based Problem Solving  . . . . . 236
      Johannes Gärtner and   
              Silvia Miksch and   
            Stefan Carl-McGrath   ViCo: a Metric for the Complexity of
                                  Information Visualizations . . . . . . . 249
           Peter C-H. Cheng and   
             Rossano Barone and   
           Peter I. Cowling and   
                   Samad Ahmadi   Opening the Information Bottleneck in
                                  Complex Scheduling Problems with a Novel
                                  Representation: STARK Diagrams . . . . . 264
        Joseph J. Pfeiffer, Jr.   Using Brightness and Saturation to
                                  Visualize Belief and Uncertainty . . . . 279
           Oliver Köth and   
                     Mark Minas   Structure, Abstraction, and Direct
                                  Manipulation in Diagram Editors  . . . . 290
              Paolo Bottoni and   
            Gennaro Costagliola   On the Definition of Visual Languages
                                  and Their Editors  . . . . . . . . . . . 305
                    Yan Jin and   
               Robert Esser and   
           Jörn W. Janneck   Describing the Syntax and Semantics of
                                  UML Statecharts in a Heterogeneous
                                  Modelling Environment  . . . . . . . . . 320
                  Pourang Irani   The Learnability of Diagram Semantics    335
                     Sarah Kriz   Understanding Simultaneity and Causality
                                  in Static Diagrams versus Animation  . . 338
                Masaki Suwa and   
                Barbara Tversky   External Representations Contribute to
                                  the Dynamic Construction of Ideas  . . . 341
          Robert R. Hoffman and   
             John W. Coffey and   
           Patrick J. Hayes and   
    Alberto J. Cañas and   
            Kenneth M. Ford and   
                 Mary J. Carnot   One Small Step for a Diagram, One Giant
                                  Leap for Meaning . . . . . . . . . . . . 344
               Sally Bogacz and   
             J. Gregory Trafton   Understanding Static and Dynamic
                                  Visualizations . . . . . . . . . . . . . 347
           Peter C-H. Cheng and   
                  Nigel G. Pitt   Teaching Science Teachers Electricity
                                  Using AVOW Diagrams  . . . . . . . . . . 350
                Fehmi Dogan and   
            Nancy J. Nersessian   Conceptual Diagrams: Representing Ideas
                                  in Design  . . . . . . . . . . . . . . . 353
        Charlotte R. Peters and   
           Patrick G. T. Healey   A Survey of Drawing in Cross-linguistic
                                  Communication  . . . . . . . . . . . . . 356
                James A. Landay   Informal Tools for Designing Anywhere,
                                  Anytime, Anydevice User Interfaces . . . 359
                      Anonymous   Author Index . . . . . . . . . . . . . . 361


Lecture Notes in Computer Science
Volume 2318, 2002

               Edmund M. Clarke   SAT-Based Counterexample Guided
                                  Abstraction Refinement . . . . . . . . . 1
                 Patrick Cousot   Abstract Interpretation: Theory and
                                  Practice . . . . . . . . . . . . . . . . 2
                   Theo C. Ruys   SPIN Tutorial: How to Become a SPIN
                                  Doctor (Extended Abstract) . . . . . . . 6
                    Dennis Dams   Abstraction in Software Model Checking:
                                  Principles and Practice (Tutorial
                                  Overview and Bibliography) . . . . . . . 14
                     Radu Iosif   Symmetry Reduction Criteria for Software
                                  Model Checking . . . . . . . . . . . . . 22
                David Basin and   
           Stefan Friedrich and   
            Marek Gawkowski and   
                Joachim Posegga   Bytecode Model Checking: An Experimental
                                  Analysis . . . . . . . . . . . . . . . . 42
                Harry C. Li and   
               Kathi Fisler and   
          Shriram Krishnamurthi   The Influence of Software Module Systems
                                  on Modular Verification  . . . . . . . . 60
            Armelle Prigent and   
              Franck Cassez and   
           Philippe Dhaussy and   
                   Olivier Roux   Extending the Translation from SDL to
                                  Promela  . . . . . . . . . . . . . . . . 79
         Wiebe van der Hoek and   
             Michael Wooldridge   Model Checking Knowledge and Time  . . . 95
     Alberto Lluch-Lafuente and   
            Stefan Edelkamp and   
                    Stefan Leue   Partial Order Reduction in Directed
                                  Model Checking . . . . . . . . . . . . . 112
            Benedikt Bollig and   
             Martin Leucker and   
                  Michael Weber   Local Parallel Model Checking for the
                                  Alternation-Free $ \mu $-Calculus  . . . 128
               J. S. Pascoe and   
               R. J. Loader and   
                 V. S. Sunderam   The Agreement Problem Protocol
                                  Verification Environment . . . . . . . . 148
              Hyun-Wook Jin and   
               Ki-Seok Bang and   
                  Chuck Yoo and   
             Jin-Young Choi and   
                    Ho-jung Cha   Bottleneck Analysis of a Gigabit Network
                                  Interface Card: Formal Verification
                                  Approach . . . . . . . . . . . . . . . . 170
                Paolo Maggi and   
                 Riccardo Sisto   Using SPIN to Verify Security Properties
                                  of Cryptographic Protocols . . . . . . . 187
 Ramazan Sava\cs Aygün and   
                   Aidong Zhang   Modeling and Verification of Interactive
                                  Flexible Multimedia Presentations Using
                                  PROMELA/SPIN . . . . . . . . . . . . . . 205
        Olga Shumsky Matlin and   
                 Ewing Lusk and   
                 William McCune   SPINning Parallel Systems Software . . . 213
                  D. Lugiez and   
                 P. Niebert and   
                      S. Zennou   Dynamic Bounds and Transition Merging
                                  for Local First Search . . . . . . . . . 221
               Cindy Eisner and   
                    Doron Peled   Comparing Symbolic and Explicit Model
                                  Checking of a Software System  . . . . . 230
                     Per Bjesse   Industrial Model Checking Based on
                                  Satisfiability Solvers . . . . . . . . . 240
            Yves-Marie Quemener   A Typical Testing Problem: Validating
                                  WML Cellphones . . . . . . . . . . . . . 241
                 Alex Groce and   
                  Willem Visser   Heuristic Model Checking for Java
                                  Programs . . . . . . . . . . . . . . . . 242
               Christian Stehno   System Specification and Verification
                                  Using High Level Concepts --- A Tool
                                  Demonstration  . . . . . . . . . . . . . 246
           Tiziana Margaria and   
               Oliver Niese and   
               Bernhard Steffen   Demonstration of an Automated Integrated
                                  Test Environment for Web-Based
                                  Applications . . . . . . . . . . . . . . 250
María del Mar Gallardo and   
Jesús Martínez and   
               Pedro Merino and   
               Ernesto Pimentel   $ \alpha $SPIN: Extending SPIN with
                                  Abstraction  . . . . . . . . . . . . . . 254
                      Anonymous   Author Index . . . . . . . . . . . . . . 259


Lecture Notes in Computer Science
Volume 2319, 2002

             Mark Grechanik and   
                 Don Batory and   
               Dewayne E. Perry   Integrating and Reusing GUI-Driven
                                  Applications . . . . . . . . . . . . . . 1
                Merijn de Jonge   Source Tree Composition  . . . . . . . . 17
             Yannis Smaragdakis   Layered Development with (Unix) Dynamic
                                  Libraries  . . . . . . . . . . . . . . . 33
              Scott M. Pike and   
              Nigamanth Sridhar   Early-Reply Components: Concurrent
                                  Execution with Sequential Reasoning  . . 46
                Kwanwoo Lee and   
                Kyo C. Kang and   
                    Jaejoon Lee   Concepts and Guidelines of Feature
                                  Modeling for Product Line Software
                                  Engineering  . . . . . . . . . . . . . . 62
               Hassan Gomaa and   
                 Mark Gianturco   Domain Modeling for World Wide Web Based
                                  Software Product Lines with UML  . . . . 78
             Colin Atkinson and   
                    Dirk Muthig   Enhancing Component Reusability through
                                  Product Line Technology  . . . . . . . . 93
            Diana L. Webber and   
                   Hassan Gomaa   Modeling Variability with the Variation
                                  Point Model  . . . . . . . . . . . . . . 109
              Alan W. Brown and   
                    Grady Booch   Reusing Open-Source Software and
                                  Practices: The Impact of Open-Source on
                                  Commercial Vendors . . . . . . . . . . . 123
                   Klaus Schmid   Integrating Reference Architecture
                                  Definition and Reuse Investment Planning 137
             Ted J. Biggerstaff   Control Localization in Domain Specific
                                  Translation  . . . . . . . . . . . . . . 153
       Tihamer Levendovszky and   
               Gabor Karsai and   
              Miklos Maroti and   
               Akos Ledeczi and   
                  Hassan Charaf   Model Reuse with Metamodel-Based
                                  Transformations  . . . . . . . . . . . . 166
                    Omar Alonso   Generation of Text Search Applications
                                  for Databases. An Exercise on Domain
                                  Engineering  . . . . . . . . . . . . . . 179
               Ulf Bergmann and   
Julio Cesar Sampaio do Prado Leite   Domain Networks in the Software
                                  Development Process  . . . . . . . . . . 194
              Robert Biddle and   
                James Noble and   
                   Ewan Tempero   Supporting Reusable Use Cases  . . . . . 210
 Márcio de O. Barros and   
Cláudia M. L. Werner and   
         Guilherme H. Travassos   Project Management Knowledge Reuse
                                  through Scenario Models  . . . . . . . . 227
Kyller Costa Gorgônio and   
               Angelo Perkusich   Adaptation of Coloured Petri Nets Models
                                  of Software Artifacts for Reuse  . . . . 240
            Shamus P. Smith and   
            Michael D. Harrison   Improving Hazard Classification through
                                  the Reuse of Descriptive Arguments . . . 255
           Alberto Sillitti and   
            Tullio Vernazza and   
                Giancarlo Succi   Service Oriented Programming: a New
                                  Paradigm of Software Reuse . . . . . . . 269
                      Yunwen Ye   An Empirical User Study of an Active
                                  Reuse Repository System  . . . . . . . . 281
       Rodrigo E. Caballero and   
        Steven A. Demurjian and   
                             Sr   Towards the Formalization of a
                                  Reusability Framework for Refactoring    293
          Nigamanth Sridhar and   
             Bruce W. Weide and   
                    Paolo Bucci   Service Facilities: Extending Abstract
                                  Factories to Decouple Advanced
                                  Dependencies . . . . . . . . . . . . . . 309
                 Roger Sessions   Software Fortresses  . . . . . . . . . . 327
                  Jayadev Misra   The Case against a Grand Unification
                                  Theory . . . . . . . . . . . . . . . . . 328
               Kai Boellert and   
         Detlef Streitferdt and   
                 Dirk Heuzeroth   ICSR7 Young Researchers Workshop . . . . 329
                John Favaro and   
             Hakan Erdogmus and   
                   Klaus Schmid   International Workshop on Reuse
                                  Economics  . . . . . . . . . . . . . . . 330
            Merijn de Jonge and   
                   Joost Visser   Workshop on Generative Programming 2002
                                  (GP2002) . . . . . . . . . . . . . . . . 331
              Christian Zeidler   ICSR7 Workshop on Component-Based
                                  Software Development Processes . . . . . 332
                   Sholom Cohen   Industrial Experience with Product Line
                                  Approaches . . . . . . . . . . . . . . . 334
                Joseph W. Yoder   Workshop on Software Reuse and Agile
                                  Approaches . . . . . . . . . . . . . . . 336
            Liliana Dobrica and   
              Eila Niemelä   Software Architecture Quality Analysis
                                  Methods  . . . . . . . . . . . . . . . . 337
               Klaus Schmid and   
                    Isabel John   Tutorial on Practical Product Line
                                  Scoping and Modeling . . . . . . . . . . 339
                  Ira D. Baxter   Transformation Systems: Generative Reuse
                                  for Software Generation, Maintenance and
                                  Reengineering  . . . . . . . . . . . . . 341
             Colin Atkinson and   
                    Dirk Muthig   Component-Based Product-Line Engineering
                                  with the UML . . . . . . . . . . . . . . 343
               John D. McGregor   Building Reusable Test Assets for a
                                  Product Line . . . . . . . . . . . . . . 345
                      Jan Bosch   Architecture-Centric Software
                                  Engineering  . . . . . . . . . . . . . . 347
             Charles W. Krueger   Practical Strategies and Techniques for
                                  Adopting Software Product Lines  . . . . 349
                      Anonymous   Author Index . . . . . . . . . . . . . . 351
            Krzysztof Czarnecki   Generative Programming: Methods,
                                  Techniques, and Applications . . . . . . 351


Lecture Notes in Computer Science
Volume 2320, 2002

           Markus Jakobsson and   
              Michael K. Reiter   Discouraging Software Piracy Using
                                  Software Aging . . . . . . . . . . . . . 1
M. Kivanç Mihçak and   
         Ramarathnam Venkatesan   New Iterative Geometric Methods for
                                  Robust Perceptual Image Hashing  . . . . 13
            Aggelos Kiayias and   
                      Moti Yung   On Crafty Pirates and Foxy Tracers . . . 22
                   Benny Pinkas   Efficient State Updates for Key
                                  Management . . . . . . . . . . . . . . . 40
      Reihaneh Safavi-Naini and   
                    Yejing Wang   Collusion Secure $q$-ary Fingerprinting
                                  for Perceptual Content . . . . . . . . . 57
            Joan Feigenbaum and   
        Michael J. Freedman and   
               Tomas Sander and   
                  Adam Shostack   Privacy Engineering for Digital Rights
                                  Management Systems . . . . . . . . . . . 76
              David Kravitz and   
                Kim-Ee Yeoh and   
                       Nicol So   Secure Open Systems for Protecting
                                  Privacy and Digital Services . . . . . . 106
                 James King and   
                Panos Kudumakis   MPEG-4 IPMP Extensions . . . . . . . . . 126
                 Bill Horne and   
            Lesley Matheson and   
              Casey Sheehan and   
               Robert E. Tarjan   Dynamic Self-Checking Techniques for
                                  Improved Tamper Resistance . . . . . . . 141
                  Hoi Chang and   
             Mikhail J. Atallah   Protecting Software Code by Guards . . . 160
            William Shapiro and   
                Radek Vingralek   How to Manage Persistent State in DRM
                                  Systems  . . . . . . . . . . . . . . . . 176
               Scott Crosby and   
               Ian Goldberg and   
             Robert Johnson and   
                  Dawn Song and   
                   David Wagner   A Cryptanalysis of the High-Bandwidth
                                  Digital Content Protection System  . . . 192
                   Willms Buhse   Implications of Digital Rights
                                  Management for Online Music --- A
                                  Business Perspective . . . . . . . . . . 201
                Stefan Bechtold   From Copyright to Information Law ---
                                  Implications of Digital Rights
                                  Management . . . . . . . . . . . . . . . 213
              Ernest Miller and   
                Joan Feigenbaum   Taking the Copy Out of Copyright . . . . 233
                      Anonymous   Author Index . . . . . . . . . . . . . . 245


Lecture Notes in Computer Science
Volume 2321, 2002

                 Martin V. Butz   Biasing Exploration in an Anticipatory
                                  Learning Classifier System . . . . . . . 3
             Lawrence Davis and   
               Chunsheng Fu and   
              Stewart W. Wilson   An Incremental Multiplexer Problem and
                                  Its Uses in Classifier System Research   23
  Gilles Énée and   
                  Cathy Escazut   A Minimal Model of Communication for a
                                  Multi-agent Classifier System  . . . . . 32
                 John H. Holmes   A Representation for Accuracy-Based
                                  Assessment of Classifier System
                                  Prediction Performance . . . . . . . . . 43
                Jacob Hurst and   
                     Larry Bull   A Self-Adaptive XCS  . . . . . . . . . . 57
                     Tim Kovacs   Two Views of Classifier Systems  . . . . 74
     Luis Miramontes Hercog and   
             Terence C. Fogarty   Social Simulation Using a Multi-agent
                                  Model Based on Classifier Systems: The
                                  Emergence of Vacillating Behaviour in
                                  the ``El Farol'' Bar Problem . . . . . . 88
       Ester Bernadó and   
             Xavier Llor\`a and   
               Josep M. Garrell   XCS and GALE: a Comparative Study of Two
                                  Learning Classifier Systems on Data
                                  Mining . . . . . . . . . . . . . . . . . 115
      Phillip William Dixon and   
             David W. Corne and   
              Martin John Oates   A Preliminary Investigation of Modified
                                  XCS as a Generic Data Mining Tool  . . . 133
          Sonia Schulenburg and   
                     Peter Ross   Explorations in LCS Models of Stock
                                  Trading  . . . . . . . . . . . . . . . . 151
Patrícia Amâncio Vargas and   
       Christiano LyraFilho and   
          Fernando J. Von Zuben   On-Line Approach for Loss Reduction in
                                  Electric Power Distribution Networks
                                  Using Learning Classifier Systems  . . . 181
              Stewart W. Wilson   Compact Rulesets from XCSI . . . . . . . 197
             Martin V. Butz and   
             Wolfgang Stolzmann   An Algorithmic Description of ACS2 . . . 211
                      Anonymous   Author Index . . . . . . . . . . . . . . 231


Lecture Notes in Computer Science
Volume 2322, 2002

             Michael Wooldridge   Intelligent Agents: The Key Concepts . . 3
Sorabain Wolfheart de Lioncourt and   
                   Michael Luck   Motivated Agent Behaviour and
                                  Requirements Applied to Virtual
                                  Emergencies  . . . . . . . . . . . . . . 44
   Jörg P. Müller and   
             Bernhard Bauer and   
                 Michael Berger   Software Agents for Electronic Business:
                                  Opportunities and Challenges . . . . . . 61
     Elisabeth André and   
                Thomas Rist and   
                 Stephan Baldes   From Simulated Dialogues to Interactive
                                  Performances . . . . . . . . . . . . . . 107
                 S. Misbah Deen   Cooperating Agents for Holonic
                                  Manufacturing  . . . . . . . . . . . . . 119
          Massimiliano Giacomin   Self-Stabilizing Distributed Algorithms
                                  for Defeat Status Computation in
                                  Argumentation  . . . . . . . . . . . . . 137
        Roman van der Krogt and   
           André Bos and   
                 Cees Witteveen   Replanning in a Resource-Based Framework 148
      Jaroslav Bárta and   
Olga \vStépánková and   
           Michal P\vechou\vcek   Distributed Branch and Bound Algorithm
                                  in Coalition Planning  . . . . . . . . . 159
          Roberto A. Flores and   
               Robert C. Kremer   Formal Conversations for the Contract
                                  Net Protocol . . . . . . . . . . . . . . 169
               Cosmin Carabelea   Adaptive Agents in Argumentation-Based
                                  Negotiation  . . . . . . . . . . . . . . 180
             Jacek Gomoluch and   
              Michael Schroeder   Flexible Load Balancing in Distributed
                                  Information Agent Systems  . . . . . . . 188
               Andrea Gozzi and   
           Massimo Paolucci and   
             Antonio Boccalatte   Autonomous Agents Applied to
                                  Manufacturing Scheduling Problems: a
                                  Negotiation-Based Heuristic Approach . . 198
          Jean-Pierre Briot and   
Angélica Muñoz-Meléndez and   
                   Alain Cardon   Adaptability and Embodiment Using
                                  Multi-Agent Systems  . . . . . . . . . . 211
            Frances Brazier and   
          Maarten van Steen and   
                Niek Wijngaards   Distributed Shared Agent Representations 213
              Samuel Landau and   
       Sébastien Picault   Modeling Adaptive Multi-Agent Systems
                                  Inspired by Developmental Biology  . . . 221
Vladimír Ma\vrík and   
            Martyn Fletcher and   
           Michal P\vechou\vcek   Holons & Agents: Recent Developments and
                                  Mutual Impacts . . . . . . . . . . . . . 233
                 Pavel Vrba and   
          Václav Hrdonka   Material Handling Problem: FIPA
                                  Compliant Agent Implementation . . . . . 268
         Pavel Tichý and   
             Petr \vSlechta and   
         Francisco Maturana and   
        Sivaram Balasubramanian   Industrial MAS for Planning and Control  280
              Klaus Glanzer and   
    Alexander Hämmerle and   
                    Ralf Geurts   An Integral Implementation of a
                                  Machine-Holon Applying the ZEUS Agent
                                  Framework  . . . . . . . . . . . . . . . 296
         Ale\vs Ríha and   
       Michal P\vechou\vcek and   
Jirí Vok\vrínek and   
 Vladimír Ma\vrík   ExPlanTech: Exploitation of Agent-Based
                                  Technology in Production Planning  . . . 308
          Robert W. Brennan and   
            Martyn Fletcher and   
              Douglas H. Norrie   A Holonic Approach to Reconfiguring
                                  Real-Time Distributed Control Systems    323
              N. N. Chokshi and   
                D. C. McFarlane   Rationales for Holonic Applications in
                                  Chemical Process Industries  . . . . . . 336
            Martyn Fletcher and   
          Robert W. Brennan and   
              Douglas H. Norrie   Distributed Deadline Control in Holonic
                                  Manufacturing Systems  . . . . . . . . . 351
       Michal P\vechou\vcek and   
      Jaroslav Bárta and   
 Vladimír Ma\vrík   CPlanT: Coalition Planning Multi-Agent
                                  System for Humanitarian Relief
                                  Operations . . . . . . . . . . . . . . . 363
                      Anonymous   Author Index . . . . . . . . . . . . . . 377


Lecture Notes in Computer Science
Volume 2323, 2002

            Gilles Ardourel and   
              Michael Haupt and   
José Luis Herrero Agustín and   
            Rainer Ruggaber and   
               Charles Suscheck   11th Workshop for PhD Students in
                                  Object-Oriented Systems  . . . . . . . . 1
László Böszörményi and   
            Christian Stary and   
               Harald Kosch and   
               Christian Becker   Quality of Service in Distributed Object
                                  Systems and Distributed Multimedia
                                  Object/Component Systems . . . . . . . . 7
            Gary T. Leavens and   
        Sophia Drossopoulou and   
            Susan Eisenbach and   
      Arnd Poetzsch-Heffter and   
                      Erik Poll   Formal Techniques for Java Programs  . . 30
       Bedir Tekinerdo\ugan and   
              Motoshi Saeki and   
        Gerson Sunyé and   
          Pim van den Broek and   
                    Pavel Hruby   Automating Object-Oriented Software
                                  Development Methods  . . . . . . . . . . 41
            Nicolas Revault and   
                Joseph W. Yoder   Adaptive Object-Models and Metamodeling
                                  Techniques . . . . . . . . . . . . . . . 57
    Sébastien Gerard and   
            Alexandre David and   
        François Terrier   Specification, Implementation, and
                                  Validation of Object-Oriented Embedded
                                  Systems  . . . . . . . . . . . . . . . . 72
         Elke Pulvermueller and   
              Andreas Speck and   
           James O. Coplien and   
               Maja D'Hondt and   
             Wolfgang De Meuter   Feature Interaction in Composed Systems  86
                  Jan Bosch and   
          Clemens Szyperski and   
                  Wolfgang Weck   6th Workshop on Component-Oriented
                                  Programming  . . . . . . . . . . . . . . 98
              Johan Brichau and   
           Maurice Glandrup and   
             Siobhan Clarke and   
              Lodewijk Bergmans   Advanced Separation of Concerns  . . . . 107
                  Kei Davis and   
         Yannis Smaragdakis and   
           Jörg Striegnitz   Multiparadigm Programming with OO
                                  Languages  . . . . . . . . . . . . . . . 131
              Barbara Barth and   
                Greg Butler and   
        Krzysztof Czarnecki and   
              Ulrich Eisenecker   Generative Programming . . . . . . . . . 135
                   Tom Mens and   
             Galal Hassan Galal   4th Workshop on Object-Oriented
                                  Architectural Evolution  . . . . . . . . 150
        Ciarán Bryce and   
           Alexander Romanovsky   7th Workshop on Mobile Object Systems    165
                   Eric Jul and   
               Andrew Black and   
       Anne-Marie Kermarrec and   
                   Doug Lea and   
                    Salah Sadou   The Next 700 Distributed Object Systems  169
     Fernando Brito e Abreu and   
    Brian Henderson-Sellers and   
             Mario Piattini and   
                Geert Poels and   
             Houari A. Sahraoui   Quantitative Approaches in
                                  Object-Oriented Software Engineering . . 174
           Rafael Corchuelo and   
               Antonio Ruiz and   
Jörg R. Mühlbacher and   
Jesús D. García-Consuegra   Object-Oriented Business Solutions . . . 184
Darío Álvarez Gutiérrez and   
      Francisco Ballesteros and   
                Paniti Netinant   4th Workshop on OO and Operating Systems 201
                   Eric Jul and   
               Andrew Black and   
                   Doug Lea and   
              Robert Filman and   
                      Ian Welch   Panel: The Next 700 Distributed Object
                                  Systems  . . . . . . . . . . . . . . . . 208
Viktória Zsók and   
    István Juhász   Poster Session . . . . . . . . . . . . . 213
                      Anonymous   Author Index . . . . . . . . . . . . . . 225


Lecture Notes in Computer Science
Volume 2324, 2002

                S. C. Borst and   
                O. J. Boxma and   
  R. Núñez-Queija   Heavy Tails: The Effect of the Service
                                  Discipline . . . . . . . . . . . . . . . 1
             Salem Derisavi and   
               Peter Kemper and   
         William H. Sanders and   
                   Tod Courtney   The Möbius State-Level Abstract
                                  Functional Interface . . . . . . . . . . 31
                   F. Bause and   
                 H. Beilner and   
                 M. Fischer and   
                  P. Kemper and   
                 M. Völker   The \em ProC/B Toolset for the Modelling
                                  and Analysis of Process Chains . . . . . 51
  Sándor Rácz and   
   Árpád Tari and   
            Miklós Telek   MRMSolve: Distribution Estimation of
                                  Large Markov Reward Models . . . . . . . 71
András Horváth and   
            Miklós Telek   PhFit: a General Phase-Type Fitting Tool 82
            Alexander Klemm and   
        Christoph Lindemann and   
                  Marco Lohmann   Traffic Modeling of IP Networks Using
                                  the Batch Markovian Arrival Process  . . 92
            Stephen Gilmore and   
              Jane Hillston and   
                 Marina Ribaudo   PEPA Nets: a Structured Performance
                                  Modelling Formalism  . . . . . . . . . . 111
          Susanna Donatelli and   
                  Liliana Ferro   Validation of GSPN and SWN Models
                                  through the PROD Tool  . . . . . . . . . 131
               Dorin Petriu and   
                Murray Woodside   Software Performance Models from System
                                  Scenarios in Use Case Maps . . . . . . . 141
           Dorina C. Petriu and   
                       Hui Shen   Applying the UML Performance Profile:
                                  Graph Grammar-Based Derivation of LQN
                                  Models from UML Specifications . . . . . 159
                  J. T. Bradley   A Passage-Time Preserving Equivalence
                                  for Semi-Markov Processes  . . . . . . . 178
                 Ian Davies and   
     William J. Knottenbelt and   
           Pieter S. Kritzinger   Symbolic Methods for the State Space
                                  Exploration of GSPN Models . . . . . . . 188
          Marta Kwiatkowska and   
              Gethin Norman and   
                   David Parker   PRISM: Probabilistic Symbolic Model
                                  Checker  . . . . . . . . . . . . . . . . 200
                 Alma Riska and   
                 Evgenia Smirni   MAMSolver: a Matrix Analytic Methods
                                  Tool . . . . . . . . . . . . . . . . . . 205
             Andreas Festag and   
            Lars Westerhoff and   
                    Adam Wolisz   The MOMBASA Software Environment --- A
                                  Toolkit for Performance Evaluation of
                                  Multicast-Based Mobility Support . . . . 212
            David J. Pearce and   
           Paul H. J. Kelly and   
                 Tony Field and   
                     Uli Harder   GILK: a Dynamic Instrumentation Tool for
                                  the Linux Kernel . . . . . . . . . . . . 220
               Krishna Kant and   
               Vijay Tewari and   
               Ravishankar Iyer   Geist: a Web Traffic Generation Tool . . 227
     Giuliana Franceschinis and   
                M. Gribaudo and   
                  M. Iacono and   
                N. Mazzocca and   
                   V. Vittorini   DrawNET++: Model Objects to Support
                                  Performance Analysis and Simulation of
                                  Systems  . . . . . . . . . . . . . . . . 233
            Richard Hopkins and   
                     Peter King   A Visual Formalism for the Composition
                                  of Stochastic Petri Nets . . . . . . . . 239
             Hasyim Gautama and   
         Arjan J. C. van Gemund   Symbolic Performance Prediction of
                                  Data-Dependent Parallel Programs . . . . 259
                   L. Kumar and   
                   M. Misra and   
                     I. Mitrani   Analysis of a Transaction System with
                                  Checkpointing, Failures, and Rollback    279
           Adrian E. Conway and   
                       Yali Zhu   Analyzing Voice-over-IP Subjective
                                  Quality as a Function of Network QoS: a
                                  Simulation-Based Methodology and Tool    289
                Adeniyi Oke and   
                      Rick Bunt   Hierarchical Workload Characterization
                                  for a Busy Web Server  . . . . . . . . . 309
             Pankaj K. Garg and   
                Kave Eshghi and   
            Thomas Gschwind and   
        Boudewijn Haverkort and   
                 Katinka Wolter   Enabling Network Caching of Dynamic Web
                                  Objects  . . . . . . . . . . . . . . . . 329
                 Pascal Richard   A Tool for Controlling Response Time in
                                  Real-Time Systems  . . . . . . . . . . . 339
                      Anonymous   Author Index . . . . . . . . . . . . . . 349


Lecture Notes in Computer Science
Volume 2326, 2002

              Wolfgang Gentzsch   Grid Computing: a New Technology for the
                                  Advanced Web . . . . . . . . . . . . . . 1
                 B. Folliot and   
                I. Piumarta and   
              L. Seinturier and   
             C. Baillarguet and   
                  C. Khoury and   
                   A. Leger and   
                        F. Ogel   Beyond Flexibility and Reflection: The
                                  Virtual Virtual Machine Approach . . . . 16
                   Dan Grigoras   Programming Models for Cluster Computing 26
                Bernard Toursel   About Design and Efficiency of
                                  Distributed Programming: Some
                                  Algorithmic Aspects  . . . . . . . . . . 36
               Valentin Cristea   A Collaborative Environment for High
                                  Performance Computing  . . . . . . . . . 47
                  Guang Tan and   
                    Hai Jin and   
                    Liping Pang   Layer 4 Fault Tolerance: Reliability
                                  Techniques for Cluster System in
                                  Internet Services  . . . . . . . . . . . 60
               Can Özturan   Computational Issues in E-commerce
                                  Trading Exchanges  . . . . . . . . . . . 69
                   Marek Tudruj   Embedded Cluster Computing through
                                  Dynamic Reconfigurability of
                                  Inter-Processor Connections  . . . . . . 77
                 Eugen Dedu and   
     Stéphane Vialle and   
                  Claude Timsit   Parallelisation of Wave Propagation
                                  Algorithms for Odour Propagation in
                                  Multi-agent Systems  . . . . . . . . . . 92
                 Mitic\ua Craus   Parallel and Distributed Solutions for
                                  the Optimal Binary Search Tree Problem   103
                  Laura Grigori   A Framework for Efficient Sparse LU
                                  Factorization in a Cluster Based
                                  Platform . . . . . . . . . . . . . . . . 118
            Thierry Monteil and   
                Patricia Pascal   Task Allocation Using Processor Load
                                  Prediction on Multiprocessors Cluster    126
             Tiberiu Rotaru and   
      Hans-Heinrich Nägeli   Heterogeneous Dynamic Load Balancing . . 136
                  D. Kebbal and   
                E.-G. Talbi and   
                     J.-M. Geib   Multi-application Scheduling in Networks
                                  of Workstations and Clusters of
                                  Processors . . . . . . . . . . . . . . . 145
             Andrzej Jordan and   
             Robert Piotr Bycul   The Parallel Algorithm of Conjugate
                                  Gradient Method  . . . . . . . . . . . . 156
              Adil Alpkocak and   
             Taner Danisman and   
                     Tuba Ulker   A Parallel Similarity Search in High
                                  Dimensional Metric Space Using M-Tree    166
                 Dana Petcu and   
                 Horia Popa and   
                Dorin \cTepeneu   A User-Level Interface for Clustering
                                  Mathematical Software Kernels  . . . . . 172
            Gabriel Antoniu and   
               Luc Bougé   Implementing Multithreaded Protocols for
                                  Release Consistency on Top of the
                                  Generic DSM-PM Platform  . . . . . . . . 179
                   Cosmina Ivan   Communication Balancing for Wireless
                                  Nodes in a LAN-WAN Cluster . . . . . . . 189
               Marek Tudruj and   
                   Lukasz Masko   An Architecture and Task Scheduling
                                  Algorithm for Systems Based on
                                  Dynamically Reconfigurable Shared Memory
                                  Clusters . . . . . . . . . . . . . . . . 197
              Nicolae Tapus and   
            Emil Slusanschi and   
                  Tudor Popescu   Distributed Rendering Engine . . . . . . 207
              Nicolae Tapus and   
               Mihai Burcea and   
                    Vlad Staicu   A Distributed Application for Monte
                                  Carlo Simulations  . . . . . . . . . . . 216
                Sabin C. Buraga   A Model for Accessing Resources of the
                                  Distributed File Systems . . . . . . . . 224
            Felicia Ionescu and   
             Mihail Ionescu and   
            Cristina Coconu and   
                Valentin Stoica   Coarse-Grain Parallelization of Test
                                  Vectors Generation on Multiprocessor
                                  Systems  . . . . . . . . . . . . . . . . 231
                  Adam Smyk and   
                   Marek Tudruj   \em OpenMP/MPI Programming in a
                                  Multi-cluster System Based on Shared
                                  Memory/Message Passing Communication . . 241
              Violeta Felea and   
            Nathalie Devesa and   
            Bernard Toursel and   
                Pierre Lecouffe   Expressing Parallelism in Java
                                  Applications Distributed on Clusters . . 249
       Florian Mircea Boian and   
                 Corina Ferdean   Advanced Collaboration Techniques
                                  between Java Objects Distributed on
                                  Clusters . . . . . . . . . . . . . . . . 259
                  A. Bouchi and   
                 R. Olejnik and   
                Bernard Toursel   Java Tools for Measurement of the
                                  Machine Loads  . . . . . . . . . . . . . 271
               Boguslaw Butrylo   The Parallel FDTD Algorithm and Its
                                  Application to the Analysis of Complex
                                  Structures . . . . . . . . . . . . . . . 279
            Tatiana Tabirca and   
                Len Freeman and   
                  Sabin Tabirca   A Theoretical Application of Feedback
                                  Guided Dynamic Loop Scheduling . . . . . 287
                 Paulina Mitrea   DIM --- A Distributed Image Processing
                                  System, Based on ISO IEC 12087 Image
                                  Processing Standard  . . . . . . . . . . 293
         Cristian Bu\ctincu and   
                   Dan Grigoras   DisMedJava --- A Distributed Application
                                  for Medical Image Processing . . . . . . 308
                      Anonymous   Author Index . . . . . . . . . . . . . . 321


Lecture Notes in Computer Science
Volume 2327, 2002

                Thomas Sterling   The Gilgamesh MIND Processor-in-Memory
                                  Architecture for Petaflops-Scale
                                  Computing  . . . . . . . . . . . . . . . 1
                       Tony Hey   The UK e-Science Program and the Grid    6
           Rudolf Eigenmann and   
              Greg Gaertner and   
               Wesley Jones and   
               Hideki Saito and   
                  Brian Whitney   SPEC HPC2002: The Next High-Performance
                                  Computer Benchmark . . . . . . . . . . . 7
    (Distinguished Paper Award)   Language and Compiler Support for
                                  Hybrid-Parallel Programming on SMP
                                  Clusters . . . . . . . . . . . . . . . . 11
     (Best Student Paper Award)   Parallelizing Merge Sort onto
                                  Distributed Memory Parallel Computers    25
                  E. Baydal and   
            P. López and   
                       J. Duato   Avoiding Network Congestion with Local
                                  Information  . . . . . . . . . . . . . . 35
                   J. Flich and   
            P. López and   
               J. C. Sancho and   
                  A. Robles and   
                       J. Duato   Improving InfiniBand Routing through
                                  Multiple Virtual Networks  . . . . . . . 49
         Jeffrey B. Rothman and   
                 Alan Jay Smith   Minerva: An Adaptive Subblock Coherence
                                  Protocol for Improved SMP Performance    64
              Mark Heinrich and   
               Evan Speight and   
               Mainak Chaudhuri   Active Memory Clusters: Efficient
                                  Multiprocessing on Commodity Clusters    78
              Marco Garatti and   
              Roberto Costa and   
    Stefano Crespi Reghizzi and   
                    Erven Rohou   The Impact of Alias Analysis on VLIW
                                  Scheduling . . . . . . . . . . . . . . . 93
             Toshinori Sato and   
                 Itsujiro Arita   Low-Cost Value Predictors Using Frequent
                                  Value Locality . . . . . . . . . . . . . 106
                 Weiyu Tang and   
       Alexander Veidenbaum and   
          Alexandru Nicolau and   
                   Rajesh Gupta   Integrated I-cache Way Predictor and
                                  Branch Target Buffer to Reduce Energy
                                  Consumption  . . . . . . . . . . . . . . 120
        Oliverio J. Santana and   
        Ayose Falcón and   
   Enrique Fernández and   
               Pedro Medina and   
        Alex Ramírez and   
                   Mateo Valero   A Comprehensive Analysis of Indirect
                                  Branch Prediction  . . . . . . . . . . . 133
              Glenn Reinman and   
                Brad Calder and   
                    Todd Austin   High Performance and Energy Efficient
                                  Serial Prefetch Architecture . . . . . . 146
              Chia-Lin Yang and   
                   Alvin Lebeck   A Programmable Memory Hierarchy for
                                  Prefetching Linked Data Structures . . . 160
           Takeshi Iwashita and   
              Masaaki Shimasaki   Block Red-Black Ordering Method for
                                  Parallel Processing of ICCG Solver . . . 175
  J. Davison de St. Germain and   
                Alan Morris and   
           Steven G. Parker and   
            Allen D. Malony and   
                  Sameer Shende   Integrating Performance Analysis in the
                                  Uintah Software Development Cycle  . . . 190
                 Ayato Noro and   
               Tomoya Ogawa and   
                Takuma Ohta and   
         Kazuyuki Yamashita and   
             Shigeki Miyaji and   
                      Mitue Den   Performance of Adaptive Mesh Refinement
                                  Scheme for Hydrodynamics on Simulations
                                  of Expanding Supernova Envelope  . . . . 207
             Hitoshi Uehara and   
            Masanori Tamura and   
                Mitsuo Yokokawa   An MPI Benchmark Program Library and Its
                                  Application to the Earth Simulator . . . 219
               Takashi Furumura   Parallel Simulation of Seismic Wave
                                  Propagation  . . . . . . . . . . . . . . 231
           Kazuhisa Tsuboki and   
             Atsushi Sakakibara   Large-Scale Parallel Computing of Cloud
                                  Resolving Storm Simulator  . . . . . . . 243
                 Hitoshi Oi and   
                 Bing-rung Tsai   Routing Mechanism for Static Load
                                  Balancing in a Partitioned Computer
                                  System with a Fully Connected Network    260
        Ayose Falcón and   
        Oliverio J. Santana and   
               Pedro Medina and   
   Enrique Fernández and   
        Alex Ramírez and   
                   Mateo Valero   Studying New Ways for Improving Adaptive
                                  History Length Branch Predictors . . . . 271
              Dana S. Henry and   
             Gabriel H. Loh and   
                     Rahul Sami   Speculative Clustered Caches for
                                  Clustered Processors . . . . . . . . . . 281
            Yasuo Matsubara and   
              Takahiro Shakushi   The Effects of Timing Dependence and
                                  Recursion on Parallel Program Schemata   291
              Masaaki Kondo and   
            Mitsugu Iwamoto and   
               Hiroshi Nakamura   Cache Line Impact on $3$D PDE Solvers    301
                Lori Carter and   
              Weihaw Chuang and   
                    Brad Calder   An EPIC Processor with Pending
                                  Functional Units . . . . . . . . . . . . 310
               Rakesh Kumar and   
          Tusar Kanti Patra and   
                    Anupam Basu   Software Energy Optimization of Real
                                  Time Preemptive Tasks by Minimizing
                                  Cache-Related Preemption Costs . . . . . 321
                  Jung-Sook Kim   Distributed Genetic Algorithm with
                                  Multiple Populations Using Multi-agent   329
              Pinhas Alpert and   
         Alexander Goikhman and   
          Jacob Katzenelson and   
                Marina Tsidulko   Numerical Weather Prediction on the
                                  Supercomputer Toolkit  . . . . . . . . . 335
        Rodrigo F. de Mello and   
       Maria Stela V. Paiva and   
Luís Carlos Trevelin and   
                Adilson Gonzaga   OpenTella: a Peer-to-Peer Protocol for
                                  the Load Balancing in a System Formed by
                                  a Cluster from Clusters  . . . . . . . . 346
            Nathalie Julien and   
             Johann Laurent and   
                  Eric Senn and   
                    Eric Martin   Power Estimation of a C Algorithm Based
                                  on the Functional-Level Power Analysis
                                  of a Digital Signal Processor  . . . . . 354
              Manuel Arenaz and   
        Juan Touriño and   
            Ramón Doallo   Irregular Assignment Computations on
                                  cc-NUMA Multiprocessors  . . . . . . . . 361
          (WOMPEI Invited Talk)   Large System Performance of SPEC OMP2001
                                  Benchmarks . . . . . . . . . . . . . . . 370
        Matthias S. Müller   A Shared Memory Benchmark in OpenMP  . . 380
          Daisuke Takahashi and   
             Mitsuhisa Sato and   
                   Taisuke Boku   Performance Evaluation of the Hitachi
                                  SR8000 Using OpenMP Benchmarks . . . . . 390
              Rolf Rabenseifner   Communication Bandwidth of Parallel
                                  Programming Models on Hybrid
                                  Architectures  . . . . . . . . . . . . . 401
            Achal Prabhakar and   
             Vladimir Getov and   
                Barbara Chapman   Performance Comparisons of Basic OpenMP
                                  Constructs . . . . . . . . . . . . . . . 413
     Géraud Krawezik and   
    Guillaume Alléon and   
                Franck Cappello   SPMD OpenMP versus MPI on a IBM SMP for
                                  3 Kernels of the NAS Benchmarks  . . . . 425
             Kengo Nakajima and   
                  Hiroshi Okuda   Parallel Iterative Solvers for
                                  Unstructured Grids Using an OpenMP/MPI
                                  Hybrid Programming Model for the GeoFEM
                                  Platform on SMP Cluster Architectures    437
         Pierre de Montleau and   
            Jose Maria Cela and   
           Serge Moto Mpong and   
          André Godinass   A Parallel Computing Model for the
                                  Acceleration of a Finite Element
                                  Software . . . . . . . . . . . . . . . . 449
            Ayon Basumallik and   
              Seung-Jai Min and   
               Rudolf Eigenmann   Towards OpenMP Execution on Software
                                  Distributed Shared Memory Systems  . . . 457
       Marc González and   
      Eduard Ayguadé and   
           Xavier Martorell and   
       Jesús Labarta and   
                   Phu V. Luong   Dual-Level Parallelism Exploitation with
                                  OpenMP in Coastal Ocean Circulation
                                  Modeling . . . . . . . . . . . . . . . . 469
            Hirofumi Nakano and   
          Kazuhisa Ishizaka and   
               Motoki Obata and   
               Keiji Kimura and   
              Hironori Kasahara   Static Coarse Grain Task Scheduling with
                                  Cache Optimization Using OpenMP  . . . . 479
                   Hans P. Zima   High Performance Fortran --- History,
                                  Status and Future (HiWEP Invited Talk)   490
           Hitoshi Sakagami and   
             Shingo Furubayashi   Performance Evaluation for Japanese HPF
                                  Compilers with Special Benchmark Suite   491
                 Kae Asaoka and   
                Akio Hirano and   
                Yasuo Okabe and   
              Masanori Kanazawa   Evaluation of the HPF/JA Extensions on
                                  Fujitsu VPP Using the NAS Parallel
                                  Benchmarks . . . . . . . . . . . . . . . 503
              DongSheng Cai and   
                 Yaoting Li and   
         Ken-ichi Nishikawa and   
               Chiejie Xiao and   
                    Xiaoyan Yan   Three-Dimensional Electromagnetic
                                  Particle-in-Cell Code Using High
                                  Performance Fortran on PC Cluster  . . . 515
         Hidetoshi Iwashita and   
            Kohichiro Hotta and   
              Sachio Kamiya and   
           Matthijs van Waveren   Towards a Lightweight HPF Compiler . . . 526
              Peter Brezany and   
               Jonghyun Lee and   
              Marianne Winslett   Parallel I/O Support for HPF on
                                  Computational Grids  . . . . . . . . . . 539
               Takuya Araki and   
              Hitoshi Murai and   
          Tsunehiko Kamachi and   
                    Yoshiki Seo   Optimization of HPF Programs with
                                  Dynamic Recompilation Technique  . . . . 551
                      Anonymous   Author Index . . . . . . . . . . . . . . 563


Lecture Notes in Computer Science
Volume 2328, 2002

               Janusz Borkowski   Interrupt and Cancellation as
                                  Synchronization Methods  . . . . . . . . 3
            Viktor K. Decyk and   
                 Dean E. Dauger   Supercomputing for the Masses: a
                                  Parallel Macintosh Cluster . . . . . . . 10
                Ewa Deelman and   
             Carl Kesselman and   
               Roy Williams and   
             Kent Blackburn and   
           Albert Lazzarini and   
                  Scott Koranda   Applications of Virtual Data in the LIGO
                                  Experiment . . . . . . . . . . . . . . . 23
                Michael Sampels   Visualization of Automorphisms and
                                  Vertex-Symmetry  . . . . . . . . . . . . 35
        Martin Schmollinger and   
               Michael Kaufmann   $ \kappa $NUMA: a Model for Clusters of
                                  SMP-Machines . . . . . . . . . . . . . . 42
               Marek Tudruj and   
                  \Lukasz Masko   A Parallel System Architecture Based on
                                  Dynamically Configurable Shared Memory
                                  Clusters . . . . . . . . . . . . . . . . 51
        C. Fernández and   
                  F. Torres and   
                   S. T. Puente   SASEPA: Simultaneous Allocation and
                                  Scheduling with Exclusion and Precedence
                                  Relations Algorithm  . . . . . . . . . . 65
          Noriyuki Fujimoto and   
               Kenichi Hagihara   Optimal Task Scheduling of a Complete
                                  K-Ary Tree with Communication Delays . . 71
    Stanis\law Gawiejnowicz and   
              Wies\law Kurc and   
                Lidia Pankowska   A Greedy Approach for a Time-Dependent
                                  Scheduling Problem . . . . . . . . . . . 79
            Krzysztof Giaro and   
               Marek Kubale and   
       Micha\l Ma\lafiejski and   
              Konrad Piwakowski   Dedicated Scheduling of Biprocessor
                                  Tasks to Minimize Mean Flow Time . . . . 87
                 Eryk Laskowski   Fast Scheduling and Partitioning
                                  Algorithm in the Multi-processor System
                                  with Redundant Communication Resources   97
             Tiberiu Rotaru and   
      Hans-Heinrich Nägeli   Heterogeneous Dynamic Load Balancing
                                  with a Scheme Based on the Laplacian
                                  Polynomial . . . . . . . . . . . . . . . 107
               Marek Tudruj and   
                  \Lukasz Masko   Task Scheduling for Dynamically
                                  Configurable Multiple SMP Clusters Based
                                  on Extended DSC Approach . . . . . . . . 115
          Pawe\l Wolniewicz and   
              Maciej Drozdowski   Processing Time and Memory Requirements
                                  for Multi-installment Divisible Job
                                  Processing . . . . . . . . . . . . . . . 125
              Maciej Drozdowski   Estimating Execution Time of Distributed
                                  Applications . . . . . . . . . . . . . . 137
                Jan Kwiatkowski   Evaluation of Parallel Programs by
                                  Measurement of Its Granularity . . . . . 145
           Rafa\l Metkowski and   
                Piotr Ba\la and   
                    Terry Clark   The Performance of Different
                                  Communication Mechanisms and Algorithms
                                  Used for Parallelization of Molecular
                                  Dynamics Code  . . . . . . . . . . . . . 154
              Darin Nikolow and   
              Renata S\lota and   
                 Jacek Kitowski   Benchmarking Tertiary Storage Systems
                                  with File Fragmentation  . . . . . . . . 162
                Tomasz Olas and   
          Konrad Karczewski and   
                 Adam Tomas and   
              Roman Wyrzykowski   FEM Computations on Clusters Using
                                  Different Models of Parallel Programming 170
             Maria J. Blesa and   
          Lluis Hern\`andez and   
                    Fatos Xhafa   Parallel Skeletons for Tabu Search
                                  Method Based on Search Strategies and
                                  Neighborhood Partition . . . . . . . . . 185
           Jacek B\lazewicz and   
               Rafa\l Walkowiak   A New Parallel Approach for
                                  Multi-dimensional Packing Problem  . . . 194
         Jerzy Brzezi\'nski and   
             Dariusz Wawrzyniak   Consistency Requirements of Peterson's
                                  Algorithm for Mutual Exclusion of $ {n}
                                  $ Processes in a Distributed Shared
                                  Memory System  . . . . . . . . . . . . . 202
              Zbigniew J. Czech   Three Parallel Algorithms for Simulated
                                  Annealing  . . . . . . . . . . . . . . . 210
Frédéric Guinand and   
          Gilles Parmentier and   
                 Denis Trystram   Construction of Phylogenetic Trees on
                                  Parallel Clusters  . . . . . . . . . . . 218
          Zbigniew Kokosi\'nski   On Parallel Generation of $t$-Ary Trees
                                  in an Associative Model  . . . . . . . . 228
        Mieczys\law Wodecki and   
             Wojciech Bo\.zejko   Solving the Flow Shop Problem by
                                  Parallel Simulated Annealing . . . . . . 236
          Piotr Dembi\'nski and   
           Wojciech Penczek and   
          Agata Pó\lrola   Automated Verification of Infinite State
                                  Concurrent Systems . . . . . . . . . . . 247
      J. A. González and   
             C. León and   
               M. Pristinta and   
                 J. L. Roda and   
        C. Rodríguez and   
     J. M. Rodríguez and   
                       F. Sande   A Language for the Complexity Analysis
                                  of Parallel Programs . . . . . . . . . . 256
                  Sergey Krivoi   Criteria of Satisfiability for
                                  Homogeneous Systems of Linear
                                  Diophantine Constraints  . . . . . . . . 264
               Oleg Maslennikov   Systematic Generation of Executing
                                  Programs for Processor Elements in
                                  Parallel ASIC or FPGA-Based Systems and
                                  Their Transformation into
                                  VHDL-Descriptions of Processor Element
                                  Control Units  . . . . . . . . . . . . . 272
                Cevat Sener and   
                Yakup Paker and   
                   Ay\cse Kiper   Developing a Data-Parallel Application
                                  with DaParT  . . . . . . . . . . . . . . 280
                  Adam Smyk and   
                   Marek Tudruj   Application of Mixed \em MPI OpenMP
                                  Programming in a Multi SMP Cluster
                                  Computer . . . . . . . . . . . . . . . . 288
              Peter Brezany and   
               Marian Bubak and   
            Maciej Malawski and   
              Katarzyna Zaj\cac   Irregular and Out-of-Core Parallel
                                  Computing on Clusters  . . . . . . . . . 299
               Marian Bubak and   
        W\lodzimierz Funika and   
              Bartosz Balis and   
          Roland Wismüller   A Concept of Grid Application Monitoring 307
               Marian Bubak and   
        W\lodzimierz Funika and   
              Piotr M\cetel and   
           Rafa\l Or\lowski and   
          Roland Wismüller   Towards a Monitoring Interface
                                  Specification for Distributed Java
                                  Applications . . . . . . . . . . . . . . 315
          \Lukasz Garstecki and   
           Pawe\l Kaczmarek and   
Jacques Chassin de Kergommeaux and   
            Henryk Krawczyk and   
             Bogdan Wiszniewski   Testing for Conformance of Parallel
                                  Programming Pattern Languages  . . . . . 323
                   Pawel Gepner   Overview of IA-64 Explicitly Parallel
                                  Instruction Computing Architecture . . . 331
             A. Gosci\'nski and   
                   M. Hobbs and   
                     J. Silcock   Toward an Operating System That Supports
                                  Parallel Processing on Nondedicated
                                  Clusters . . . . . . . . . . . . . . . . 340
              Joong-Han Kim and   
              Seong-Soo Yae and   
          R. S. Ramakrishna and   
                   Yoo-Sung Kim   Load Distribution in Jini Using JINT . . 354
             Marcin Lepiarz and   
               Zdzislaw Onderka   Agent System for Load Monitoring of the
                                  Heterogeneous Computer Network . . . . . 364
               G. T. Nguyen and   
                  L. Hluchy and   
                 V. D. Tran and   
                    M. Kotocova   DDG Task Recovery for Cluster Computing  369
               Pedro Alonso and   
             Raquel Cortina and   
          Irene Díaz and   
   Vicente Hernández and   
            José Ranilla   A Columnwise Block Striping in Neville
                                  Elimination  . . . . . . . . . . . . . . 379
  Petter E. Bjòrstad and   
           Piotr Krzy\.zanowski   A Flexible $2$-Level Neumann--Neumann
                                  Method for Structural Analysis Problems  387
              Radim Blaheta and   
              Ond\vrej Jakl and   
     Ji\vrí Starý   Parallel Displacement Decomposition
                                  Solvers for Elasticity Problems  . . . . 395
                R. \vCiegis and   
                     G. \vSilko   A Scheme for Partitioning Regular Graphs 404
                  A. Cooper and   
                 M. Szularz and   
                      J. Weston   Analysis of the Lanczos Error Bounds and
                                  Its Application to the Explicitly
                                  Restarted Lanczos Algorithm  . . . . . . 410
              Fred G. Gustavson   New Generalized Data Structures for
                                  Matrices Lead to a Variety of High
                                  Performance Algorithms . . . . . . . . . 418
                     Dana Petcu   Solving Large Systems of Differential
                                  Equations with PaViS . . . . . . . . . . 437
                    Y. Saad and   
                   M. Sosonkina   pARMS: a Package for Solving General
                                  Sparse Linear Systems on Parallel
                                  Computers  . . . . . . . . . . . . . . . 446
         Anatoli Sergyienko and   
               Oleg Maslennikov   Implementation of Givens
                                  QR-Decomposition in FPGA . . . . . . . . 458
      Przemys\law Stpiczy\'nski   A New Message Passing Algorithm for
                                  Solving Linear Recurrence Systems  . . . 466
       Tadeusz Burczy\'nski and   
                    Wac\law Kus   Distributed Evolutionary Algorithms in
                                  Shape Optimization of Nonlinear
                                  Structures . . . . . . . . . . . . . . . 477
                  L. Hluchy and   
               D. Froehlich and   
                 V. D. Tran and   
                 J. Astalos and   
                M. Dobrucky and   
                   G. T. Nguyen   Parallel Numerical Solution for Flood
                                  Modeling Systems . . . . . . . . . . . . 485
             Tomasz Jurczyk and   
              Barbara G\lut and   
                 Jacek Kitowski   An Empirical Comparison of Decomposition
                                  Algorithms for Complex Finite Element
                                  Meshes . . . . . . . . . . . . . . . . . 493
        Grzegorz Kamieniarz and   
           Ryszard Matysiak and   
    Alvaro Caramico D'Auria and   
           Filippo Esposito and   
              Cristiano Benelli   Application of Parallel Computing in the
                                  Transfer --- Matrix Simulations of the
                                  Supramolecules Mn$_6$ and Ni$_{12}$  . . 502
            Henryk Krawczyk and   
          Aleksander Neyman and   
          Michal Nowikowski and   
                     Jamil Saif   The Parallel Environment for Endoscopic
                                  Image Analysis . . . . . . . . . . . . . 510
            Jan Kwiatkowski and   
       Wieslawa Kwiatkowska and   
             Krzysztof Kawa and   
                    Piotr Kania   Using Fractal Coding in Medical Image
                                  Magnification  . . . . . . . . . . . . . 517
               Mikhail P. Levin   Quasi-Characteristics Scheme with
                                  Parallel Facilities for Computations of
                                  Two-Phase Flows in Heterogeneous Porous
                                  Media  . . . . . . . . . . . . . . . . . 526
                 G. Musia\l and   
                    L. D\cebski   Monte Carlo Method with Parallel
                                  Computation of Phase Transitions in the
                                  Three-Dimensional Ashkin--Teller Model   535
                 Stefan Nilsson   Flow Simulations on Overlapping Grids    544
          Charles D. Norton and   
               Thomas A. \'Cwik   Parallel Unstructured AMR and Gigabit
                                  Networking for Beowulf-Class Clusters    552
             William Sawyer and   
                  Peter Messmer   Parallel Grid Manipulations for General
                                  Circulation Models . . . . . . . . . . . 564
         Alexander Soloviev and   
        Vyacheslav Maksimov and   
          Valerii Rozenberg and   
                 Yurii Ermoliev   Block Models of Lithosphere Dynamics:
                                  Approach and Algorithms  . . . . . . . . 572
     Bolesla K. Szyma\'nski and   
                   Gilbert Chen   A Component Model for Discrete Event
                                  Simulation . . . . . . . . . . . . . . . 580
              Joanna Ko\lodziej   Modelling Hierarchical Genetic Strategy
                                  as a Family of Markov Chains . . . . . . 595
           Danuta Rutkowska and   
             Robert Nowicki and   
                 Yoichi Hayashi   Parallel Processing by Implication-Based
                                  Neuro-Fuzzy Systems  . . . . . . . . . . 599
            Robert Schaefer and   
          Zenon J. Jab\lo\'nski   On the Convergence of Sampling Measures
                                  in the Global Genetic Search . . . . . . 608
                Juan Seijas and   
       Carmen Morató and   
José L. Sanz-González   Genetic Algorithms: Two Different
                                  Elitism Operators for Stochastic and
                                  Deterministic Applications . . . . . . . 617
    Franciszek Seredy\'nski and   
               Anna Swi\cecicka   Immune-Like System Approach to Cellular
                                  Automata-Based Scheduling  . . . . . . . 626
         Janusz Starczewski and   
               Leszek Rutkowski   Connectionist Structures of Type 2 Fuzzy
                                  Inference Systems  . . . . . . . . . . . 634
               Marcin Wojnarski   LTF-C --- Neural Network for Solving
                                  Classification Problems  . . . . . . . . 643
             Jaros\law Zola and   
              Roman Wyrzykowski   EPL-Julia the High-Performance Library
                                  for Evolutionary Computations  . . . . . 652
                  Sergiy Fialko   Aggregation Multilevel Iterative Solver
                                  for Analysis of Large-Scale Finite
                                  Element Problems of Structural
                                  Mechanics: Linear Statics and Natural
                                  Vibrations . . . . . . . . . . . . . . . 663
             Andrzej Grzybowski   Computer Simulations in Constructing a
                                  Coefficient of Uncertainty in Regression
                                  Estimation --- Methodology and Results   671
      Rados\law Grzymkowski and   
                  Damian S\lota   Multi-phase Inverse Stefan Problems
                                  Solved by Approximation Method . . . . . 679
           Andrzej Karafiat and   
               Lech S\lawik and   
                     Olga Trzos   Error Estimates for BE/FE Method in
                                  Elastic Scattering . . . . . . . . . . . 687
         Jacek Lesczy\'nski and   
             Mariusz Ciesielski   A Numerical Method for Solution of
                                  Ordinary Differential Equations of
                                  Fractional Order . . . . . . . . . . . . 695
        Jacek Leszczy\'nski and   
                Sebastian Pluta   The Efficient Generation of Unstructured
                                  Control Volumes in $2$D and $3$D . . . . 703
   Arkadiusz Nagórka and   
           Norbert Sczygiol and   
                Grzegorz Szwarc   Coupling of Thermal and Mechanical
                                  Phenomena by Boundary Conditions in
                                  Numerical Modelling of Solidifying
                                  Castings . . . . . . . . . . . . . . . . 711
           Marcin Paprzycki and   
               Deborah Dent and   
           Anna Kucaba-Pi\cetal   Solvers for Nonlinear Algebraic
                                  Equations; Where Are We Today? . . . . . 719
               Maciej Patan and   
              Dariusz Uci\'nski   Optimal Location of Sensors for
                                  Parameter Estimation of Static
                                  Distributed Systems  . . . . . . . . . . 729
                 Amalia Pielorz   Application of Equations with a Retarded
                                  Argument in Physical Systems . . . . . . 738
         Andreas Poullikkas and   
       Andreas Karageorghis and   
              Georgios Georgiou   The Method of Fundamental Solutions in
                                  Three-Dimensional Elastostatics  . . . . 747
       Pavel V. Sevastjanov and   
          Pawe\l Róg and   
              Andrey V. Venberg   A Constructive Numerical Method for the
                                  Comparison of Intervals  . . . . . . . . 756
   Yiorgos-Sokratis Smyrlis and   
           Andreas Karageorghis   Rotation of the Sources and
                                  Normalization of the Fundamental
                                  Solutions in the MFS . . . . . . . . . . 762
        Ekaterina Vasilyeva and   
              Valerii Rozenberg   Reconstruction of Unknown Properties of
                                  Seismic Flows  . . . . . . . . . . . . . 770
                  R. Weiner and   
              B. A. Schmitt and   
                   H. Podhaisky   Parallel Two-Step W-Methods on Singular
                                  Perturbation Problems  . . . . . . . . . 778
               Zineb Habbas and   
      Michaël Krajecki and   
                  Daniel Singer   The Langford's Problem: a Challenge for
                                  Parallel Resolution of CSP . . . . . . . 789
               A. Kleymenov and   
                 D. Petunin and   
                 A. Semenov and   
                      I. Vazhev   A Model of Cooperative Solvers for
                                  Computational Problems . . . . . . . . . 797
                   N. Revol and   
               Y. Denneulin and   
        J.-F. Méhaut and   
                  B. Planquelle   A Methodology of Parallelization for
                                  Continuous Verified Global Optimization  803
                 Nicolas Romero   Mobile Concurrent Constraint Programming 811
               Carsten Sinz and   
        Jörg Denzinger and   
       Jürgen Avenhaus and   
          Wolfgang Küchlin   Combining Parallel and Distributed
                                  Search in Automated Equational Deduction 819
             Blanca Bujanda and   
              Juan Carlos Jorge   Numerical Methods for Evolutionary
                                  Convection-Diffusion Problems with
                                  Nonlinear Reaction Terms . . . . . . . . 833
              Jan Jankowski and   
               Monika Warmowska   Solution of Incompressible
                                  Navier--Stokes Equations Using
                                  Projection Methods . . . . . . . . . . . 841
          Winfried Auzinger and   
                Othmar Koch and   
            Ewa Weinmüller   Theory and Solution Techniques for
                                  Singular Boundary Value Problems in
                                  Ordinary Differential Equations  . . . . 851
           Andrzej Bielecki and   
           Dariusz Jab\lo\'nski   Estimation of Numerical Dynamics
                                  Constants of a Weakly Nonlinear Neuron   862
     Alexander Domoshnitsky and   
           Michael Drakhlin and   
                   Elena Litsyn   On Positivity of Solutions of Delayed
                                  Differential Equation with State
                                  Dependent Impulses . . . . . . . . . . . 870
     V. V. Krzhizhanovskaya and   
           M. A. Zatevakhin and   
             A. A. Ignatiev and   
            Y. E. Gorbachev and   
                 P. M. A. Sloot   Distributed Simulation of Silicon-Based
                                  Film Growth  . . . . . . . . . . . . . . 879
Maria Stanis\lawa Magdo\'n-Maksymowicz and   
               Marian Bubak and   
   Andrzej Zbigniew Maksymowicz   Biological Time Scale and Ageing in the
                                  Penna Model  . . . . . . . . . . . . . . 888
        William A. Maniatty and   
              Thomas Caraco and   
               Niles Lehman and   
        Boleslaw K. Szyma\'nski   Spatial Models of Persistence in RNA
                                  Worlds: Exploring the Origins of Life    896
                Pawe\l Topa and   
             Mariusz Paszkowski   Anastomosing Transportation Networks . . 904
                      Anonymous   Author Index . . . . . . . . . . . . . . 913


Lecture Notes in Computer Science
Volume 2329, 2002

                     T. Hey and   
                A. E. Trefethen   The UK e-Science Core Program and the
                                  Grid . . . . . . . . . . . . . . . . . . 3
                     G. Fox and   
                  O. Balsoy and   
              S. Pallickara and   
                    A. Uyar and   
                  D. Gannon and   
                   A. Slominski   Community Grids  . . . . . . . . . . . . 22
                   F. Marir and   
                 K. Zerzour and   
                K. Ouazzane and   
                         Y. Xue   A Conceptual Model for Surveillance
                                  Video Content and Event-Based Indexing
                                  and Retrieval  . . . . . . . . . . . . . 41
               K. Monostori and   
                  R. Finkel and   
               A. Zaslavsky and   
           G. Hodász and   
                      M. Pataki   Comparison of Overlap Detection
                                  Techniques . . . . . . . . . . . . . . . 51
                  F. Llopis and   
               J. L. Vicedo and   
            A. Ferrández   Using a Passage Retrieval System to
                                  Support Question Answering Process . . . 61
                       A. Emmen   XML Design Patterns Used in the
                                  EnterTheGrid Portal  . . . . . . . . . . 70
M. J. Fernández-Iglesias and   
     J. S. Rodríguez and   
                   L. Anido and   
                  J. Santos and   
                  M. Caeiro and   
                      M. Llamas   Modeling Metadata-Enabled Information
                                  Retrieval  . . . . . . . . . . . . . . . 78
                   R. Merks and   
                A. Hoekstra and   
                J. Kaandorp and   
                       P. Sloot   Spontaneous Branching in a Polyp
                                  Oriented Model of Stony Coral Growth . . 88
                    P. Topa and   
                      J. Tyszka   Local Minimization Paradigm in Numerical
                                  Modeling of Foraminiferal Shells . . . . 97
                   R. Suppi and   
                    P. Munt and   
                       E. Luque   Using PDES to Simulate
                                  Individual-Oriented Models in Ecology: a
                                  Case Study . . . . . . . . . . . . . . . 107
             D. J. Kamerman and   
             M. H. F. Wilkinson   In Silico Modeling of the Human
                                  Intestinal Microflora  . . . . . . . . . 117
                     Y. Liu and   
                   H. J. Ruskin   A Mesoscopic Approach to Modeling
                                  Immunological Memory . . . . . . . . . . 127
             L. González   A New Method for Ordering Binary States
                                  Probabilities in Reliability and Risk
                                  Analysis . . . . . . . . . . . . . . . . 137
    C. M. Rocco Sanseverino and   
                   J. A. Moreno   Reliability Evaluation Using Monte Carlo
                                  Simulation and Support Vector Machine    147
                 M. Meriste and   
                       L. Motus   On Models for Time-Sensitive Interactive
                                  Computing  . . . . . . . . . . . . . . . 156
    C. Ferri-Ramírez and   
 J. Hernández-Orallo and   
  M. J. Ramírez-Quintana   Induction of Decision Multi-trees Using
                                  Levin Search . . . . . . . . . . . . . . 166
             P. F. Spinnato and   
           G. D. van Albada and   
                 P. M. A. Sloot   A Versatile Simulation Model for
                                  Hierarchical Treecodes . . . . . . . . . 176
            I. V. Semoushin and   
                O. Yu. Gorokhov   Computational Processes in Iterative
                                  Stochastic Control Design  . . . . . . . 186
                   M. Ratto and   
                    A. Saltelli   An Efficient Approach to Deal with the
                                  Curse of Dimensionality in Sensitivity
                                  Analysis Computations  . . . . . . . . . 196
               G. Ch. Pflug and   
                      L. Halada   Birge and Qi Method for Three-Stage
                                  Stochastic Programs Using IPM  . . . . . 206
             A. V. Boukhanovsky   Multivariate Stochastic Models of
                                  Metocean Fields: Computational Aspects
                                  and Applications . . . . . . . . . . . . 216
                 J. Frolova and   
                  V. Korobitsin   Simulation of Gender Artificial Society:
                                  Multi-agent Models of Subject-Object
                                  Interactions . . . . . . . . . . . . . . 226
             R. S. Wedemann and   
               R. Donangelo and   
       L. A. V. de Carvalho and   
                  I. H. Martins   Memory Functioning in Psychopathology    236
                    J. Debenham   Investigating e-Market Evolution . . . . 246
                       J. Nakai   Markets as Global Scheduling Mechanisms:
                                  The Current State  . . . . . . . . . . . 256
              S. Kenjere\vs and   
              K. Hanjali\'c and   
                  G. Krstovi\'c   Numerical Simulations of Combined
                                  Effects of Terrain Orography and Thermal
                                  Stratification on Pollutant Distribution
                                  in a Town Valley . . . . . . . . . . . . 266
                     C. Kim and   
                    B. Choi and   
                     K. Kim and   
                         S. Han   The Differentiated Call Processing Based
                                  on the Simple Priority-Scheduling
                                  Algorithm in SIP6  . . . . . . . . . . . 276
                G. Di Fatta and   
                   G. Lo Re and   
                        A. Urso   A Fuzzy Approach for the Network
                                  Congestion Problem . . . . . . . . . . . 286
                 M. Lobosco and   
            V. Santos Costa and   
                C. L. de Amorim   Performance Evaluation of Fast Ethernet,
                                  Giganet, and Myrinet on a Cluster  . . . 296
                   A. Datta and   
             S. Soundaralakshmi   Basic Operations on a Partitioned
                                  Optical Passive Stars Network with Large
                                  Group Size . . . . . . . . . . . . . . . 306
             E. V. Zudilova and   
                  M. O. Borisov   $3$D Mesh Generation for the Results of
                                  Anisotropic Etch Simulation  . . . . . . 316
                D. S. Daoud and   
                   D. S. Subasi   A Fractional Splitting Algorithm for
                                  Non-overlapping Domain Decomposition . . 324
              R. Montenegro and   
                 G. Montero and   
              J. M. Escobar and   
        E. Rodríguez and   
    J. M. González-Yuste   Tetrahedral Mesh Generation for
                                  Environmental Problems over Complex
                                  Terrains . . . . . . . . . . . . . . . . 335
                      X.-C. Tai   Domain Decomposition and Multigrid
                                  Methods for Obstacle Problems  . . . . . 345
                 T. Jurczyk and   
                       B. G\lut   Domain Decomposition Coupled with
                                  Delaunay Mesh Generation . . . . . . . . 353
               A. M. Artoli and   
             A. G. Hoekstra and   
                 P. M. A. Sloot   Accuracy of $2$D Pulsatile Flow in the
                                  Lattice Boltzmann BGK Method . . . . . . 361
                   B. Raney and   
                 A. Voellmy and   
                   N. Cetin and   
                   M. Vrtic and   
                       K. Nagel   Towards a Microscopic Traffic Simulation
                                  of All of Switzerland  . . . . . . . . . 371
               H. J. Ruskin and   
                        R. Wang   Modeling Traffic Flow at an Urban
                                  Unsignalized Intersection  . . . . . . . 381
  G. González-Santos and   
              C. Vargas-Jarillo   A Discrete Model of Oil Recovery . . . . 391
                    Y. Feng and   
               H. J. Ruskin and   
                         B. Zhu   Virtual Phase Dynamics for Constrained
                                  Geometries in a Soap Froth . . . . . . . 399
                   V. Beletskyy   A Correction Method for Parallel Loop
                                  Execution  . . . . . . . . . . . . . . . 409
            P. van der Mark and   
             R. van Engelen and   
                K. Gallivan and   
                       W. Dewar   A Case Study for Automatic Code
                                  Generation on a Coupled Ocean-Atmosphere
                                  Model  . . . . . . . . . . . . . . . . . 419
              J. M. Maubach and   
                      W. Drenth   Data-Flow Oriented Visual Programming
                                  Libraries for Scientific Computing . . . 429
                I. Ferdinandova   One Dilemma --- Different Points of View 439
                 I.-H. Meng and   
                 W.-P. Yang and   
                 W.-C. Chen and   
                    L.-P. Chang   Business Agent . . . . . . . . . . . . . 449
                X. Benavent and   
                  F. Vegara and   
                 J. Domingo and   
                       G. Ayala   On the Use of Longitudinal Data
                                  Techniques for Modeling the Behavior of
                                  a Complex System . . . . . . . . . . . . 458
           M. Kwiesielewicz and   
                    E. van Uden   Problem of Inconsistent and
                                  Contradictory Judgements in Pairwise
                                  Comparison Method in Sense of AHP  . . . 468
                  T. Nguyen and   
                  C. Plumejeaud   An Integration Platform for
                                  Metacomputing Applications . . . . . . . 474
                 P. Brezany and   
                   M. Bubak and   
                M. Malawski and   
                      K. Zajaac   Large-Scale Scientific Irregular
                                  Computing on Clusters and Grids  . . . . 484
                H. Helstrup and   
                    J. Lien and   
            V. Lindenstruth and   
            D. Röhrich and   
                  B. Skaali and   
               T. Steinbeck and   
                K. Ullaland and   
           A. Vestbò and   
                    A. Wiebalck   High Level Trigger System for the LHC
                                  ALICE Experiment . . . . . . . . . . . . 494
                  M. Pierce and   
                    C. Youn and   
                         G. Fox   The Gateway Computational Web Portal:
                                  Developing Web Services for High
                                  Performance Computing  . . . . . . . . . 503
                B. Abdalhaq and   
           A. Cortés and   
                T. Margalef and   
                       E. Luque   Evolutionary Optimization Techniques on
                                  Computational Grids  . . . . . . . . . . 513
                 C. Goodyer and   
                     M. Berzins   Eclipse and Ellipse: PSEs for EHL
                                  Solutions Using IRIS Explorer and SCIRun 523
                 M. Murillo and   
                      X.-C. Cai   Parallel Newton--Krylov--Schwarz Method
                                  for Solving the Anisotropic Bidomain
                                  Equations from the Excitation of the
                                  Heart Model  . . . . . . . . . . . . . . 533
                  L. Hluchy and   
                 V. D. Tran and   
                 J. Astalos and   
                M. Dobrucky and   
               G. T. Nguyen and   
                   D. Froehlich   Parallel Flood Modeling Systems  . . . . 543
              A. Nowi\'nski and   
              K. Nowi\'nski and   
                       P. Ba\la   Web Based Real Time System for
                                  Wavepacket Dynamics  . . . . . . . . . . 552
                       A. Gofen   The Taylor Center for PCs: Exploring,
                                  Graphing and Integrating ODEs with the
                                  Ultimate Accuracy  . . . . . . . . . . . 562
                P. Cotofrei and   
                     K. Stoffel   Classification Rules + Time = Temporal
                                  Rules  . . . . . . . . . . . . . . . . . 572
                     L. Tam and   
                  D. Taniar and   
                       K. Smith   Parametric Optimization in Data Mining
                                  Incorporated with GA-Based Search  . . . 582
          L. Ladányi and   
               T. K. Ralphs and   
                 M. J. Saltzman   Implementing Scalable Parallel Search
                                  Algorithms for Data-Intensive
                                  Applications . . . . . . . . . . . . . . 592
            S. Krishnaswamy and   
               A. Zaslavsky and   
                     S. W. Loke   Techniques for Estimating the
                                  Computation and Communication Costs of
                                  Distributed Data Mining  . . . . . . . . 603
                     Z. Cai and   
                          M. Lu   Distributed Resource Allocation in Ad
                                  Hoc Networks . . . . . . . . . . . . . . 613
             G. Karagiorgos and   
                N. M. Missirlis   The Average Diffusion Method for the
                                  Load Balancing Problem . . . . . . . . . 623
                  M. Tehver and   
                E. Vainikko and   
              K. Skaburskas and   
                       J. Vedru   Remote Access and Scheduling for
                                  Parallel Applications on Distributed
                                  Systems  . . . . . . . . . . . . . . . . 633
                    J. Hong and   
                    H. Sung and   
                     H. Lee and   
                     K. Kim and   
                         S. Han   Workload Scheduler with Fault Tolerance
                                  for MMSC . . . . . . . . . . . . . . . . 643
                 J. Santoso and   
           G. D. van Albada and   
              T. Basaruddin and   
                 P. M. A. Sloot   A Simulation Environment for Job
                                  Scheduling on Distributed Systems  . . . 653
               W. J. Vankan and   
                    R. Maas and   
                     M. ten Dam   ICT Environment for Multi-disciplinary
                                  Design and Multi-objective Optimisation:
                                  a Case Study . . . . . . . . . . . . . . 663
          M. D. Koulisianis and   
               G. K. Tsolis and   
            T. S. Papatheodorou   A Web-Based Problem Solving Environment
                                  for Solution of Option Pricing Problems
                                  and Comparison of Methods  . . . . . . . 673
              Yu.I. Nechaev and   
            A. B. Degtyarev and   
             A. V. Boukhanovsky   Cognitive Computer Graphics for
                                  Information Interpretation in Real Time
                                  Intelligence Systems . . . . . . . . . . 683
                    Z. Zhao and   
             R. G. Belleman and   
           G. D. van Albada and   
                 P. M. A. Sloot   AG-IVE: An Agent Based Solution to
                                  Constructing Interactive Simulation
                                  Systems  . . . . . . . . . . . . . . . . 693
                 I. L. Ruiz and   
             E. L. Espinosa and   
        G. C. García and   
 M.Á. Gómez-Nieto   Computer-Assisted Learning of Chemical
                                  Experiments through a $3$D Virtual Lab   704
                     J. Derksen   Lattice-Boltzmann Based Large-Eddy
                                  Simulations Applied to Industrial Flows  713
                   A. Niaei and   
                J. Towfighi and   
               M. Sadrameli and   
                  M. E. Masoumi   Computational Study of the Pyrolysis
                                  Reactions and Coke Deposition in
                                  Industrial Naphtha Cracking  . . . . . . 723
                  M. Bianco and   
                 G. Bilardi and   
               F. Pesavento and   
                   G. Pucci and   
                B. A. Schrefler   An Accurate and Efficient Frontal Solver
                                  for Fully-Coupled
                                  Hygro-Thermo-Mechanical Problems . . . . 733
              N. Christakis and   
                P. Chapelle and   
                M. K. Patel and   
                   M. Cross and   
                  I. Bridle and   
             H. Abou-Chakra and   
                      J. Baxter   Utilising Computational Fluid Dynamics
                                  (CFD) for the Modelling of Granular
                                  Material in Large-Scale Engineering
                                  Processes  . . . . . . . . . . . . . . . 743
                    V. Gloukhov   Parallel Implementation of the INM
                                  Atmospheric General Circulation Model on
                                  Distributed Memory Multiprocessors . . . 753
              E. G. Campari and   
                        G. Levi   A Realistic Simulation for Highway
                                  Traffic by the Use of Cellular Automata  763
                        J. Kroc   Application of Cellular Automata
                                  Simulations to Modeling of Dynamic
                                  Recrystallization  . . . . . . . . . . . 773
                        P. Topa   A Distributed Cellular Automata
                                  Simulation on Cluster of PCs . . . . . . 783
  F. Jiménez-Morales and   
                M. Mitchell and   
              J. P. Crutchfield   Evolving One Dimensional Cellular
                                  Automata to Perform Non-trivial
                                  Collective Behavior Task: One Case Study 793
                 J. S. Kole and   
                M. T. Figge and   
                    H. De Raedt   New Unconditionally Stable Algorithms to
                                  Solve the Time-Dependent Maxwell
                                  Equations  . . . . . . . . . . . . . . . 803
             D. D. Din\ucov and   
              K. A. Parrott and   
               K. A. Pericleous   Coupled $3$-D Finite Difference Time
                                  Domain and Finite Volume Methods for
                                  Solving Microwave Heating in Porous
                                  Media  . . . . . . . . . . . . . . . . . 813
                    V. Perminov   Numerical Solution of Reynolds Equations
                                  for Forest Fire Spread . . . . . . . . . 823
                     M. Heitzer   FEM-Based Structural Optimization with
                                  Respect to Shakedown Constraints . . . . 833
                     C. Leopold   Tight Bounds on Capacity Misses for $3$D
                                  Stencil Codes  . . . . . . . . . . . . . 843
                 M. Walkley and   
                    J. Wood and   
                     K. Brodlie   A Distributed Co-Operative Problem
                                  Solving Environment  . . . . . . . . . . 853
                 X. J. Gang and   
                   W. H. An and   
                    D. G. Zhong   The Software Architecture of a Problem
                                  Solving Environment for Enterprise
                                  Computing  . . . . . . . . . . . . . . . 862
               P. Johansson and   
                    D. Kressner   Semi-automatic Generation of Web-Based
                                  Computing Environments for Software
                                  Libraries  . . . . . . . . . . . . . . . 872
                A. D. Scurr and   
                    A. J. Keane   The Development of a Grid Based
                                  Engineering Design Problem Solving
                                  Environment  . . . . . . . . . . . . . . 881
               G. T. Nguyen and   
                 V. D. Tran and   
                    M. Kotocova   TOPAS --- Parallel Programming
                                  Environment for Distributed Computing    890
                    M. Nool and   
                 M. M. J. Proot   Parallel Implementation of a
                                  Least-Squares Spectral Element Solver
                                  for Incompressible Flow Problems . . . . 900
                    S. Meng and   
                   X. K. Li and   
                       G. Evans   Smooth Interfaces for Spectral Element
                                  Approximations of Navier--Stokes
                                  Equations  . . . . . . . . . . . . . . . 910
               A. Chambarel and   
                      H. Bolvin   Simulation of a Compressible Flow by the
                                  Finite Element Method Using a General
                                  Parallel Computing Approach  . . . . . . 920
                M. K. Banda and   
                    M. Sea\"\id   A Class of the Relaxation Schemes for
                                  Two-Dimensional Euler Systems of Gas
                                  Dynamics . . . . . . . . . . . . . . . . 930
                 R. Keppens and   
                 G. Tóth   OpenMP Parallelism for Multi-dimensional
                                  Grid-Adaptive Magnetohydrodynamic
                                  Simulations  . . . . . . . . . . . . . . 940
        E. Rodríguez and   
                 G. Montero and   
              R. Montenegro and   
              J. M. Escobar and   
    J. M. González-Yuste   Parameter Estimation in a
                                  Three-Dimensional Wind Field Model Using
                                  Genetic Algorithms . . . . . . . . . . . 950
                      S. Li and   
                   S. C. La and   
                   W. H. Yu and   
                        L. Wang   Minimizing Interference in Mobile
                                  Communications Using Genetic Algorithms  960
              G. Castellano and   
               C. Castiello and   
                  A. M. Fanelli   KERNEL: a Matlab Toolbox for Knowledge
                                  Extraction and Refinement by NEural
                                  Learning . . . . . . . . . . . . . . . . 970
               J. Zacharias and   
                C. Hartmann and   
                     A. Delgado   Damages Recognition on Crates of
                                  Beverages by Artificial Neural Networks
                                  Trained with Data Obtained from
                                  Numerical Simulation . . . . . . . . . . 980
                T. Watanabe and   
                    E. Kume and   
                        K. Kato   Simulation Monitoring System Using AVS   990
                       A. Gofen   ODEs and Redefining the Concept of
                                  Elementary Functions . . . . . . . . . . 1000
           R. M. Schoemaker and   
           P. C. A. de Haas and   
            H. J. H. Clercx and   
              R. M. M. Mattheij   Contour Dynamics Simulations with a
                                  Parallel Hierarchical-Element Method . . 1010
             J.-R. C. Cheng and   
                P. E. Plassmann   A Parallel Algorithm for the Dynamic
                                  Partitioning of Particle-Mesh
                                  Computational Systems  . . . . . . . . . 1020
                 D. Okunbor and   
                    E. Akinjide   Stable Symplectic Integrators for Power
                                  Systems  . . . . . . . . . . . . . . . . 1030
                  A. Prodan and   
                      R. Prodan   A Collection of Java Class Libraries for
                                  Stochastic Modeling and Simulation . . . 1040
                   E. Ochmanska   Task-Oriented Petri Net Models for
                                  Discrete Event Simulation  . . . . . . . 1049
                S. Oliveira and   
                 D. Stewart and   
                        T. Soma   A Subspace Semidefinite Programming for
                                  Spectral Graph Partitioning  . . . . . . 1058
                  H. S. Yoo and   
                     J.-H. Jang   A Study on the Pollution Error in
                                  $r$-$h$ Methods Using Singular Shape
                                  Functions  . . . . . . . . . . . . . . . 1068
              B. W. Scotney and   
              S. A. Coleman and   
                   M. G. Herron   Device Space Design for Efficient
                                  Scale-Space Edge Detection . . . . . . . 1077
                      Anonymous   Author Index . . . . . . . . . . . . . . 1087