Last update:
Mon Mar 5 16:10:55 MST 2007
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