Last update:
Mon Feb 16 11:16:07 MST 2004
Ken Kennedy and
Charles Koelbel Chapter 1. High Performance Fortran 2.0 3
Jean-Luc Gaudiot and
Tom DeBoni and
John Feo and
Wim Böhm and
Walid Najjar and
Patrick Miller Chapter 2. The Sisal Project: Real World
Functional Programming . . . . . . . . . 45
Dennis Gannon and
Peter Beckman and
Elizabeth Johnson and
Todd Green and
Mike Levine Chapter 3. HPC++ and the HPC++Lib
Toolkit . . . . . . . . . . . . . . . . 73
Sandeep Kumar and
Dharma P. Agrawal Chapter 4. A Concurrency Abstraction
Model for Avoiding Inheritance Anomaly
in Object-Oriented Programs . . . . . . 109
Alain Darte and
Yves Robert and
Frédéric Vivien Chapter 5. Loop Parallelization
Algorithms . . . . . . . . . . . . . . . 141
Paul Feautrier Chapter 6. Array Dataflow Analysis . . . 173
Zhiyuan Li and
Junjie Gu and
Gyungho Lee Chapter 7. Interprocedural Analysis
Based on Guarded Array Regions . . . . . 221
Peng Tu and
David Padua Chapter 8. Automatic Array Privatization 247
Anant Agarwal and
David Kranz and
Rajeev Barua and
Venkat Natarajan Chapter 9. Optimal Tiling for Minimizing
Communication in Distributed
Shared-Memory Multiprocessors . . . . . 285
Kuei-Ping Shih and
Chua-Huang Huang and
Jang-Ping Sheu Chapter 10. Communication-Free
Partitioning of Nested Loops . . . . . . 339
Vladimir Kotlyar and
David Bau and
Induprakas Kodukula and
Keshav Pingali and
Paul Stodghill Chapter 11. Solving Alignment Using
Elementary Linear Algebra . . . . . . . 385
Santosh Pande and
Tareq Bali Chapter 12. A Compilation Method for
Communication-Efficient Partitioning of
DOALL Loops . . . . . . . . . . . . . . 413
Daniel J. Palermo and
Eugene W. Hodges IV and
Prithviraj Banerjee Chapter 13. Compiler Optimization of
Dynamic Data Distributions for
Distributed-Memory Multicomputers . . . 445
Manish Gupta Chapter 14. A Framework for Global
Communication Analysis and Optimizations 485
Andrew Sohn and
Yuetsu Kodama and
Jui-Yuan Ku and
Mitsuhisa Sato and
Yoshinori Yamaguchi Chapter 15. Tolerating Communication
Latency through Dynamic Thread
Invocation in a Multithreaded
Architecture . . . . . . . . . . . . . . 525
Vikram Adve and
John Mellor-Crummey Chapter 16. Advanced Code Generation for
High Performance Fortran . . . . . . . . 553
J. Ramanujam Chapter 17. Integer Lattice Based
Methods for Local Address Generation for
Block-Cyclic Distributions . . . . . . . 597
Sekhar Darbha and
Dharma P. Agrawal Chapter 18. A Duplication Based Compile
Time Scheduling Method for Task
Parallelism . . . . . . . . . . . . . . 649
Rajiv Gupta Chapter 19. SPMD Execution in the
Presence of Dynamic Data Structures . . 683
Martin C. Carlisle and
Anne Rogers Chapter 20. Supporting Dynamic Data
Structures with Olden . . . . . . . . . 709
Raja Das and
Yuan-Shin Hwang and
Joel Saltz and
Alan Sussman Chapter 21. Runtime and Compiler Support
for Irregular Computations . . . . . . . 751
Anonymous Author Index . . . . . . . . . . . . . . 779
Ron Sun Introduction to Sequence Learning . . . 1
Paola Sebastiani and
Marco Ramoni and
Paul Cohen Sequence Learning via Bayesian
Clustering by Dynamics . . . . . . . . . 11
Tim Oates and
Laura Firoiu and
Paul R. Cohen Using Dynamic Time Warping to Bootstrap
HMM-Based Clustering of Time Series . . 35
DeLiang Wang Anticipation Model for Sequential
Learning of Complex Sequences . . . . . 53
Pierre Baldi and
Sòren Brunak and
Paolo Frasconi and
Gianluca Pollastri and
Giovanni Soda Bidirectional Dynamics for Protein
Secondary Structure Prediction . . . . . 80
Jean-Cédric Chappelier and
Marco Gori and
Alain Grumbach Time in Connectionist Models . . . . . . 105
Diego Sona and
Alessandro Sperduti On the Need for a Neural Abstract
Machine . . . . . . . . . . . . . . . . 135
Mohammed J. Zaki Sequence Mining in Categorical Domains:
Algorithms and Applications . . . . . . 162
Christian Lebiere and
Dieter Wallach Sequence Learning in the ACT--R
Cognitive Architecture: Empirical
Analysis of a Hybrid Model . . . . . . . 188
Jürgen Schmidhuber Sequential Decision Making Based on
Direct Search . . . . . . . . . . . . . 213
Ron Sun and
Chad Sessions Automatic Segmentation of Sequences
through Hierarchical Reinforcement
Learning . . . . . . . . . . . . . . . . 241
Samuel P. M. Choi and
Dit-Yan Yeung and
Nevin L. Zhang Hidden-Mode Markov Decision Processes
for Nonstationary Sequential Decision
Making . . . . . . . . . . . . . . . . . 264
Gerald Tesauro Pricing in Agent Economies Using Neural
Networks and Multi-agent $Q$-Learning 288
Raju S. Bapi and
Kenji Doya Multiple Forward Model Architecture for
Sequence Processing . . . . . . . . . . 308
Hervé Frezza-Buet and
Nicolas Rougier and
Frédéric Alexandre Integration of Biologically Inspired
Temporal Mechanisms into a Cortical
Framework for Sequence Processing . . . 321
Stephen Grossberg and
Rainer W. Paine Attentive Learning of Sequential
Handwriting Movements: A Neural Network
Model . . . . . . . . . . . . . . . . . 349
Anonymous About Editors . . . . . . . . . . . . . 389
Anonymous Author Index . . . . . . . . . . . . . . 391
Massimo Benerecetti and
Fausto Giunchiglia Model Checking-Based Analysis of
Multiagent Systems . . . . . . . . . . . 1
Stanislaw Ambroszkiewicz and
Wojciech Penczek and
Tomasz Nowak Towards Formal Specification and
Verification in Cyberspace . . . . . . . 16
Ullrich Hustadt and
Clare Dixon and
Renate A. Schmidt and
Michael Fisher and
John-Jules Meyer and
Wiebe van der Hoek Verification within the KARO Agent
Theory . . . . . . . . . . . . . . . . . 33
Tadashi Araragi and
Paul Attie and
Idit Keidar and
Kiyoshi Kogure and
Victor Luchangco and
Nancy Lynch and
Ken Mano On Formal Modeling of Agent Computations 48
Sheila A. McIlraith Modeling and Programming Devices and Web
Agents . . . . . . . . . . . . . . . . . 63
Koen V. Hindriks and
Frank S. de Boer and
Wiebe van der Hoek and
John-Jules C. Meyer A Programming Logic for Part of the
Agent Language 3APL . . . . . . . . . . 78
Yoshinobu Kawabe and
Ken Mano and
Kiyoshi Kogure The Nepi 2 Programming System: A
$\pi$-Calculus-Based Approach to
Agent-Based Programming . . . . . . . . 90
Charles Pecheur and
Reid Simmons From Livingstone to SMV . . . . . . . . 103
Lina Khatib and
Nicola Muscettola and
Klaus Havelund Verification of Plan Models Using UPPAAL 114
Innocent Bakam and
Fabrice Kordon and
Christophe Le Page and
François Bousquet Formalization of a Spatialized
Multiagent Model Using Coloured Petri
Nets for the Study of an Hunting
Management System . . . . . . . . . . . 123
Mark d'Inverno and
Michael Luck Formal Agent Development: Framework to
System . . . . . . . . . . . . . . . . . 133
Johann Schumann and
Jon Whittle Automatic Synthesis of Agent Designs in
UML . . . . . . . . . . . . . . . . . . 148
Michael Fisher Direct Execution of Agent Specifications 163
Albert C. Esterline and
Toinette Rorie Using the $\pi$-Calculus to Model
Multiagent Systems . . . . . . . . . . . 164
Jeffrey Van Baalen and
James L. Caldwell and
Shivakant Mishra Specifying and Checking Fault-Tolerant
Agent-Based Protocols Using Maude . . . 180
Tim Menzies and
Bojan Cukic and
Harhsinder Singh Agents Talking Faster . . . . . . . . . 194
Neelam Soundarajan Refining Interactions in a Distributed
System . . . . . . . . . . . . . . . . . 209
Kristina Lerman Design and Mathematical Analysis of
Agent-Based Systems . . . . . . . . . . 222
Michel Rudnianski and
Hél\`ene Bestougeff Modeling Task and Teams through Game
Theoretical Agents . . . . . . . . . . . 235
Richard Waldinger Web Agents Cooperating Deductively . . . 250
Hong Zhu Formal Specification of Agent Behaviour
through Environment Scenarios . . . . . 263
Diana F. Gordon APT Agents: Agents That Are Adaptive,
Predictable, and Timely . . . . . . . . 278
Sidney C. Bailin Ontology Negotiation in a Community of
Agents . . . . . . . . . . . . . . . . . 294
Ramesh Bharadwaj Analysis of Agent-Based Systems Using
Decision Procedures . . . . . . . . . . 298
Walid Chainbi A Formal Approach to Belief-Goal-Role
Agents . . . . . . . . . . . . . . . . . 300
Peter Engrand and
Charles Pecheur Model Checking of Autonomy Models for an
In-Situ Propellant Production System . . 302
Kiriakos Kiriakidis and
Diana F. Gordon Adaptive Supervisory Control of
Multi-agent Systems . . . . . . . . . . 304
Eduardo Alonso and
Daniel Kudenko Machine Learning for Logic-Based
Multi-agent Systems . . . . . . . . . . 306
Vincenza Carchiolo and
Michele Malgeri and
Giuseppe Mangioni Using a Formal Framework for Agent
System Design . . . . . . . . . . . . . 308
Sanda Mandutianu Modeling Agent-Based Systems . . . . . . 318
Anonymous Modeling Agent Systems by Bayesian
Belief Networks . . . . . . . . . . . . 321
Tom Riley The Anthropomorphizing of Intelligent
Agents . . . . . . . . . . . . . . . . . 323
Derek M. Surka and
Mark E. Campbell and
Thomas P. Schetter Controlling Multiple Satellite
Constellations Using the TEAMAgent
System . . . . . . . . . . . . . . . . . 335
Susan E. Torney Operations Assistants for Johnson Space
Center's Mission Control Center . . . . 337
Leonard P. Wesley A Real Time Object-Oriented Rational
Agent Development System . . . . . . . . 339
Moderator: Diana F. Gordon Panel Discussion: ``Empirical versus
Formal Methods'' . . . . . . . . . . . . 345
Moderator: Michael Hinchey Panel Discussion: ``Future Directions'' 354
Anonymous Author Index . . . . . . . . . . . . . . 369
James C. Bezdek and
Ludmila I. Kuncheva Some Notes on Twenty One (21) Nearest
Prototype Classifiers . . . . . . . . . 1
Giovanni Adorni and
Stefano Cagnoni and
Marco Gori Adaptive Graphical Pattern Recognition
Beyond Connectionist-Based Approaches 17
Colin De La Higuera Current Trends in Grammatical Inference 28
\vSar\=unas Raudys Classifier's Complexity Control while
Training Multilayer Perceptrons . . . . 32--44
Josef Kittler A Framework for Classifier Fusion: Is It
Still Needed? . . . . . . . . . . . . . 45
Jiang Gao and
Xiaoqing Ding and
Jing Zheng Image Pattern Recognition Based on
Examples --- A Combined Statistical and
Structural-Syntactic Approach . . . . . 57--66
Rudolf Freund and
Markus Neubauer and
Martin Summerer and
Stefan Gruber and
Jürgen Schaffer and
Roland Swoboda A Hybrid System for the Recognition of
Hand-Written Characters . . . . . . . . 67
Helmut A. Mayer and
Petr Somol and
Reinhold Huber and
Pavel Pudil Improving Statistical Measures of
Feature Subsets by Conventional and
Evolutionary Approaches . . . . . . . . 77
Giorgio Giacinto and
Fabio Roli and
Giorgio Fumera Selection of Classifiers Based on
Multiple Classifier Behaviour . . . . . 87
Dick de Ridder and
Olaf Lemmers and
Robert P. W. Duin and
Josef Kittler The Adaptive Subspace Map for Image
Description and Image Database Retrieval 94
Kieron Messer and
Josef Kittler and
John Haddon and
Graham Watson and
Sharon Watson Adaptive Automatic Target Recognition
with SVM Boosting for Outlier Detection 104
Michal Haindl and
Vojtech Havlícek A Multiresolution Causal Colour Texture
Model . . . . . . . . . . . . . . . . . 114
Sung-Hyuk Cha and
Sargur N. Srihari Writer Identification: Statistical
Analysis and Dichotomizer . . . . . . . 123
Damián López and
Ignacio Piñaga Syntactic Pattern Recognition by Error
Correcting Analysis on Tree Automata . . 133
J. González and
I. Salvador and
A. H. Toselli and
A. Juan and
E. Vidal and
F. Casacuberta Offline Recognition of
Syntax-Constrained Cursive Handwritten
Text . . . . . . . . . . . . . . . . . . 143
Pierre Héroux and
Éric Trupin and
Yves Lecoutier Structural Classification for
Retrospective Conversion of Documents 154
Louisa Lam and
Rong Fan and
Qizhi Xu and
Ching Y. Suen Segmentation of Date Field on Bank
Cheques . . . . . . . . . . . . . . . . 163
Christian Bauckhage and
Susanne Kronenberg and
Franz Kummert and
Gerhard Sagerer Grammars and Discourse Theory to
Describe and Recognize Mechanical
Assemblies . . . . . . . . . . . . . . . 173
Víctor M. Jiménez and
Andrés Marzal Computation of the $N$ Best Parse Trees
for Weighted and Stochastic Context-Free
Grammars . . . . . . . . . . . . . . . . 183
Ana L. N. Fred and
José M. N. Leitão Partitional vs Hierarchical Clustering
Using a Minimum Grammar Complexity
Approach . . . . . . . . . . . . . . . . 193
Mikel L. Forcada and
Rafael C. Carrasco Encoding Nondeterministic Finite-State
Tree Automata in Sigmoid Recursive
Neural Networks . . . . . . . . . . . . 203
Hirobumi Nishida Retrieval of Partially Visible Shapes
through Structural Feature Indexing . . 211
Laura Davlea A Structural Matching Algorithm Using
Generalized Deterministic Annealing . . 221
B. Luo and
E. R. Hancock Alignment and Correspondence Using
Singular Value Decomposition . . . . . . 226
M. Lazarescu and
H. Bunke and
S. Venkatesh Graph Matching: Fast Candidate
Elimination Using Machine Learning
Techniques . . . . . . . . . . . . . . . 236
Paolo Bergamini and
Luigi Cinque and
Andrew D. J. Cross and
Edwin R. Hancock and
Stefano Levialdi and
Richard Myers Efficient Alignment and Correspondence
Using Edit Distance . . . . . . . . . . 246
Luc Brun and
Walter Kropatsch Irregular Pyramids with Combinatorial
Maps . . . . . . . . . . . . . . . . . . 256
Yasser El-Sonbaty and
M. A. Ismail A New Error-Correcting Distance for
Attributed Relational Graph Problems . . 266
René Alquézar and
Francesc Serratosa and
Alberto Sanfeliu Distance between Attributed Graphs and
Function-Described Graphs Relaxing 2 nd
Order Restrictions . . . . . . . . . . . 277
Jocelyn Marchadier and
Sylvain Michelin and
Yves Egels A Graph Labelling Approach for Connected
Feature Selection . . . . . . . . . . . 287
Alireza Ahmadyfard and
Josef Kittler Region-Based Representation for Object
Recognition by Relaxation Labelling . . 297
Terry Caelli Shape Boundary Tracking with Hidden
Markov Models . . . . . . . . . . . . . 308
Walter F. Bischof and
Terry Caelli Parallel Techniques for Rule-Based Scene
Interpretation . . . . . . . . . . . . . 318
Eraldo Ribeiro and
Edwin R. Hancock Curvature Estimation Using
Shape-from-Texture . . . . . . . . . . . 327
R. A. Mollineda and
E. Vidal and
F. Casacuberta Efficient Techniques for a Very Accurate
Measurement of Dissimilarities between
Cyclic Patterns . . . . . . . . . . . . 337
Atsushi Imiya and
Tomoki Ueno and
Iris Fermin Planar Symmetry Detection by Random
Sampling and Voting Process . . . . . . 347
Eckart Michaelsen and
Uwe Stilla Assessing the Computational Effort for
Structural $3$D Vehicle Recognition . . 357
R. Glantz and
W. G. Kropatsch Guided Relinking of Graph Pyramids . . . 367
D. Vitulano and
S. Vitulano Texture Indexing by a Hierarchical
Representation . . . . . . . . . . . . . 377
Gabriella Sanniti di Baja and
Stina Svensson Surface Skeletons Detected on the $D^6$
Distance Transform . . . . . . . . . . . 387--396
Richard Myers and
Edwin R. Hancock Selection Strategies for Ambiguous Graph
Matching by Evolutionary Optimisation 397
Matthew Ma and
Chi Zhang and
Patrick Wang Studies of Radical Model for Retrieval
of Cursive Chinese Handwritten
Annotations . . . . . . . . . . . . . . 407
David Picó and
Francisco Casacuberta A Statistical-Estimation Method for
Stochastic Finite-State Transducers
Based on Entropy Measures . . . . . . . 417
Frank Fuchs and
Hervé Le-Men Efficient Subgraph Isomorphism with `A
Priori' Knowledge (Application to $3$D
Reconstruction of Buildings for
Cartography) . . . . . . . . . . . . . . 427--436
Jean-Gérard Pailloncy Pyramid and Interior . . . . . . . . . . 437
Pasquale Foggia and
Roberto Genna and
Mario Vento Prototype Learning with Attributed
Relational Graphs . . . . . . . . . . . 447
Juan Ramón Rico-Juan and
Jorge Calera-Rubio and
Rafael C. Carrasco Lossless Compression of Surfaces
Described as Points . . . . . . . . . . 457
Boris Flach and
Michail I. Schlesinger A Class of Solvable Consistent Labeling
Problems . . . . . . . . . . . . . . . . 462
Sébastien Adam and
Jean M. Ogier and
Claude Cariou and
Rémy Mullot and
Joël Gardes and
Jacques Labiche Character Recognition, Orientation, and
Scale Estimation Thanks to the Fourier
Mellin Transform . . . . . . . . . . . . 472
J. S. Sánchez and
F. Pla and
M. C. Herrero Using the Dual of Proximity Graphs for
Binary Decision Tree Design . . . . . . 482
Keith Copsey and
Andrew Webb Bayesian Approach to Mixture Models for
Discrimination . . . . . . . . . . . . . 491
Edgard Nyssen and
Luc Van Kempen and
Hichem Sahli Pattern Classification Based on a
Piecewise Multi-linear Model for the
Class Probability Densities . . . . . . 501
Hiroshi Tenmoto and
Mineichi Kudo and
Masaru Shimbo Selection of the Number of Components
Using a Genetic Algorithm for Mixture
Model Classifiers . . . . . . . . . . . 511
Asanobu Kitamoto The Moments of the Mixel Distribution
and Its Application to Statistical Image
Classification . . . . . . . . . . . . . 521
Stavros Paschalakis and
Peter Lee Statistical Pattern Recognition Using
the Normalized Complex Moment Components
Vector . . . . . . . . . . . . . . . . . 532
Georgy Gimel'farb and
Jian Quan Zhang Initial Matching of Multiple-View Images
by Affine Approximation of Relative
Distortions . . . . . . . . . . . . . . 540
David Guillamet and
Jordi Vitri\`a Local Discriminant Regions Using Support
Vector Machines for Object Recognition 550
Bir Bhanu and
Yingqiang Lin Stochastic Models for Recognition of
Occluded Objects . . . . . . . . . . . . 560
Andrés Molina A Vector Approach to the Analysis of
(Patterns with) Spatial Dependence . . . 571
Luis Rueda and
B. John Oommen The Foundational Theory of Optimal
Bayesian Pairwise Linear Classifiers . . 581
Xuexian Han and
Tetsushi Wakabayashi and
Fumitaka Kimura The Optimum Classifier and the
Performance Evaluation by Bayesian
Approach . . . . . . . . . . . . . . . . 591
Shin'ichiro Omachi and
Fang Sun and
Hirotomo Aso A New Approximation Method of the
Quadratic Discriminant Function . . . . 601
Francesco Tortorella An Optimal Reject Rule for Binary
Classifiers . . . . . . . . . . . . . . 611
Ricardo Barandela and
Eduardo Gasca Decontamination of Training Samples for
Supervised Pattern Recognition Methods 621
Marina Skurichina and
Robert P. W. Duin The Role of Combining Rules in Bagging
and Boosting . . . . . . . . . . . . . . 631
Yingquan Wu and
K. Ianakiev and
V. Govindaraju Confidence Combination Methods in
Multi-expert Systems . . . . . . . . . . 641
Se-Ho Choi and
Peter Rockett Reducing the Training Times of Neural
Classifiers with Dataset Condensing . . 650
J. Malo and
R. Navarro and
I. Epifanio and
F. Ferri and
J. M. Artigas Non-linear Invertible Representation for
Joint Statistical and Perceptual Feature
Decorrelation . . . . . . . . . . . . . 658
Naoto Abe and
Mineichi Kudo and
Jun Toyama and
Masaru Shimbo A Divergence Criterion for
Classifier-Independent Feature Selection 668
Mineichi Kudo and
Petr Somol and
Pavel Pudil and
Masaru Shimbo and
Jack Sklansky Comparison of Classifier-Specific
Feature Selection Algorithms . . . . . . 677
David Windridge and
Josef Kittler Combined Classifier Optimisation via
Feature Selection . . . . . . . . . . . 687
Hilary J. Holz and
Murray H. Loew Design Choices and Theoretical Issues
for Relative Feature Importance, a
Metric for Nonparametric Discriminatory
Power . . . . . . . . . . . . . . . . . 696
Dolores Barrios and
Daniel Manrique and
Jaime Porras and
Juan Ríos Real-Coded Genetic Algorithms Based on
Mathematical Morphology . . . . . . . . 706
Ginés García-Mateos and
Cristina Vicente-Chicote A New Model and Process Architecture for
Facial Expression Recognition . . . . . 716
\vSar\=unas Raudys and
Minija Tamo\vsi\=unait\.e Biologically Inspired Architecture of
Feedforward Networks for Signal
Classification . . . . . . . . . . . . . 727--736
Uri Lipowezky and
Victor Shenkar Optimal Threshold Estimation Using
Prototype Selection . . . . . . . . . . 737
Georgy Gimel'farb Basic and Fine Structure of Pairwise
Interactions in Gibbs Texture Models . . 747
M. A. Patricio and
D. Maravall Segmentation of Text and Graphics/Images
Using the Gray-Level Histogram Fourier
Transform . . . . . . . . . . . . . . . 757
Juan C. Pérez-Cortes and
Rafael Llobet and
Joaquim Arlandis Fast and Accurate Handwritten Character
Recognition Using Approximate Nearest
Neighbours Search on Large Databases . . 767
Juan M. León-Rojas and
José Moreno and
Antonio Silva and
Montaña Morales A Family of Divergences between
${\Phi}$-Probabilistic Sets with
Application to Handshape Recognition . . 777
Yo Horikawa Rotated, Scaled and Noisy $2$D and $3$D
Texture Classification with the
Bispectrum-Based Invariant Feature . . . 787
Pedro L. Galindo and
Joaquín Pizarro Junquera and
Elisa Guerrero Multiple Comparison Procedures for
Determining the Optimal Complexity of a
Model . . . . . . . . . . . . . . . . . 796
Yonggwan Won and
Jiseung Nam and
Bae-Ho Lee Image Pattern Recognition in Natural
Environment Using Morphological Feature
Extraction . . . . . . . . . . . . . . . 806
P. García-Martínez and
H. H. Arsenault and
C. Ferreira A Statistical Matrix Representation
Using Sliced Orthogonal Nonlinear
Correlations for Pattern Recognition . . 816
Francisco Moreno-Seco and
Luisa Micó and
José Oncina A Fast Approximately
$k$-Nearest-Neighbour Search Algorithm
for Classification Tasks . . . . . . . . 823
Raül Marín and
Pedro J. Sanz and
Antonio J. Jimeno and
Jose M. Iñesta Design of a Telerobotic Interface System
by Using Object Recognition Techniques 832
A. Juan and
E. Vidal Comparison of Four Initialization
Techniques for the $K$-Medians
Clustering Algorithm . . . . . . . . . . 842
Fredrik Linåker and
Lars Niklasson Sensory Flow Segmentation Using a
Resource Allocating Vector Quantizer . . 853
Giorgio Fumera and
Fabio Roli and
Giorgio Giacinto Multiple Reject Thresholds for Improving
Classification Reliability . . . . . . . 863
C. Saint-Jean and
C. Frélicot and
B. Vachon Clustering with EM: Complex Models vs.
Robust Estimation . . . . . . . . . . . 872
Dechang Chen and
Xiuzhen Cheng A Simple Implementation of the
Stochastic Discrimination for Pattern
Recognition . . . . . . . . . . . . . . 882
Roman M. Palenichka and
Peter Zinterhof and
Iryna B. Ivasenko Adaptive Image Filtering and
Segmentation Using Robust Estimation of
Intensity . . . . . . . . . . . . . . . 888
Anonymous Author Index . . . . . . . . . . . . . . 899
Les Gasser MAS Infrastructure: Definitions, Needs,
and Prospects . . . . . . . . . . . . . 1
John R. Graham and
Daniel McHugh and
Michael Mersic and
Foster McGeary and
M. Victoria Windley and
David Cleaver and
Keith S. Decker Tools for Developing and Monitoring
Agents in Distributed Multi-agent
Systems . . . . . . . . . . . . . . . . 12
Mihhail Matskin and
Ole Jòrgen Kirkeluten and
Svenn Bjarte Krossnes and
Òystein Sæle Agora: An Infrastructure for Cooperative
Work Support in Multi-agent Systems . . 28
K. S. Barber and
D. N. Lam and
C. E. Martin and
R. M. McKay Sensible Agent Testbed Infrastructure
for Experimentation . . . . . . . . . . 41
Olivier Gutknecht and
Jacques Ferber The \sc MadKit Agent Platform
Architecture . . . . . . . . . . . . . . 48--55
Roberto A. Flores and
Rob C. Kremer and
Douglas H. Norrie An Architecture for Modeling
Internet-Based Collaborative Agent
Systems . . . . . . . . . . . . . . . . 56
Leon J. Osterweil and
Lori A. Clarke Frameworks for Reasoning about Agent
Based Systems . . . . . . . . . . . . . 64
XiaoQin Zhang and
Anita Raja and
Barbara Lerner and
Victor Lesser and
Leon Osterweil and
Thomas Wagner Integrating High-Level and Detailed
Agent Coordination into a Layered
Architecture . . . . . . . . . . . . . . 72
David V. Pynadath and
Milind Tambe and
Gal A. Kaminka Adaptive Infrastructures for Agent
Integration . . . . . . . . . . . . . . 80
Itsuki Noda and
Peter Stone RoboCup Soccer Server and CMUnited:
Implemented Infrastructure for MAS
Research . . . . . . . . . . . . . . . . 94
Regis Vincent and
Bryan Horling and
Victor Lesser An Agent Infrastructure to Build and
Evaluate Multi-agent Systems: The Java
Agent Framework and Multi-agent System
Simulator . . . . . . . . . . . . . . . 102
Thomas Wagner and
Victor Lesser Design-to-Criteria Scheduling: Real-Time
Agent Control . . . . . . . . . . . . . 128
Mihai Barbuceanu and
Wai-Kau Lo Integrating Conversational Interaction
and Constraint Based Reasoning in an
Agent Building Shell . . . . . . . . . . 144
Soe-Tsyr Yuan An Enabling Environment for Engineering
Cooperative Agents . . . . . . . . . . . 157
Werner Van Belle and
Theo D'Hondt Agent Mobility and Reification of
Computational State: An Experiment in
Migration . . . . . . . . . . . . . . . 166
Tim Walsh and
Paddy Nixon and
Simon Dobson As Strong as Possible Agent Mobility . . 174
Giovanna Petrone An Architecture for Adaptive Web Stores 177
Marios D. Dikaiakos and
George Samaras A Performance Analysis Framework for
Mobile Agent Systems . . . . . . . . . . 180
Carmen M. Pancerella and
Nina M. Berry A Layered Agent Template for Enterprise
Computing . . . . . . . . . . . . . . . 188
Line Pouchard and
David W. Walker A Community of Agents for User Support
in a Problem-Solving Environment . . . . 192
In-Gyu Kim and
Jang-Eui Hong and
Doo-Hwan Bae and
Ik-Joo Han and
Cheong Youn Scalable Mobile Agents Supporting
Dynamic Composition of Functionality . . 199
Giovanna Di Marzo Serugendo A Formal Development and Validation
Methodology Applied to Agent-Based
Systems . . . . . . . . . . . . . . . . 214
Juan A. Botía and
Antonio F. Gómez-Skarmeta and
Juan R. Velasco and
Mercedes Garijo A Proposal for Meta-learning through a
MAS (Multi-agent System) . . . . . . . . 226
Murray Woodside Scalability Metrics and Analysis of
Mobile Agent Systems . . . . . . . . . . 234
Phillip J. Turner and
Nicholas R. Jennings Improving the Scalability of Multi-agent
Systems . . . . . . . . . . . . . . . . 246
Penny Noy and
Michael Schroeder Mobile Agents for Distributed Processing 263
Khaled Nagi Scalability of a Transactional
Infrastructure for Multi-agent Systems 266
Alex Gray and
Philippe Marti and
Alun Preece Towards a Scalable Architecture for
Knowledge Fusion . . . . . . . . . . . . 279
Ioan Alfred Letia and
Florin Craciun and
Zoltan Köpe Towards Validation of Specifications by
Simulation . . . . . . . . . . . . . . . 293
Stefan Poslad and
Phil Buckle and
Rob Hadingham Open Source, Standards and Scaleable
Agencies . . . . . . . . . . . . . . . . 296
Omer F. Rana and
Tom Wagner and
Michael S. Greenberg and
Martin K. Purvis Infrastructure Issues and Themes for
Scalable Multi-agent Systems . . . . . . 304
Anonymous Author Index . . . . . . . . . . . . . . 309
David E. Keyes Four Horizons for Enhancing the
Performance of Parallel Simulations
Based on Partial Differential Equations 1
Boris Babayan E2K Technology and Implementation . . . 18
Gregor von Laszewski and
Kazuyuki Shudo and
Yoichi Muraoka Grid-Based Asynchronous Migration of
Execution Context in Java Virtual
Machines . . . . . . . . . . . . . . . . 22
Michel Raynal Logical Instantaneity and Causal Order:
Two ``First Class'' Communication Modes
for Parallel Computing . . . . . . . . . 35
Hans Werner Meuer The TOP500 Project of the Universities
Mannheim and Tennessee . . . . . . . . . 43
Barton P. Miller and
Michael Gerndt Topic 01 Support Tools and Environments 45
Sabine Rathmayer Visualization and Computational Steering
in Heterogeneous Computing Environments 47
Ching-Jung Liao A Web-Based Finite Element Meshes
Partitioner and Load Balancer . . . . . 57
Radu Prodan and
John M. Kewley A Framework for an Interoperable Tool
Environment (Research Note) . . . . . . 65
Timothy Sherwood and
Brad Calder ToolBlocks: An Infrastructure for the
Construction of Memory Hierarchy
Analysis Tools (Research Note) . . . . . 70
Nandini Mukherjee and
Graham D. Riley and
John R. Gurd A Preliminary Evaluation of \sc FINESSE,
a Feedback-Guided Performance
Enhancement System . . . . . . . . . . . 75
Christian H. Bischof and
H. Martin Bücker and
Paul D. Hovland On Combining Computational
Differentiation and Toolkits for
Parallel Scientific Computing . . . . . 86
Steve MacDonald and
Duane Szafron and
Jonathan Schaeffer and
Steven Bromling Generating Parallel Program Frameworks
from Parallel Design Patterns . . . . . 95
Thomas Fahringer and
Wolfgang E. Nagel Topic 02 Performance Evaluation and
Prediction . . . . . . . . . . . . . . . 105
Harold W. Cain and
Barton P. Miller and
Brian J. N. Wylie A Callgraph-Based Search Strategy for
Automated Performance Diagnosis
(Distinguished Paper) . . . . . . . . . 108
Felix Wolf and
Bernd Mohr Automatic Performance Analysis of MPI
Applications Based on Event Traces . . . 123
Jacques Chassin de Kergommeaux and
Benhur de Oliveira Stein Pajé: An Extensible Environment for
Visualizing Multi-threaded Programs
Executions . . . . . . . . . . . . . . . 133
Xian-He Sun and
Kirk W. Cameron A Statistical-Empirical Hybrid Approach
to Hierarchical Memory Analysis . . . . 141
Darren J. Kerbyson and
John S. Harper and
Efstathios Papaefstathiou and
Daniel V. Wilcox and
Graham R. Nudd Use of Performance Technology for the
Management of Distributed Systems . . . 149
Marco Dimas Gubitoso and
Carlos Humes Jr. Delay Behavior in Domain Decomposition
Applications . . . . . . . . . . . . . . 160
Omer F. Rana and
Dave Jennings Automating Performance Analysis from UML
Design Patterns (Research Note) . . . . 168
Antonio Espinosa and
Tomas Margalef and
Emilio Luque Integrating Automatic Techniques in a
Performance Analysis Session (Research
Note) . . . . . . . . . . . . . . . . . 173
Thierry Lafage and
André Seznec Combining Light Static Code Annotation
and Instruction-Set Emulation for
Flexible and Efficient On-the-Fly
Simulation (Research Note) . . . . . . . 178
Panagiotis Melas and
Ed J. Zaluska SCOPE --- The Specific Cluster Operation
and Performance Evaluation Benchmark
Suite (Research Note) . . . . . . . . . 183
Chu-Cheow Lim and
Yoke-Hean Low and
Boon-Ping Gan and
Wentong Cai Implementation Lessons of Performance
Prediction Tool for Parallel
Conservative Simulation (Research Note) 189
Xavier Vera and
Josep Llosa and
Antonio González and
Nerina Bermudo A Fast and Accurate Approach to Analyze
Cache Memory Behavior (Research Note) 194
Eduardo Huedo and
Manuel Prieto and
Ignacio M. Llorente and
Francisco Tirado Impact of PE Mapping on Cray T3E
Message-Passing Performance . . . . . . 199
Julien Bourgeois and
François Spies Performance Prediction of an NAS
Benchmark Program with ChronosMix
Environment . . . . . . . . . . . . . . 208
Bettina Schnor Topic 03 Scheduling and Load Balancing 217
Fabrizio Baiardi and
Primo Becuzzi and
Sarah Chiti and
Paolo Mori and
Laura Ricci A Hierarchical Approach to Irregular
Problems (Research Note) . . . . . . . . 218
Götz Lindenmaier and
Kathryn S. McKinley and
Olivier Temam Load Scheduling with Profile Information 223
Attila Gürsoy and
Murat Atun Neighbourhood Preserving Load Balancing:
A Self-Organizing Approach . . . . . . . 234
Yanyong Zhang and
Hubertus Franke and
Jose E. Moreira and
Anand Sivasubramaniam The Impact of Migration on Parallel Job
Scheduling for Distributed Systems . . . 242
William Leinberger and
George Karypis and
Vipin Kumar Memory Management Techniques for Gang
Scheduling . . . . . . . . . . . . . . . 252
Concepció Roig and
Ana Ripoll and
Miquel A. Senar and
Fernando Guirado and
Emilio Luque Exploiting Knowledge of Temporal
Behaviour in Parallel Programs for
Improving Distributed Mapping . . . . . 262
Andrei Radulescu and
Arjan J. C. van Gemund Preemptive Task Scheduling for
Distributed Systems (Research Note) . . 272
Thomas Decker and
Burkhard Monien and
Robert Preis Towards Optimal Load Balancing
Topologies . . . . . . . . . . . . . . . 277
Foto Afrati and
Evripidis Bampis and
Lucian Finta and
Ioannis Milis Scheduling Trees with Large
Communication Delays on Two Identical
Processors . . . . . . . . . . . . . . . 288
Kirk Schloegel and
George Karypis and
Vipin Kumar Parallel Multilevel Algorithms for
Multi-constraint Graph Partitioning
(Distinguished Paper) . . . . . . . . . 296
Maciej Drozdowski and
Pawe\l Wolniewicz Experiments with Scheduling Divisible
Tasks in Clusters of Workstations . . . 311
Daniel González and
Francisco Almeida and
Luz Marina Moreno and
Casiano Rodríguez Optimal Mapping of Pipeline Algorithms
(Research Note) . . . . . . . . . . . . 320
Thomas Richert Dynamic Load Balancing for Parallel
Adaptive Multigrid Solvers with
Algorithmic Skeletons (Research Note) 325
Samuel P. Midkiff and
Barbara Chapman and
Jean-François Collard and
Jens Knoop Topic 04 Compilers for High Performance 329
Gerardo Bandera and
Emilio L. Zapata Improving the Sparse Parallelization
Using Semantical Information at
Compile-Time . . . . . . . . . . . . . . 331
Roxane Adle and
Marc Aiguier and
Franck Delaplace Automatic Parallelization of Sparse
Matrix Computations: A Static Analysis 340
Rashindra Manniesing and
Ireneusz Karkowski and
Henk Corporaal Automatic SIMD Parallelization of
Embedded Applications Based on Pattern
Recognition . . . . . . . . . . . . . . 349
Alain Darte and
Georges-André Silber Temporary Arrays for Distribution of
Loops with Control Dependences . . . . . 357
Nawaaz Ahmed and
Keshav Pingali Automatic Generation of Block-Recursive
Codes . . . . . . . . . . . . . . . . . 368
Nikolay Mateev and
Vijay Menon and
Keshav Pingali Left-Looking to Right-Looking and Vice
Versa: An Application of Fractal
Symbolic Analysis to Linear Algebra Code
Restructuring . . . . . . . . . . . . . 379
Diego Novillo and
Ronald C. Unrau and
Jonathan Schaeffer Identifying and Validating Irregular
Mutual Exclusion Synchronization in
Explicitly Parallel Programs (Research
Note) . . . . . . . . . . . . . . . . . 389
Rupert W. Ford and
Michael F. P. O'Boyle and
Elena A. Stöhr Exact Distributed Invalidation . . . . . 395
Alain Darte and
Claude Diderich and
Marc Gengler and
Frédéric Vivien Scheduling the Computations of a Loop
Nest with Respect to a Given Mapping . . 405
Felix Heine and
Adrian Slowik Volume Driven Data Distribution for
NUMA-Machines . . . . . . . . . . . . . 415
Bernhard Mitschang Topic 05 Parallel and Distributed
Databases and Applications . . . . . . . 425
JoAnne Holliday and
Divyakant Agrawal and
Amr El Abbadi Database Replication Using Epidemic
Communication . . . . . . . . . . . . . 427
Klemens Böhm and
Torsten Grabs and
Uwe Röhm and
Hans-Jörg Schek Evaluating the Coordination Overhead of
Replica Maintenance in a Cluster of
Databases . . . . . . . . . . . . . . . 435
Michael Stillger and
Dieter Scheffner and
Johann-Christoph Freytag A Communication Infrastructure for a
Distributed RDBMS (Research Note) . . . 445
Peter Peinl Distribution, Replication, Parallelism,
and Efficiency Issues in a Large-Scale
Online/Real-Time Information System for
Foreign Exchange Trading (Research Note) 451
Friedhelm Mayer auf der Heide and
Miros\law Kuty\lowski and
Prabhakar Ragde Topic 06 Complexity Theory and
Algorithms . . . . . . . . . . . . . . . 455
Pavlos S. Efraimidis and
Paul G. Spirakis Positive Linear Programming Extensions:
Parallel Complexity and Applications
(Research Note) . . . . . . . . . . . . 456
Ulrich Meyer and
Peter Sanders Parallel Shortest Path for Arbitrary
Graphs . . . . . . . . . . . . . . . . . 461
Marcin Kik Periodic Correction Networks . . . . . . 471
Michael Resch Topic 07 Applications on
High-Performance Computers . . . . . . . 479
Robert E. Lynch and
Hong Lin and
Dan C. Marinescu An Efficient Algorithm for Parallel $3$D
Reconstruction of Asymmetric Objects
from Electron Micrographs . . . . . . . 481
Sergio Romero and
Luis F. Romero and
Emilio L. Zapata Fast Cloth Simulation with Parallel
Computers . . . . . . . . . . . . . . . 491
Gordon J. Darling and
Terence M. Sloan and
Connor Mulholland The Input, Preparation, and Distribution
of Data for Parallel GIS Operations
(Research Note) . . . . . . . . . . . . 500
El Mostafa Daoudi and
Pierre Manneback and
Abdelouafi Meziane and
Yahya Ould Mohamed El Hadj Study of the Load Balancing in the
Parallel Training for Automatic Speech
Recognition (Research Note) . . . . . . 506--510
Piotr Ba\la and
Terry W. Clark Pfortran and Co-Array Fortran as Tools
for Parallelization of a Large-Scale
Scientific Application . . . . . . . . . 511
Markus Ast and
Cristina Barrado and
José Cela and
Rolf Fischer and
Jesús Labarta and
Óscar Laborda and
Hartmut Manz and
Uwe Schulz Sparse Matrix Structure for Dynamic
Parallelisation Efficiency . . . . . . . 519
Ken Naono and
Yusaku Yamamoto and
Mitsuyoshi Igai and
Hiroyuki Hirayama and
Nobuhiro Ioki A Multi-color Inverse Iteration for a
High Performance Real Symmetric
Eigensolver (Research Note) . . . . . . 527
Felicia Ionescu and
Andrei Jalba and
Mihail Ionescu Parallel Implementation of Fast Hartley
Transform (FHT) in Multiprocessor
Systems (Research Note) . . . . . . . . 532
Silvia Müller and
Per Stenström and
Mateo Valero and
Stamatis Vassiliadis Topic 08 Parallel Computer Architecture 537
Jean-Thomas Acquaviva and
William Jalby Coherency Behavior on DSM: A Case Study
(Research Note) . . . . . . . . . . . . 539
David May and
Henk Muller and
Shondip Sen Hardware Migratable Channels (Research
Note) . . . . . . . . . . . . . . . . . 545
Diego R. Llanos Ferraris and
Benjamín Sahelices Fernández and
Agustín De Dios Hernández Reducing the Replacement Overhead on
COMA Protocols for Workstation-Based
Architectures . . . . . . . . . . . . . 550
Aleksandar Milenkovic and
Veljko Milutinovic Cache Injection: A Novel Technique for
Tolerating Memory Latency in Bus-Based
SMPs . . . . . . . . . . . . . . . . . . 558
Sarah A. M. Talbot and
Paul H. J. Kelly Adaptive Proxies: Handling Widely-Shared
Data in Shared-Memory Multiprocessors
(Research Note) . . . . . . . . . . . . 567
Ernst W. Mayr Topic 09 Distributed Systems and
Algorithms . . . . . . . . . . . . . . . 573
Costas Busch and
Neophytos Demetriou and
Maurice Herlihy and
Marios Mavronicolas A Combinatorial Characterization of
Properties Preserved by Antitokens . . . 575
Nicolas Hanusse and
Evangelos Kranakis and
Danny Krizanc Searching with Mobile Agents in Networks
with Liars . . . . . . . . . . . . . . . 583
Luis Díaz de Cerio and
Miguel Valero-García and
Antonio González Complete Exchange Algorithms for Meshes
and Tori Using a Systematic Approach
(Research Note) . . . . . . . . . . . . 591
Ling Qiu and
Wen-Jing Hsu Algorithms for Routing AGVs on a Mesh
Topology (Research Note) . . . . . . . . 595
Sandeep K. S. Gupta and
Abdelmadjid Bouabdallah and
Pradip K. Srimani Self-Stabilizing Protocol for Shortest
Path Tree for Multi-cast Routing in
Mobile Networks (Research Note) . . . . 600
Luís Rodrigues and
Michel Raynal Quorum-Based Replication in Asynchronous
Crash-Recovery Distributed Systems
(Research Note) . . . . . . . . . . . . 605
Giovanna Melideo and
Marco Mechelli and
Roberto Baldoni and
Alberto Marchetti Spaccamela Timestamping Algorithms: A
Characterization and a Few Properties 609
Paul H. J. Kelly and
Sergei Gorlatch and
Scott Baden and
Vladimir Getov Topic 10 Programming Languages, Models,
and Methods . . . . . . . . . . . . . . 617
Clemens Grelck and
Sven-Bodo Scholz HPF vs. SAC -- A Case Study (Research
Note) . . . . . . . . . . . . . . . . . 620
Kevin B. Theobald and
Rishi Kumar and
Gagan Agrawal and
Gerd Heber and
Ruppa K. Thulasiram and
Guang R. Gao Developing a Communication Intensive
Application on the EARTH Multithreaded
Architecture (Distinguished Paper) . . . 625
Mauro Bianco and
Geppino Pucci On the Predictive Quality of BSP-like
Cost Functions for NOWs . . . . . . . . 638
Siegfried Benkner and
Thomas Brandes Exploiting Data Locality on Scalable
Shared Memory Machines with Data
Parallel Programs . . . . . . . . . . . 647
Andrea Zavanella The Skel-BSP Global Optimizer: Enhancing
Performance Portability in Parallel
Programming . . . . . . . . . . . . . . 658
Philippe Gerner and
Eric Violard A Theoretical Framework of Data
Parallelism and Its Operational
Semantics . . . . . . . . . . . . . . . 668
Berna L. Massingill and
Timothy G. Mattson and
Beverly A. Sanders A Pattern Language for Parallel
Application Programs (Research Note) . . 678
Jesus A. Gonzalez and
Coromoto Leon and
Fabiana Piccoli and
Marcela Printista and
José L. Roda and
Casiano Rodriguez and
Francisco de Sande Oblivious BSP (Research Note) . . . . . 682
Steven Newhouse and
Anthony Mayer and
John Darlington A Software Architecture for HPC Grid
Applications (Research Note) . . . . . . 686
Rob V. van Nieuwpoort and
Thilo Kielmann and
Henri E. Bal Satin: Efficient Parallel
Divide-and-Conquer in Java . . . . . . . 690
Rafael Ramirez and
Andrew E. Santosa and
Lee Wei Hong Implementing Declarative Concurrency in
Java . . . . . . . . . . . . . . . . . . 700
Paul A. Gray and
Vaidy S. Sunderam Building Distributed Applications Using
Multiple, Heterogeneous Environments . . 709
Jarek Nieplocha and
Jialin Ju and
Tjerk P. Straatsma A Multiprotocol Communication Support
for the Global Address Space Programming
Model on the IBM SP . . . . . . . . . . 718
Takashi Ishihara and
Tiejun Li and
Eugene F. Fodor and
Ronald A. Olsson A Comparison of Concurrent Programming
and Cooperative Multithreading . . . . . 729
Philip W. Trinder and
Hans-Wolfgang Loidl and
Ed. Barry Jr. and
M. Kei Davis and
Kevin Hammond and
Ulrike Klusik and
Simon L. Peyton Jones and
Álvaro J. Rebón Portillo The Multi-architecture Performance of
the Parallel Functional Language \sc GpH
(Research Note) . . . . . . . . . . . . 739--743
Vítor Santos Costa and
Ricardo Rocha and
Fernando Silva Novel Models for Or-Parallel Logic
Programs: A Performance Analysis . . . . 744
Alexander B. Godlevsky and
Ladislav Hluchý Executable Specification Language for
Parallel Symbolic Computation (Research
Note) . . . . . . . . . . . . . . . . . 754
Magne Haveraaen Efficient Parallelisation of Recursive
Problems Using Constructive Recursion
(Research Note) . . . . . . . . . . . . 758
Jonas Holmerin and
Björn Lisper Development of Parallel Algorithms in
Data Field Haskell (Research Note) . . . 762
Paul-Jean Cagnard The ParCel-2 Programming Language
(Research Note) . . . . . . . . . . . . 767
Ulrich Rüde and
Hans-Joachim Bungartz Topic 11 Numerical Algorithms for Linear
and Nonlinear Algebra . . . . . . . . . 771
David S. Wise Ahnentafel Indexing into Morton-Ordered
Arrays, or Matrix Locality for Free . . 774
Peter Gottschling and
Wolfgang E. Nagel An Efficient Parallel Linear Solver with
a Cascadic Conjugate Gradient Method:
Experience with Reality . . . . . . . . 784
Michael Bader and
Christoph Zenger A Fast Solver for Convection Diffusion
Equations Based on Nested Dissection
with Incomplete Elimination . . . . . . 795
Marcus Mohr Low Communication Parallel Multigrid . . 806
Jörn Behrens and
Jens Zimmermann Parallelizing an Unstructured Grid
Generator with a Space-Filling Curve
Approach . . . . . . . . . . . . . . . . 815
Peter Benner and
Rafael Mayo and
Enrique S. Quintana-Ortí and
Vicente Hernández Solving Discrete-Time Periodic Riccati
Equations on a Cluster (Research Note) 824
Torsten Butz and
Oskar von Stryk and
Thieß-Magnus Wolter A Parallel Optimization Scheme for
Parameter Estimation in Motor Vehicle
Dynamics (Research Note) . . . . . . . . 829
Charalampos Konstantopoulos and
Andreas Svolos and
Christos Kaklamanis Sliding-Window Compression on the
Hypercube (Research Note) . . . . . . . 835
Marco D'Apuzzo and
Marina Marino and
Panos M. Pardalos and
Gerardo Toraldo A Parallel Implementation of a Potential
Reduction Algorithm for Box-Constrained
Quadratic Programming . . . . . . . . . 839
Roland Wismüller and
Renato Campo Topic 12 European Projects . . . . . . . 849
Wolfgang Karl and
Martin Schulz and
Martin Völk and
Sibylle Ziegler NEPHEW: Applying a Toolset for the
Efficient Deployment of a Medical Image
Application on SCI-Based Clusters . . . 851
Tomás Hrúz and
Martin Becka and
Antonello Pasquarelli SEEDS: Airport Management Database
System . . . . . . . . . . . . . . . . . 861
Stephen E. Ijaha and
Stephen C. Winter and
Nasser Kalantery HIPERTRANS: High Performance Transport
Network Modelling and Simulation
(Research Note) . . . . . . . . . . . . 869
Jose Duato Topic 13 Routing and Communication in
Interconnection Networks . . . . . . . . 875
Constantinos Bartzis and
Ioannis Caragiannis and
Christos Kaklamanis and
Ioannis Vergados Experimental Evaluation of Hot-Potato
Routing Algorithms on $2$-Dimensional
Processor Arrays (Research Note) . . . . 877
José Carlos Sancho and
Antonio Robles Improving the Up*/Down* Routing Scheme
for Networks of Workstations . . . . . . 882--889
Ingebjòrg Theiss and
Olav Lysne Deadlock Avoidance for Wormhole Based
Switches . . . . . . . . . . . . . . . . 890
Mohamed Ould-Khaoua and
Ahmad Khonsari An Analytical Model of Adaptive Wormhole
Routing with Deadlock Recovery (Research
Note) . . . . . . . . . . . . . . . . . 900
Geyong Min and
Mohamed Ould-Khaoua Analysis of Pipelined Circuit Switching
in Cube Networks (Research Note) . . . . 904
Vicente Chirivella and
Rosa Alcover A New Reliability Model for
Interconnection Networks . . . . . . . . 909
Peter Sanders and
Jop F. Sibeyn A Bandwidth Latency Tradeoff for
Broadcast and Reduction . . . . . . . . 918
Stefan Dobrev and
Imrich Vrt'o Optimal Broadcasting in Even Tori with
Dynamic Faults (Research Note) . . . . . 927
Petr Salinger and
Pavel Tvrdík Broadcasting in All-Port Wormhole $3$-D
Meshes of Trees (Research Note) . . . . 931
Jehad Al-Sadi and
Khaled Day and
Mohamed Ould-Khaoua Probability-Based Fault-Tolerant Routing
in Hypercubes (Research Note) . . . . . 935
Kemal Ebcioglu Topic 14 Instruction-Level Parallelism
and Processor Architecture . . . . . . . 939
Carlos Navarro and
Alex Ramírez and
Josep-L. Larriba-Pey and
Mateo Valero On the Performance of Fetch Engines
Running DSS Workloads . . . . . . . . . 940
Jan Hoogerbrugge Cost-Efficient Branch Target Buffers . . 950
Enric Morancho and
José María Llabería and
\`Angel Olivé Two-Level Address Storage and Address
Prediction (Research Note) . . . . . . . 960
Marian Stanca and
Stamatis Vassiliadis and
Sorin Cotofana and
Henk Corporaal Hashed Addressed Caches for Embedded
Pointer Based Codes (Research Note) . . 965
Mihai Budiu and
Majd Sakr and
Kip Walker and
Seth C. Goldstein BitValue Inference: Detecting and
Exploiting Narrow Bitwidth Computations 969
Douglas Aberdeen and
Jonathan Baxter General Matrix-Matrix Multiplication
Using SIMD Features of the PIII
(Research Note) . . . . . . . . . . . . 980
Thomas Y. Yeh and
Hong Wang Redundant Arithmetic Optimizations
(Research Note) . . . . . . . . . . . . 984
Kevin D. Rich and
Matthew K. Farrens The Decoupled-Style Prefetch
Architecture (Research Note) . . . . . . 989
Lee-Ren Ton and
Lung-Chung Chang and
Chung-Ping Chung Exploiting Java Bytecode Parallelism by
Enhanced POC Folding Model (Research
Note) . . . . . . . . . . . . . . . . . 994
Kristof E. Beyls and
Erik H. D'Hollander Cache Remapping to Improve the
Performance of Tiled Algorithms . . . . 998
Kevin D. Rich and
Matthew K. Farrens Code Partitioning in Decoupled Compilers 1008
Darko Stefanovic and
Margaret Martonosi Limits and Graph Structure of Available
Instruction-Level Parallelism (Research
Note) . . . . . . . . . . . . . . . . . 1018
Hiroyasu Nishiyama and
Keiko Motokawa and
Ichiro Kyushima and
Sumio Kikuchi Pseudo-vectorizing Compiler for the
SR8000 (Research Note) . . . . . . . . . 1023
Gul A. Agha Topic 15 Object Oriented Architectures,
Tools, and Applications . . . . . . . . 1029
Ton Ngo and
John Barton Debugging by Remote Reflection . . . . . 1031
Gabriel Antoniu and
Luc Bougé and
Philip Hatcher and
Mark MacBeth and
Keith McGuigan and
Raymond Namyst Compiling Multithreaded Java Bytecode
for Distributed Execution (Distinguished
Paper) . . . . . . . . . . . . . . . . . 1039
Hsin-Ta Chiao and
Chi-Houng Wu and
Shyan-Ming Yuan A More Expressive Monitor for Concurrent
Java Programming . . . . . . . . . . . . 1053
Frédéric Dang Tran and
Anne Gérodolle An Object-Oriented Software Framework
for Large-Scale Networked Virtual
Environments . . . . . . . . . . . . . . 1061
Jörg Nolte and
Mitsuhisa Sato and
Yutaka Ishikawa TACO -- Dynamic Distributed Collections
with Templates and Topologies . . . . . 1071
Tobias Grundmann and
Marcus Ritt and
Wolfgang Rosenstiel Object-Oriented Message-Passing with
TPO++ (Research Note) . . . . . . . . . 1081
Manfred Schimmler Topic 17 Architectures and Algorithms
for Multimedia Applications . . . . . . 1085
Shietung Peng and
Stanislav Sedukhin Design of Multi-dimensional DCT Array
Processors for Video Applications . . . 1086
Bertil Schmidt Design of a Parallel Accelerator for
Volume Rendering . . . . . . . . . . . . 1095
Henjo Schot and
Henk Corporaal Automated Design of an ASIP for Image
Processing Applications (Research Note) 1105
Alice Bonhomme and
Lo\"\ic Prylli A Distributed Storage System for a
Video-on-Demand Server (Research Note) 1110
Rajkumar Buyya and
Mark Baker and
Daniel C. Hyde and
Djamshid Tavangarian Topic 18 Cluster Computing . . . . . . . 1115
Felix Rauch and
Christian Kurmann and
Thomas M. Stricker Partition Cast -- Modelling and
Optimizing the Distribution of Large
Data Sets in PC Clusters (Distinguished
Paper) . . . . . . . . . . . . . . . . . 1118
Weiwu Hu and
Fuxin Zhang and
Haiming Liu A New Home-Based Software DSM Protocol
for SMP Clusters . . . . . . . . . . . . 1132
Ronan Cunniffe and
Brian A. Coghlan Encouraging the Unexpected: Cluster
Management for OS and Systems Research
(Research Note) . . . . . . . . . . . . 1143
Vladimir Shurbanov and
Dimiter Avresky and
Pankaj Mehra and
William Watson Flow Control in ServerNet R Clusters . . 1148
Hernâni Pedroso and
João Gabriel Silva The WMPI Library Evolution: Experience
with MPI Development for Windows
Environments . . . . . . . . . . . . . . 1157
Francesc Solsona and
Francesc Giné and
Porfidio Hernández and
Emilio Luque Implementing Explicit and Implicit
Coscheduling in a PVM Environment
(Research Note) . . . . . . . . . . . . 1165
Zoltan Juhasz and
Laszlo Kesmarki A Jini-Based Prototype Metacomputing
Framework (Research Note) . . . . . . . 1171
Marco Danelutto and
Massimiliano Stigliani SKElib: Parallel Programming with
Skeletons in C . . . . . . . . . . . . . 1175
Claus Wagner and
Frank Mueller Token-Based Read/Write-Locks for
Distributed Mutual Exclusion . . . . . . 1185
Wolfgang Schreiner and
Christian Mittermaier and
Franz Winkler On Solving a Problem in Algebraic
Geometry by Cluster Computing (Research
Note) . . . . . . . . . . . . . . . . . 1196
Eric Renault and
Pierre David and
Paul Feautrier PCI--DDC Application Programming
Interface: Performance in User-Level
Messaging (Research Note) . . . . . . . 1201
Vicente Arnau and
Juan M. Orduña and
Salvador Moreno and
Rodrigo Valero and
Aurelio Ruiz A Clustering Approach for Improving
Network Performance in Heterogeneous
Systems (Research Note) . . . . . . . . 1206
Alexander Reinefeld and
Geoffrey Fox and
Domenico Laforenza and
Edward Seidel Topic 19 Metacomputing . . . . . . . . . 1211
Dorian C. Arnold and
Dieter Bachmann and
Jack Dongarra Request Sequencing: Optimizing
Communication for the Grid . . . . . . . 1213
Stephan Kindermann and
Torsten Fink An Architectural Meta-application Model
for Coarse Grained Metacomputing . . . . 1223
Michael O. Neary and
Alan Phipps and
Steven Richman and
Peter Cappello Javelin 2.0: Java-Based Parallel
Computing on the Internet . . . . . . . 1231
Tsunehiko Kamachi and
Thierry Priol and
Christophe René Data Distribution for Parallel CORBA
Objects . . . . . . . . . . . . . . . . 1239
Rajeev Thakur and
Rolf Hempel and
Elizabeth Shriver and
Peter Brezany Topic 20 Parallel I/O and Storage
Technology . . . . . . . . . . . . . . . 1251
Jean-Pierre Prost and
Richard Treumann and
Richard Hedges and
Alice Koniges and
Alison White Towards a High-Performance
Implementation of MPI--IO on Top of GPFS 1253
Gokhan Memik and
Mahmut T. Kandemir and
Alok Choudhary Design and Evaluation of a
Compiler-Directed Collective I/O
Technique . . . . . . . . . . . . . . . 1263
Rolf Rabenseifner and
Alice E. Koniges Effective File-I/O Bandwidth Benchmark 1273
Prasenjit Sarkar Instant Image: Transitive and Cyclical
Snapshots in Distributed Storage Volumes 1284
Sachin More and
Alok Choudhary Scheduling Queries for Tape-Resident
Data . . . . . . . . . . . . . . . . . . 1292
Ying Chen and
Windsor W. Hsu and
Honesty C. Young Logging RAID --- An Approach to Fast,
Reliable, and Low-Cost Disk Arrays . . . 1302
José C. Cunha and
David W. Walker and
Thierry Priol and
Wolfgang Gentzsch Topic 21 Problem Solving Environments 1313
Hans-Peter Kersken and
Andreas Schreiber and
Martin Strietzel and
Michael Faden and
Regine Ahrem and
Peter Post and
Klaus Wolf and
Armin Beckert and
Thomas Gerholt and
Ralf Heinrich and
Edmund Kügeler AMANDA --- A Distributed System for
Aircraft Design . . . . . . . . . . . . 1315
Helen Wright and
Ken Brodlie and
Jason Wood and
Jim Procter Problem Solving Environments: Extending
the Rôle of Visualization Systems . . . . 1323
Rajeev Muralidhar and
Samian Kaur and
Manish Parashar An Architecture for Web-Based
Interaction and Steering of Adaptive
Parallel/Distributed Applications . . . 1332
David Lancaster and
Jeff S. Reeve Computational Steering in Problem
Solving Environments (Research Note) . . 1340
Omer F. Rana and
Maozhen Li and
Matthew S. Shields and
David W. Walker and
David Golby Implementing Problem Solving
Environments for Computational Science
(Research Note) . . . . . . . . . . . . 1345
Matthias Brehm and
Reinhold Bader and
Helmut Heller and
Ralf Ebner Pseudovectorization, SMP, and Message
Passing on the Hitachi SR8000--F1 . . . 1351
Anonymous Index of Authors . . . . . . . . . . . . 1363
Luis M. Laita and
Luis de Ledesma and
Eugenio Roanes-Lozano and
Alberto Brunori George Boole, a Forerunner of Symbolic
Computation . . . . . . . . . . . . . . 1
Marc Knoppe Artificial Intelligence as a Decision
Tool for Efficient Strategic and
Operational Management . . . . . . . . . 20
Michael Kohlhase OMDOC: Towards an Internet Standard for
the Administration, Distribution, and
Teaching of Mathematical Knowledge . . . 32
Olga Caprotti and
Martijn Oostdijk On Communicating Proofs in Interactive
Mathematical Documents . . . . . . . . . 53
Jacques Calmet and
Peter Kullmann and
Morio Taneda Composite Distributive Lattices as
Annotation Domains for Mediators . . . . 65
Guilherme Bittencourt and
Isabel Tonin A Proof Strategy Based on a Dual
Representation . . . . . . . . . . . . . 78
José-Luis Ruiz-Reina and
José-Antonio Alonso and
María-José Hidalgo and
Francisco-Jesús Martín-Mateos Formalizing Rewriting in the ACL2
Theorem Prover . . . . . . . . . . . . . 92
Angel Fernandez Pineda and
Enric Trillas and
Claudio Vaucheret Additional Comments on Conjectures,
Hypotheses, and Consequences in
Orthocomplemented Lattices . . . . . . . 107
Robert M. Corless and
James H. Davenport and
David J. Jeffrey and
Gurjeet Litt and
Stephen M. Watt Reasoning about the Elementary Functions
of Complex Analysis . . . . . . . . . . 115
Martine Ceberio and
Laurent Granvilliers Solving Nonlinear Systems by Constraint
Inversion and Interval Arithmetic . . . 127
Carlos Castro and
Eric Monfroy Basic Operators for Solving Constraints
via Collaboration of Solvers . . . . . . 142
Eugenio Roanes-Macías and
Eugenio Roanes-Lozano Automatic Determination of Geometric
Loci. $3$D-Extension of Simson-Steiner
Theorem . . . . . . . . . . . . . . . . 157
Robert M. Corless and
Mark W. Giesbrecht and
Ilias S. Kotsireas and
Stephen M. Watt Numerical Implicitization of Parametric
Hypersurfaces with Linear Algebra . . . 174
Jochen Pfalzgraf A Note on Modeling Connectionist Network
Structures: Geometric and Categorical
Aspects . . . . . . . . . . . . . . . . 184
Andres Iglesias and
Akemi Gálvez A New Artificial Intelligence Paradigm
for Computer-Aided Geometric Design . . 200
Andres Iglesias How Symbolic Computation Can Benefit
Computer-Aided Geometric Design . . . . 214
Zahir Maazouzi and
Nirina Andrianarivelo and
Wadoud Bousdira and
Jacques Chabin CDR: A Rewriting Based Tool to Design
FPLA Circuits . . . . . . . . . . . . . 219
Julio Rubio Locally Effective Objects and Artificial
Intelligence . . . . . . . . . . . . . . 223
Marco A. Arranz Negotiation Algorithms for Multi-agent
Interactions . . . . . . . . . . . . . . 227
Thierry Boy de la Tour Some Techniques of Isomorph-Free Search 240
Anonymous Author Index . . . . . . . . . . . . . . 253
Paul Robertson and
Robert Laddaga and
Howie Shrobe Introduction: The First International
Workshop on Self-Adaptive Software . . . 1
Robert Laddaga Active Software . . . . . . . . . . . . 11
Leon J. Osterweil and
Lori A. Clarke Continuous Self-Evaluation for the
Self-Improvement of Software . . . . . . 27
Howard Shrobe and
Jon Doyle Active Trust Management for Autonomous
Adaptive Survivable Systems . . . . . . 40
Du\vsko Pavlovi\'c Towards Semantics of Self-Adaptive
Software . . . . . . . . . . . . . . . . 50
Alex C. Meng On Evaluating Self-Adaptive Software . . 65
Mieczyslaw M. Kokar and
Kevin M. Passino and
Kenneth Baclawski and
Jeffrey E. Smith Mapping an Application to a Control
Architecture: Specification of the
Problem . . . . . . . . . . . . . . . . 75
Gyula Simon and
Tamás Kovácsházy and
Gábor Péceli Transient Management in Reconfigurable
Systems . . . . . . . . . . . . . . . . 90
Akos Ledeczi and
Arpad Bakay and
Miklos Maroti Model-Integrated Embedded Systems . . . 99
Prasanta Bose and
Mark G. Matthews Coordination of View Maintenance Policy
Adaptation Decisions: A
Negotiation-Based Reasoning Approach . . 116
Israel Ben-Shaul and
Hovav Gazit and
Ophir Holder and
Boris Lavva Dynamic Self Adaptation in Distributed
Systems . . . . . . . . . . . . . . . . 134
David J. Musliner Imposing Real-Time Constraints on
Self-Adaptive Controller Synthesis . . . 143
Deepak Karuppiah and
Patrick Deegan and
Elizeth Araujo and
Yunlei Yang and
Gary Holness and
Zhigang Zhu and
Barbara Lerner and
Roderic Grupen and
Edward Riseman Software Mode Changes for Continuous
Motion Tracking . . . . . . . . . . . . 161
Kevin R. Dixon and
Theodore Q. Pham and
Pradeep K. Khosla Port-Based Adaptable Agent Architecture 181
Paul Robertson An Architecture for Self-Adaptation and
Its Application to Aerial Image
Understanding . . . . . . . . . . . . . 199
Steven Reece Self-Adaptive Multi-sensor Systems . . . 224
Robert Laddaga and
Paul Robertson and
Howie Shrobe Results of the First International
Workshop on Self Adaptive Software . . . 242
Anonymous Author Index . . . . . . . . . . . . . . 249
Malcolm Atkinson Persistence and Java -- A Balancing Act 1
Suad Alagic and
Tuong Nguyen Parametric Polymorphism and Orthogonal
Persistence . . . . . . . . . . . . . . 32
Philippe Collet and
Greta Vignola Towards a Consistent Viewpoint on
Consistency for Persistent Applications 47
Misha Dmitriev and
Craig Hamilton Towards Scalable and Recoverable Object
Evolution for the PJama Persistent
Platform . . . . . . . . . . . . . . . . 61
Jerome Darmont and
Christophe Fromantin and
Stephane Régnier and
Le Gruenwald and
Michel Schneider Dynamic Clustering in Object-Oriented
Databases: An Advocacy for Simplicity 71
Zhen He and
Alonso Marquez and
Stephen Blackburn Opportunistic Prioritised Clustering
Framework (OPCF) . . . . . . . . . . . . 86
Awais Rashid and
Peter Sawyer and
Elke Pulvermueller A Flexible Approach for Instance
Adaptation During Class Versioning . . . 101
Kajal T. Claypool and
Chandrakant Natarajan and
Elke A. Rundensteiner Optimizing Performance of Schema
Evolution Sequences . . . . . . . . . . 114
Mohamed G. Elfeky and
Amani A. Saad and
Souheir A. Fouad ODMQL: Object Data Mining Query Language 128
Alberto Abelló and
José Samos and
F\`elix Saltor Benefits of an Object-Oriented
Multidimensional Data Model . . . . . . 141
Christine Collet The NODS Project: Networked Open
Database Services . . . . . . . . . . . 153
Marlon Dumas and
Chaouki Daassi and
Marie-Christine Fauvet and
Laurence Nigay Pointwise Temporal Object Database
Browsing . . . . . . . . . . . . . . . . 170
Miguel A. Sicilia Urbán and
Elena García Barriocanal and
Juan M. Dodero Beardo Towards a Unified Query-by-Example
(UQBE): UML as a Basis for a Generic
Graphical Query Language . . . . . . . . 185
Klaus R. Dittrich and
Giovanna Guerrini and
Isabella Merlo and
Marta Oliva and
M. Elena Rodríguez Concluding Remarks . . . . . . . . . . . 197
Anonymous Author Index . . . . . . . . . . . . . . 199
Timothy N. Wright and
T. C. Nicholas Graham and
Tore Urnes Specifying Temporal Behaviour in
Software Architectures for Groupware
Systems . . . . . . . . . . . . . . . . 1
Chris Johnson Questioning the Foundations of Utility
for Quality of Service in Interface
Development . . . . . . . . . . . . . . 19
F. Vernier and
L. Nigay A Framework for the Combination and
Characterization of Output Modalities 35
Maria Kutar and
Carol Britton and
Chrystopher Nehaniv Specifying Multiple Time Granularities
in Interactive Systems . . . . . . . . . 51
James S. Willans and
Michael D. Harrison Verifying the Behaviour of Virtual
Environment World Objects . . . . . . . 65
Joanna Lumsden and
Philip Gray SUIT --- Context Sensitive Evaluation of
User Interface Development Tools . . . . 79
David Navarre and
Philippe Palanque and
Rémi Bastide and
Ousmane Sy Structuring Interactive Systems
Specifications for Executability and
Prototypability . . . . . . . . . . . . 97
Murray Crease and
Philip Gray and
Stephen Brewster A Toolkit of Mechanism and Context
Independent Widgets . . . . . . . . . . 121
Fabio Patern\`o and
Carmen Santoro Integrating Model Checking and HCI Tools
to Help Designers Verify User Interface
Properties . . . . . . . . . . . . . . . 135
Anke Dittmar More Precise Descriptions of Temporal
Relations within Task Models . . . . . . 151
Karsten Loer and
Michael Harrison Formal Interactive Systems Analysis and
Usability Inspection Methods: Two
Incompatible Worlds? . . . . . . . . . . 169
Nuno Jardim Nunes and
João Falcão e Cunha Wisdom --- A UML Based Architecture for
Interactive Systems . . . . . . . . . . 191
Paulo Pinheiro da Silva User Interface Declarative Models and
Development Environments: A Survey . . . 207
Quentin Limbourg and
Jean Vanderdonckt and
Nathalie Souchon The Task-Dialog and Task-Presentation
Mapping Problem: Some Preliminary
Results . . . . . . . . . . . . . . . . 227
Anonymous Subject Index . . . . . . . . . . . . . 247
Anonymous Author Index . . . . . . . . . . . . . . 251
Jari Järvinen and
Juha Haataja and
Jari Hämäläinen Industrial Applications: Challenges in
Modeling and Computing . . . . . . . . . 1
Carl Kesselman Data Grids for Next Generation Problems
in Science and Engineering . . . . . . . 17
Erik Hagersten High-Performance Computers: Yesterday,
Today, and Tomorrow . . . . . . . . . . 18
Timothy Mattson The Evolution of OpenMP . . . . . . . . 19
Michael Philippsen and
Ronald F. Boisvert and
Valdimir S. Getov and
Roldan Pozo and
José Moreira and
Dennis Gannon and
Geoffrey C. Fox JavaGrande --- High Performance
Computing with Java . . . . . . . . . . 20
Geir Evensen Ocean and Climate Prediction on Parallel
Super Computers . . . . . . . . . . . . 37
Bjarne S. Andersen and
Fred Gustavson and
Alexander Karaivanov and
Minka Marinova and
Jerzy Wa\'sniewski and
Plamen Yalamov LAWRA: Linear Algebra with Recursive
Algorithms . . . . . . . . . . . . . . . 38--51
Bill Gropp Solving CFD Problems with Open Source
Parallel Libraries . . . . . . . . . . . 52
Erik Elmroth and
Fred Gustavson High-Performance Library Software for QR
Factorization . . . . . . . . . . . . . 53
Isak Jonsson and
Bo Kågström Parallel Triangular Sylvester-Type
Matrix Equation Solvers for SMP Systems
Using Recursive Blocking . . . . . . . . 64
Raimondas \vCiegis and
Vadimas Starikovi\vcius and
Jerzy Wa\'sniewski On the Efficiency of Scheduling
Algorithms for Parallel Gaussian
Elimination with Communication Delays 74
Fred Gustavson and
Isak Jonsson High Performance Cholesky Factorization
via Blocking and Recursion That Uses
Minimal Storage . . . . . . . . . . . . 82
Björn Adlerborn and
Krister Dackland and
Bo Kågström Parallel Two-Stage Reduction of a
Regular Matrix Pair to
Hessenberg-Triangular Form . . . . . . . 92
Fred Gustavson and
Alexander Karaivanov and
Minka Marinova and
Jerzy Wa\'sniewski and
Plamen Yalamov A Fast Minimal Storage Symmetric
Indefinite Solver . . . . . . . . . . . 103
David Goudin and
Jean Roman A Scalable Parallel Assembly for
Irregular Meshes Based on a Block
Distribution for a Parallel Block Direct
Solver . . . . . . . . . . . . . . . . . 113
Patrick R. Amestoy and
Iain S. Duff and
Jean-Yves L'Excellent and
Jacko Koster MUMPS: A General Purpose Distributed
Memory Sparse Solver . . . . . . . . . . 121
Masha Sosonkina Runtime Adaptation of an Iterative
Linear System Solution to Distributed
Environments . . . . . . . . . . . . . . 131
Jarmo Rantakokko A Local Refinement Algorithm for Data
Partitioning . . . . . . . . . . . . . . 140
T. L. Freeman and
D. J. Hancock and
J. M. Bull and
R. W. Ford Feedback Guided Scheduling of Nested
Loops . . . . . . . . . . . . . . . . . 149
Johan Steensland and
Stefan Söderberg and
Michael Thuné A Comparison of Partitioning Schemes for
Blockwise Parallel SAMR Algorithms . . . 160
Jörn Behrens Parallelizing an Adaptive Dynamical Grid
Generator in a Climatological Trace Gas
Transport Application . . . . . . . . . 170
Michael Thuné and
Stefan Söderberg Optimal Parameter Values for a Parallel
Structured Adaptive Mesh Refinement
Algorithm . . . . . . . . . . . . . . . 177
Noureddine Bouhmala and
Xing Cai Partition of Unstructured Finite Element
Meshes by a Multilevel Approach . . . . 187
Tor Sòrevik and
Jan Frode Myklebust GRISK: An Internet Based Search for
$K$-Optimal Lattice Rules . . . . . . . 196
Krisztián Monostori and
Arkady Zaslavsky and
Heinz Schmidt Parallel and Distributed Document
Overlap Detection on the Web . . . . . . 206
U. Der and
K. Steinhöfel A Parallel Implementation of a Job Shop
Scheduling Heuristic . . . . . . . . . . 215
Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca Restructuring Irregular Computations for
Distributed Systems Using Mobile Agents 223
Harald Kosch and
Renata S\lota and
Lászlo Böszörményi and
Jacek Kitowski and
Janusz Otfinowski An Information System for Long-Distance
Cooperation in Medicine . . . . . . . . 233
Marian Bubak and
Pawe\l P\laszczak Hydra --- Decentralized and Adaptative
Approach to Distributed Computing . . . 242--249
Roman Wyrzykowski and
Tomasz Olas and
Norbert Sczygiol Object-Oriented Approach to Finite
Element Modeling on Clusters . . . . . . 250
Beidi S. Hamma An Object Oriented Framework for
Parallel Multiple Optimizations . . . . 258
R. B. Yehezkael and
Y. Wiseman and
H. G. Mendelbaum and
I. L. Gordin Experiments in Separating Computational
Algorithm from Program Distribution and
Communication . . . . . . . . . . . . . 268
Holger Brunst and
Wolfgang E. Nagel and
Stephan Seidl Performance Tuning on Parallel Systems:
All Problems Solved? . . . . . . . . . . 279
Marian Bubak and
W\lodzimierz Funika and
Bartosz Bali and
Roland Wismüller Performance Measurement Support for MPI
Applications with PATOP . . . . . . . . 288
Sung-Up Jo and
Chang-Sung Jeong A Parallel Volume Visualization Using
Extended Space Leaping Method . . . . . 296
Christian H. Bischof and
H. Martin Bücker and
Jörg Henrichs and
Bruno Lang Hands-On Training for Undergraduates in
High-Performance Computing Using Java 306
Daisuke Takahashi A Parallel $3$-D FFT Algorithm on
Clusters of Vector SMPs . . . . . . . . 316
Lars Paul Huse and
Håkon Bugge High-End Computing on SHV Workstations
Connected with High Performance Network 324
C. Adler and
J. Berger and
D. Flierl and
H. Helstrup and
J. S. Lange and
J. Lien and
V. Lindenstruth and
D. Röhrich and
D. Schmischke and
M. Schulz and
B. Skaali and
H. K. Sollveit and
T. Steinbeck and
R. Stock and
C. Struck and
K. Ullaland and
A. Vestbò and
A. Wiebalck From the Big Bang to Massive Data Flow:
Parallel Computing in High Energy
Physics Experiments . . . . . . . . . . 333
M. Amor and
F. Argüello and
J. López and
O. Plata and
E. L. Zapata A Data Parallel Formulation of the
Barnes-Hut Method for $N$-Body
Simulations . . . . . . . . . . . . . . 342
Peter Messmer Par-T: A Parallel Relativistic Fully
$3$D Electromagnetic Particle-in-Cell
Code . . . . . . . . . . . . . . . . . . 350
T. Matthey and
J. P. Hansen Evaluation of MPI's One-Sided
Communication Mechanism for Short-Range
Molecular Dynamics on the Origin2000 . . 356
João Silva and
Paulo Guedes Ship Hull Hydrodynamic Analysis Using
Distributed Shared Memory . . . . . . . 366
Petter E. Bjòrstad and
Jacko Koster and
Piotr Krzy\.zanowski Domain Decomposition Solvers for Large
Scale Industrial Finite Element Problems 373
Rossella Cancelliere A High Parallel Procedure to Initialize
the Output Weights of a Radial Basis
Function or BP Neural Network . . . . . 384
Felicja Okulicka-Dluzewska High-Performance Computing in
Geomechanics by a Parallel Finite
Element Approach . . . . . . . . . . . . 391
Anonymous Author Index . . . . . . . . . . . . . . 399
Frank van der Linden Introduction . . . . . . . . . . . . . . 1
Jan Gerben Wijnstra Component Frameworks for a Medical
Imaging Product Family . . . . . . . . . 4
Robert L. Nord Meeting the Product Line Goals for an
Embedded Real-Time System . . . . . . . 19
Hans Peter Jepsen and
Flemming Nielsen A Two-Part Architectural Model as Basis
for Frequency Converter Product Families 30
Dewayne E. Perry A Product Line Architecture for a
Network Product . . . . . . . . . . . . 39
Julio Mellado and
Manuel Sierra and
Ana Romera and
Juan C. Dueñas Railway-Control Product Families: The
Alcatel TAS Platform Experience . . . . 53
Günter Böckle Discussion Report ``Business'' Session 63
Klaus Schmid and
Michael Schank PuLSE--BEAT -- A Decision Support Tool
for Scoping Product Lines . . . . . . . 65
Sergio Bandinelli and
Goiuri Sagardui Mendieta Domain Potential Analysis: Calling the
Attention on Business Issues of
Product-Lines . . . . . . . . . . . . . 76
Douglas Stuart and
Wonhee Sull and
T. W. Cook Dependency Navigation in Product Lines
Using XML . . . . . . . . . . . . . . . 82
Juha Kuusela and
Jan Bosch Summary of Product Family Concepts
Session . . . . . . . . . . . . . . . . 94
Alexander Egyed and
Nikunj Mehta and
Nenad Medvidovíc Software Connectors and Refinement in
Family Architectures . . . . . . . . . . 96
Alessandro Maccari and
Antti-Pekka Tuovinen System Family Architectures: Current
Challenges at Nokia . . . . . . . . . . 107
Paul Clements Product Family Methods . . . . . . . . . 116
Jan Bosch Organizing for Software Product Lines 117
Tuomo Vehkomäki and
Kari Känsälä A Comparison of Software Product Family
Process Frameworks . . . . . . . . . . . 135
Mikael Svahnberg and
Jan Bosch Issues Concerning Variability in
Software Product Lines . . . . . . . . . 146
Rodrigo Cerón and
Juan C. Dueñas and
Juan A. de la Puente A First Assessment of Development
Processes with Respect to Product Lines
and Component Based Development . . . . 158
Jan Bosch and
Alexander Ran Evolution of Software Product Families 168
David M. Weiss Product Family Techniques Session . . . 184
Rob van Ommering Beyond Product Families: Building a
Product Population? . . . . . . . . . . 187
Pierre America and
Jan van Wijgerden Requirements Modeling for Families of
Complex Systems . . . . . . . . . . . . 199
Joachim Bayer and
Oliver Flege and
Cristina Gacek Creating Product Line Architectures . . 210
Alan Stephenson and
Darren Buttle and
John McDermid Extending Commonality Analysis for
Embedded Control System Families . . . . 217
Tom Dolan and
Ruud Weterings and
J. C. Wortmann Stakeholder-Centric Assessment of
Product Family Architecture . . . . . . 225
Frank van der Linden and
Henk Obbink ESAPS --- Engineering Software
Architectures, Processes and Platforms
for System Families . . . . . . . . . . 244
Paul Clements Product-Line Engineering . . . . . . . . 253
Anonymous Author Index . . . . . . . . . . . . . . 255
Simone Fischer-Hübner 1. Introduction . . . . . . . . . . . . 1
Simone Fischer-Hübner 2. Privacy in the Global Information
Society . . . . . . . . . . . . . . . . 5
Simone Fischer-Hübner 3. IT-Security . . . . . . . . . . . . . 35
Simone Fischer-Hübner 4. Privacy-Enhancing Technologies . . . 107
Simone Fischer-Hübner 5. A Task-Based Privacy Model . . . . . 167
Simone Fischer-Hübner 6. Specification and Implementation of
the Privacy Policy Following the
Generalised Framework for Access
Control-Approach . . . . . . . . . . . . 201
Simone Fischer-Hübner 7. Concluding Remarks . . . . . . . . . 259
Simone Fischer-Hübner Appendix A: Formal Mathematical Privacy
Model . . . . . . . . . . . . . . . . . 261
Simone Fischer-Hübner Appendix B: Implementation of a Hospital
Scenario as a Demonstration Example . . 325
Anonymous References . . . . . . . . . . . . . . . 331
Ans A. G. Steuten and
Frank Dehne and
Reind P. van de Riet WordNet++: A Lexicon Supporting the
Color-X Method . . . . . . . . . . . . . 1
Antonio L. Furtado and
Angelo E. M. Ciarlini Generating Narratives from Plots Using
Schema Information . . . . . . . . . . . 17
Sylviane R. Schwer Temporal Granularity Enlightened by
Knowledge . . . . . . . . . . . . . . . 30
Martin Romacker and
Udo Hahn Coping with Different Types of Ambiguity
Using a Uniform Context Handling
Mechanism . . . . . . . . . . . . . . . 42
Andrés Montoyo and
Manuel Palomar WSD Algorithm Applied to a NLP System 54
Odile Piton and
Denis Maurel ``Beijing Frowns and Washington Pays
Close Attention'' Computer Processing of
Relations between Geographical Proper
Names in Foreign Affairs . . . . . . . . 66--78
Veda C. Storey Understanding and Representing
Relationship Semantics in Database
Design . . . . . . . . . . . . . . . . . 79
Harald Ullrich and
Sandeep Purao and
Veda C. Storey An Ontology for Classifying the
Semantics of Relationships in Database
Design . . . . . . . . . . . . . . . . . 91
Igor Bolshakov and
Alexander Gelbukh A Very Large Database of Collocations
and Semantic Links . . . . . . . . . . . 103
Farid Cerbah and
Jérôme Euzenat Using Terminology Extraction to Improve
Traceability from Formal Models to
Textual Requirements . . . . . . . . . . 115
Terje Brasethvik and
Jon Atle Gulla Natural Language Analysis for Semantic
Document Modeling . . . . . . . . . . . 127
Alfs T. Berztiss Domain Analysis and Queries in Context 141
Leila Kosseim and
Stéphane Beauregard and
Guy Lapalme Using Information Extraction and Natural
Language Generation to Answer E-Mail . . 152
Eloi L. Favero and
Jacques Robin Using OLAP and Data Mining for Content
Planning in Natural Language Generation 164
Asanee Kawtrakul and
Frederic Andres and
Kinji Ono and
Chaiwat Ketsuwan and
Nattakan Pengphon Toward an Enhancement of Textual
Database Retrieval Using NLP Techniques 176
Abdelhamid Bouchachia and
Roland T. Mittermeir and
Heinz Pozewaunig Document Identification by Shallow
Semantic Analysis . . . . . . . . . . . 190
Ramón Aragüés Peleato and
Jean-Cédric Chappelier and
Martin Rajman Automated Information Extraction out of
Classified Advertisements . . . . . . . 203
Roger H. L. Chiang and
Cecil Chua and
Veda C. Storey A Smart Web Query Engine for Semantic
Retrieval of Web Data and Its
Application to E-Trading . . . . . . . . 215
Ilvio Bruder and
Antje Düsterhöft and
Markus Becker and
Jochen Bedersdorfer and
Günter Neumann GETESS: Constructing a Linguistic Search
Index for an Internet Search Engine . . 227
Amalia Todirascu and
François de Beuvron and
Dan Gâlea and
Bernard Keith and
François Rousselot Using Semantics for Efficient
Information Retrieval . . . . . . . . . 239
Günther Fliedl and
Christian Kop and
Willi Mayerthaler and
Heinrich C. Mayr and
Christian Winkler Guidelines for NL-Based Requirements
Specifications in NIBA . . . . . . . . . 251
Heather Fulford Developing Document Analysis and Data
Extraction Tools for Entity Modelling 265
Paloma Martínez and
Ana García-Serrano On the Automatization of Database
Conceptual Modelling through Linguistic
Engineering . . . . . . . . . . . . . . 276
Paul Rayson and
Luke Emmet and
Roger Garside and
Pete Sawyer The REVERE Project: Experiments with the
Application of Probabilistic NLP to
Systems Engineering . . . . . . . . . . 288
Helmut Horacek Presenting Mathematical Concepts as an
Example for Inference-Rich Domains . . . 301
Klaus-Dieter Schewe and
Bernhard Thalheim Modeling Interaction and Media Objects 313
Maria Bergholtz and
Paul Johannesson Validating Conceptual Models ---
Utilising Analysis Patterns as an
Instrument for Explanation Generation 325
Petia Wohed Conceptual Patterns --- A Consolidation
of Coad's and Wohed's Approaches . . . . 340
Catherine Berrut and
Agn\`es Front-Conte Patterns Retrieval System: A First
Attempt . . . . . . . . . . . . . . . . 352
Alexander Maedche and
Steffen Staab Ontology Learning from Text . . . . . . 364
Afzal Ballim and
Jean-Cédric Chappelier and
Martin Rajman and
Vincenzo Pallotta ISIS: Interaction through Speech with
Information Systems . . . . . . . . . . 365
Mohamed Khalifa and
Rinky Lam Effects of Hypertext Navigational
Structure on Knowledge Acquisition . . . 366
Afzal Ballim and
Hatem Ghorbel MEDIEVAL: A Navigation Tool Through
Medieval Documents . . . . . . . . . . . 367
Pablo Sanchez Torralba and
Ana García-Serrano MESIA: A Web Site Assistant for Document
Filtering . . . . . . . . . . . . . . . 368
Jérôme Carr\`ere and
Frédéric Cuppens and
Claire Saurel LE x IS: A Query Language to Scan
Information Flow . . . . . . . . . . . . 369
Véronique Plihon and
Fei Wu and
Georges Gardarin A Financial Data Mining Trading System 370
Anonymous Author Index . . . . . . . . . . . . . . 371
Moni Naor and
Benny Pinkas Efficient Trace and Revoke Schemes . . . 1
Francis Zane Efficient Watermark Detection and
Collusion Security . . . . . . . . . . . 21
Pamela Samuelson Towards More Sensible Anti-circumvention
Regulations . . . . . . . . . . . . . . 33
Birgit Pfitzmann and
Ahmad-Reza Sadeghi Self-Escrowed Cash against User
Blackmailing . . . . . . . . . . . . . . 42
Tomas Sander and
Amnon Ta-Shma and
Moti Yung Blind, Auditable Membership Proofs . . . 53
Giovanni Di Crescenzo Private Selective Payment Protocols . . 72
Pierre-Alain Fouque and
Guillaume Poupard and
Jacques Stern Sharing Decryption in the Context of
Voting or Lotteries . . . . . . . . . . 90
Leon A. Pintsov and
Scott A. Vanstone Postal Revenue Collection in the Digital
Age . . . . . . . . . . . . . . . . . . 105
David Naccache and
Jacques Stern Signing on a Postcard . . . . . . . . . 121
Moti Yung Payment Systems: The Next Generation . . 136
Els Van Herreweghen Non-repudiation in SET: Open Issues . . 140
Jean-Sébastien Coron and
Paul Kocher and
David Naccache Statistics and Secret Leakage . . . . . 157
Vitaly Shmatikov and
John C. Mitchell Analysis of Abuse-Free Contract Signing 174
David M'Ra\"\ihi and
David Naccache and
Michael Tunstall Asymmetric Currency Rounding . . . . . . 192
Barak D. Jolish The Encryption Debate in Plaintext:
National Security and Encryption in the
United States and Israel . . . . . . . . 202
Apol$\cdot$l\`onia Martínez Nadal and
Josep Lluís Ferrer Gomila Critical Comments on the European
Directive on a Common Framework for
Electronic Signatures and Certification
Service Providers . . . . . . . . . . . 225
Patrick McDaniel and
Aviel Rubin A Response to ``Can We Eliminate
Certificate Revocation Lists?'' . . . . 245
David Pointcheval Self-Scrambling Anonymizers . . . . . . 259
Stuart G. Stubblebine and
Paul F. Syverson Authentic Attributes with Fine-Grained
Anonymity Protection . . . . . . . . . . 276
Ben Handley Resource-Efficient Anonymous Group
Identification . . . . . . . . . . . . . 295
Jaap-Henk Hoepman Secret Key Authentication with
Software-Only Verification . . . . . . . 313
Barbara Fox and
Brian LaMacchia Panel: Public Key Infrastructure: PKIX,
Signed XML or Something Else? . . . . . 327
Ian Grigg Financial Cryptography in $7$ Layers . . 332
Mark S. Miller and
Chip Morningstar and
Bill Frantz Capability-Based Financial Instruments 349
Anonymous Author Index . . . . . . . . . . . . . . 379
Walter Cazzola and
Shigeru Chiba and
Thomas Ledoux Reflection and Meta-level Architectures:
State of the Art and Future Trends . . . 1
Alexander Romanovsky and
Christophe Dony and
Jòrgen Lindskov Knudsen and
Anand Tripathi Exception Handling in Object Oriented
Systems . . . . . . . . . . . . . . . . 16
Francisco Ballesteros and
Frank Schubert and
Ashish Singhai and
Dario Alvarez Gutierrez and
Reinhard Meyer Object-Orientation and Operating Systems 32
Sophia Drossopoulou and
Susan Eisenbach and
Bart Jacobs and
Gary T. Leavens and
Peter Müller and
Arnd Poetzsch-Heffter Formal Techniques for Java Programs . . 41
Jan Bosch and
Clemens Szyperski and
Wolfgang Weck Component-Oriented Programming . . . . . 55
Isabel Michiels and
Alejandro Fernández and
Jürgen Börstler and
Maximo Prieto Tools and Environments for Understanding
Object-Oriented Concepts . . . . . . . . 65
Anthony Lauder and
Marlon Dumas and
Akos Frohner and
Ian Oliver PhDOOS 2000: The 10th Ph.D. Workshop on
Object-Oriented Systems . . . . . . . . 78
Fernando Brito e Abreu and
Geert Poels and
Houari A. Sahraoui and
Horst Zuse Quantitative Approaches in
Object-Oriented Software Engineering . . 93
Joseph W. Yoder and
Reza Razavi Metadata and Adaptive Object-Models . . 104
Jean-Michel Bruel and
Johan Lilius and
Ana Moreira and
Robert B. France Defining Precise Semantics for UML . . . 113
Marianne Huchard and
Robert Godin and
Amedeo Napoli Objects and Classification . . . . . . . 123
Isabelle Borne and
Galal Hassan Galal and
Huw Evans and
Luis Filipe Andrade Object-Oriented Architectural Evolution 138
François Terrier and
Nikos S. Voros and
Udo Brockmeyer Specification, Implementation, and
Validation of Object-Oriented Embedded
Systems . . . . . . . . . . . . . . . . 150
Christian Becker and
John Zincky Quality of Service in Distributed Object
Systems . . . . . . . . . . . . . . . . 178
Barbara Catania and
Elena Ferrari and
Alon Levy and
Alberto O. Meldelzon XML and Object Technology . . . . . . . 191
Peri Tarr and
Maja D'Hondt and
Lodewijk Bergmans and
Cristina Videira Lopes Workshop on Aspects and Dimensions of
Concern: Requirements on, and Challenge
Problems for, Advanced Separation of
Concerns . . . . . . . . . . . . . . . . 203
Ciarán Bryce and
Chrislain Razafimahefa Mobile Object Systems . . . . . . . . . 241
Antonio Vallecillo and
Juan Hernández and
José M. Troya New Issues in Object Interoperability 256
Refik Molva and
Françoise Baude Mobile Code, Internet Security, and
E-Commerce . . . . . . . . . . . . . . . 270
Anonymous Poster Session . . . . . . . . . . . . . 282
Anonymous Author Index . . . . . . . . . . . . . . 309
Darrel Hankerson and
Julio López Hernandez and
Alfred Menezes Software Implementation of Elliptic
Curve Cryptography over Binary Fields 1
Souichi Okada and
Naoya Torii and
Kouichi Itoh and
Masahiko Takenaka Implementation of Elliptic Curve
Cryptographic Coprocessor over GF (2 m )
on an FPGA . . . . . . . . . . . . . . . 25
Gerardo Orlando and
Christof Paar A High-Performance Reconfigurable
Elliptic Curve Processor for GF (2 m ) 41
Jae Wook Chung and
Sang Gyoo Sim and
Pil Joong Lee Fast Implementation of Elliptic Curve
Defined over GF$(p^m)$ on CalmRISC with
MAC2424 Coprocessor . . . . . . . . . . 57--70
Adi Shamir Protecting Smart Cards from Passive
Power Analysis with Detached Power
Supplies . . . . . . . . . . . . . . . . 71
Rita Mayer-Sommer Smartly Analyzing the Simplicity and the
Power of Simple Power Analysis on
Smartcards . . . . . . . . . . . . . . . 78
M. Anwar Hasan Power Analysis Attacks and Algorithmic
Approaches to their Countermeasures for
Koblitz Curve Cryptosystems . . . . . . 93
Werner Schindler A Timing Attack against RSA with the
Chinese Remainder Theorem . . . . . . . 109
Andreas Dandalis and
Viktor K. Prasanna and
Jose D. P. Rolim A Comparative Study of Performance of
AES Final Candidates Using FPGAs . . . . 125
Cameron Patterson A Dynamic FPGA Implementation of the
Serpent Block Cipher . . . . . . . . . . 141--155
Steve Trimberger and
Raymond Pang and
Amit Singh A 12 Gbps DES Encryptor/Decryptor Core
in an FPGA . . . . . . . . . . . . . . . 156
Herbert Leitold and
Wolfgang Mayerwieser and
Udo Payer and
Karl Christian Posch and
Reinhard Posch and
Johannes Wolkerstorfer A 155 Mbps Triple-DES Network Encryptor 164
James Goodman and
Anantha Chandrakasan An Energy Efficient Reconfigurable
Public-Key Cryptography Processor
Architecture . . . . . . . . . . . . . . 175
Johann Großschädl High-Speed RSA Hardware Based on
Barret's Modular Reduction Method . . . 191
Colin D. Walter Data Integrity in Hardware for Modular
Arithmetic . . . . . . . . . . . . . . . 204
Takehiko Kato and
Satoru Ito and
Jun Anzai and
Natsume Matsuzaki A Design for Modular Exponentiation
Coprocessor in Mobile Telecommunication
Terminals . . . . . . . . . . . . . . . 216
David Naccache and
Michael Tunstall How to Explain Side-Channel Leakage to
Your Kids . . . . . . . . . . . . . . . 229
Jean-Sébastien Coron and
Louis Goubin On Boolean and Arithmetic Masking
against Differential Power Analysis . . 231
Thomas S. Messerges Using Second-Order Power Analysis to
Attack DPA Resistant Software . . . . . 238
Christophe Clavier and
Jean-Sébastien Coron and
Nora Dabbous Differential Power Analysis in the
Presence of Hardware Countermeasures . . 252
Huapeng Wu Montgomery Multiplier and Squarer in
GF$(2^m)$ . . . . . . . . . . . . . . . 264--276
Erkay Savas and
Alexandre F. Tenca and
Çetin K. Koç A Scalable and Unified Multiplier
Architecture for Finite Fields GF ( p )
and GF (2 m ) . . . . . . . . . . . . . 277
Gaël Hachez and
Jean-Jacques Quisquater Montgomery Exponentiation with no Final
Subtractions: Improved Results . . . . . 293
Steve H. Weingart Physical Security Devices for Computer
Subsystems: A Survey of Attacks and
Defenses . . . . . . . . . . . . . . . . 302
Thomas Pornin and
Jacques Stern Software-Hardware Trade-Offs:
Application to A5/1 Cryptanalysis . . . 318
Jeffrey Hoffstein and
Joseph H. Silverman MiniPASS: Authentication and Digital
Signatures in a Constrained Environment 328
Marc Joye and
Pascal Paillier and
Serge Vaudenay Efficient Generation of Prime Numbers 340
Anonymous Author Index . . . . . . . . . . . . . . 355
Cristiano Castelfranchi Engineering Social Order . . . . . . . . 1
H. Van Dyke Parunak and
Sven Brueckner and
John Sauter and
Robert S. Matthews Distinguishing Environmental and Agent
Dynamics: A Case Study in Abstraction
and Alternate Modeling Technologies . . 19
Gianluca Moro and
Mirko Viroli On Observing and Constraining Active
Systems . . . . . . . . . . . . . . . . 34
Giacomo Cabri and
Letizia Leonardi and
Franco Zambonelli Context-Dependency in Internet-Agent
Coordination . . . . . . . . . . . . . . 51
Christoph Koch and
Paolo Petta Coordination Issues in Multi-agent Event
Data Processing . . . . . . . . . . . . 64
Robert Tolksdorf Models of Coordination . . . . . . . . . 78
Pierre-Michel Ricordel and
Yves Demazeau From Analysis to Deployment: A
Multi-agent Platform Survey . . . . . . 93
Federico Bergenti and
Agostino Poggi Exploiting UML in the Design of
Multi-agent Systems . . . . . . . . . . 106
Vincent Hilaire and
Abder Koukam and
Pablo Gruer and
Jean-Pierre Müller Formal Specification and Prototyping of
Multi-agent Systems . . . . . . . . . . 114
Mercedes Amor and
Mónica Pinto and
Lidia Fuentes and
José María Troya Combining Software Components and Mobile
Agents . . . . . . . . . . . . . . . . . 128
Anonymous Author Index . . . . . . . . . . . . . . 143
Leonid Libkin Expressive Power of SQL . . . . . . . . 1
Jörg Flum and
Markus Frick and
Martin Grohe Query Evaluation via Tree-Decompositions 22
Marcelo Arenas and
Leopoldo Bertossi and
Jan Chomicki Scalar Aggregation in FD-Inconsistent
Databases . . . . . . . . . . . . . . . 39
Vitaliy L. Khizder and
David Toman and
Grant Weddell On Decidability and Complexity of
Description Logics with Uniqueness
Constraints . . . . . . . . . . . . . . 54
James Bailey and
Szabolcs Mikulás Expressiveness Issues and Decision
Problems for Active Database Event
Queries . . . . . . . . . . . . . . . . 68
Seppo Sippu and
Eljas Soisalon-Soininen A Theory of Transactions on Recoverable
Search Trees . . . . . . . . . . . . . . 83
Chen Li and
Mayank Bawa and
Jeffrey D. Ullman Minimizing View Sets without Losing
Query-Answering Power . . . . . . . . . 99
Bo Xu and
Ouri Wolfson and
Sam Chamberlain Cost Based Data Dissemination in
Broadcast Networks . . . . . . . . . . . 114
Frank Dehne and
Todd Eavis and
Susanne Hambrusch and
Andrew Rau-Chaplin Parallelizing the Data Cube . . . . . . 129
Rakesh K. Sinha and
Randeep Bhatia and
Chung-Min Chen Asymptotically Optimal Declustering
Schemes for Range Queries . . . . . . . 144
Mirek Riedewald and
Divyakant Agrawal and
Amr El Abbadi Flexible Data Cubes for Online
Aggregation . . . . . . . . . . . . . . 159
Jeff Edmonds and
Jarek Gryz and
Dongming Liang and
Renée J. Miller Mining for Empty Rectangles in Large
Data Sets . . . . . . . . . . . . . . . 174
Noël Novelli and
Rosine Cicchetti FUN: An Efficient Algorithm for Mining
Functional and Embedded Dependencies . . 189
Toon Calders and
Jan Paredaens Axiomatization of Frequent Sets . . . . 204
Chen Li and
Edward Chang On Answering Queries in the Presence of
Limited Access Patterns . . . . . . . . 219
William Hesse The Dynamic Complexity of Transitive
Closure Is in DynTC$^0$ . . . . . . . . 234--247
Stephan Kreutzer Query Languages for Constraint
Databases: First-Order Logic,
Fixed-Points, and Convex Hulls . . . . . 248
Mary Fernandez and
Jerome Simeon and
Philip Wadler A Semi-monad for Semi-structured Data 263
Gösta Grahne and
Alex Thomo Algebraic Rewritings for Optimizing
Regular Path Queries . . . . . . . . . . 301
Peter Buneman and
Sanjeev Khanna and
Wang-Chiew Tan Why and Where: A Characterization of
Data Provenance . . . . . . . . . . . . 316
Gabriel M. Kuper and
Jérôme Siméon Subsumption for XML Types . . . . . . . 331
Holger Meuss and
Klaus U. Schulz and
François Bry Towards Aggregated Answers for
Semistructured Data . . . . . . . . . . 346
Chung Keung Poon Orthogonal Range Queries in OLAP . . . . 361
Carlos A. Hurtado and
Alberto O. Mendelzon Reasoning about Summarizability in
Heterogeneous Multidimensional Schemas 375
Francesco Buccafurri and
Filippo Furfaro and
Domenico Sacc\`a Estimating Range Queries Using Aggregate
Data with Integrity Constraints: A
Probabilistic Approach . . . . . . . . . 390
Anthony K. H. Tung and
Jiawei Han and
V. S. Lakshmanan and
Raymond T. Ng Constraint-Based Clustering in Large
Databases . . . . . . . . . . . . . . . 405
Charu C. Aggarwal and
Alexander Hinneburg and
Daniel A. Keim On the Surprising Behavior of Distance
Metrics in High Dimensional Space . . . 420
Stefan Berchtold and
Christian Böhm and
Daniel Keim and
Florian Krebs and
Hans-Peter Kriegel On Optimizing Nearest Neighbor Queries
in High-Dimensional Data Spaces . . . . 435
Anonymous Author Index . . . . . . . . . . . . . . 451
Alex Biryukov and
Adi Shamir and
David Wagner Real Time Cryptanalysis of A5/1 on a PC 1
Scott R. Fluhrer and
David A. McGrew Statistical Analysis of the Alleged RC4
Keystream Generator . . . . . . . . . . 19
Muxiang Zhang and
Christopher Carroll and
Agnes Chan The Software-Oriented Stream Cipher SSC2 31
Paul Crowley Mercy: A Fast Large Block Cipher for
Disk Sector Encryption . . . . . . . . . 49
Henri Gilbert and
Helena Handschuh and
Antoine Joux and
Serge Vaudenay A Statistical Attack on RC6 . . . . . . 64
John Kelsey and
Tadayoshi Kohno and
Bruce Schneier Amplified Boomerang Attacks Against
Reduced-Round MARS and Serpent . . . . . 75
Lars R. Knudsen and
Willi Meier Correlations in RC6 with a Reduced
Number of Rounds . . . . . . . . . . . . 94
A. M. Youssef and
G. Gong On the Interpolation Attacks on Block
Ciphers . . . . . . . . . . . . . . . . 109
Marine Minier and
Henri Gilbert Stochastic Cryptanalysis of Crypton . . 121
Joan Daemen and
Michael Peeters and
Gilles Van Assche Bitslice Ciphers and Power Analysis
Attacks . . . . . . . . . . . . . . . . 134
Thomas S. Messerges Securing the AES Finalists Against Power
Analysis Attacks . . . . . . . . . . . . 150
Anne Canteaut and
Eric Filiol Ciphertext Only Reconstruction of Stream
Ciphers Based on Combination Generators 165
Vladimor V. Chepyzhov and
Thomas Johansson and
Ben Smeets A Simple Algorithm for Fast Correlation
Attacks on Stream Ciphers . . . . . . . 181
Miodrag J. Mihaljevic and
Marc P. C. Fossorier and
Hideki Imai A Low-Complexity and High-Performance
Algorithm for the Fast Correlation
Attack . . . . . . . . . . . . . . . . . 196
Niels Ferguson and
John Kelsey and
Stefan Lucks and
Bruce Schneier and
Mike Stay and
David Wagner and
Doug Whiting Improved Cryptanalysis of Rijndael . . . 213
Tetsu Iwata and
Kaoru Kurosawa On the Pseudorandomness of the AES
Finalists --- RC6 and Serpent . . . . . 231
Jorge Nakahara Jr and
Bart Preneel and
Joos Vandewalle Linear Cryptanalysis of Reduced-Round
Versions of the SAFER Block Cipher
Family . . . . . . . . . . . . . . . . . 244
Lars R. Knudsen and
John Erik Mathiassen A Chosen-Plaintext Linear Attack on DES 262
Seokhie Hong and
Sangjin Lee and
Jongin Lim and
Jaechul Sung and
Donghyeon Cheon and
Inho Cho Provable Security against Differential
and Linear Cryptanalysis for the SPN
Structure . . . . . . . . . . . . . . . 273
Jonathan Katz and
Moti Yung Unforgeable Encryption and Chosen
Ciphertext Secure Modes of Operation . . 284
L. Burnett and
G. Carter and
E. Dawson and
W. Millan Efficient Methods for Generating
MARS-Like S-Boxes . . . . . . . . . . . 300
Anonymous Author Index . . . . . . . . . . . . . . 315
C. J. ``Keith'' van Rijsbergen Getting into Information Retrieval . . . 1
Norbert Fuhr Models in Information Retrieval . . . . 21
Carol Peters and
Páraic Sheridan Multilingual Information Access . . . . 51
Stephen Robertson Evaluation in Information Retrieval . . 81
Alan F. Smeaton Indexing, Browsing, and Searching of
Digital Video and Digital Audio
Information . . . . . . . . . . . . . . 93
John P. Eakins Retrieval of Still Images by Content . . 111
Ingeborg Torvik Sòlvberg Digital Libraries and Information
Retrieval . . . . . . . . . . . . . . . 139
Peter Ingwersen Users in Context . . . . . . . . . . . . 157
Fabio Crestani and
Mounia Lalmas Logic and Uncertainty in Information
Retrieval . . . . . . . . . . . . . . . 179
Gloria Bordogna and
Gabriella Pasi Modeling Vagueness in Information
Retrieval . . . . . . . . . . . . . . . 207
Maristella Agosti and
Massimo Melucci Information Retrieval on the Web . . . . 242
Yves Chiaramella Information Retrieval and Structured
Documents . . . . . . . . . . . . . . . 286
Anonymous Author Index . . . . . . . . . . . . . . 311
Anonymous Introduction . . . . . . . . . . . . . . 1
Ian Foster and
Carl Kesselman Computational Grids (Invited Talk) . . . 3
Tomas Forkert and
Hans-Peter Kersken and
Andreas Schreiber and
Martin Strietzel and
Klaus Wolf The Distributed Engineering Framework
TENT . . . . . . . . . . . . . . . . . . 38
Thomas Rischbeck and
Paul Watson A Parallel VRML97 Server Based on Active
Objects . . . . . . . . . . . . . . . . 47
Reginald L. Walker Dynamic Load Balancing Model:
Preliminary Results for Parallel
Pseudo-search Engine Indexers/Crawler
Mechanisms Using MPI and Genetic
Programming . . . . . . . . . . . . . . 61
Francesc Solsona and
Francesc Giné and
Fermín Molina and
Porfidio Hernández and
Emilio Luque Implementing and Analysing an Effective
Explicit Coscheduling Algorithm on a NOW 75
Javier Fernández and
Félix García and
Jesús Carretero Enhancing Parallel Multimedia Servers
through New Hierarchical Disk Scheduling
Algorithms . . . . . . . . . . . . . . . 89
Hyun-Gyoo Yook and
Myong-Soon Park Suboptimal Communication Schedule for
GEN\_BLOCK Redistribution (Best Student
Paper Award: Honourable Mention) . . . . 100--113
João Luís Sobral and
Alberto José Proença A SCOOPP Evaluation on Packing Parallel
Objects in Run-Time . . . . . . . . . . 114
Arturo González-Escribano and
Arjan J. C. van Gemund and
Valentín Cardeñoso-Payo and
Judith Alonso-López and
David Martín-García and
Alberto Pedrosa-Calvo Measuring the Performance Impact of
SP-Restricted Programming in
Shared-Memory Machines . . . . . . . . . 128
Patrick H. Corr and
Peter Milligan and
Vaughan Purnell A Neural Network Based Tool for
Semi-automatic Code Transformation . . . 142
Oliver Sinnen and
Leonel Sousa A Platform Independent Parallelising
Tool Based on Graph Theoretic Models . . 154
Renato J. O. Figueiredo and
Jeffrey P. Bradford and
José A. B. Fortes Improving the Performance of
Heterogeneous DSMs via Multithreading 168
Silvia Del Pino and
Luis Piñuel and
Rafael A. Moreno and
Francisco Tirado Value Prediction as a Cost-Effective
Solution to Improve Embedded Processors
Performance . . . . . . . . . . . . . . 181
Anonymous Introduction . . . . . . . . . . . . . . 197
Dietrich Stauffer Cellular Automata: Applications (Invited
Talk) . . . . . . . . . . . . . . . . . 199
Domenico Talia The Role of Parallel Cellular
Programming in Computational Science . . 207
Sourav Kundu Optimization with Parallel Computing . . 221
Jorge M. Pacheco and
José Luís Martins Parallelization of a Density Functional
Program for Monte-Carlo Simulation of
Large Molecules . . . . . . . . . . . . 230
Carmen L. T. Borges and
Djalma M. Falcão Power System Reliability by Sequential
Monte Carlo Simulation on Multicomputer
Platforms . . . . . . . . . . . . . . . 242
David Nunn A Novel Algorithm for the Numerical
Simulation of Collision-Free
Plasma-Vlasov Hybrid Simulation . . . . 254
Jesús Vigo-Aguiar and
Luis M. Quintales and
Srinivasan Natesan An Efficient Parallel Algorithm for the
Numerical Solution of Schrödinger
Equation . . . . . . . . . . . . . . . . 262
Anonymous Introduction . . . . . . . . . . . . . . 271
Chao-Yang Gau and
Mark A. Stadtherr Parallel Branch-and-Bound for Chemical
Engineering Applications: Load Balancing
and Scheduling Issues (Invited Talk) . . 273
Jordi Castro and
Antonio Frangioni A Parallel Implementation of an
Interior-Point Algorithm for
Multicommodity Network Flows . . . . . . 301
Pedro Alonso and
José M. Badía and
Antonio M. Vidal A Parallel Algorithm for Solving the
Toeplitz Least Squares Problem . . . . . 316
Andreas Schramm An Index Domain for Adaptive Multi-grid
Methods . . . . . . . . . . . . . . . . 330
Margarita Amor and
Francisco Argüello and
Juan López and
Emilio L. Zapata Parallelization of a Recursive
Decoupling Method for Solving
Tridiagonal Linear Systems on
Distributed Memory Computer . . . . . . 344
Jesús Peinado and
Antonio M. Vidal A New Parallel Approach to the Toeplitz
Inverse Eigenproblem Using Newton-like
Methods . . . . . . . . . . . . . . . . 355
Maria Antónia Forjaz and
Rui Ralha An Efficient Parallel Algorithm for the
Symmetric Tridiagonal Eigenvalue Problem 369
Josep Arnal and
Violeta Migallón and
José Penadés Non-stationary Parallel Newton Iterative
Methods for Nonlinear Problems . . . . . 380
Maribel Castillo and
Enrique S. Quintana-Ortí and
Gregorio Quintana-Ortí and
Vicente Hernández Parallel Pole Assignment of Single-Input
Systems . . . . . . . . . . . . . . . . 395
Gloria Martínez and
Germán Fabregat and
Vicente Hernández Solving the Generalized Sylvester
Equation with a Systolic Library . . . . 403
Anonymous Introduction . . . . . . . . . . . . . . 417
Michael J. B. Duff Thirty Years of Parallel Image
Processing (Invited Talk) . . . . . . . 419
Jorge Barbosa and
João Tavares and
Armando J. Padilha Parallel Image Processing System on a
Cluster of Personal Computers (Best
Student Paper Award: First Prize) . . . 439--452
Leonel Sousa and
Oliver Sinnen Synchronous Non-local Image Processing
on Orthogonal Multiprocessor Systems . . 453
Augusto Cesar Heluy Dantas and
José Manoel de Seixas and
Felipe Maia Galvão França Parallel Implementation of a Track
Recognition System Using Hough Transform 467
Anonymous Introduction . . . . . . . . . . . . . . 481
D. R. J. Owen and
Y. T. Feng and
Jianguo Yu and
Djordje Peric Finite/Discrete Element Analysis of
Multi-fracture and Multi-contact
Phenomena (Invited Talk) . . . . . . . . 483
Marcos A. D. Martins and
José L. D. Alves and
Alvaro L. G. A. Coutinho Parallel Edge-Based Finite Element
Techniques for Nonlinear Solid Mechanics 506
Emmanuel Cagniot and
Thomas Brandes and
Jean-Luc Dekeyser and
Francis Piriou and
Pierre Boulet and
Stéphance Clénet High Level Parallelization of a $3$D
Electromagnetic Simulation Code with
Irregular Communication Patterns . . . . 519
Sergio Romero and
Luis F. Romero and
Emilio L. Zapata Parallel Algorithm for Fast Cloth
Simulation . . . . . . . . . . . . . . . 529
Elsa F. Gomes and
Lígia M. Ribeiro and
Pedro F. R. Regueiras and
José J. C. Cruz-Pinto A Parallel Algorithm for the Simulation
of the Dynamic Behaviour of
Liquid-Liquid Agitated Columns . . . . . 536
Ugo Piomelli and
Alberto Scotti and
Elias Balaras Large-Eddy Simulations of Turbulent
Flows, from Desktop to Supercomputer
(Invited Talk) . . . . . . . . . . . . . 551
Anonymous Author Index . . . . . . . . . . . . . . 579
Karsten Weihe On the Differences between ``Practical''
and ``Applied'' . . . . . . . . . . . . 1
Susanne Albers and
Bianca Schröder An Experimental Study of Online
Scheduling Algorithms . . . . . . . . . 11
Kurt Mehlhorn and
Guido Schäfer Implementation of $O(nm\log n)$ Weighted
Matchings in General Graphs. The Power
of Data Structures . . . . . . . . . . . 23
Stefan Edelkamp and
Patrick Stiegeler Pushing the Limits in Sequential Sorting 39
Lars Arge and
Jeff Chase and
Jeffrey S. Vitter and
Rajiv Wickremesinghe Efficient Sorting Using Registers and
Caches . . . . . . . . . . . . . . . . . 51
Werner Backes and
Susanne Wetzel Lattice Basis Reduction with Dynamic
Approximation . . . . . . . . . . . . . 63
Javed Aslam and
Alain Leblanc and
Clifford Stein Clustering Data without Prior Knowledge 74
Annegret Liebers and
Karsten Weihe Recognizing Bundles in Time Table Graphs
--- A Structural Approach . . . . . . . 87
I. Chatzigiannakis and
S. Nikoletseas and
P. Spirakis Analysis and Experimental Evaluation of
an Innovative and Efficient Routing
Protocol for Ad-hoc Mobile Networks . . 99
Isabelle Guérin Lassous and
Jens Gustedt Portable List Ranking: An Experimental
Study . . . . . . . . . . . . . . . . . 111
Kazuo Iwama and
Daisuke Kawai and
Shuichi Miyazaki and
Yasuo Okabe and
Jun Umemoto Parallelizing Local Search for CNF
Satisfiability Using Vectorization and
PVM . . . . . . . . . . . . . . . . . . 123
Peter Sanders and
Rudolf Fleischer Asymptotic Complexity from Experiments?
A Case Study for Randomized Algorithms 135
Camil Demetrescu and
Irene Finocchi and
Giuseppe Liotta Visualizing Algorithms over the Web with
the Publication-Driven Approach . . . . 147
Jesper Bojesen and
Jyrki Katajainen Interchanging Two Segments of an Array
in a Hierarchical Memory System . . . . 159
Iddo Hanniel and
Dan Halperin Two-Dimensional Arrangements in CGAL and
Adaptive Point Location for Parametric
Curves . . . . . . . . . . . . . . . . . 171
Jan Vahrenhold and
Klaus H. Hinrichs Planar Point Location for Large Data
Sets: To Seek or Not to Seek . . . . . . 183
Thomas Erlebach and
Klaus Jansen Implementation of Approximation
Algorithms for Weighted and Unweighted
Edge-Disjoint Paths in Bidirected Trees 195
Guido Proietti Dynamic Maintenance Versus Swapping: An
Experimental Study on Shortest Paths
Trees . . . . . . . . . . . . . . . . . 207
Camil Demetrescu and
Daniele Frigioni and
Alberto Marchetti-Spaccamela and
Umberto Nanni Maintaining Shortest Paths in Digraphs
with Arbitrary Arc Weights: An
Experimental Study . . . . . . . . . . . 218
Massimiliano Caramia and
Paolo Dell'Olmo and
Giuseppe F. Italiano New Algorithms for Examination
Timetabling . . . . . . . . . . . . . . 230
Anonymous Author Index . . . . . . . . . . . . . . 243
Lucia Lo Bello and
Orazio Mirabella Randomization-Based Approaches for
Dynamic Priority Scheduling of Aperiodic
Messages on a CAN Network . . . . . . . 1
Reinhard Budde and
Axel Poigné Complex Reactive Control with Simple
Synchronous Models . . . . . . . . . . . 19
Byeong-Soo Jeong and
Daeho Kim and
Sungyoung Lee Optimistic Secure Real-Time Concurrency
Control Using Multiple Data Version . . 33
Marcelo Cintra and
Guido Araujo Array Reference Allocation Using
SSA-Form and Live Range Growth . . . . . 48
Daniel Kästner PROPAN: A Retargetable System for
Postpass Optimisations and Analyses . . 63
Deepankar Bairagi and
Santosh Pande and
Dharma P. Agrawal A Framework for Enhancing Code Quality
in Limited Register Set Embedded
Processors . . . . . . . . . . . . . . . 81
S. Chakraverty and
C. P. Ravikumar A Stochastic Framework for Co-synthesis
of Real-Time Systems . . . . . . . . . . 96
Gwangil Jeon and
Tae-Hyung Kim and
Seongsoo Hong and
Sunil Kim A Fault Tolerance Extension to the
Embedded CORBA for the CAN Bus Systems 114
Tobias Amnell and
Alexandre David and
Wang Yi A Real-Time Animator for Hybrid Systems 134
Bruce R. Childers and
Tarun Nakra Reordering Memory Bus Transactions for
Reduced Power Consumption . . . . . . . 146
Gi-Ho Park and
Kil-Whan Lee and
Jae-Hyuk Lee and
Tack-Don Han and
Shin-Dug Kim A Power Efficient Cache Structure for
Embedded Processors Based on the Dual
Cache Structure . . . . . . . . . . . . 162
Matteo Corti and
Roberto Brega and
Thomas Gross Approximation of Worst-Case Execution
Time for Preemptive Multitasking Systems 178
Kwangyong Lee and
Chaedeok Lim and
Kisok Kong and
Heung-Nam Kim A Design and Implementation of a Remote
Debugging Environment for Embedded
Internet Software . . . . . . . . . . . 199
Johan Runeson and
Sven-Olof Nyström and
Jan Sjödin Optimizing Code Size through Procedural
Abstraction . . . . . . . . . . . . . . 204
Robert van Engelen and
David Whalley and
Xin Yuan Automatic Validation of Code-Improving
Transformations . . . . . . . . . . . . 206
M. Kandemir and
N. Vijaykrishnan and
M. J. Irwin and
H. S. Kim Towards Energy-Aware Iteration Space
Tiling . . . . . . . . . . . . . . . . . 211
Sungyoung Lee and
Hyon Woo Seung and
Tae Woong Jeon An Integrated Push/Pull Buffer
Management Method in Multimedia
Communication Environments . . . . . . . 216
Anonymous Author Index . . . . . . . . . . . . . . 221
Michael Wooldridge and
Paul E. Dunne Optimistic and Disjunctive Agent Design
Problems . . . . . . . . . . . . . . . . 1
A. F. Dragoni and
P. Giorgini and
L. Serafini Updating Mental States from
Communication . . . . . . . . . . . . . 15
Stephen Zimmerbaum and
Richard Scherl Sensing Actions, Time, and Concurrency
in the Situation Calculus . . . . . . . 31
Scott A. DeLoach and
Mark Wood Developing Multiagent Systems with
agentTool . . . . . . . . . . . . . . . 46
Patrick Riley and
Peter Stone and
Manuela Veloso Layered Disclosure: Revealing Agents'
Internals . . . . . . . . . . . . . . . 61
Joanna Bryson and
Lynn Andrea Stein Architectures and Idioms: Making
Progress in Agent Design . . . . . . . . 73
Fabio Bellifemine and
Agostino Poggi and
Giovanni Rimassa Developing Multi-agent Systems with JADE 89
Murray Shanahan and
Mark Witkowski High-Level Robot Control through Logic 104
Oswaldo Terán and
Bruce Edmonds and
Steve Wallis Determining the Envelope of Emergent
Agent Behaviour via Architectural
Transformation . . . . . . . . . . . . . 122
Timothy J. Norman and
Chris Reed Delegation and Responsibility . . . . . 136
Frank Dignum and
Barbara Dunin-K\ceplicz and
Rineke Verbrugge Agent Theory for Team Formation by
Dialogue . . . . . . . . . . . . . . . . 150
Marian Nodine and
Damith Chandrasekara and
Amy Unruh Task Coordination Paradigms for
Information Agents . . . . . . . . . . . 167
Michael Luck and
Mark d'Inverno Plan Analysis for Autonomous
Sociological Agents . . . . . . . . . . 182
Carles Sierra and
Ramon López de M\`antaras and
Dídac Busquets Multiagent Bidding Mechanisms for Robot
Qualitative Navigation . . . . . . . . . 198
Bradley J. Clement and
Edmund H. Durfee Performance of Coordinating Concurrent
Hierarchical Planning Agents Using
Summary Information . . . . . . . . . . 213
Koen V. Hindriks and
Frank S. de Boer and
Wiebe van der Hoek and
John-Jules Ch. Meyer Agent Programming with Declarative Goals 228
Steven Shapiro and
Yves Lespérance Modeling Multiagent Systems with CASL
--- A Feature Interaction Resolution
Application . . . . . . . . . . . . . . 244
Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John-Jules Ch. Meyer Generalised Object-Oriented Concepts for
Inter-agent Communication . . . . . . . 260
Simone Marini and
Maurizio Martelli and
Viviana Mascardi and
Floriano Zini Specification of Heterogeneous Agent
Architectures . . . . . . . . . . . . . 275
Luis Antunes and
João Faria and
Helder Coelho Improving Choice Mechanisms within the
BVG Architecture . . . . . . . . . . . . 290
Sven Koenig Planning-Task Transformations for Soft
Deadlines . . . . . . . . . . . . . . . 305
Gerhard Weiß An Architectural Framework for
Integrated Multiagent Planning,
Reacting, and Learning . . . . . . . . . 320
Joanna Bryson and
Keith Decker and
Scott A. DeLoach and
Michael Huhns and
Michael Wooldridge Panel Summary: Agent Development Tools 331
Cristiano Castelfranchi Again on Agents' Autonomy: A Homage to
Alan Turing . . . . . . . . . . . . . . 339
K. Suzanne Barber and
Cheryl E. Martin Autonomy as Decision-Making Control . . 343
Rino Falcone Autonomy: Theory, Dimensions, and
Regulation . . . . . . . . . . . . . . . 346
Henry Hexmoor Situated Autonomy . . . . . . . . . . . 349
Michael Luck and
Mark d'Inverno Autonomy: A Nice Idea in Theory . . . . 351
Milind Tambe and
David Pynadath and
Paul Scerri Adjustable Autonomy: A Response . . . . 354
Anonymous Author Index . . . . . . . . . . . . . . 357
Philippe Bonnet and
Johannes Gehrke and
Praveen Seshadri Towards Sensor Database Systems . . . . 3
Christos Efstratiou and
Keith Cheverst and
Nigel Davies and
Adrian Friday An Architecture for the Effective
Support of Adaptive Context-Aware
Applications . . . . . . . . . . . . . . 15
Shiow-yang Wu and
H. S. Cinatit Chao Event Engine for Adaptive Mobile
Computing . . . . . . . . . . . . . . . 27
Mqhele Nzama and
Alexander Ng and
Arkady Zaslavsky Adaptive Delivery of Multimedia Data in
Heterogeneous and Mobile Environments 41
Kinuko Yasuda and
Takuya Asada and
Tatsuya Hagino Effects and Performance of Content
Negotiation Based on CC/PP . . . . . . . 53
S. Tagashira and
K. Saisho and
A. Fukuda Design and Implementation of an
Information Announcement Toolkit for
Mobile Computers . . . . . . . . . . . . 65
Peter Triantafillou and
R. Harpantidou and
M. Paterakis High Performance Data Broadcasting: A
Comprehensive Systems' Perspective . . . 79
Jeong-Hyon Hwang and
SungHo Cho and
Chong-Sun Hwang Optimized Scheduling on Broadcast Disks 91
SungSuk Kim and
Chong-Sun Hwang and
HeonChang Yu and
SangKeun Lee Optimistic Scheduling Algorithm for
Mobile Transactions Based on Reordering 105
Hyunchul Kang and
Sangmin Lim Bandwidth-Conserving Cache Validation
Schemes in a Mobile Database System . . 121
Rashmi Srinivasa and
Sang H. Son Quasi-consistency and Caching with
Broadcast Disks . . . . . . . . . . . . 133
Uwe Kubach and
Kurt Rothermel A Map-Based Hoarding Mechanism for
Location-Dependent Information . . . . . 145
Zhexuan Song and
Nick Roussopoulos Hashing Moving Objects . . . . . . . . . 161
Hae Don Chon and
Divyakant Agrawal and
Amr El Abbadi Storage and Retrieval of Moving Objects 173
Xiaoyan Hong and
Taek Jin Kwon and
Mario Gerla and
Daniel Lihui Gu and
Guangyu Pei A Mobility Framework for Ad Hoc Wireless
Networks . . . . . . . . . . . . . . . . 185
Amit Sinha and
Anantha P. Chandrakasan Operating System and Algorithmic
Techniques for Energy Scalable Wireless
Sensor Networks . . . . . . . . . . . . 199
Alvin T. S. Chan and
Dan He and
Siu Nam Chuang and
Jiannong Cao Towards a Programmable Mobile IP . . . . 210
Marjan Bozinovski and
Liljana Gavrilovska Adaptive Call Admission Control in
Wireless Multimedia Network . . . . . . 222
Tao Zhang and
Wai Chen Soft Mobile Ad-Hoc Networking . . . . . 233
Lalitha Suryanarayana and
Johan Hjelm CC/PP for Content Negotiation and
Contextualization . . . . . . . . . . . 239
Haitao Tang and
Mari Korkea-aho and
Jose Costa-Requena and
Jussi Ruutu Serving Spatial Location Information
over the Internet . . . . . . . . . . . 246
Jari Korva and
Johan Plomp and
Petri Määttä and
Maija Metso On-Line Service Adaptation for Mobile
and Fixed Terminal Devices . . . . . . . 252
Vincent Magret and
Vinod Kumar Choyi Multicast Micro-mobility Management . . 260
San-Yih Hwang and
Jeng-Kuen Chiu and
Wan-Shiou Yang Personal Workflow Management in Support
of Pervasive Computing . . . . . . . . . 271
Carlos Sanchez and
Le Gruenwald An Agent Based Architecture Using XML
for Mobile Federated Database Systems 273
Soroush Sedaghat Designing Electronic Forms in Web
Applications: Integration of Form
Components . . . . . . . . . . . . . . . 275
IlYoung Chung and
Chong-Sun Hwang Increasing Concurrency of Transactions
Using Delayed Certification in Mobile
DBMSs . . . . . . . . . . . . . . . . . 277
Stanley M. T. Yau and
Hong Va Leong and
Antonio Si Multi-resolution Web Document Browsing
in a Distributed Agent Environment . . . 279
SungHun Nam and
Chong-Sun Hwang Dynamic Remote Update Adapting Wireless
Network Connection States . . . . . . . 282
Kenya Sato and
Soichi Hasegawa and
Shigeaki Tagashira and
Keizo Saisho and
Akira Fukuda Performance Modeling of Layered-Data
Delivery for Mobile Users through
Broadcast/On-Demand Hybrid Communication 284
Le Gruenwald and
Shankar M. Banik Energy-Efficient Transaction Management
for Real-Time Mobile Databases in Ad-hoc
Network Environments . . . . . . . . . . 287
Anonymous Author Index . . . . . . . . . . . . . . 289
Julie Schlembach and
Anders Skoe and
Ping Yuan and
Edward Knightly Design and Implementation of Scalable
Admission Control . . . . . . . . . . . 1
Giulia Bernardini and
Stefano Giordano and
Gregorio Procissi and
Sandra Tartarelli Analysis and Performance Evaluation of a
Connection Admission Control Scheme
Based on the Many Sources Asymptotic . . 17
Raffaele Bolla and
Franco Davoli and
Mario Marchese and
Marco Perrando Call Admission Control and Routing of
QoS-Aware and Best-Effort Flows in an
IP-over-ATM Networking Environment . . . 33
Marco Listanti and
Fabio Ricciato and
Stefano Salsano An Upper Bound to the Loss Probability
in the Multiplexing of Jittered Flows 51
Srinivas Vutukury and
Jose J. Garcia-Luna-Aceves SMART: A Scalable Multipath Architecture
for Intra-domain QoS Provisioning . . . 67
Franco Davoli and
Daniele Luscardo and
Piergiulio Maryni and
Angelo Pietra Definition and Experimental Evaluation
of an Architecture for Joint Quality of
Service Control in Multimedia Networks 81
Andrea Borella and
Giovanni Cancellieri and
Elena Pagani and
Gian Paolo Rossi Quality-of-Service Guarantees for
Multicast Traffic in Heterogeneous
Multi-service Networks . . . . . . . . . 97
Mario Gerla and
Claudio Casetti and
Scott Seongwook Lee and
Gianluca Reali Resource Allocation and Admission
Control Styles in QoS DiffServ Networks 113
Elena Pagani and
Gian Paolo Rossi and
Dario Maggiorini A Multicast Transport Service with
Bandwidth Guarantees for Diff-Serv
Networks . . . . . . . . . . . . . . . . 129
Claudio Casetti and
Michela Meo Modeling the Stationary Behavior of TCP
Reno Connections . . . . . . . . . . . . 141
Francesco Cocimano and
Alfio Lombardo and
Giovanni Schembra A Markov Model for the Design of
Feedback Techniques to Match Traffic
Specification Parameters in MPEG Video
Sources . . . . . . . . . . . . . . . . 157
Francesco Beritelli and
Salvatore Casale and
Mario Francese and
Giuseppe Ruggeri Intrastandard Hybrid Speech Coding for
Adaptive IP Telephony . . . . . . . . . 173
Marco De Luca and
Paolo Senesi and
Francesca Cuomo Implementation of a Test-Bed for
Telephony over IP: Architectural,
Theoretical, and Performance Issues . . 189
Andrea Francini and
Fabio M. Chiussi and
Robert T. Clancy and
Kevin D. Drucker and
Nasser E. Idirene Enhanced Weighted Round Robin Schedulers
for Bandwidth Guarantees in Packet
Networks . . . . . . . . . . . . . . . . 205
Marco Ajmone Marsan and
Andrea Bianco and
Paolo Giaccone and
Emilio Leonardi and
Fabio Neri Router Architectures Exploiting
Input-Queued Cell-Based Switching
Fabrics . . . . . . . . . . . . . . . . 223
Maurizio Casoni Packet Discard Schemes for
Differentiated Services Networks with
ATM Switching Systems . . . . . . . . . 239
Nicola Ciulli and
Stefano Giordano Analysis and Simulation of $WF^2Q+$
Based Schedulers: Comparisons and
Compliance with Theoretical Bounds . . . 255--271
Lars-Åke Larzon and
Mikael Degermark and
Stephen Pink Requirements on the TCP/IP Protocol
Stack for Real-Time Communication in
Wireless Environments . . . . . . . . . 273
Koohyun Park and
Yong-Sik Shin and
Hyun-Chan Lee Multicast Routing by Multiple Tree
Routes . . . . . . . . . . . . . . . . . 285
Andrea Fumagalli and
Marco Tacca Optimal Design of Optical Ring Networks
with Differentiated Reliability (DiR) 299
Franco Callegati and
Giorgio Corazza and
Carla Raffaelli An Optical Packet Switch for IP Traffic
with QoS Provisioning . . . . . . . . . 315
Elionildo da Silva Menezes and
Djamel Fawzi Hadj Sadok and
Judith Kelner A Policy Management Framework Using
Traffic Engineering in DiffServ Networks 331
George Xylomenos and
George C. Polyzos Quality of Service Issues in
Multi-service Wireless Internet Links 347
Giannis Priggouris and
Stathes Hadjiefthymiades and
Lazaros Merakos Enhancing the General Packet Radio
Service with IP QoS Support . . . . . . 365
Mohamed Moustafa and
Ibrahim Habib and
Mahmoud Naghshineh Genetic Algorithm for Mobiles
Equilibrium Applied to Video Traffic . . 381
Giuseppe Bianchi and
Flaminio Borgonovo and
Antonio Capone and
Luigi Fratta and
Chiara Petrioli PCP: An End-to-End Measurement-Based
Call Admission Control for Real-Time
Services over IP Networks . . . . . . . 391
Gennaro Boggia and
Pietro Camarda and
Maurizio Tortorici Admission Control for Distribution of
Smoothed Video Using Patching Algorithms 407
Giuseppe Bianchi and
Nicola Blefari-Melazzi A Migration Path for the Internet: From
Best-Effort to a QoS Capable
Infrastructure by Means of Localized
Admission Control . . . . . . . . . . . 423
Anonymous Author Index . . . . . . . . . . . . . . 439
C. R. Ramakrishnan A Model Checker for Value-Passing
Mu-Calculus Using Logic Programming . . 1
Michael Leuschel Design and Implementation of the
High-Level Specification Language
CSP(LP) in Prolog . . . . . . . . . . . 14
Antony Courtney Frappé: Functional Reactive Programming
in Java . . . . . . . . . . . . . . . . 29
Antonio Brogi and
Gianluca Caruso From Subject Directories to Subject
Meta-directories via Declarative
Programming . . . . . . . . . . . . . . 45
Matteo Baldoni and
Cristina Baroglio and
Alessandro Chiarotto and
Viviana Patti Programming Goal-Driven Web Sites Using
an Agent Logic Language . . . . . . . . 60
Michael Hanus High-Level Server Side Web Scripting in
Curry . . . . . . . . . . . . . . . . . 76
Anima Gupta and
Paul Tarau Logic Programming Techniques for Dynamic
VRML Web Content Generation . . . . . . 93
Giampaolo Bella and
Stefano Bistarelli Soft Constraints for Security Protocol
Analysis: Confidentiality . . . . . . . 108
Steve Barker Secure Deductive Databases . . . . . . . 123
Horatiu Cirstea Specifying Authentication Protocols
Using Rewriting and Strategies . . . . . 138
Juan R. Iglesias and
Gopal Gupta and
Enrico Pontelli and
Desh Ranjan and
Brook Milligan Interoperability between Bioinformatics
Tools: A Logic Programming Approach . . 153
Monica Nogueira and
Marcello Balduccini and
Michael Gelfond and
Richard Watson and
Matthew Barry An A-Prolog Decision Support System for
the Space Shuttle . . . . . . . . . . . 169
Enrico Denti and
Andrea Omicini and
Alessandro Ricci tu Prolog: A Light-Weight Prolog for
Internet Applications and
Infrastructures . . . . . . . . . . . . 184
Ricardo Lopes and
Vítor Santos Costa and
Fernando Silva A Novel Implementation of the Extended
Andorra Model . . . . . . . . . . . . . 199
Hendrik Decker Soundcheck for SQL . . . . . . . . . . . 214
Pierre Flener and
Brahim Hnich and
Zeynep Kiziltan Compiling High-Level Type Constructors
in Constraint Programming . . . . . . . 229
Supratik Mukhopadhyay and
Andreas Podelski Constraint Database Models
Characterizing Timed Bisimilarity . . . 245
Alessandra Raffaet\`a and
Thom Frühwirth Spatio-temporal Annotated Constraint
Logic Programming . . . . . . . . . . . 259
Pierre Flener and
Brahim Hnich and
Zeynep Kiziltan A Meta-heuristic for Subset Problems . . 274
Enrico Pontelli and
Omar El-Khatib Construction and Optimization of a
Parallel Engine for Answer Set
Programming . . . . . . . . . . . . . . 288
John Peterson and
Paul Hudak and
Alastair Reid and
Greg Hager FVision: A Declarative Language for
Visual Tracking . . . . . . . . . . . . 304
Satyam Tyagi and
Paul Tarau A Most Specific Method Finding Algorithm
for Reflection Based Dynamic
Prolog-to-Java Interfaces . . . . . . . 322
Owen Kaser State Generation in the PARMC Model
Checker . . . . . . . . . . . . . . . . 337
Anonymous Author Index . . . . . . . . . . . . . . 353
Carles Sierra and
Frank Dignum Agent-Mediated Electronic Commerce:
Scientific and Technological Roadmap . . 1
Alessio R. Lomuscio and
Michael Wooldridge and
Nicholas R. Jennings A Classification Scheme for Negotiation
in Electronic Commerce . . . . . . . . . 19
Jean-Luc Koning Designing and Testing Negotiation
Protocols for Electronic Commerce
Applications . . . . . . . . . . . . . . 34
Shamimabi Paurobally and
Jim Cunningham Specifying the Processes and States of
Negotiation . . . . . . . . . . . . . . 61
Eugénio Oliveira and
Ana Paula Rocha Agents Advanced Features for Negotiation
in Electronic Commerce and Virtual
Organisations Formation Process . . . . 78
Frank Dignum Agents, Markets, Institutions, and
Protocols . . . . . . . . . . . . . . . 98
Maria João Viamonte and
Carlos Ramos A Model for an Electronic Market Place 115
Marc Esteva and
Juan-Antonio Rodríguez-Aguilar and
Carles Sierra and
Pere Garcia and
Josep L. Arcos On the Formal Specification of
Electronic Institutions . . . . . . . . 126
Michael Vetter and
Stefan Pitsch Towards a Flexible Trading Process over
the Internet . . . . . . . . . . . . . . 148
Mehdi Dastani and
Nico Jacobs and
Catholijn M. Jonker and
Jan Treur Modelling User Preferences and Mediating
Agents in Electronic Commerce . . . . . 163
Liliana Ardissono and
Anna Goy and
Giovanna Petrone and
Marino Segnan and
Luca Console and
Leonardo Lesmo and
Carla Simone and
Pietro Torasso Agent Technologies for the Development
of Adaptive Web Stores . . . . . . . . . 194
Marc Torrens and
Boi Faltings Constraint Satisfaction for Modelling
Scalable Electronic Catalogs . . . . . . 214
Volker Roth and
Vania Conan Encrypting Java Archives and Its
Application to Mobile Agent Security . . 229
Anonymous Author Index . . . . . . . . . . . . . . 241
Siguna Müller On the Security of a Williams Based
Public Key Encryption Scheme . . . . . . 1
Kazukuni Kobara and
Hideki Imai Semantically Secure McEliece Public-Key
Cryptosystems --- Conversions for
McEliece PKC . . . . . . . . . . . . . . 19--35
Kaoru Kurosawa and
Wakaha Ogata and
Toshihiko Matsuo and
Shuichi Makishima IND--CCA Public Key Schemes Equivalent
to Factoring n = pq . . . . . . . . . . 36
Yuliang Zheng Identification, Signature and
Signcryption Using High Order Residues
Modulo an RSA Composite . . . . . . . . 48
Arjen K. Lenstra and
Igor E. Shparlinski On the Security of Lenstra's Variant of
DSA without Long Inversions . . . . . . 64
Arjen K. Lenstra and
Eric R. Verheul Fast Irreducibility and Subgroup
Membership Testing in XTR . . . . . . . 73
Takeshi Koshiba A New Aspect for Security Notions:
Secure Randomness in Public-Key
Encryption Schemes . . . . . . . . . . . 87
Tatsuaki Okamoto and
David Pointcheval The Gap-Problems: A New Class of
Problems for the Security of
Cryptographic Schemes . . . . . . . . . 104
Ivan Damgård and
Mads Jurik A Generalisation, a Simplification and
Some Applications of Paillier's
Probabilistic Public-Key System . . . . 119
Dennis Kügler and
Holger Vogt Marking: A Privacy Protecting Approach
Against Blackmailing . . . . . . . . . . 137
Feng Bao and
Robert H. Deng and
Willi Geiselmann and
Claus Schnorr and
Rainer Steinwandt and
Hongjun Wu Cryptanalysis of Two Sparse Polynomial
Based Public Key Cryptosystems . . . . . 153
Éliane Jaulmes and
Antoine Joux Cryptanalysis of PKP: A New Approach . . 165
Hongjun Wu and
Feng Bao and
Robert H. Deng Cryptanalysis of a Digital Signature
Scheme on ID-Based Key-Sharing
Infrastructures . . . . . . . . . . . . 173
Rainer Steinwandt Loopholes in Two Public Key
Cryptosystems Using the Modular Group 180
Emmanuel Bresson and
Jacques Stern Efficient Revocation in Group Signatures 190
Wen-Guey Tzeng and
Zhi-Jia Tzeng A Public-Key Traitor Tracing Scheme with
Revocation Using Dynamic Shares . . . . 207
Hirotaka Komaki and
Yuji Watanabe and
Goichiro Hanaoka and
Hideki Imai Efficient Asymmetric Self-Enforcement
Scheme with Public Traceability . . . . 225
Yair Frankel and
Philip D. MacKenzie and
Moti Yung Adaptive Security for the
Additive-Sharing Based Proactive RSA . . 240
Wen-Guey Tzeng and
Zhi-Jia Tzeng Robust Forward-Secure Signature Schemes
with Proactive Security . . . . . . . . 264
Yvo Desmedt and
Mike Burmester and
Jennifer Seberry Equitability in Retroactive Data
Confiscation versus Proactive Key Escrow 277
Adam Young and
Moti Yung A PVSS as Hard as Discrete Log and
Shareholder Separability . . . . . . . . 287
Pierre-Alain Fouque and
Jacques Stern One Round Threshold Discrete-Log Key
Generation without Private Channels . . 300
Masayuki Abe and
Fumitaka Hoshino Remarks on Mix-Network Based on
Permutation Networks . . . . . . . . . . 317
Chong Hee Kim and
Pil Joong Lee New Key Recovery in WAKE Protocol . . . 325
Willi Geiselmann and
Harald Lukhaub Redundant Representation of Finite
Fields . . . . . . . . . . . . . . . . . 339
Marc Joye and
Christophe Tymen Compact Encoding of Non-adjacent Forms
with Applications to Elliptic Curve
Cryptography . . . . . . . . . . . . . . 353
Jorge Guajardo and
Rainer Blümel and
Uwe Krieger and
Christof Paar Efficient Implementation of Elliptic
Curve Cryptosystems on the TI MSP430x33x
Family of Microcontrollers . . . . . . . 365
Markus Jakobsson and
Susanne Wetzel Secure Server-Aided Signature Generation 383
Arne Ansper and
Ahto Buldas and
Meelis Roos and
Jan Willemson Efficient Long-Term Validation of
Digital Signatures . . . . . . . . . . . 402
Nikos K. Moshopoulos and
K. Z. Pekmestzi A Novel Systolic Architecture for an
Efficient RSA Implementation . . . . . . 416
Anonymous Author Index . . . . . . . . . . . . . . 423
Kaisa Miettinen Some Methods for Nonlinear
Multi-objective Optimization . . . . . . 1
Carlos A. Coello Coello A Short Tutorial on Evolutionary
Multiobjective Optimization . . . . . . 21
Ralph E. Steuer An Overview in Graphs of Multiple
Objective Programming . . . . . . . . . 41
I. C. Parmee Poor-Definition, Uncertainty, and Human
Factors --- Satisfying Multiple
Objectives in Real-World Decision-Making
Environments . . . . . . . . . . . . . . 52
Kalyanmoy Deb and
Tushar Goel Controlled Elitist Non-dominated Sorting
Genetic Algorithms for Better
Convergence . . . . . . . . . . . . . . 67
Tadahiko Murata and
Hisao Ishibuchi and
Mitsuo Gen Specification of Genetic Search
Directions in Cellular Multi-objective
Genetic Algorithms . . . . . . . . . . . 82
Yaochu Jin and
Tatsuya Okabe and
Bernhard Sendhoff Adapting Weighted Aggregation for
Multiobjective Evolution Strategies . . 96
K. C. Tan and
T. H. Lee and
E. F. Khor Incrementing Multi-objective
Evolutionary Algorithms: Performance
Studies and Comparisons . . . . . . . . 111
Carlos A. Coello Coello and
Gregorio Toscano Pulido A Micro-Genetic Algorithm for
Multiobjective Optimization . . . . . . 126
Andrzej Osyczka and
Stanislaw Krenich Evolutionary Algorithms for
Multicriteria Optimization with
Selecting a Representative Subset of
Pareto Optimal Solutions . . . . . . . . 141
Nicole Drechsler and
Rolf Drechsler and
Bernd Becker Multi-objective Optimisation Based on
Relation Favour . . . . . . . . . . . . 154
Natasa Milickovic and
Michael Lahanas and
Dimos Baltas and
Nikolaos Zamboglou Comparison of Evolutionary and
Deterministic Multiobjective Algorithms
for Dose Optimization in Brachytherapy 167
Marco Laumanns and
Eckart Zitzler and
Lothar Thiele On the Effects of Archiving, Elitism,
and Density Based Selection in
Evolutionary Multi-objective
Optimization . . . . . . . . . . . . . . 181
Thomas Hanne Global Multiobjective Optimization with
Evolutionary Algorithms: Selection
Mechanisms and Mutation Control . . . . 197
Viviane Grunert da Fonseca and
Carlos M. Fonseca and
Andreia O. Hall Inferential Performance Assessment of
Stochastic Optimisers and the Attainment
Function . . . . . . . . . . . . . . . . 213
Jesse B. Zydallis and
David A. Van Veldhuizen and
Gary B. Lamont A Statistical Comparison of
Multiobjective Evolutionary Algorithms
Including the MOMGA--II . . . . . . . . 226
Andrzej Jaszkiewicz and
Maciej Hapke and
Pawe\l Kominek Performance of Multiple Objective
Evolutionary Algorithms on a
Distribution System Design Problem ---
Computational Experiment . . . . . . . . 241
Jonathan Wright and
Heather Loosemore An Infeasibility Objective for Use in
Constrained Pareto Optimization . . . . 256
Joshua D. Knowles and
Richard A. Watson and
David W. Corne Reducing Local Optima in
Single-Objective Problems by
Multi-objectivization . . . . . . . . . 269
Kalyanmoy Deb and
Amrit Pratap and
T. Meyarivan Constrained Test Problems for
Multi-objective Evolutionary
Optimization . . . . . . . . . . . . . . 284
S. Ranji Ranjithan and
S. Kishan Chetan and
Harish K. Dakshina Constraint Method-Based Evolutionary
Algorithm (CMEA) for Multiobjective
Optimization . . . . . . . . . . . . . . 299
Jürgen Teich Pareto-Front Exploration with Uncertain
Objectives . . . . . . . . . . . . . . . 314
Evan J. Hughes Evolutionary Multi-objective Ranking
with Uncertainty and Noise . . . . . . . 329
E. F. Khor and
K. C. Tan and
T. H. Lee Tabu-Based Exploratory Evolutionary
Algorithm for Effective Multi-objective
Optimization . . . . . . . . . . . . . . 344
Steffen Iredi and
Daniel Merkle and
Martin Middendorf Bi-Criterion Optimization with Multi
Colony Ant Algorithms . . . . . . . . . 359
Jerzy Balicki and
Zygmunt Kitowski Multicriteria Evolutionary Algorithm
with Tabu Search for Task Assignment . . 373
Kalyanmoy Deb and
Tushar Goel A Hybrid Multi-objective Evolutionary
Approach to Engineering Shape Design . . 385
Habib Youssef and
Sadiq M. Sait and
Salman A. Khan Fuzzy Evolutionary Hybrid Metaheuristic
for Network Topology Design . . . . . . 400
El-Ghazali Talbi and
Malek Rahoual and
Mohamed Hakim Mabed and
Clarisse Dhaenens A Hybrid Evolutionary Approach for
Multicriteria Optimization Problems:
Application to the Flow Shop . . . . . . 416
Xavier Gandibleux and
Hiroyuki Morita and
Naoki Katoh The Supported Solutions Used as a
Genetic Information in a Population
Heuristic . . . . . . . . . . . . . . . 429
C. Brizuela and
N. Sannomiya and
Y. Zhao Multi-objective Flow-Shop: Preliminary
Results . . . . . . . . . . . . . . . . 443
Tapan P. Bagchi Pareto-Optimal Solutions for
Multi-objective Production Scheduling
Problems . . . . . . . . . . . . . . . . 458
W. Matthew Carlyle and
Bosun Kim and
John W. Fowler and
Esma S. Gel Comparison of Multiple Objective Genetic
Algorithms for Parallel Machine
Scheduling Problems . . . . . . . . . . 472
Walid El Moudani and
Carlos Alberto Nunes Cosenza and
Marc de Coligny and
Félix Mora-Camino A Bi-Criterion Approach for the Airlines
Crew Rostering Problem . . . . . . . . . 486
Hernán E. Aguirre and
Kiyoshi Tanaka and
Tatsuo Sugimura and
Shinjiro Oshita Halftone Image Generation with Improved
Multiobjective Genetic Algorithm . . . . 501
Ivo F. Sbalzarini and
Sibylle Müller and
Petros Koumoutsakos Microchannel Optimization Using
Multiobjective Evolution Strategies . . 516
Andrei Petrovski and
John McCall Multi-objective Optimisation of Cancer
Chemotherapy Using Evolutionary
Algorithms . . . . . . . . . . . . . . . 531
Mark Thompson Application of Multi Objective
Evolutionary Algorithms to Analogue
Filter Tuning . . . . . . . . . . . . . 546
P. Di Barba and
M. Farina and
A. Savini Multiobjective Design Optimization of
Real-Life Devices in Electrical
Engineering: A Cost-Effective
Evolutionary Approach . . . . . . . . . 560
Michael Lahanas and
Natasa Milickovic and
Dimos Baltas and
Nikolaos Zamboglou Application of Multiobjective
Evolutionary Algorithms for Dose
Optimization Problems in Brachytherapy 574
Hisao Ishibuchi and
Tomoharu Nakashima and
Tadahiko Murata Multiobjective Optimization in
Linguistic Rule Extraction from
Numerical Data . . . . . . . . . . . . . 588
Neil H. Eklund and
Mark J. Embrechts Determining the Color-Efficiency Pareto
Optimal Surface for Filtered Light
Sources . . . . . . . . . . . . . . . . 603
Nando Laumanns and
Marco Laumanns and
Dirk Neunzig Multi-objective Design Space Exploration
of Road Trains with Evolutionary
Algorithms . . . . . . . . . . . . . . . 612
Johan Andersson and
Petter Krus Multiobjective Optimization of Mixed
Variable Design Problems . . . . . . . . 624
Daisuke Sasaki and
Masashi Morikawa and
Shigeru Obayashi and
Kazuhiro Nakahashi Aerodynamic Shape Optimization of
Supersonic Wings by Adaptive Range
Multiobjective Genetic Algorithms . . . 639
Fernando Jiménez and
Antonio F. Gómez-Skarmeta and
Hans Roubos and
Robert Babu\vska Accurate, Transparent, and Compact Fuzzy
Models for Function Approximation and
Dynamic Modeling through Multi-objective
Evolutionary Optimization . . . . . . . 653
Anna L. Blumel and
Evan J. Hughes and
Brian A. White Multi-objective Evolutionary Design of
Fuzzy Autopilot Controller . . . . . . . 668
Mark Erickson and
Alex Mayer and
Jeffrey Horn The Niched Pareto Genetic Algorithm $2$
Applied to the Design of Groundwater
Remediation Systems . . . . . . . . . . 681--695
Ester Bernadó i Mansilla and
Josep M. Garrell i Guiu MOLeCS: Using Multiobjective
Evolutionary Algorithms for Learning . . 696
Anonymous Author Index . . . . . . . . . . . . . . 711
Jürgen Lind 1. Introduction . . . . . . . . . . . . 1
Jürgen Lind 2. Agents, Multiagent Systems and
Software Engineering . . . . . . . . . . 9
Jürgen Lind 3. Basic Concepts in Software
Engineering . . . . . . . . . . . . . . 35
Jürgen Lind 4. The Conceptual Framework of MASSIVE 97
Jürgen Lind 5. MASSIVE Views . . . . . . . . . . . . 121
Jürgen Lind 6. Further Case Studies . . . . . . . . 205
Jürgen Lind 7. Conclusion . . . . . . . . . . . . . 243
Jürgen Lind A. Toolkits for Agent-Based Applications 247
Jürgen Lind B. Basic Problem Solving Capabilities of
TCS Agents . . . . . . . . . . . . . . . 255
Jürgen Lind C. Protoz Specification of the
Contract-Net Protocol . . . . . . . . . 261
Anonymous Bibliography . . . . . . . . . . . . . . 265
Anonymous Glossary . . . . . . . . . . . . . . . . 281
Anonymous Index . . . . . . . . . . . . . . . . . 283
James Cole and
John Derrick and
Zoran Milosevic and
Kerry Raymond Author Obliged to Submit Paper before 4
July: Policies in an Enterprise
Specification . . . . . . . . . . . . . 1--17
Nicodemos Damianou and
Naranker Dulay and
Emil Lupu and
Morris Sloman The Ponder Policy Specification Language 18
Zhi Fu and
S. Felix Wu and
He Huang and
Kung Loh and
Fengmin Gong and
Ilia Baldine and
Chong Xu IPSec/VPN Security Policy: Correctness,
Conflict Detection, and Resolution . . . 39
Jan Chomicki and
Jorge Lobo Monitors for History-Based Policies . . 57
Roberto Viviani A Type/Domain Security Policy for
Internet Transmission, Sharing, and
Archiving of Medical and Biological Data 73
Michael Hitchens and
Vijay Varadharajan Tower: A Language for Role Based Access
Control . . . . . . . . . . . . . . . . 88
Jean Bacon and
Michael Lloyd and
Ken Moody Translating Role-Based Access Control
Policy within Context . . . . . . . . . 107
Ingo Lück and
Christian Schäfer and
Heiko Krumm Model-Based Tool-Assistance for
Packet-Filter Design . . . . . . . . . . 120
Dinesh Verma and
Mandis Beigi and
Raymond Jennings Policy Based SLA Management in
Enterprise Networks . . . . . . . . . . 137
Mark Bearden and
Sachin Garg and
Woei-jyh Lee Integrating Goal Specification in
Policy-Based Management . . . . . . . . 153
Yasusi Kanada Taxonomy and Description of Policy
Combination Methods . . . . . . . . . . 171
Hanan Lutfiyya and
Gary Molenkamp and
Michael Katchabaw and
Michael Bauer Issues in Managing Soft QoS Requirements
in Distributed Systems Using a
Policy-Based Framework . . . . . . . . . 185
Ian W. Marshall and
Paul Mckee A Policy Based Management Architecture
for Large Scale Active Communication
Systems . . . . . . . . . . . . . . . . 202
Antonio Corradi and
Naranker Dulay and
Rebecca Montanari and
Cesare Stefanelli Policy-Driven Management of Agent
Systems . . . . . . . . . . . . . . . . 214
Paris Flegkas and
Panos Trimintzios and
George Pavlou and
Ilias Adrikopoulos and
Carlos F. Calvacanti On Policy-Based Extensible Hierarchical
Network Management in QoS-Enabled IP
Networks . . . . . . . . . . . . . . . . 230
Raouf Boutaba and
Andreas Polyrakis Towards Extensible Policy Enforcement
Points . . . . . . . . . . . . . . . . . 247
Anonymous Author Index . . . . . . . . . . . . . . 263
Eric B. Baum and
Igor Durdanovic An Artificial Economy of Post Production
Systems . . . . . . . . . . . . . . . . 3
Larry Bull Simple Markov Models of the Genetic
Algorithm in Classifier Systems:
Accuracy-Based Fitness . . . . . . . . . 21
Larry Bull Simple Markov Models of the Genetic
Algorithm in Classifier Systems:
Multi-step Tasks . . . . . . . . . . . . 29
Martin V. Butz and
David E. Goldberg and
Wolfgang Stolzmann Probability-Enhanced Predictions in the
Anticipatory Classifier System . . . . . 37
Pierre Gérard and
Olivier Sigaud YACS: Combining Dynamic Programming with
Generalization in Classifier Systems . . 52
Jacob Hurst and
Larry Bull A Self-Adaptive Classifier System . . . 70
Tim Kovacs and
Manfred Kerber What Makes a Problem Hard for XCS? . . . 80
John H. Holmes Applying a Learning Classifier System to
Mining Explanatory and Predictive Models
from a Large Clinical Database . . . . . 103
Sonia Schulenburg and
Peter Ross Strength and Money: An LCS Approach to
Increasing Returns . . . . . . . . . . . 114
Olivier Sigaud and
Pierre Gérard Using Classifier Systems as Adaptive
Expert Systems for Control . . . . . . . 138
Stewart W. Wilson Mining Oblique Data with XCS . . . . . . 158
Tiago Sepúlveda and
Mário Rui Gomes A Study on the Evolution of Learning
Classifier Systems . . . . . . . . . . . 177
Keiki Takadama and
Takao Terano and
Katsunori Shimohara Learning Classifier Systems Meet
Multiagent Environments . . . . . . . . 192
Tim Kovacs and
Pier Luca Lanzi A Bigger Learning Classifier Systems
Bibliography . . . . . . . . . . . . . . 213
Martin V. Butz and
Stewart W. Wilson An Algorithmic Description of XCS . . . 253
Anonymous Author Index . . . . . . . . . . . . . . 273
Don Chamberlin and
Jonathan Robie and
Daniela Florescu Quilt: An XML Query Language for
Heterogeneous Data Sources . . . . . . . 1
Nuno Maria and
Mário J. Silva Theme-Based Retrieval of Web News . . . 26
Jeonghee Yi and
Neel Sundaresan and
Anita Huang Using Metadata to Enhance Web
Information Gathering . . . . . . . . . 38
Jayavel Shanmugasundaram and
Kristin Tufte and
David DeWitt and
David Maier and
Jeffrey F. Naughton Architecting a Network Query Engine for
Producing Partial Results . . . . . . . 58
Luping Quan and
Li Chen and
Elke A. Rundensteiner Argos: Efficient Refresh in an XQL-Based
Web Caching System . . . . . . . . . . . 78
Qiong Luo and
Jeffrey F. Naughton and
Rajasekar Krishnamurthy and
Pei Cao and
Yunrui Li Active Query Caching for Database Web
Servers . . . . . . . . . . . . . . . . 92
Anja Theobald and
Gerhard Weikum Adding Relevance to XML . . . . . . . . 105
Thorsten Fiebig and
Guido Moerkotte Evaluating Queries on Structure with
eXtended Access Support Relations . . . 125
Albrecht Schmidt and
Martin Kersten and
Menzo Windhouwer and
Florian Waas Efficient Relational Storage and
Retrieval of XML Documents . . . . . . . 137
Meike Klettke and
Holger Meyer XML and Object-Relational Database
Systems --- Enhancing Structural
Mappings Based on Statistics . . . . . . 151
Arnaud Sahuguet Everything You Ever Wanted to Know About
DTDs, But Were Afraid to Ask (Extended
Abstract) . . . . . . . . . . . . . . . 171--183
Shu-Yao Chien and
Vassilis J. Tsotras and
Carlo Zaniolo Version Management of XML Documents . . 184
Aldo Bongio and
Stefano Ceri and
Piero Fraternali and
Andrea Maurino Modeling Data Entry and Operations in
WebML . . . . . . . . . . . . . . . . . 201
Gösta Grahne and
Alex Thomo An Optimization Technique for Answering
Regular Path Queries . . . . . . . . . . 215
Haruo Hosoya and
Benjamin C. Pierce XDuce: A Typed XML Processing Language
(Preliminary Report) . . . . . . . . . . 226--244
Panagiotis G. Ipeirotis and
Luis Gravano and
Mehran Sahami Automatic Classification of Text
Databases through Query Probing . . . . 245
D. W. Embley and
L. Xu Locating and Reconfiguring Records in
Unstructured Multiple-Record Web
Documents . . . . . . . . . . . . . . . 256
Anonymous Author Index . . . . . . . . . . . . . . 275
Mårten Björkman and
Jan-Olof Eklundh Visual Cues for a Fixating Active Agent 1
Bodo Rosenhahn and
Norbert Krüger and
Torge Rabsch and
Gerald Sommer Tracking with a Novel Pose Estimation
Algorithm . . . . . . . . . . . . . . . 9
Jason Luck and
Dan Small and
Charles Q. Little Real-Time Tracking of Articulated Human
Models Using a $3$D
Shape-from-Silhouette Method . . . . . . 19
Sebastian Weik and
C.-E. Liedtke Hierarchical $3$D Pose Estimation for
Articulated Human Body Models from a
Sequence of Volume Data . . . . . . . . 27
Stefan Enderle and
Heiko Folkerts and
Marcus Ritter and
Stefan Sablatnög and
Gerhard Kraetzschmar and
Günther Palm Vision-Based Robot Localization Using
Sporadic Features . . . . . . . . . . . 35
Nikki Austin and
Yen Chen and
Reinhard Klette and
Robert Marshall and
Yuan-sheng Tsai and
Yongbao Zhang A Comparison of Feature Measurements for
Kinetic Studies on Human Bodies . . . . 43
Benjamin Hohnhaeuser and
Guenter Hommel Object Identification and Pose
Estimation for Automatic Manipulation 52
Slimane Larabi Toward Self-calibration of a Stereo Rig
from Noisy Stereoscopic Images . . . . . 60
Philippe Leclercq and
Thomas Bräunl A Color Segmentation Algorithm for
Real-Time Object Localization on Small
Embedded Systems . . . . . . . . . . . . 69
Karsten Scheibe and
Hartmut Korsitzky and
Ralf Reulke and
Martin Scheele and
Michael Solbrig EYESCAN --- A High Resolution Digital
Panoramic Camera . . . . . . . . . . . . 77
Tiangong Wei and
Reinhard Klette A Wavelet-Based Algorithm for Height
from Gradients . . . . . . . . . . . . . 84
Alexander Wuerz and
Stefan K. Gehrig and
Fridtjof J. Stein Enhanced Stereo Vision Using Free-Form
Surface Mirrors . . . . . . . . . . . . 91
Jacky Baltes RoboCup-99: A Student's Perspective . . 99
Jacky Baltes HORUS: Object Orientation and Id without
Additional Markers . . . . . . . . . . . 107
Pascual Campoy and
Pedro J. Garcia and
Antonio Barrientos and
Jaime del Cerro and
Iñaqui Aguirre and
Andrés Roa and
Rafael Garcia and
José M. Muñoz An Stereoscopic Vision System Guiding an
Autonomous Helicopter for Overhead Power
Cable Inspection . . . . . . . . . . . . 115
Wee-Soon Ching and
Edward Ho and
Christopher Ong and
Hs Tay and
Sai-Mui Lim $3$D Stereo Vision-Based Nursing Robot
for Elderly Health Care . . . . . . . . 125
Ernst Dieter Dickmanns Efficient Computation of Intensity
Profiles for Real-Time Vision . . . . . 131
Atsushi Imiya and
Keisuke Iwawaki Subpixel Flow Detection by the Hough
Transform . . . . . . . . . . . . . . . 140
Ruijiang Luo and
Yan Guo Tracking of Moving Heads in Cluttered
Scenes from Stereo Vision . . . . . . . 148
Josef Pauli and
Arne Schmidt and
Gerald Sommer Servoing Mechanisms for Peg-In-Hole
Assembly Operations . . . . . . . . . . 157
David C. K. Yuen and
Bruce A. MacDonald Robot Localization Using Omnidirectional
Color Images . . . . . . . . . . . . . . 167
Alan McIvor and
Qi Zang and
Reinhard Klette The Background Subtraction Problem for
Video Surveillance Systems . . . . . . . 176
Radim \vSára Stable Monotonic Matching for
Stereoscopic Vision . . . . . . . . . . 184
Kazuhiko Kawamoto and
Atsushi Imiya Random Sampling and Voting Method for
Three-Dimensional Reconstruction . . . . 193
Georgy Gimel'farb Binocular Stereo by Maximizing the
Likelihood Ratio Relative to a Random
Terrain . . . . . . . . . . . . . . . . 201
Fay Huang and
Shou Kang Wei and
Reinhard Klette Stereo Reconstruction from Polycentric
Panoramas . . . . . . . . . . . . . . . 209
Norbert Krüger and
Daniel Wendorff and
Gerald Sommer Two Modules of a Vision-Based Robotic
System: Attention and Accumulation of
Object Representations . . . . . . . . . 219
Josef Pauli and
Gerald Sommer Compatibilities for the
Perception-Action Cycle . . . . . . . . 227
Hongbo Li Trifocal Tensors with Grassmann-Cayley
Algebra . . . . . . . . . . . . . . . . 237
Jacky Baltes Camera Calibration Using Rectangular
Textures . . . . . . . . . . . . . . . . 245
Mohammed Yeasin Optical Flow in Log-mapped Image Plane 252
Takamasa Koshizen and
Hiroshi Tsujino Hypothetically Modeled Perceptual
Sensory Modality of Human Visual
Selective Attention Scheme by PFC-Based
Network . . . . . . . . . . . . . . . . 261
Anko Börner and
Ralf Reulke Results of Test Flights with the
Airborne Digital Sensor ADS40 . . . . . 270
Moshe Porat Localized Video Compression for Machine
Vision . . . . . . . . . . . . . . . . . 278
Anonymous Author Index . . . . . . . . . . . . . . 285
Walter Schwarz Application Integration with CORBA and
XML . . . . . . . . . . . . . . . . . . 1
Stanley M. Sutton Jr. Middleware Selection . . . . . . . . . . 2
Michael Goedicke and
Uwe Zdun A Key Technology Evaluation Case Study:
Applying a New Middleware Architecture
on the Enterprise Scale . . . . . . . . 8
Jörn Guy Süß and
Michael Mewes An Architecture Proposal for Enterprise
Message Brokers . . . . . . . . . . . . 27
Stoney Jackson and
Prem Devanbu Resource Management . . . . . . . . . . 43
Hector A. Duran-Limon and
Gordon S. Blair The Importance of Resource Management in
Engineering Distributed Objects . . . . 44
Felix Bübl Towards Designing Distributed Systems
with ConDIL . . . . . . . . . . . . . . 61
Wolfgang Emmerich Architectural Reasoning . . . . . . . . 81
Miguel de Miguel and
Thomas Lambolais and
Sophie Piekarec and
Stéphane Betgé-Brezetz and
Jérôme Péquery Automatic Generation of Simulation
Models for the Evaluation of Performance
and Reliability of Architectures
Specified in UML . . . . . . . . . . . . 83
Francesco Tisato and
Andrea Savigni and
Walter Cazzola and
Andrea Sosio Architectural Reflection: Realising
Software Architectures via Reflective
Activities . . . . . . . . . . . . . . . 102
Nima Kaveh Using Model Checking to Detect Deadlocks
in Distributed Object Systems . . . . . 116
Alessandro Orso and
Mary Jean Harrold and
David Rosenblum Component Metadata for Software
Engineering Tasks . . . . . . . . . . . 129
Jessica Chen On Using Static Analysis in Distributed
System Testing . . . . . . . . . . . . . 145
Alfonso Fuggetta and
Rushikesh K. Joshi and
António Rito Silva Distributed Communication . . . . . . . 163
António Rito Silva and
Francisco Assis Rosa and
Teresa Gonçalves and
Miguel Antunes Distributed Proxy: A Design Pattern for
the Incremental Development of
Distributed Applications . . . . . . . . 165
Rushikesh K. Joshi Modeling with Filter Objects in
Distributed Systems . . . . . . . . . . 182
Christoph Liebig and
Stefan Tai Advanced Transactions: Concepts and
$X^{2}TS$ Prototype . . . . . . . . . . 188
Christoph Liebig and
Marco Malva and
Alejandro Buchman Integrating Notifications and
Transactions: Concepts and $X^{2}TS$
Prototype . . . . . . . . . . . . . . . 194
Marek Prochazka Advanced Transactions in Enterprise Java
Beans . . . . . . . . . . . . . . . . . 215
Michael Goedicke Service Integration . . . . . . . . . . 231
Kostas Kontogiannis and
Richard Gregory Customizable Service Integration in
Web-Enabled Environments . . . . . . . . 235
Ying Zou and
Kostas Kontogiannis Migrating and Specifying Services for
Web Integration . . . . . . . . . . . . 253
Anonymous Author Index . . . . . . . . . . . . . . 271
Gerhard Weikum The Web in 2010: Challenges and
Opportunities for Database Research . . 1
Michael J. Franklin Challenges in Ubiquitous Data Management 24
Andrew T. Campbell and
Michael E. Kounavis and
John B. Vicente Programmable Networks . . . . . . . . . 34
Andreas Pfitzmann Multilateral Security: Enabling
Technologies and Their Evaluation . . . 50
Ueli Maurer Cryptography $2000 \pm 10$ . . . . . . . 63--85
Fred B. Schneider and
Greg Morrisett and
Robert Harper A Language-Based Approach to Security 86
Jochen Ludewig Software Engineering in the Years 2000
Minus and Plus Ten . . . . . . . . . . . 102
Cliff B. Jones Thinking Tools for the Future of
Computing Science . . . . . . . . . . . 112
Famantanantsoa Randimbivololona Orientations in Verification Engineering
of Avionics Software . . . . . . . . . . 131
Patrick Cousot Abstract Interpretation Based Formal
Methods and Future Challenges . . . . . 138
K. Rustan M. Leino Extended Static Checking: A Ten-Year
Perspective . . . . . . . . . . . . . . 157
Edmund Clarke and
Orna Grumberg and
Somesh Jha and
Yuan Lu and
Helmut Veith Progress on the State Explosion Problem
in Model Checking . . . . . . . . . . . 176
Susan L. Graham From Research Software to Open Source 195
Gurindar S. Sohi Microprocessors -- 10 Years Back, 10
Years Ahead . . . . . . . . . . . . . . 209
Paul Vitányi The Quantum Computing Challenge . . . . 219
Lawrence Snyder Parallel Computation: $MM \pm X$ . . . . 234
Juris Hartmanis Computational Complexity and
Mathematical Proofs . . . . . . . . . . 251
Wolfgang Thomas Logic for Computer Science: The
Engineering Challenge . . . . . . . . . 257
Kurt Mehlhorn From Algorithm to Program to Software
Library . . . . . . . . . . . . . . . . 268
Wolfgang Wahlster Pervasive Speech and Language Technology 274
Rolf Pfeifer Embodied Artificial Intelligence: 10
Years Back, 10 Years Forward . . . . . . 294
Hans Hagen and
Achim Ebert and
Rolf Hendrik van Lengen and
Gerik Scheuermann Scientific Visualization --- Methods and
Applications . . . . . . . . . . . . . . 311
Jan-Olof Eklundh and
Henrik I. Christensen Computer Vision: Past and Future . . . . 328
Thomas Lengauer Computational Biology at the Beginning
of the Post-genomic Era . . . . . . . . 341
A. Peter Young Computer Science in Physics . . . . . . 356
Anonymous Author Index . . . . . . . . . . . . . . 369
C. Lakos Object Oriented Modeling with Object
Petri Nets . . . . . . . . . . . . . . . 1
T. Holvoet and
P. Verbaeten Using Petri Nets for Specifying Active
Objects and Generative Communication . . 38
O. Biberstein and
D. Buchs and
N. Guelfi Object-Oriented Nets with Algebraic
Specifications: The CO-OPN/2 Formalism 73
E. Battiston and
A. Chizzoni and
F. De Cindio CLOWN as a Testbed for Concurrent
Object-Oriented Concepts . . . . . . . . 131
R. Valk Concurrency in Communicating Object
Petri Nets . . . . . . . . . . . . . . . 164
X. He and
Y. Ding Object Orientation in Hierarchical
Predicate Transition Nets . . . . . . . 196
C. Sibertin-Blanc CoOperative Objects: Principles, Use and
Implementation . . . . . . . . . . . . . 216
J. Lilius OB(PN) 2: An Object Based Petri Net
Programming Notation . . . . . . . . . . 247
L. Baresi and
M. Pezz\`e On Formalizing UML with High-Level Petri
Nets . . . . . . . . . . . . . . . . . . 276
R. Bastide and
P. Palanque Modeling a Groupware Editing Tool with
Cooperative Objects . . . . . . . . . . 305
M. A. Alberti and
P. Evi and
D. Marini Modeling Constrained Geometric Objects
with OBJSA Nets . . . . . . . . . . . . 319
D. S. Guerrero and
J. C. A. de Figueiredo and
A. Perkusich An Object-Based Modular CPN Approach:
Its Application to the Specification of
a Cooperative Editing Environment . . . 338
J. A. Bañares and
P. R. Muro-Medrano and
J. L. Villarroel and
F. J. Zarazaga KRON: Knowledge Engineering Approach
Based on the Integration of CPNs with
Objects . . . . . . . . . . . . . . . . 355
F. Köster and
S. Schöf and
M. Sonnenschein and
R. Wieting Modeling of a Library with THORN s . . . 375
T. Basten and
W. M. P. van der Aalst Inheritance of Dynamic Behavior:
Development of a Groupware Editor . . . 391
C. Maier and
D. Moldt Object Coloured Petri Nets -- A Formal
Technique for Object Oriented Modeling 406
M. Gaspari and
G. Zavattaro An Actor Algebra for Specifying
Distributed Systems: The Hurried
Philosophers Case Study . . . . . . . . 428
S. Schacht Formal Reasoning about Actor Programs
Using Temporal Logic . . . . . . . . . . 445
F. Puntigam Flexible Types for a Concurrent Model 461
F. Vernadat and
P. Azéma High Level Transition Systems for
Communicating Agents . . . . . . . . . . 473
L. Nigro and
F. Pupo Schedulability Analysis of Real Time
Actor Systems Using Coloured Petri Nets 493
A. Diagne Control Properties in Object-Oriented
Specifications . . . . . . . . . . . . . 514
R. Bastide and
C. Lakos and
P. Palanque A Cooperative Petri Net Editor . . . . . 534
C. Sibertin-Blanc The Hurried Philosophers . . . . . . . . 536
Anonymous Author Index . . . . . . . . . . . . . . 539
An Introduction 1 Constraints and Constraint Solving: An
Introduction . . . . . . . . . . . . . . 1
Hubert Comon and
Claude Kirchner 2 Constraint Solving on Terms . . . . . 47
Franz Baader and
Klaus U. Schulz 3 Combining Constraint Solving . . . . . 104
Harald Ganzinger and
Robert Nieuwenhuis 4 Constraints and Theorem Proving . . . 159
Mario Rodríguez-Artalejo 5 Functional and Constraint Logic
Programming . . . . . . . . . . . . . . 202
Helmut Simonis 6 Building Industrial Applications with
Constraint Programming . . . . . . . . . 271
Gustavo de Paula and
Francisco Ramos and
Geber Ramalho Bilateral Negotiation for Agent-Mediated
Electronic Commerce . . . . . . . . . . 1
Mihai Barbuceanu and
Wai-Kau Lo Multi-attribute Utility Theoretic
Negotiation for Electronic Commerce . . 15
Ryszard Kowalczyk and
Van Bui On Constraint-Based Reasoning in
e-Negotiation Agents . . . . . . . . . . 31
Alexander Artikis and
Frank Guerin and
Jeremy Pitt Integrating Interaction Protocols and
Internet Protocols for Agent-Mediated
E-Commerce . . . . . . . . . . . . . . . 47
Michael Wooldridge and
Simon Parsons Issues in the Design of Negotiation
Protocols for Logic-Based Agent
Communication Languages . . . . . . . . 70
Matteo Pradella and
Marco Colombetti A Formal Description of a Practical
Agent for E-Commerce . . . . . . . . . . 84
Henrique Lopes Cardoso and
Eugénio Oliveira A Platform for Electronic Commerce with
Adaptive Agents . . . . . . . . . . . . 96
Michael Schroeder and
Julie McCann and
Daniel Haynes Trading without Explicit Ontologies . . 108
Maksim Tsvetovat and
Katia Sycara and
Yian Chen and
James Ying Customer Coalitions in Electronic
Markets . . . . . . . . . . . . . . . . 121
Chris Preist and
Claudio Bartolini and
Ivan Phillips Algorithm Design for Agents which
Participate in Multiple Simultaneous
Auctions . . . . . . . . . . . . . . . . 139
Javier Béjar and
Ulises Cortés Agent Strategies on DPB Auction
Tournaments . . . . . . . . . . . . . . 155
Javier Béjar and
Juan A. Rodríguez-Aguilar To Bid or Not To Bid Agent Strategies in
Electronic Auction Games: Agent
Strategies in Electronic Auction Games 173
Anonymous Author Index . . . . . . . . . . . . . . 193
Sylvain Kahane What Is a Natural Language and How to
Describe It? Meaning-Text Approaches in
Contrast with Generative Approaches . . 1
Sylvain Kahane A Fully Lexicalized Grammar for French
Based on Meaning-Text Theory . . . . . . 18--31
Leo Ferres Modeling the Level of Involvement of
Verbal Arguments . . . . . . . . . . . . 32
Masaki Murata and
Kiyotaka Uchimoto and
Qing Ma and
Hitoshi Isahara Magical Number Seven Plus or Minus Two:
Syntactic Structure Recognition in
Japanese and English Sentences . . . . . 43
Roland Hausser Spatio-temporal Indexing in Database
Semantics . . . . . . . . . . . . . . . 53
Roussanka Loukanova Russellian and Strawsonian Definite
Descriptions in Situation Semantics . . 69
Igor A. Bolshakov Treatment of Personal Pronouns Based on
Their Parameterization . . . . . . . . . 80
Slim Ben Hazez Modeling Textual Context in Linguistic
Pattern Matching . . . . . . . . . . . . 93
Valentyna Arkhelyuk Statistical Methods in Studying the
Semantics of Size Adjectives . . . . . . 96
Tamotsu Shirado and
Hitoshi Isahara Numerical Model of the Strategy for
Choosing Polite Expressions . . . . . . 98
Ruslan Mitkov Outstanding Issues in Anaphora
Resolution . . . . . . . . . . . . . . . 110
Manuel Palomar and
Maximiliano Saiz-Noeda and
Rafael Muñoz and
Armando Suárez and
Patricio Martínez-Barco and
Andrés Montoyo PHORA: A NLP System for Spanish . . . . 126
Sandra Roger Belief Revision on Anaphora Resolution 140
Masaki Murata and
Kiyotaka Uchimoto and
Qing Ma and
Hitoshi Isahara A Machine-Learning Approach to
Estimating the Referential Properties of
Japanese Noun Phrases . . . . . . . . . 142
Tamara Matulevich The Referring Expressions in the Other's
Comment . . . . . . . . . . . . . . . . 155
Ted Pedersen Lexical Semantic Ambiguity Resolution
with Bigram-Based Decision Trees . . . . 157
Leslie Barret and
Anthony R. Davis and
Bonnie J. Dorr Interpretation of Compound Nominals
Using WordNet . . . . . . . . . . . . . 169
Andrés Montoyo and
Manuel Palomar Specification Marks for Word Sense
Disambiguation: New Development . . . . 182
Sofía N. Galicia-Haro and
Alexander Gelbukh and
Igor A. Bolshakov Three Mechanisms of Parser Driving for
Structure Disambiguation . . . . . . . . 192
Michael Carl Recent Research in the Field of
Example-Based Machine Translation . . . 195
JianDe Wang and
ZhaoXiong Chen and
HeYan Huang Intelligent Case Based Machine
Translation System . . . . . . . . . . . 197
Kenji Imamura A Hierarchical Phrase Alignment from
English and Japanese Bilingual Text . . 206
Rong Jin and
Alexander G. Hauptmann Title Generation Using a Training Corpus 208
Ma. del Socorro Bernardos Galindo and
Guadalupe Aguado de Cea A New Approach in Building a Corpus for
Natural Language Generation Systems . . 216
Ichiro Kobayashi A Study on Text Generation from
Non-verbal Information on $2$D Charts 226
José Coch and
Karine Chevreau Interactive Multilingual Generation . . 239
Charles Callaway A Computational Feature Analysis for
Multilingual Character-to-Character
Dialogue . . . . . . . . . . . . . . . . 251
Diana Zaiu Inkpen and
Graeme Hirst Experiments on Extracting Knowledge from
a Machine-Readable Dictionary of Synonym
Differences . . . . . . . . . . . . . . 265
Elena I. Bolshakova Recognition of Author's Scientific and
Technical Terms . . . . . . . . . . . . 281
Nicoletta Calzolari and
Ornella Corazzari and
Antonio Zampolli Lexical-Semantic Tagging of an Italian
Corpus . . . . . . . . . . . . . . . . . 291
Masaki Murata and
Kyoko Kanzaki and
Kiyotaka Uchimoto and
Qing Ma and
Hitoshi Isahara Meaning Sort --- Three Examples:
Dictionary Construction, Tagged Corpus
Construction, and Information
Presentation System . . . . . . . . . . 305
Mitsuo Shimohata and
Eiichiro Sumita Converting Morphological Information
Using Lexicalized and General Conversion 319
Alexander Gelbukh and
Grigori Sidorov Zipf and Heaps Laws' Coefficients Depend
on Language . . . . . . . . . . . . . . 332
Jesús Vilares and
David Cabrero and
Miguel A. Alonso Applying Productive Derivational
Morphology to Term Indexing of Spanish
Texts . . . . . . . . . . . . . . . . . 336
Björn Gambäck Unification-Based Lexicon and Morphology
with Speculative Feature Signalling . . 349
Kazuaki Ando and
Tae-hun Lee and
Masami Shishibori and
Jun-ichi Aoe A Method of Pre-computing Connectivity
Relations for Japanese/Korean POS
Tagging . . . . . . . . . . . . . . . . 363
Fuji Ren A Hybrid Approach of Text Segmentation
Based on Sensitive Word Concept for NLP 375
Jawad Berri and
Hamza Zidoum and
Yacine Atif Web-Based Arabic Morphological Analyzer 389
Francisco-Mario Barcala and
Oscar Sacristán and
Jorge Graña Stochastic Parsing and Parallelism . . . 401
José Fortes Gálvez and
Jacques Farré and
Miguel Ángel Pérez Aguiar Practical Nondeterministic DR($k$)
Parsing on Graph-Structured Stack . . . 411
Jean-Philippe Vert Text Categorization Using Adaptive
Context Trees . . . . . . . . . . . . . 423
Ali Hadjarian and
Jerzy Bala and
Peter Pachowicz Text Categorization through
Multistrategy Learning and Visualization 437
Sabrina Tiun and
Rosni Abdullah and
Tang Enya Kong Automatic Topic Identification Using
Ontology Hierarchy . . . . . . . . . . . 444
Pavel Makagonov and
Konstantin Sboychakov Software for Creating Domain-Oriented
Dictionaries and Document Clustering in
Full-Text Databases . . . . . . . . . . 454
Mikhail Alexandrov and
Alexander Gelbukh and
George Lozovoi Chi-Square Classifier for Document
Categorization . . . . . . . . . . . . . 457
Anne-Marie Currie and
Jocelyn Cohan and
Larisa Zlatic Information Retrieval of Electronic
Medical Records . . . . . . . . . . . . 460
Anette Hulth and
Jussi Karlgren and
Anna Jonsson and
Henrik Boström and
Lars Asker Automatic Keyword Extraction Using
Domain Knowledge . . . . . . . . . . . . 472
Manuel Vilares and
Francisco J. Ribadas and
Victor M. Darriba Approximate VLDC Pattern Matching in
Shared-Forest . . . . . . . . . . . . . 483
Guido Drexel Knowledge Engineering for Intelligent
Information Retrieval . . . . . . . . . 495
Karine Lespinasse and
Bruno Bachimont Is Peritext a Key for Audiovisual
Documents? The Use of Texts Describing
Television Programs to Assist Indexing 505
David Escorial An Information Space Using Topic
Identification for Retrieved Documents 507
Dina Wonsever and
Jean-Luc Minel Contextual Rules for Text Analysis . . . 509
Manuel Montes-y-Gómez and
Aurelio López-López and
Alexander Gelbukh Finding Correlative Associations among
News Topics . . . . . . . . . . . . . . 524
Anonymous Author Index . . . . . . . . . . . . . . 527
Wojciech Ziarko Rough Sets: Trends, Challenges, and
Prospects . . . . . . . . . . . . . . . 1
Setsuo Ohsuga To What Extent Can Computers Aid Human
Activity? Toward Second Phase
Information Technology . . . . . . . . . 8
Zdzis\law Pawlak Rough Sets and Decision Algorithms . . . 30
L. A. Zadeh Toward a Perception-Based Theory of
Probabilistic Reasoning . . . . . . . . 46
H. S. Nguyen and
A. Skowron and
M. Szczuka Situation Identification by Unmanned
Aerial Vehicle . . . . . . . . . . . . . 49
Lech Polkowski and
Andrzej Skowron Rough-Neuro Computing . . . . . . . . . 57
Andrzej Skowron and
Jaroslaw Stepaniuk and
James F. Peters Approximation of Information Granule
Sets . . . . . . . . . . . . . . . . . . 65
Yukari Yamauchi and
Masao Mukaidono Probabilistic Inference and Bayesian
Theorem on Rough Sets . . . . . . . . . 73
Y. Y. Yao and
J. P. Zhang Interpreting Fuzzy Membership Functions
in the Theory of Rough Sets . . . . . . 82
James J. Alpigini and
James F. Peters Dynamic System Visualization with Rough
Performance Maps . . . . . . . . . . . . 90
Peter Apostoli and
Akira Kanda Approximation Spaces of Type-Free Sets 98
Jan G. Bazan and
Marcin Szczuka RSES and RSESlib --- A Collection of
Tools for Rough Set Computations . . . . 106
Malcolm Beynon An Investigation of $\beta$-Reduct
Selection within the Variable Precision
Rough Sets Model . . . . . . . . . . . . 114--122
Maciej Borkowski and
Dominik Slezak Application of Discernibility Tables to
Calculation of Approximate Frequency
Based Reducts . . . . . . . . . . . . . 123
Moussa Boussouf and
Mohamed Quafafou Scalable Feature Selection Using Rough
Set Theory . . . . . . . . . . . . . . . 131
Igor Chikalov On Algorithm for Constructing of
Decision Trees with Minimal Number of
Nodes . . . . . . . . . . . . . . . . . 139
Alexios Chouchoulas and
Qiang Shen Rough Set-Based Dimensionality Reduction
for Multivariate Adaptive Regression
Splines . . . . . . . . . . . . . . . . 144
Grzegorz Drwal Rough and Fuzzy-Rough Classification
Methods Implemented in RClass System . . 152
S. Greco and
B. Matarazzo and
R. Slowinski Rough Set Approach to Decisions under
Risk . . . . . . . . . . . . . . . . . . 160
S. Greco and
B. Matarazzo and
R. Slowinski and
J. Stefanowski Variable Consistency Model of
Dominance-Based Rough Sets Approach . . 170
Jouni Järinen Approximations and Rough Sets Based on
Tolerances . . . . . . . . . . . . . . . 182
Herman Midelfart and
Jan Komorowski A Rough Set Approach to Inductive Logic
Programming . . . . . . . . . . . . . . 190
Mikhail Moshkov Classification of Infinite Information
Systems . . . . . . . . . . . . . . . . 199
Zbigniew Suraj Some Remarks on Extensions and
Restrictions of Information Systems . . 204
Jerzy Stefanowski and
Alexis Tsouki\`as Valued Tolerance and Decision Rules . . 212
Karl Erich Wolff A Conceptual View of Knowledge Bases in
Rough Set Theory . . . . . . . . . . . . 220
Adriano Breunig and
Haroldo R. de Azevedo and
Edilberto P. Teixeira and
Elmo B. de Faria Computer Vision Using Fuzzy Logic for
Robot Manipulator . . . . . . . . . . . 229
Kankana Chakrabarty On Fuzzy Lattice . . . . . . . . . . . . 238
Hugang Han and
Chun-Yi Su and
Shuta Murakami Fuzzy-Logic-Based Adaptive Control for a
Class of Nonlinear Discrete-Time System 243
Rolly Intan and
Masao Mukaidono Conditional Probability Relations in
Fuzzy Relational Database . . . . . . . 251
Masahiro Inuiguchi and
Tetsuzo Tanino A New Class of Necessity Measures and
Fuzzy Rough Sets Based on Certainty
Qualifications . . . . . . . . . . . . . 261
Jamil Saquer and
Jitender S. Deogun A Fuzzy Approach for Approximating
Formal Concepts . . . . . . . . . . . . 269
Helmut Thiele On Axiomatic Characterizations of Fuzzy
Approximation Operators . . . . . . . . 277
M. C. Fernández-Baizán and
C. Pérez-Llera and
J. Feito-García and
A. Almeida LEM3 Algorithm Generalization Based on
Stochastic Approximation Space . . . . . 286
María C. Fernández-Baizán and
Ernestina Menasalvas Ruiz and
José M. Peña Sánchez and
Juan Francisco Martínez Sarrías and
Socorro Millán Using the Apriori Algorithm to Improve
Rough Sets Results . . . . . . . . . . . 291
Juan F. Gálvez and
Fernando Diaz and
Pilar Carrión and
Angel Garcia An Application for Knowledge Discovery
Based on a Revision of VPRS Model . . . 296
Salvatore Greco and
Benedetto Matarazzo and
Roman Slowinski and
Jerzy Stefanowski An Algorithm for Induction of Decision
Rules Consistent with the Dominance
Principle . . . . . . . . . . . . . . . 304
J. W. Guan and
D. A. Bel Data Mining for Monitoring Loose Parts
in Nuclear Power Plants . . . . . . . . 314
Jianchao Han and
Xiaohua Hu and
Nick Cercone Supervised Learning: A Generalized Rough
Set Approach . . . . . . . . . . . . . . 322
Julia Johnson and
Mengchi Liu and
Hong Chen Unification of Knowledge Discovery and
Data Mining Using Rough Sets Approach in
a Real-World Application . . . . . . . . 330
Aileen H. Liang and
Wojciech Ziarko and
Brien Maguire The Application of a Distance Learning
Algorithm in Web-Based Course Delivery 338
Tsau Young (``T. Y.'') Lin and
Hui Cao Searching Decision Rules in Very Large
Databases Using Rough Set Theory . . . . 346
Nguyen Hung Son On Efficient Construction of Decision
Trees from Large Databases . . . . . . . 354
Shusaku Tsumoto An Approach to Statistical Extension of
Rough Set Rule Induction . . . . . . . . 362
Guoyin Wang and
Feng Liu The Inconsistency in Rough Set Based
Rule Generation . . . . . . . . . . . . 370
Jerzy W. Grzymala-Busse and
Ming Hu A Comparison of Several Approaches to
Missing Attribute Values in Data Mining 378
Hoang Kiem and
Do Phuc Discovering Motiv Based Association
Rules in a Set of DNA Sequences . . . . 386
Marzena Kryszkiewicz Inducing Theory for the Rule Set . . . . 391
Jean-Charles Lamirel and
Jacques Ducloy and
Hager Kammoun Some Basics of a Self Organizing Map
(SOM) Extended Model for Information
Discovery in a Digital Library Context 399
Michinori Nakata and
Tetsuya Murai and
Germano Resconi Handling Data with Plural Sources in
Databases . . . . . . . . . . . . . . . 404
David Ramamonjisoa and
Einoshin Suzuki and
Issam Hamid Research Topics Discovery from WWW by
Keywords Association Rules . . . . . . . 412
Piotr Synak Temporal Templates and Analysis of Time
Related Data . . . . . . . . . . . . . . 420
Arkadiusz Wojna Constraint Based Incremental Learning of
Classification Rules . . . . . . . . . . 428
Ning Zhong and
Juzhen Dong and
Chunnian Liu and
Setsuo Ohsuga A Hybrid Model for Rule Discovery in
Data . . . . . . . . . . . . . . . . . . 436
Thomas Bittner and
John G. Stell Rough Sets in Approximate Spatial
Reasoning . . . . . . . . . . . . . . . 445
Tao Lin and
Yichao Huang A Study of Conditional Independence
Change in Learning Probabilistic Network 454
Qing Liu $\lambda$-Level Rough Equality Relation
and the Inference of Rough
Paramodulation . . . . . . . . . . . . . 462
Kazumi Nakamatsu and
Jair Minoro Abe and
Atsuyuki Suzuki Annotated Semantics for Defeasible
Deontic Reasoning . . . . . . . . . . . 470
Lech Polkowski Spatial Reasoning via Rough Sets . . . . 479
P. Sapiecha and
H. Selvaraj and
M. Pleban Decomposition of Boolean Relations and
Functions in Logic Synthesis and Data
Analysis . . . . . . . . . . . . . . . . 487
Shusaku Tsumoto Diagnostic Reasoning from the Viewpoint
of Rough Sets . . . . . . . . . . . . . 495
Jan Wierzbicki Rough Set Approach to CBR . . . . . . . 503
S. K. M. Wong and
C. J. Butz Rough Sets for Uncertainty Reasoning . . 511
Basabi Chakraborty Feature Subset Selection by Neuro-rough
Hybridization . . . . . . . . . . . . . 519
Seok-Woo Jang and
Kyu-Jung Kim and
Hyung-J. Choi Accurate Estimation of Motion Vectors
Using Active Block Matching . . . . . . 5