Last update:
Fri Jan 5 06:25:32 MST 2018
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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