Last update:
Sat Jun 11 12:18:42 MDT 2016
Jean-Claude Derniame and
Badara Ali Kaba and
Brian Warboys The Software Process: Modelling and
Technology . . . . . . . . . . . . . . . 1
Anthony Finkelstein and
Alfonso Fuggetta and
Carlo Montangero and
Jean-Claude Derniame Software Process --- Standards,
Assessments and Improvement . . . . . . 15
Reidar Conradi and
M. Letizia Jaccheri Process Modelling Languages . . . . . . 27
Denis Avrillionis and
Reidar Conradi and
Pierre-Yves Cunin and
Minh Nguyen and
Ian Robertson Meta-Process . . . . . . . . . . . . . . 53
Alfonso Fuggetta and
Claude Godart and
Jens Jahnke Architectural Views and Alternatives . . 95
Noureddine Belkhatir and
Antonio Carzaniga and
Jacky Estublier and
Elisabetta Di Nitto and
Jens Jahnke and
Patricia Lago and
Wilhelm Schaefer and
Hala Skaf Cooperation Control in PSEE . . . . . . 117
Selma Arbaoui and
Jacques Lonchamp and
Carlo Montangero The Human Dimension of the Software
Process . . . . . . . . . . . . . . . . 165
Jean-Claude Derniame and
Mark Greenwood and
Peter Kawalek and
Ian Roberston Software Process: Key Issues and Future
Directions . . . . . . . . . . . . . . . 201
Anonymous Lifecycle (Sub) Process Demonstration
Scenario (ISPW 9) . . . . . . . . . . . 217
Luuk Groenewegen and
Vincenzo Ambriola Case Study Demonstrating the Wider
Applicability of the PSEE Paradigm . . . 227
Ilham Alloui and
Selma Arbaoui and
Denis Avrilionis and
Christer Fernstrom and
Samir Dami and
Jacky Estublier and
Flavio Oquendo Assessment Framework for PSEEs . . . . . 245
Anonymous Glossary and References . . . . . . . . 277
J. C. (Jean Claude) Derniame and
Badara Ali Kaba and
David Wastell Software Process: Principles,
Methodology, and Technology . . . . . . i--xii, 1--307
Gilles Brassard and
Tal Mor Multi-particle Entanglement via
Two-Particle Entanglement . . . . . . . 1--9
Amir Fijany and
Colin P. Williams Quantum Wavelet Transforms: Fast
Algorithms and Complete Circuits . . . . 10--33
Jeffrey Yepez Quantum Computation of Fluid Dynamics 34--60
Richard Cleve and
Wim van Dam and
Michael Nielsen and
Alain Tapp Quantum Entanglement and the
Communication Complexity of the Inner
Product Function . . . . . . . . . . . . 61--74
Michail Zak and
Colin P. Williams Quantum Recurrent Networks for
Simulating Stochastic Processes . . . . 75--88
Günter Mahler and
Ilki Kim Correlation between Correlations:
Process and Time in Quantum Networks . . 89--102
Richard Jozsa Quantum Effects in Algorithms . . . . . 103--112
Colin P. Williams and
Alexander G. Gray Automated Design of Quantum Circuits . . 113--125
Lov K. Grover Quantum Search on Structured Problems 126--139
David Biron and
Ofer Biham and
Eli Biham and
Markus Grassl and
Daniel A. Lidar Generalized Grover Search Algorithm for
Arbitrary Initial Amplitude Distribution 140--147
Dong Pyo Chi and
Jinsoo Kim Quantum Database Search by a Single
Query . . . . . . . . . . . . . . . . . 148--151
Y. Ozhigov Quantum Computer Can Not Speed Up
Iterated Applications of a Black Box . . 152--159
Michail Zak Quantum Resonance for Solving
NP-complete Problems by Simulations . . 160--166
Daniel S. Abrams and
Seth Lloyd Computational Complexity and Physical
Law . . . . . . . . . . . . . . . . . . 167--173
Michele Mosca and
Artur Ekert The Hidden Subgroup Problem and
Eigenvalue Estimation on a Quantum
Computer . . . . . . . . . . . . . . . . 174--188
Giuseppe Castagnoli and
Dalida Monti A Diakoptic Approach to Quantum
Computation . . . . . . . . . . . . . . 189--199
R. J. Hughes and
W. T. Buttler and
P. G. Kwiat and
S. K. Lamoreaux and
G. G. Luther and
G. L. Morgan and
J. E. Nordholt and
C. G. Peterson and
C. M. Simmons Practical Free-Space Quantum
Cryptography . . . . . . . . . . . . . . 200--213
S. Roy and
G. Kar Quantum Cryptography, Eavesdropping, and
Unsharp Spin Measurement . . . . . . . . 214--217
Nicolas J. Cerf Information-Theoretic Aspects of Quantum
Copying . . . . . . . . . . . . . . . . 218
V. Buzek and
M. Hillery Universal Optimal Cloning of Qubits and
Quantum Registers . . . . . . . . . . . 235--246
David P. DiVincenzo and
Christopher A. Fuchs and
Hideo Mabuchi and
John A. Smolin and
Ashish Thapliyal and
Armin Uhlmann Entanglement of Assistance . . . . . . . 247--257
C. Adami and
N. J. Cerf What Information Theory Can Tell Us
About Quantum Reality . . . . . . . . . 258--268
L. B. Levitin Quantum Generalization of Conditional
Entropy and Information . . . . . . . . 269--275
A. E. Allahverdyan and
D. B. Saakian Accessible Information in Multi-access
Quantum Channels . . . . . . . . . . . . 276--284
Michael Westmoreland and
Benjamin Schumacher Capacities of Quantum Channels and
Quantum Coherent Information . . . . . . 285--295
D. B. Saakian and
A. E. Allahverdyan Strengthened Lindblad Inequality:
Applications in Non-equilibrium
Thermodynamics and Quantum Information
Theory . . . . . . . . . . . . . . . . . 296--301
Daniel Gottesman Fault-Tolerant Quantum Computation with
Higher-Dimensional Systems . . . . . . . 302--313
H. F. Chau Quantum Convolutional Error Correction
Codes . . . . . . . . . . . . . . . . . 314--324
Vwani P. Roychowdhury and
Farrokh Vatan On the Existence of Nonadditive Quantum
Codes . . . . . . . . . . . . . . . . . 325--336
Lu-Ming Duan and
Guang-Can Guo Quantum Error Correction Is Applicable
for Reducing Spatially Correlated
Decoherence . . . . . . . . . . . . . . 337--340
R. Walter Ogburn and
John Preskill Topological Quantum Computation . . . . 341--356
R. Laflamme and
E. Knill and
W. H. Zurek and
P. Catasti and
S. V. S. Mariappan NMR GHZ . . . . . . . . . . . . . . . . 357--363
Charles M. Bowden and
Jonathan P. Dowling and
Steven P. Hotaling Quantum Computing Using Electron-Nuclear
Double Resonances . . . . . . . . . . . 364--372
H.-J. Briegel and
J. I. Cirac and
W. Dür and
S. J. van Enk and
H. J. Kimble and
H. Mabuchi and
P. Zoller Physical Implementations for Quantum
Communication in Quantum Networks . . . 373--382
J. D. Franson and
T. B. Pittman An Optical Approach to Quantum Computing 383--390
C. Adami and
N. J. Cerf Quantum Computation with Linear Optics 391--401
D. Vitali and
P. Tombesi Decoherence Control for Optical Qubits 402--412
D. V. Averin Adiabatic Controlled-NOT Gate for
Quantum Computation . . . . . . . . . . 413--425
D. F. V. James and
M. S. Gulley and
M. H. Holzscheiter and
R. J. Hughes and
P. G. Kwiat and
S. K. Lamoreaux and
C. G. Peterson and
V. D. Sandberg and
M. M. Schauer and
C. M. Simmons and
D. Tupa and
P. Z. Wang and
A. G. White Trapped Ion Quantum Computer Research at
Los Alamos . . . . . . . . . . . . . . . 426--437
Ralph G. DeVoe Arrays of Elliptical Ion Traps for
Parallel Quantum Computing . . . . . . . 438--446
Kevin M. Obenland and
Alvin M. Despain Simulating the Effect of Decoherence and
Inaccuracies on a Quantum Computer . . . 447--459
Alexander A. Balandin and
Kang L. Wang Implementation of Quantum Controlled-NOT
Gates Using Asymmetric Semiconductor
Quantum Dots . . . . . . . . . . . . . . 460--467
Hideaki Matsueda Spatiotemporal Dynamics of Quantum
Computing Solid Dipole-Dipole Block
Systems . . . . . . . . . . . . . . . . 468--477
J. Alves-Foss and
D. Frincke Formal Grammar for Java . . . . . . . . 1
S. Drossopoulou and
S. Eisenbach Describing the Semantics of Java and
Proving Type Soundness . . . . . . . . . 41
D. Syme Proving Java Type Soundness . . . . . . 83
D. Von Oheimb and
T. Nipkow Machine-Checking the Java Specification:
Proving Type-Safety . . . . . . . . . . 119
P. Cenciarelli and
A. Knapp and
B. Reus and
M. Wirsing An Event-Based Structural Operational
Semantics of Multi-Threaded Java . . . . 157
J. Alves-Foss and
F. S. Lam Dynamic Denotational Semantics of Java 201
M. Flatt and
S. Krishnamurthi and
M. Felleisen A Programmer's Reduction Semantics for
Classes and Mixins . . . . . . . . . . . 241
Z. Qian A Formal Specification of Java[TM]
Virtual Machine Instructions for
Objects, Methods and Subroutines . . . . 271
P. H. Hartel and
M. J. Butler and
M. Levy The Operational Semantics of a Java
Secure Processor . . . . . . . . . . . . 313
E. Boerger and
W. Schulte A Programmer Friendly Modular Definition
of the Semantics of Java . . . . . . . . 353
Malcolm Atkinson and
Mick Jordan Issues Raised by Three Years of
Developing PJama: An Orthogonally
Persistent Platform for Java\TM . . . . 1--30
Christos H. Papadimitriou Novel Computational Approaches to
Information Retrieval and Data Mining p.
31 . . . . . . . . . . . . . . . . . . . 31
Maurizio Lenzerini Description Logics and Their
Relationships with Databases . . . . . . 32--38
Lucian Popa and
Val Tannen An Equational Chase for Path-Conjunctive
Queries, Constraints, and Views . . . . 39--57
Frank Neven and
Martin Otto and
Jurek Tyszkiewicz and
Jan Van den Bussche Adding For-Loops to First-Order Logic 58--69
Martin Grohe and
Julian Mariño Definability and Descriptive Complexity
on Databases of Bounded Tree-Width . . . 70--82
James Bailey and
Guozhu Dong Decidability of First-Order Logic
Queries over Views . . . . . . . . . . . 83--99
Dani\`ele Gardy and
Laurent Némirovski Urn Models and Yao's Formula . . . . . . 100--112
Joseph M. Hellerstein and
Lisa Hellerstein and
George Kollios On the Generation of $2$-Dimensional
Index Workloads . . . . . . . . . . . . 113--130
Matthias Nicola and
Matthias Jarke Increasing the Expressiveness of
Analytical Performance Models for
Replicated Databases . . . . . . . . . . 131--149
Gustavo Alonso and
Armin Feßler and
Guy Pardon and
Hans-Jörg Schek Transactions in Stack, Fork, and Join
Composite Systems . . . . . . . . . . . 150--168
Ouri Wolfson and
Liqin Jiang and
A. Prasad Sistla and
Sam Chamberlain and
Naphtali Rishe and
Minglin Deng Databases for Tracking Mobile Units in
Real Time . . . . . . . . . . . . . . . 169--186
Bart Kuijpers and
Jan Van den Bussche On Capturing First-Order Topological
Properties of Planar Spatial Databases 187--198
Stéphane Grumbach and
Philippe Rigaux and
Luc Segoufin On the Orthographic Dimension of
Constraint Databases . . . . . . . . . . 199--216
Kevin Beyer and
Jonathan Goldstein and
Raghu Ramakrishnan and
Uri Shaft When Is ``Nearest Neighbor'' Meaningful? 217--235
S. Muthukrishnan and
Viswanath Poosala and
Torsten Suel On Rectangular Partitionings in Two
Dimensions: Algorithms, Complexity, and
Applications . . . . . . . . . . . . . . 236--256
K. V. Ravi Kanth and
Ambuj Singh Optimal Dynamic Range Searching in
Non-replicating Index Structures . . . . 257--276
Tova Milo and
Dan Suciu Index Structures for Path Expressions 277--295
Catriel Beeri and
Tova Milo Schemas for Integration and Translation
of Structured and Semi-structured Data 296--313
C. Been and
T. Milo Schemas for Integration and Translation
of Structured and Semi-structured Data 296
Stéphane Grumbach and
Giansalvatore Mecca In Search of the Lost Schema . . . . . . 314--331
Gösta Grahne and
Alberto O. Mendelzon Tableau Techniques for Querying
Information Sources through Global
Schemas . . . . . . . . . . . . . . . . 332--347
Ramana Yerneni and
Chen Li and
Jeffrey Ullman and
Hector Garcia-Molina Optimizing Large Join Queries in
Mediation Systems . . . . . . . . . . . 348--364
Chaoyi Pang and
Ramamohanarao Kotagiri and
Guozhu Dong Incremental FO$ ( +, <) $ Maintenance of
All-Pairs Shortest Paths for Undirected
Graphs after Insertions and Deletions 365--382
Luca Cabibbo and
Riccardo Torlone A Framework for the Investigation of
Aggregate Functions in Database Queries 383--397
Nicolas Pasquier and
Yves Bastide and
Rafik Taouil and
Lotfi Lakhal Discovering Frequent Closed Itemsets for
Association Rules . . . . . . . . . . . 398--416
Parke Godfrey and
Jarek Gryz View Disassembly . . . . . . . . . . . . 417--434
Foto N. Afrati and
Manolis Gergatsoulis and
Theodoros Kavalieros Answering Queries Using Materialized
Views with Disjunctions . . . . . . . . 435--452
Himanshu Gupta and
Inderpal Singh Mumick Selection of Views to Materialize Under
a Maintenance Cost Constraint . . . . . 453--470
Himanshu Gupta and
Divesh Srivastava The Data Warehouse of Newsgroups . . . . 471--488
C. Schlegel and
J. Illman and
H. Jaberg and
M. Schuster Integrating Vision Based Behaviours with
an Autonomous Robot . . . . . . . . . . 1--20
J. Santos-Victor and
R. Vassallo and
H. Schneebeli Topological Maps for Visual Navigation 21--36
B. Southall and
T. Hague and
J. A. Marchant and
B. F. Buxton Vision-Aided Outdoor Navigation of an
Autonomous Horticultural Vehicle . . . . 37--50
B. Schiele and
N. Oliver and
T. Jebara and
A. Pentland An Interactive Computer Vision System
DyPERS: Dynamic Personal Enhanced
Reality System . . . . . . . . . . . . . 51--65
C. Pinhanez and
A. Bobick Using Computer Vision to Control a
Reactive Computer Graphics Character in
a Theater Play . . . . . . . . . . . . . 66--82
J. P. Hammes and
B. A. Draper and
A. P. Willem Boehm Sassy: A Language and Optimizing
Compiler for Image Processing on
Reconfigurable Computing Systems . . . . 83--97
F. Torres and
F. A. Candelas and
S. T. Puente and
L. M. Jimenez Simulation and Scheduling of Real-Time
Computer Vision Algorithms . . . . . . . 98--114
P. Nordlund and
J.-O. Eklundh Real-Time Maintenance of Figure-Ground
Segmentation . . . . . . . . . . . . . . 115--134
M. Vincze and
M. Ayromlou and
W. Kubinger An Integrated Framework for Robust
Real-Time $3$D Object Tracking . . . . . 135--150
W. E. Vieux and
K. Schwerdt and
J. L. Crowley Face-Tracking and Coding for Video
Compression . . . . . . . . . . . . . . 151--161
E. Prassler and
J. Scholz and
A. Elfes Tracking People in a Railway Station
During Rush-Hour . . . . . . . . . . . . 162--179
D. Paulus and
U. Ahlrichs and
B. Heigl and
J. Denzler Active Knowledge-Based Scene Analysis 180--199
M. Thonnat and
S. Moisan and
M. Crubezy Experience in Integrating Image
Processing Programs . . . . . . . . . . 200--215
S. Coradeschi and
L. Karlsson and
K. Nordberg Integration of Vision and
Decision-Making in an Autonomous
Airborne Vehicle for Traffic
Surveillance . . . . . . . . . . . . . . 216--230
S. Wachsmuth and
H. Brandt-Pook and
G. Socher and
F. Kummert Multilevel Integration of Vision and
Speech Understanding Using Bayesian
Networks . . . . . . . . . . . . . . . . 231--254
N. Oliver and
B. Rosario and
A. Pentland A Bayesian Computer Vision System for
Modeling Human Interaction . . . . . . . 255--272
T. Jebara and
A. Pentland Action Reaction Learning: Automatic
Visual Analysis and Synthesis of
Interactive Behaviour . . . . . . . . . 273--292
D. Hernandez-Sosa and
J. Lorenzo-Navarro and
M. Hernandez-Tejera and
J. Cabrera-Gamez A Generic Model for Perception-Action
Systems Analysis of a Knowledge-Based
Prototype . . . . . . . . . . . . . . . 293--311
Z. Doods and
M. Jaegersand and
G. Hager and
K. Toyama A Hierarchical Vision Architecture for
Robotic Manipulation Tasks . . . . . . . 312--330
P. Krautgartner and
M. Vincze Optimal Image Processing Architecture
for Active Vision . . . . . . . . . . . 331--347
D. Benitez and
J. Cabrera Reactive Computer Vision System with
Reconfigurable Architecture . . . . . . 348--360
P. Steinhaus and
M. Ehrenmann and
R. Dillmann MEPHISTO: A Modular and Extensible Path
Planning System Using Observation . . . 361--375
M. Hernandez and
J. Cabrera and
A. Dominguez and
M. Castrillon DESEO: An Active Vision System for
Detection, Tracking and Recognition . . 376--391
M. Bollmann and
R. Hoischen and
M. Jesikiewicz and
C. Justkowski Playing Domino: A Casy Study for an
Active Vision System . . . . . . . . . . 392--411
J. Barreto and
P. Peixoto and
J. Batista and
H. Araujo Improving $3$D Active Visual Tracking 412--431
J. E. Santos Conde and
A. Teuner and
S.-B. Park and
B. J. Hosticka Surveillance System Based on Detection
and Tracking of Moving Objects Using
CMOS Imagers . . . . . . . . . . . . . . 432--449
C. Parra and
R. Murrieta-Cid and
M. Devy and
M. Briot $3$-D Modelling and Robot Localization
from Visual and Range Data in Natural
Scenes . . . . . . . . . . . . . . . . . 450--468
M. Marengoni and
C. Jaynes and
A. Hanson and
E. Riseman Ascender II, a Visual Framework for $3$D
Reconstruction . . . . . . . . . . . . . 469--488
E. Wolfart and
V. Sequeira and
K. Ng and
S. Butterfield Hybrid Approach to the Construction of
Triangulated $3$D Models of Building
Interiors . . . . . . . . . . . . . . . 489--508
R. Young and
J. Matas and
J. Kittler On Camera Calibration for Scene Model
Acquisition and Maintenance Using an
Active Vision System . . . . . . . . . . 509--521
B. A. Draper and
J. Bins and
K. Baek ADORE: Adaptive Object Recognition . . . 522--537
S. Jonquieres and
M. Devy and
F. Huynh and
M. Khatib Object Recognition for a Grasping Task
by a Mobile Manipulator . . . . . . . . 538--551
Zhou Chaochen Duration Calculus, a Logical Approach to
Real-Time Systems . . . . . . . . . . . 1--7
Don Pigozzi Abstract Algebraic Logic . . . . . . . . 8--16
Thomas S. E. Maibaum and
Pauline Kan and
Kevin Lano Systematising Reactive System Design . . 17--22
Pamela Zave Systematic Design of Call-Coverage
Features . . . . . . . . . . . . . . . . 23--27
Zohar Manna and
Anca Browne and
Henny B. Sipma and
Tomás E. Uribe Visual Abstractions for Temporal
Verification . . . . . . . . . . . . . . 28--41
Glynn Winskel A Linear Metalanguage for Concurrency 42--58
Tomohiro Yoneda and
Bin Zhou and
Bernd-Holger Schlingloff Verification of Bounded Delay
Asynchronous Circuits with Timed Traces 59--73
Jan Friso Groote and
Radu Mateescu Verification of Temporal Properties of
Processes in a Setting with Data . . . . 74--90
Gabriel A. Baum and
Marcelo F. Frias and
Thomas S. E. Maibaum A Logic for Real-Time Systems
Specification, Its Algebraic Semantics,
and Equational Calculus . . . . . . . . 91--105
Gregoire Sutre and
Alain Finkel and
Olivier Roux and
Franck Cassez Effective Recognizability and Model
Checking of Reactive Fiffo Automata . . 106--123
Bettina Buth and
Jan Peleska and
Hui Shi Combining Methods for the Livelock
Analysis of a Fault-Tolerant System . . 124--139
Bernhard Heinemann Separating Sets by Modal Formulas . . . 140--153
Maarten Marx Interpolation in Modal Logic . . . . . . 154--163
V. De Paiva and
A. Schalk Building Models of Linear Logic . . . . 164--177
Valeria de Paiva and
Andrea Schalk Building Models of Linear Logic . . . . 164
W. Marco Schorlemmer Term Rewriting in a Logic of Special
Relations . . . . . . . . . . . . . . . 178--195
Jo Erskine Hannay Abstraction Barriers in Equational Proof 196--213
Mourad Debbabi and
Abdelkader Benzakour and
Béchir Ktari A Synergy Between Model-Checking and
Type Inference for the Verification of
Value-Passing Higher-Order Processes . . 214--230
Jürgen Dingel A Trace-Based Refinement Calculus for
Shared-Variable Parallel Programs . . . 231--247
Maarten Steen and
John Derrick and
Eerke Boiten and
Howard Bowman Consistency of Partial Process
Specifications . . . . . . . . . . . . . 248--262
Rolf Hennicker and
Michel Bidoit Observational Logic . . . . . . . . . . 263--277
R. Van Glabbeek and
P. Rittgen Scheduling Algebra . . . . . . . . . . . 278--292
Rob van Glabbeek and
Peter Rittgen Scheduling Algebra . . . . . . . . . . . 278
José Luiz Fiadeiro and
Antónia Lopes Algebraic Semantics of Coordination or
What Is in a Signature? . . . . . . . . 293--307
Leila Silva and
Augusto Sampaio and
Edna Barros and
Juliano Iyoda An Algebraic Approach to Combining
Processes in a Hardware/Software
Partitioning Environment . . . . . . . . 308--324
Pietro Cenciarelli An Algebraic View of Program Composition 325--340
Michel Bidoit and
Donald Sannella and
Andrzej Tarlecki Architectural Specifications in CASL . . 341--357
Paola Quaglia Pi-Congruences as CCS Equivalences . . . 358--372
Hél\`ene Kirchner and
Peter D. Mosses Algebraic Specifications, Higher-Order
Types, and Set-Theoretic Models . . . . 373--388
W\lodzimierz Drabent and
Pawe\l Pietrzak Type Analysis for CHIP . . . . . . . . . 389--405
Martin Erwig Categorical Programming with Abstract
Data Types . . . . . . . . . . . . . . . 406--421
B. C. Ruiz Jimenez Condensing Lemmas for Pure Type Systems
with Universes . . . . . . . . . . . . . 422--437
Blas C. Ruiz Jiménez Condensing Lemmas for Pure Type Systems
with Universes . . . . . . . . . . . . . 422
Jesús Manuel Almendros-Jiménez Improving Computations in a Typed
Functional Logic Language . . . . . . . 438--454
Fausto Spoto and
Giorgio Levi Abstract Interpretation of Prolog
Programs . . . . . . . . . . . . . . . . 455--470
Roberto Bagnara and
Peter Schachte Factorizing Equivalent Variable Pairs in
ROBDD-Based Implementations of Pos . . . 471--485
Alfio Martini and
Uwe Wolter A Single Perspective on Arrows between
Institutions . . . . . . . . . . . . . . 486--501
Patrícia D. L. Machado On Oracles for Interpreting Test Results
against Algebraic Specifications . . . . 502--518
Zoltan Gassmann and
Luis Mandel and
Roshan Sembacuttiaratchy R ECOPLA : An Extendible Graphic
Meta-Editor . . . . . . . . . . . . . . 519--521
Bernd Grahlmann The State of PEP . . . . . . . . . . . . 522--526
H. P. De Moura and
L. C. De Sousa Menezes The ABACO System --- An Algebraic Based
Action COmpiler . . . . . . . . . . . . 527--529
Hermano Perrelli de Moura and
Luis Carlos de Sousa Menezes The A BACO System --- An Algebraic Based
Action COmpiler . . . . . . . . . . . . 527
M. Pettersson Compiling Natural Semantics . . . . . . i--xvi, 1--240
Lawrence C. Paulson Inductive Analysis of the Internet
Protocol TLS (Position Paper) . . . . . 1--12
Anonymous Inductive Analysis of the Internet
Protocol TLS: Discussion . . . . . . . . 13--23
Lawrence C. Paulson Inductive Analysis of the Internet
Protocol TLS (Transcript of Discussion) 13
Simon N. Foley External Consistency and the
Verification of Security Protocols
(Position Paper) . . . . . . . . . . . . 24--27
Anonymous External Consistency and the
Verification of Security Protocols:
Discussion . . . . . . . . . . . . . . . 28--35
Simon N. Foley External Consistency and the
Verification of Security Protocols
(Transcript of Discussion) . . . . . . . 28
Carl Ellison The Trust Shell Game (Position Paper) 36--40
Anonymous The Trust Shell Game: Discussion . . . . 41--44
Carl Ellison The Trust Shell Game (Transcript of
Discussion) . . . . . . . . . . . . . . 41
Joan Feigenbaum Overview of the AT&T Labs
Trust-Management Project (Position
Paper) . . . . . . . . . . . . . . . . . 45--50
Anonymous Overview of the AT&T Labs
Trust-Management Project: Discussion . . 51--58
Joan Feigenbaum Overview of the AT&T Labs
Trust-Management Project (Transcript of
Discussion) . . . . . . . . . . . . . . 51
Matt Blaze and
Joan Feigenbaum and
Angelos D. Keromytis KeyNote: Trust Management for Public-Key
Infrastructures (Position Paper) . . . . 59--63
Anonymous Discussion Session --- Trust Management 64--66
Virgil D. Gligor and
Serban I. Gavrila Application-Oriented Security Policies
and Their Composition (Position Paper) 67--74
Anonymous Application-Oriented Security Policies
and Their Composition: Discussion . . . 75--82
Virgil D. Gligor Application-Oriented Security Policies
and Their Composition (Transcript of
Discussion) . . . . . . . . . . . . . . 75
Hiroshi Yoshiura and
Ryoichi Sasaki and
Kazuo Takaragi Secure Fingerprinting Using Public-Key
Cryptography (Position Paper) . . . . . 83--89
H. Yshiura and
R. Sasaki and
K. Takaragi Secure Fingerprinting Using Public-Key
Cryptography . . . . . . . . . . . . . . 83
Ryoichi Sasaki Secure Fingerprinting Using Public-Key
Cryptography (Transcript of Discussion) 90--94
F. Bergadano and
P. De Mauro Third Party Certification of HTTP
Service Access Statistics (Position
Paper) . . . . . . . . . . . . . . . . . 95--99
Anonymous Third Party Certification of HTTP
Service Access Statistics: Discussion 100--107
F. Bergadano Third Party Certification of HTTP
Service Access Statistics (Transcript of
Discussion) . . . . . . . . . . . . . . 100
William S. Harbison Delegating Trust (Transcript of
Discussion) . . . . . . . . . . . . . . 108--117
Bruno Crispo Delegation of Responsibility (Position
Paper) . . . . . . . . . . . . . . . . . 118--124
Bruno Crispo Delegation of Responsibility (Transcript
of Discussion) . . . . . . . . . . . . . 125--130
Mark Lomas Abuse of Process (Transcript of
Discussion) . . . . . . . . . . . . . . 131--136
Peter Landrock A New Concept in Protocols: Verifiable
Computational Delegation (Position
Paper) . . . . . . . . . . . . . . . . . 137--145
Peter Landrock A New Concept in Protocols: Verifiable
Computational Delegation (Transcript of
Discussion) . . . . . . . . . . . . . . 146--153
Bruce Christianson and
James A. Malcolm Delegation and Not-So Smart Cards
(Position Paper) . . . . . . . . . . . . 154--157
Bruce Christianson Delegation and Not-So Smart Card
(Transcript of Discussion) . . . . . . . 158--167
Michael Roe Certification and Delegation (Transcript
of Discussion) . . . . . . . . . . . . . 168--176
Virgil D. Gligor and
Peter Landrock and
Mark Lomas and
Raphael Yahalom and
John Warne Discussion Session: Differences Between
Academic and Commercial Security . . . . 177--192
Raphael Yahalom Optimistic Trust with Realistic
$e$Nvestigators (Position Paper) . . . . 193--202
Raphael Yahalom Optimistic Trust with Realistic
$e$Nvestigators (Transcript of
Discussion) . . . . . . . . . . . . . . 203--212
Dieter Gollmann Insider Fraud (Position Paper) . . . . . 213--219
Dieter Gollmann Insider Fraud (Transcript of Discussion) 220--226
Stewart Lee and
Joan Feigenbaum and
Virgil D. Gligor and
Bruce Christianson Panel Session --- Future Directions . . 227--240
Anonymous Index of Contributors . . . . . . . . . 241
Anonymous Contents . . . . . . . . . . . . . . . . vii
Anonymous Preface . . . . . . . . . . . . . . . . v
Graeme E. Moss and
Colin Runciman Automated Benchmarking of Functional
Data Structures . . . . . . . . . . . . 1--15
Marco Cadoli and
Luigi Palopoli and
Andrea Schaerf and
Domenico Vasile NP --- SPEC: An Executable Specification
Language for Solving All Problems in NP 16--30
Patricio Letelier and
Pedro Sánchez and
Isidro Ramos Prototyping a Requirements Specification
through an Automatically Generated
Concurrent Logic Program . . . . . . . . 31--45
Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli and
Viviana Mascardi and
Floriano Zini Multi-agent Systems Development as a
Software Engineering Enterprise . . . . 46--60
Conal Elliott From Functional Animation to
Sprite-Based Display . . . . . . . . . . 61--75
Wolfram Kahl Beyond Pretty-Printing: Galley Concepts
in Document Formatting Combinators . . . 76--90
John Peterson and
Paul Hudak and
Conal Elliott Lambda in Motion: Controlling Robots
with Haskell . . . . . . . . . . . . . . 91--105
Bart Demoen and
Konstantinos Sagonas CHAT: The Copy-Hybrid Approach to
Tabling . . . . . . . . . . . . . . . . 106--121
M. G. Silva and
I. C. Dutra and
R. Bianchini and
V. Santos Costa The Influence of Parallel Computer
Architectural Parameters on the
Performance of Parallel Logic
Programming Systems . . . . . . . . . . 122--136
Marcio G. Silva and
Inês C. Dutra and
Ricardo Bianchini and
Vítor Santos Costa The Influence of Architectural
Parameters on the Performance of
Parallel Logic Programming Systems . . . 122
Ricardo Rocha and
Fernando Silva and
Vítor Santos Costa Or-Parallelism within Tabling . . . . . 137--151
Håkan Mattsson and
Hans Nilsson and
Claes Wikström Mnesia --- A Distributed Robust DBMS for
Telecommunications Applications . . . . 152--163
Babu Siddabathuni and
Suzanne W. Dietrich and
Susan D. Urban An AQUA-Based Intermediate Language for
Evaluating an Active Deductive
Object-Oriented Language . . . . . . . . 164--178
Raul Hakli and
Matti Nykänen and
Hellis Tamm and
Esko Ukkonen Implementing a Declarative String Query
Language with String Restructuring . . . 179--195
Erik Meijer and
Daan Leijen and
James Hook Client-Side Web Scripting with
HaskellScript . . . . . . . . . . . . . 196--210
David Jeffery and
Tyson Dowd and
Zoltan Somogyi MCORBA: A CORBA Binding for Mercury . . 211--227
Hongwei Xi Dead Code Elimination through Dependent
Types . . . . . . . . . . . . . . . . . 228--242
M. Ferriera and
L. Damas Multiple Specialization of WAM Code . . 243--258
Michel Ferreira and
Luís Damas Multiple Specialization of WAM Code . . 243
Wamberto Weber Vasconcelos A Flexible Framework for Dynamic and
Static Slicing of Logic Programs . . . . 259--274
Arvind K. Bansal and
Peer Bork Applying Logic Programming to Derive
Novel Functional Information of Genomes 275--289
Richard Watson An Application of Action Theory to the
Space Shuttle . . . . . . . . . . . . . 290--304
Timo Soininen and
Ilkka Niemelä Developing a Declarative Rule Language
for Applications in Product
Configuration . . . . . . . . . . . . . 305--319
Hans-Joachim Goltz and
Dirk Matzke University Timetabling Using Constraint
Logic Programming . . . . . . . . . . . 320--334
Mats Carlsson and
Per Kreuger and
Emil Åström Constraint-Based Resource Allocation and
Scheduling in Steel Manufacturing . . . 335--349
Claude La\"\i Using Constraints in Local Proofs for
CLP Debugging . . . . . . . . . . . . . 350--359
C. Laie Using Constraints in Local Proofs for
CLP Debugging . . . . . . . . . . . . . 350
David A. Schmidt A Return to Elegance: The Reapplication
of Declarative Notation to Software
Design . . . . . . . . . . . . . . . . . 360--364
Mark Wallace and
Joachim Schimpf ECLiPSe: Declarative Specification and
Scaleable Implementation . . . . . . . . 365--366
N. Mouaddib and
G. Raschia A Fuzzy Attribute-Oriented Induction
Method for Knowledge Discovery in
Relational Databases . . . . . . . . . . 1--13
C.-L. Goh and
M. Tsukamoto and
S. Nishio Fast Methods with Magic Sampling for
Knowledge Discovery in Deductive
Databases with Large Deduction Results 14--28
Ceil Chua Eng Huang and
R. H. L. Chiang and
E.-P. Lim A Heuristic Method for Correlating
Attribute Group Pairs in Data Mining . . 29--40
T. Abraham and
J. F. Roddick Incremental Meta-Mining from Large
Temporal Data Sets . . . . . . . . . . . 41--54
S. Choenni On the Suitability of Genetic-Based
Algorithms for Data Mining . . . . . . . 55--67
S. S. Bhowmick and
S. K. Madria and
W.-K. Ng and
E.-P. Lim Data Visualization in a Web Warehouse 68--80
S. Samtani and
M. Mohania and
V. Kumar and
Y. Kambayashi Recent Advances and Research Problems in
Data Warehousing . . . . . . . . . . . . 81--92
S. S. Bhowmick and
S. K. Madria and
W.-K. Ng and
E.-P. Lim Web Warehousing: Design and Issues . . . 93--104
C. Sapia and
M. Blaschka and
G. Hoefling and
B. Dinter Extending the E/R Model for the
Multidimensional Paradigm . . . . . . . 105--116
G. Stumme and
K. E. Wolff Numerical Aspects in the Data Model of
Conceptual Information Systems . . . . . 117--128
S. Dekeyser and
B. Kuijpers and
J. Paredaens and
J. Wijsen Nested Data Cubes for OLAP . . . . . . . 129--140
J. F. Roddick Data Warehousing and Data Mining --- Are
We Working on the Right Things? . . . . 141--144
F. Estrella and
Z. Kovacs and
J.-M. Le Goff and
R. McClatchey The Design of an Engineering Data
Warehouse Based on Meta-Object
Structures . . . . . . . . . . . . . . . 145--156
H. Kim and
S. Park Two Version Concurrency Control
Algorithm with Query Locking for
Decision Support . . . . . . . . . . . . 157--168
K. Hoewon and
P. Seog Two Version Concurrency Control
Algorithm with Query Locking for
Decision Support . . . . . . . . . . . . 157
Tok Wang Ling and
Y. Liu An Efficient View Maintenance Algorithm
for Data Warehousing . . . . . . . . . . 169--180
S. Cuce and
A. Zaslavsky Adaptive Cache Validation for Mobile
File Systems . . . . . . . . . . . . . . 181--192
K.-Y. Lam and
E. Chan and
J. Chun-Hung Yuen Broadcast Strategies to Maintain Cached
Data for Mobile Computing System . . . . 193--204
M. Gaedke and
M. Beigl and
H.-W. Gellersen and
C. Segor Web Content Delivery to Heterogeneous
Mobile Platforms . . . . . . . . . . . . 205--217
Q. Hu and
Dik Lun Lee and
W.-C. Lee Dynamic Data Delivery in Wireless
Communication Environments . . . . . . . 218--229
H. Qinglong and
Dik Lun Lee and
W.-C. Lee Dynamic Data Delivery in Wireless
Communication Environments . . . . . . . 218
E. Pitoura Scalable Invalidation-Based Processing
of Queries in Broadcast Push Delivery 230--241
S. K. Madria Timestamps to Detect R-W Conflicts in
Mobile Computing . . . . . . . . . . . . 242--253
R. Guy and
P. Reiher and
D. Rather and
M. Gunter Rumor: Mobile Data Access Through
Optimistic Peer-to-Peer Replication . . 254--265
S. Tagashira and
K. Saisho and
F. Inada and
A. Fukuda A Copy Update Mechanism for a Mobile
Information Announcement System ---
Transmitting Non-storage Type Resources
with Redundancy . . . . . . . . . . . . 266--277
S.-Y. Hwang and
J.-K. Chiu Towards Optimal Replication for
Hierarchical Location Management in
Wireless Systems . . . . . . . . . . . . 278--289
R. Radhakrishna Pillai and
M. Rangnath and
R. Agrawal and
W. Wang Distributed Control of Mobile ATM
Networks Using CORBA . . . . . . . . . . 290--300
F. Cameron and
M. Zukerman and
M. Gitlits New Thoughts on Effects of TCP Slow
Start and FEC Coding in WATM Access
Networks . . . . . . . . . . . . . . . . 301--310
F. Verroca and
C. Eynard and
G. Ghinamo and
G. Gentile A Centralised Cellular Database to
Support Network Management Process . . . 311--322
S. Jacobs Security of Current Mobile IP Solutions 323--334
S.-Y. Wu and
C.-S. Chang An Active Database Framework for
Adaptive Mobile Data Access . . . . . . 335--346
C.-H. Leung and
K.-M. Cheung and
T.-F. Ngai Design and Implementation of a Mobile
Application Support System . . . . . . . 347--357
C. Soutou and
T. Val and
F. Peyrard and
J.-J. Mercier Proposition of an Identification Service
on a Hybrid WLAN with Mobiles Stations 358--367
T. Hamano and
H. Takakura and
Y. Kambayashi A Dynamic Navigation System Based on
User's Geographical Situation . . . . . 368--379
W.-C. Lee Future of Mobile Computing: Convergence
of Research and Applications . . . . . . 380--381
J. Thamm and
S. Wilke and
L. Wegner A Web Solution to Concurrency Awareness
in Shared Data Spaces . . . . . . . . . 382--395
S. Inoue and
M. Iwaihara Structured Message Management for Group
Interaction . . . . . . . . . . . . . . 396--407
H. Tarumi and
T. Matsuyama and
Y. Kambayashi Group Activity Database for Groupware
Evolution . . . . . . . . . . . . . . . 408--420
T. Furukawa and
H. Xu and
Y. Shi Supporting Collaborative Work by
Process-Based Transaction Model . . . . 421--433
K. Sadakane and
H. Imai A Cooperative Distributed Text Database
Management Method Unifying Search and
Compression Based on the
Burrows--Wheeler Transformation . . . . 434--445
H. Kato and
M. Yoshikawa Constructing Structured Document Views
(Short paper) . . . . . . . . . . . . . 446--453
M. Erwig and
M. Schneider and
R. H. Gueting Temporal Objects for Spatio-Temporal
Data Models and a Comparison of Their
Representations . . . . . . . . . . . . 454--465
A. Renolen The Temporal Set-Theory, Tropology, and
Their Application in Spatiotemporal
Modelling (Short paper) . . . . . . . . 466--473
Y. Ishii and
T. Ishizaka and
N. Mohan and
J. Feng TimeCube: Efficient Storage, Access and
Analysis of Temporal (Historical) Data
(Short paper) . . . . . . . . . . . . . 474--483
S. Nishida and
H. Nozawa and
N. Saiwaki Proposal of Spatial-Temporal Indexing
Methods for Moving Objects . . . . . . . 484--495
Y. Nakamura and
H. Dekihara and
R. Furukawa Spatio-Temporal Data Management for
Moving Objects Using the PMD-Tree . . . 496--507
B. Wang and
H. Horinokuchi and
S. Kuroki and
K. Kaneko Implementing Sequoia 2000 Benchmark on
Shusse-Uo and Its Performance . . . . . 508--519
H. Horinokuchi and
B. Wang and
S. Kuroki and
A. Makinouchi A Spatiotemporal Query Processor Based
on Simplicial Representation . . . . . . 520--531
T. Amagasa and
M. Aritsugi and
T. Tanaka and
Y. Kanamori Implementing Class Library and Index for
Managing Spatio-Temporal Data (Short
paper) . . . . . . . . . . . . . . . . . 532--541
Y. Ohsawa and
K. Kim A Spatiotemporal Data Management Method
Using Inverse Differential Script . . . 542--553
K. Salev and
T. Tomii and
H. Arisawa Extracting Event Semantics from Video
Data Based on Real World Database . . . 554--567
E. Ryu and
Y. Kim and
M.-Y. Lee and
K. Lee Structured Modeling for Video Databases 568--579
S. Nitsuwat and
J. S. Jin Applying Unsupervised Fuzzy C-Prototypes
Clustering in Motion-Based Segmentation
(Short paper) . . . . . . . . . . . . . 580--590
R. P. Carolos and
K. Uehara Video Summarization Based on Semantic
Representation . . . . . . . . . . . . . 1--16
Rafael Paulin Carlos and
Kuniaki Uehara Video Summarization Based on Semantic
Representation . . . . . . . . . . . . . 1
Yasuhiro Niikura and
Yukinobu Taniguchi and
Akihito Akutsu and
Yoshinobu Tonomura Valbum: Album-Oriented Video Storyboard
for Editing and Viewing Video . . . . . 17--29
Henry Fuchs Beyond the Desktop Metaphor: Toward More
Effective Display, Interaction, and
Telecollaboration in the Office of the
Future via a Multitude of Sensors and
Displays (Invited Paper) . . . . . . . . 30--43
Imari Sato and
Yoichi Sato and
Katsushi Ikeuchi A Method for Estimating Illumination
Distribution of a Real Scene Based on
Soft Shadows . . . . . . . . . . . . . . 44--58
Masahiko Tsukamoto Integrating Real Space and Virtual Space
in the `Invisible Person' Communication
Support System . . . . . . . . . . . . . 59--74
Yasuo Ariki and
Jun Ogata and
Masafumi Nishida News Dictation and Article
Classification Using Automatically
Extracted Announcer Utterance . . . . . 75--86
Ichiro Ide and
Koji Yamamoto and
Hidehiko Tanaka Automatic Video Indexing Based on Shot
Classification . . . . . . . . . . . . . 87--102
Takashi Endo and
JianXin Zhang and
Masakyuki Nakazawa and
Ryuichi Oka Mutual Spotting Retrieval between Speech
and Video Image Using Self-Organized
Network Databases . . . . . . . . . . . 103--118
Peter Apers and
Martin Kersten Content-Based Retrieval in Multimedia
Databases Based on Feature Models
(Invited Paper) . . . . . . . . . . . . 119--130
Jae Soo Yoo and
Myung Keun Shin and
Seok Hee Lee and
Kil Seong Choi and
Ki Hyung Cho and
Dae Young Hur An Efficient Index Structure for High
Dimensional Image Data . . . . . . . . . 131--144
Tat-Seng Chua and
Chun-Xin Chu Color-Based Pseudo Object Model for
Image Retrieval with Relevance Feedback 145--160
Sidney Fels and
Kenji Mase InvenTcl: A Fast Prototyping Environment
for $3$D Graphics and Multimedia
Applications . . . . . . . . . . . . . . 161--176
Martine Wedlake and
Kin F. Li and
Fayez El Guibaly The NAVL Distributed Virtual Reality
System . . . . . . . . . . . . . . . . . 177--193
Demet Aksoy and
Mehmet Altinel and
Rahul Bose and
Ugur Cetintemel and
Michael Franklin and
Jane Wang and
Stan Zdonik Research in Data Broadcast and
Dissemination (Invited Paper) . . . . . 194--207
Yasuhiko Watanabe and
Yoshihiro Okada and
Kengo Kaneji and
Yoshitaka Sakamoto Multimedia Database System for TV
Newscasts and Newspapers . . . . . . . . 208--220
Junzo Kamahara and
Yuji Nomura and
Kazunori Ueda and
Keishi Kandori and
Shinji Shimojo and
Hideo Miyahara A TV News Recommendation System with
Automatic Recomposition . . . . . . . . 221--235
Shinji Nabeshima and
Kazuo Okamura and
Takashi Kakiuchi and
Kazutoshi Sumiya and
Naoya Takao and
Yoshiyuki Miyabe Extended Digital Video Broadcasting with
Time-Lined Hypermedia . . . . . . . . . 236--251
Takashi Matsuyama and
Toshikazu Wada and
Shogo Tokai Active Image Capturing and Dynamic Scene
Visualization by Cooperative Distributed
Vision (Invited Paper) . . . . . . . . . 252--288
Go Nishimura and
Tamio Kihara and
Ryoji Kataoka \em Videoplex: A New System Framework
for Constructing Video-Based
Three-Dimensional Space . . . . . . . . 289--300
Xiaohua Zhang and
Hiroki Takahashi and
Masayuki Nakajima Construction of Virtual Environment from
Video Data with Forward Motion . . . . . 301--312
Masatoshi Arikawa and
Tetsu Kamiyama Spatial Browsing for Video Databases . . 313--327
Yannick Prié and
Alain Mille and
Jean-Marie Pinon AI-STRATA: A User-Centered Model for
Content-Based Description and Retrieval
of Audiovisual Sequences . . . . . . . . 328--343
Kaoru Katayama and
Osami Kagawa and
Yasuhiro Kamiya and
Hideki Tsushima and
Takuya Yoshihiro and
Yahiko Kambayashi Use of Action History Views for Indexing
Continuous Media Objects . . . . . . . . 344--355
Koji Zettsu and
Kuniaki Uehara and
Katsumi Tanaka Semantic Structures for Video Data
Indexing . . . . . . . . . . . . . . . . 356--369
Michita Imai and
Tsutomu Miyasato A Study of Emergent Computation of
Life-like Behavior by Indefinite
Observation . . . . . . . . . . . . . . 370--385
Toshihiro Masaki and
Tetsuya Yamaguchi and
Yoshifumi Kitamura An Interactive Digital Fishtank Based on
Live Video Images . . . . . . . . . . . 386--396
Ryohei Nakatsu Contents Creation for Interactive Media
(Invited Paper) . . . . . . . . . . . . 397--405
Demetri Terzopoulos Visual Modeling for Multimedia Content
(Invited Paper) . . . . . . . . . . . . 406--421
Naoki Saiwaki and
Toshiaki Komatsu and
Shogo Nishida Automatic Generation of Moving Crowds in
the Virtual Environment . . . . . . . . 422--432
Takahiro Otsuka and
Jun Ohya Extracting Facial Motion Parameters by
Tracking Feature Points . . . . . . . . 433--444
Steffen Meschkat Immersion Reconsidered: Virtual Reality
Projects of Art+Com (Invited Talk) . . . 445--450
Bruce M. Blumberg Synthetic Characters: Behaving in
Character (Invited Talk) . . . . . . . . 451--452
M. Mora and
J. Lopes and
R. Viccari and
H. Coelho BDI Models and Systems: Bridging the Gap 11
R. Van Eijk and
F. De Boer and
W. Van Der Hoek and
J.-J. C. Meyer Information-Passing and Belief Revision
in Multi-Agent Systems . . . . . . . . . 29
K. Schild On the Relationship Between BDI Logics
and Standard Logics of Concurrency . . . 47
M. Wooldridge and
S. Parsons Intention Reconsideration Reconsidered 63
L. Hunsberger Making Shared Plans More Concise and
Easier to Reason About . . . . . . . . . 81
R. Conte and
C. Castelfranchi and
F. Dignum Autonomous Norm Acceptance . . . . . . . 99
A. Bazzan and
R. Bordini and
J. Campbell Moral Sentiments in Multi-Agent Systems 113
S. Ossowski and
A. Garcia-Serrano Social Structure in Artificial Agent
Societies: Implications for Autonomous
Problem-Solving Agents . . . . . . . . . 133
S. Rustogi and
M. Singh The Bases of Effective Coordination in
Decentralized Multi-Agent Systems . . . 149
M. Benerecetti and
F. Giunchiglia and
L. Serafini A Model Checking Algorithm for
Multiagent Systems . . . . . . . . . . . 163
J. Engelfriet and
C. Jonker and
J. Treur Compositional Verification of
Multi-Agent Systems in Temporal
Multi-Epistemic Logic . . . . . . . . . 177
C. Jung Emergent Mental Attitudes in Layered
Agents . . . . . . . . . . . . . . . . . 195
J. P. Mueller The Right Agent (Architecture) to do the
Right Thing . . . . . . . . . . . . . . 211
M. Fisher Representing Abstract Agent
Architectures . . . . . . . . . . . . . 227
M. Piaggio HEIR --- A Non Hierarchical Hybrid
Architecture for Intelligent Robots . . 243
J. Rachlin and
R. Goodwin and
S. Murthy and
R. Akkiraju A-Teams: An Agent Architecture for
Optimization and Decision Support . . . 261
O. Shehory and
S. Kraus and
O. Yadgar Goal Satisfaction in Large Scale
Agent-Systems: A Transportation Example 277
P. Stone and
M. Veloso Task Decomposition and Dynamic Role
Assignment for Real-Time Strategic
Teamwork . . . . . . . . . . . . . . . . 293
J.-J. C. Meyer Agent Languages and Their Relationship
to Other Programming Paradigms . . . . . 309
C. Iglesias and
M. Garrijo and
J. Gonzalez A Survey of Agent-Oriented Methodologies 317
D. Kinny The Agentis Agent Interaction Model . . 331
N. Skarmeas and
K. Clark Content-Based Routing as the Basis for
Intra-Agent Communication . . . . . . . 345
B. Chaib-Draa and
D. Vanderveken Agent Communication Language: Toward a
Semantics Based on Success,
Satisfaction, and Recursion . . . . . . 363
K. Hindriks and
F. De Boer and
W. Van Der Hoek and
J.-J. C. Meyer Control Structures of Rule-Based Agent
Languages . . . . . . . . . . . . . . . 381
A. Dury and
F. Le Ber and
V. Chevrier A Reactive Approach for Solving
Constraint Satisfaction Problems . . . . 397
O. Shehory and
K. Sycara and
P. Chalasani and
S. Jha Increasing Resource Utilization and Task
Performance by Agent Cloning . . . . . . 413
M. Wooldridge and
J. P. Mueller A Classification Schema to Volumes I to
5 of the Intelligent Agents Series . . . 427
S. Vaudenay Feistel Ciphers with $ L2
$-Decorrelation . . . . . . . . . . . . 1
S. Harris and
C. Adams Key-Dependent S-Box Manipulations . . . 15
B. Schneier and
J. Kelsey and
D. Whiting and
D. Wagner On the Twofish Key Schedule . . . . . . 27--42
Z.-G. Chen and
S. E. Tavares Toward Provable Security of
Substitution-Permutation Encryption
Networks . . . . . . . . . . . . . . . . 43
J.-S. Coron and
D. Naccache An Accurate Evaluation of Maurer's
Universal Test . . . . . . . . . . . . . 57
D. M'Raihi and
D. Naccache and
D. Pointcheval and
S. Vaudenay Computational Alternatives to Random
Number Generators . . . . . . . . . . . 72
B. S. Kaliski and
Yiqun Lisa Yin Storage-Efficient Finite Field Basis
Conversion . . . . . . . . . . . . . . . 81
M. Wenbo Verifiable Partial Sharing of Integer
Factors . . . . . . . . . . . . . . . . 94
S. Moriai and
T. Shimoyama and
T. Kaneko Higher Order Differential Attack Using
Chosen Higher Order Differences . . . . 106
K. Aoki On Maximum Non-averaged Differential
Probability . . . . . . . . . . . . . . 118
S. Mister and
S. E. Tavares Cryptanalysis of RC4-like Ciphers . . . 131
D. R. Stinson and
R. Wei Key Preassigned Traceability Schemes for
Broadcast Encryption . . . . . . . . . . 144
M. Jakobsson and
D. M'Raihi Mix-Based Electronic Payments . . . . . 157
S. Patel Over the Air Service Provisioning . . . 174
M. J. Wiener and
R. J. Zuccherato Faster Attacks on Elliptic Curve
Cryptosystems . . . . . . . . . . . . . 190
J. Lopez and
R. Dahab Improved Algorithms for Elliptic Curve
Arithmetic in GF(2n0n) . . . . . . . . . 201
P. Nguyen and
J. Stern Cryptanalysis of a Fast Public Key
Cryptosystem Presented at SAC '97 . . . 213
J.-Y. Cai and
T. W. Cusick A Lattice-Based Public-Key Cryptosystem 219
J.-P. Kaps and
C. Paar Fast DES Implementation for FPGAs and
Its Application to a Universal
Key-Search Machine . . . . . . . . . . . 234
H. Lipmaa IDEA: A Cipher for Multimedia
Architectures? . . . . . . . . . . . . . 248
M. Kanda and
Y. Takashima and
T. Matsumoto and
K. Aoki A Strategy for Constructing Fast Round
Functions with Practical Security
Against Differential and Linear
Cryptanalysis . . . . . . . . . . . . . 264
X.-M. Zhang and
Y. Zheng The Nonhomomorphicity of Boolean
Functions . . . . . . . . . . . . . . . 280
D. Wagner and
L. Simpson and
E. Dawson and
J. Kelsey Cryptanalysis of ORYX . . . . . . . . . 296
H. Handschuh and
H. M. Heys A Timing Attack on RC5 . . . . . . . . . 306
C. Hall and
J. Kelsey and
V. Rijmen and
B. Schneier Cryptanalysis of SPEED . . . . . . . . . 319
S. Blake-Wilson and
A. Menezes Authenticated Diffie--Hellman Key
Agreement Protocols . . . . . . . . . . 339
E. Biham and
A. Biryukov and
O. Dunkelman and
E. Richardson Initial Observations on Skipjack:
Cryptanalysis of Skipjack-3XOR . . . . . 362
Friedel Hossfeld Teraflops Computing: A Challenge to
Parallel Numerics? . . . . . . . . . . . 1--12
Yousef Saad and
Maria Sosonkina Non-standard Parallel Solution
Strategies for Distributed Sparse Linear
Systems . . . . . . . . . . . . . . . . 13--27
Eunice E. Santos Optimal Tridiagonal Solvers on Mesh
Interconnection Networks . . . . . . . . 28--37
Rafael Asenjo and
Emilio L. Zapata Parallel Pivots LU Algorithm on the Cray
T3E . . . . . . . . . . . . . . . . . . 38--47
Martin Becka and
Sophie Robert and
Marian Vajtersic Experiments with Parallel One-Sided and
Two-Sided Algorithms for SVD . . . . . . 48--57
Gabriel Oksa Combined Systolic Array for Matrix
Portrait Computation . . . . . . . . . . 58--67
Helmut Podhaisky and
Rüdiger Weiner A Class of Explicit Two-Step
Runge--Kutta Methods with Enlarged
Stability Regions for Parallel Computers 68--77
Ladislav Halada and
Mária Lucká A Parallel Strongly Implicit Algorithm
for Solving of Diffusion Equations . . . 78--84
Hamid Sarbazi-Azad and
Lewis M. Mackenzie and
Mohamed Ould-Khaoua A Parallel Algorithm for Lagrange
Interpolation on $k$-ary $n$-Cubes . . . 85--95
Wolfgang Ch. Schmid and
Andreas Uhl Parallel Quasi-Monte Carlo Integration
Using $ (t, s) $-Sequences . . . . . . . 96--106
Karl Entacher and
Andreas Uhl and
Stefan Wegenkittl Parallel Random Number Generation:
Long-Range Correlations Among Multiple
Processors . . . . . . . . . . . . . . . 107--116
Erika Hausenblas A Monte-Carlo Method with Inherent
Parallelism for Numerical Solving
Partial Differential Equations with
Boundary Conditions . . . . . . . . . . 117--126
Wilfried N. Gansterer and
Dieter F. Kvasnicka and
Christoph W. Ueberhuber Blocking Techniques in Numerical
Software . . . . . . . . . . . . . . . . 127--139
Harald J. Ehold and
Wilfried N. Gansterer and
Dieter F. Kvasnicka and
Christoph W. Ueberhuber HPF and Numerical Libraries . . . . . . 140--152
Franck Delaplace and
Didier Remy PARADEIS: An Object Library for Parallel
Sparse Array Computation . . . . . . . . 153--162
S. Hoefinger and
O. Steinhauser and
P. Zinterhof Performance Analysis and Derived
Parallelization Strategy for a SCF
Program at the Hartree Fock Level . . . 163--172
Siegfried Höfinger and
Othmar Steinhauser and
Peter Zinterhof Performance Analysis and Derived
Parallelization Strategy for a SCF
Program at the Hartree Fock Level . . . 163
Enric Fontdecaba and
José M. Cela and
Juan C. Dürsteler Computational Issues in Optimizing
Ophthalmic Lens . . . . . . . . . . . . 173--182
Roman Wyrzykowski and
Norbert Sczygiol and
Tomasz Olas and
Juri Kanevski Parallel Finite Element Modeling of
Solidification Processes . . . . . . . . 183--195
Sethuraman Panchanathan Architectural Approaches for Multimedia
Processing . . . . . . . . . . . . . . . 196--210
Edwige Pissaloux On Parallel Reconfigurable Architectures
for Image Processing . . . . . . . . . . 211--225
Alina N. Moga Parallel Multiresolution Image
Segmentation with Watershed
Transformation . . . . . . . . . . . . . 226--235
Yongwha Chung and
Jin-Won Park Solving Irregular Inter-processor Data
Dependency in Image Understanding Tasks 236--245
Xavier Verians and
Jean-Didier Legat and
Jean-Jacques Quisquater and
Benoit Macq A New Parallelism Management Scheme for
Multiprocessor Systems . . . . . . . . . 246--256
Donglai Xu and
Reza Sotudeh A Flexible VLSI Parallel Processing
System for Block-Matching Motion
Estimation in Low Bit-Rate Video Coding
Applications . . . . . . . . . . . . . . 257--264
Charalampos Konstantopoulos and
Andreas Svolos and
Christos Kaklamanis Hierarchical Block Matching Motion
Estimation on a Hypercube Multiprocessor 265--275
J. Haemmerle and
A. Uhl Classification Based Speed-Up Methods
for Fractal Image Compression on
Multicomputers . . . . . . . . . . . . . 276--285
Jutta Hämmerle and
Andreas Uhl Classification Based Speed-Up Methods
for Fractal Image Compression on
Multicomputers . . . . . . . . . . . . . 276
Laurent Gatineau and
François Meunier Accurate Motion Estimation in Image
Sequences: Massive vs. Distributed
Parallelism . . . . . . . . . . . . . . 286--295
Daisaku Arita and
Yoshio Hamada and
Rin-ichiro Taniguchi A Real-Time Distributed Video Image
Processing System on PC-Cluster . . . . 296--305
Yong He and
Ishfaq Ahmad and
Ming L. Liou Modeling and Scheduling for MPEG-4 Based
Video Encoder Using a Cluster of
Workstations . . . . . . . . . . . . . . 306--316
Andreas Pommer Fractal Video Compression on Shared
Memory Systems . . . . . . . . . . . . . 317--326
G. De Pietro and
M. Lerro The Split-Proxy Approach: A New
Architecture for Parallel Video Servers 327--336
Giuseppe De Pietro and
Marco Lerro The Split-Proxy Approach: A New
Architecture for Parallel Video Servers 327
Geert Uytterhoeven and
Dirk Roose and
Adhemar Bultheel A Wavelet Toolbox for Large Scale Image
Processing . . . . . . . . . . . . . . . 337--346
Rade Kutil and
Andreas Uhl Hardware and Software Aspects for $3$-D
Wavelet Decomposition on Shared Memory
MIMD Computers . . . . . . . . . . . . . 347--356
Stefania Corsaro and
Luisa D'Amore and
Almerico Murli On the Parallel Implementation of the
Fast Wavelet Packet Transform on MIMD
Distributed Memory Environments . . . . 357--366
Manfred Feil and
Andreas Uhl Algorithms and Programming Paradigms for
$2$-D Wavelet Packet Decomposition on
Multicomputers and Multiprocessors . . . 367--376
Morten Vadskær Jensen and
Brian Nielsen Real-Time Layered Video Compression
Using SIMD Computation . . . . . . . . . 377--387
Ian Glendinning Parallelisation of a Satellite Signal
Processing Code --- Strategies and Tools 388--397
Jürgen Janoth and
Markus M. Eisl and
Erwin M. Bakker and
Rogier van Sterkenburg and
Roberta Borgia and
Salvo Sabina and
Fabio Volpe MMIPPS --- A Software Package for
Multitemporal and Multispectral Image
Processing on Parallel Systems . . . . . 398--407
Alois Goller Parallel Matching of Synthetic Aperture
Radar Images . . . . . . . . . . . . . . 408--416
Sun-yuan Hsieh Parallel Decomposition of
Distance-Hereditary Graphs . . . . . . . 417--426
Dirk Bartz and
Wolfgang Straßer Asynchronous Parallel Construction of
Recursive Tree Hierarchies . . . . . . . 427--436
Helmut Kofler and
Ernst J. Haunschmid and
Wilfried N. Gansterer and
Christoph W. Ueberhuber The Locality Property in Topological
Irregular Graph Hierarchies . . . . . . 437--449
Rainer Koppler Geometry-Aided Rectilinear Partitioning
of Unstructured Meshes . . . . . . . . . 450--459
Daniela Genius and
Jörn Eisenbiegler Reducing Cache Conflicts by a
Parametrized Memory Mapping . . . . . . 460--469
Jesús Carretero and
Jaechun No and
Alok Choudhary Optimizing I/O for Irregular
Applications on Distributed-Memory
Machines . . . . . . . . . . . . . . . . 470--479
Hans-Joachim Stolberg and
Martin Ohmacht and
Peter Pirsch Cellular Multiprocessor Arrays with
Adaptive Resource Utilization . . . . . 480--489
D. Kranzlmueller and
J. Volkert NOPE: A Nondeterministic Program
Evaluator . . . . . . . . . . . . . . . 490--499
Dieter Kranzlmüller and
Jens Volkert NOPE: A Nondeterministic Program
Evaluator . . . . . . . . . . . . . . . 490
Alba Cristina Melo and
Simone Cintra Chagas Visual-MCM: Visualising Execution
Histories on Multiple Memory Consistency
Models . . . . . . . . . . . . . . . . . 500--509
Maciej Golebiewski and
Markus Baum and
Rolf Hempel High Performance Implementation of MPI
for Myrinet . . . . . . . . . . . . . . 510--521
L. Boeszoermenyi and
G. Hoelzl and
E. Pirker Parallel Cluster Computing with
IEEE1394-1995 . . . . . . . . . . . . . 522--532
László Böszörményi and
Günther Hölzl and
Emanuel Pirker Parallel Cluster Computing with
IEEE1394-1995 . . . . . . . . . . . . . 522
Helmut Hlavacs and
Christoph W. Ueberhuber Simulating Load Balancing on
Heterogeneous Workstation Clusters . . . 533--540
Helge Hagenauer Global Virtual Time Approximation for
Split Queue Time Warp . . . . . . . . . 541--548
Roland Koholka and
Heinz Mayer and
Alois Goller MPI-parallelized Radiance on SGI CoW and
SMP . . . . . . . . . . . . . . . . . . 549--558
David Taniar and
J. Wenny Rahayu Parallel Sub-collection Join Query
Algorithms for a High Performance
Object-Oriented Database Architecture 559--569
Manuel Acacio and
Oscar Cánovas and
José M. García and
Pedro E. López-de-Teruel An Evaluation of Parallel Computing in
PC Clusters with Fast Ethernet . . . . . 570--571
Shahriar M. Akramullah and
Ishfaq Ahmad and
Ming L. Liou Parallel MPEG-2 Encoder on ATM and
Ethernet-Connected Workstations . . . . 572--574
Pedro Alonso and
Juan M. Peña Block and Partitioned Neville
Elimination . . . . . . . . . . . . . . 575--576
Francesco Amalfitano and
Antonio d'Acierno and
Ivana Marra and
Lucio Sansone An Object-Oriented DataBase for
Movies-on-Demand: Two Approaches . . . . 577--578
Vincenzo Antonuccio-Delogu and
Ugo Becciani and
Mario Gambera and
Antonio Pagliaro Parallel Tree Algorithms for $N$-body
Simulations . . . . . . . . . . . . . . 579--580
Pierre Bassomo and
Ibrahima Sakho and
Annie Corbel Parallel Numerical Algorithms for
Distributed Memory Machines . . . . . . 581--583
Janez Brest and
Viljem Zumer and
Milan Ojstersek Dynamic Scheduling on a Network
Heterogeneous Computer System . . . . . 584--585
Maurizio Giordano and
Mario Mango Furnari and
Francesco Vitobello Interaction between PVM Parameters and
Communication Performances on ATM
Networks . . . . . . . . . . . . . . . . 586--587
W\lodzimierz G\lazek How To Share a Divisible Load in a
Hypercube . . . . . . . . . . . . . . . 588--589
Herbert Karner and
Christoph W. Ueberhuber Overlapped Four-Step FFT Computation . . 590--591
Hyung Lee and
Kyung-Ae Moon and
Jong-Won Park Design of Parallel Processing System for
Facial Image Retrieval . . . . . . . . . 592--593
Antonio Magnaghi and
Shuichi Sakai and
Hidehiko Tanaka Inter-procedural Analysis for
Parallelization of Java Programs . . . . 594--595
Roman M. Palenichka Fast Recursive Computation of Local
Axial Moments by Using Primitive Kernel
Functions . . . . . . . . . . . . . . . 596--597
Miron Pavlus Speed Up Estimation for a Parallel
Method for Systems of Linear Ordinary
Differential Equations . . . . . . . . . 598--599
Eunice E. Santos and
Pei-Yue Pauline Chu Efficient Parallel Algorithms for Dense
Cholesky Factorization . . . . . . . . . 600--602
Andreas Junghanns and
Jonathan Schaeffer Relevance Cuts: Localizing the Search 1--14
Y. Bjoernsson and
T. Marsland Multi-cut Pruning in Alpha-Beta Search 15--24
Yngvi Björnsson and
Tony Marsland Multi-cut Pruning in Alpha-Beta Search 15
Dennis M. Breuker and
H. Jaap van den Herik and
Jos W. H. M. Uiterwijk and
L. Victor Allis A Solution to the GHI Problem for
Best-First Search . . . . . . . . . . . 25--49
Ian Frank and
David Basin Optimal Play against Best Defence:
Complexity and Heuristics . . . . . . . 50--73
Xinbo Gao and
Hiroyuki Iida and
Jos W. H. M. Uiterwijk and
H. Jaap van den Herik A Speculative Strategy . . . . . . . . . 74--92
Steven Willmott and
Julian Richardson and
Alan Bundy and
John Levine An Adversarial Planning Approach to Go 93--112
Donald F. Beal and
Martin C. Smith First Results from Using Temporal
Difference Learning in Shogi . . . . . . 113--125
Michael Buro From Simple Features to Sophisticated
Evaluation Functions . . . . . . . . . . 126--145
Takuya Kojima and
Atsushi Yoshikawa A Two-Step Model of Pattern Acquisition:
Application to Tsume-Go . . . . . . . . 146--166
Nobusuke Sasaki and
Yasuji Sawada and
Jin Yoshimura A Neural Network Program of Tsume-Go . . 167--182
J. Ignacio Giráldez and
Daniel Borrajo Distributed Decision Making in Checkers 183--194
Wim Pijls and
Arie de Bruin Game Tree Algorithms and Solution Trees 195--204
Aviezri S. Fraenkel and
Dmitri Zusman A New Heap Game . . . . . . . . . . . . 205--211
Aviezri S. Fraenkel and
Ofer Rahat Infinite Cyclic Impartial Games . . . . 212--221
Marcel Crâsmaru On the Complexity of Tsume-Go . . . . . 222--231
William L. Spight Extended Thermography for Multiple Kos
in Go . . . . . . . . . . . . . . . . . 232--251
M. Mueller Computer Go: A Research Agenda . . . . . 252--264
Martin Müller Computer Go: A Research Agenda . . . . . 252
Morihiko Tajima and
Noriaki Sanechika Estimating the Possible Omission Number
for Groups in Go by the Number of $n$-th
Dame . . . . . . . . . . . . . . . . . . 265--281
Atsushi Yoshikawa and
Takuya Kojima and
Yasuki Saito Relations between Skill and the Use of
Terms --- An Analysis of Protocols of
the Game of Go . . . . . . . . . . . . . 282--299
Reijer Grimbergen A Survey of Tsume-Shogi Programs Using
Variable-Depth Search . . . . . . . . . 300--317
Hiroyuki Iida and
Jin Yoshimura and
Kazuro Morita and
Jos W. H. M. Uiterwijk Retrograde Analysis of the KGK Endgame
in Shogi: Its Implications for Ancient
Heian Shogi . . . . . . . . . . . . . . 318--335
Norbert E. Fuchs and
Uta Schwertel and
Rolf Schwitter Attempto Controlled English --- Not Just
Another Logic Specification Language . . 1--20
Dante Baldan and
Baudouin Le Charlier and
Christophe Lecl\`ere and
Isabelle Pollet A Step Towards a Methodology for Mercury
Program Construction: A Declarative
Semantics for Mercury . . . . . . . . . 21--40
David Robertson and
Jaume Agustí Pragmatics in the Synthesis of Logic
Programs . . . . . . . . . . . . . . . . 41--60
Jeffrey Van Baalen and
Steven Roach Using Decision Procedures to Accelerate
Domain-Specific Deductive Synthesis
Systems . . . . . . . . . . . . . . . . 61--80
Alessandro Avellone and
Mauro Ferrari and
Pierangelo Miglioli Synthesis of Programs in Abstract Data
Types . . . . . . . . . . . . . . . . . 81--100
Kung-Kiu Lau and
Mario Ornaghi OOD Frameworks in Component-Based
Software --- Development in
Computational Logic . . . . . . . . . . 101--123
Antonio Brogi and
Simone Contiero and
Franco Turini The Use of Renaming in Composing General
Programs . . . . . . . . . . . . . . . . 124--142
A. Bossi and
S. Rossi Inductive Synthesis of Logic Programs by
Composition of Combinatory Program
Schemes . . . . . . . . . . . . . . . . 143--158
Andreas Hamfelt and
Jòrgen Fischer Nilsson Inductive Synthesis of Logic Programs by
Composition of Combinatory Program
Schemes . . . . . . . . . . . . . . . . 143
Annalisa Bossi and
Sabina Rossi Specialising Logic Programs with Respect
to Call/Post Specifications . . . . . . 159--178
R. Glueck and
J. Hatcliff and
J. Joergensen Generalization in Hierarchies of Online
Program Specialization Systems . . . . . 179--198
Robert Glück and
John Hatcliff and
Jesper Jòrgensen Generalization in Hierarchies of Online
Program Specialization Systems . . . . . 179
Michael Leuschel Improving Homeomorphic Embedding for
Online Termination . . . . . . . . . . . 199--218
Annalisa Bossi and
Nicoletta Cocco Successes in Logic Programs . . . . . . 219--239
Sébastien Hoarau and
Fred Mesnard Inferring and Compiling Termination for
Constraint Logic Programs . . . . . . . 240--254
Tihomir Gabric and
Kevin Glynn and
Harald Sòndergaard Strictness Analysis as Finite-Domain
Constraint Solving . . . . . . . . . . . 255--270
Jamie Stark and
Andrew Ireland Invariant Discovery via Failed Proof
Attempts . . . . . . . . . . . . . . . . 271--288
Jan-Georg Smaus and
Pat Hill and
Andy King Preventing Instantiation Errors and
Loops for Logic Programs with Multiple
Modes Using block Declarations . . . . . 289--307
Pierre Wolper Algorithms for Synthesizing Reactive
Systems: A Perspective . . . . . . . . . 308
Hamza Zidoum and
Pierre Flener and
Brahim Hnich Schema-Guided Synthesis of CLP Programs 309--312
Julian Richardson Proof Planning with Program Schemas . . 313--315
Patrick Bellot and
Bernard Robinet Logical Synthesis of Imperative O.O.
Programs . . . . . . . . . . . . . . . . 316--318
R. Ben Ayed and
J. Desharnais and
M. Frappier and
A. Mill Mathematical Foundations for Program
Transformations . . . . . . . . . . . . 319--321
R. Ben Ayed and
J. Desharnais and
M. Frappier and
A. Mili Mathematical Foundations for Program
Transformations . . . . . . . . . . . . 319
David A. Rosenblueth An Exhaustive-Search Method Using
Layered Streams Obtained Through a
Meta-Interpreter for Chain Programs . . 322--324
Wim Vanhoof and
Danny De Schreye and
Bern Martens Bottom-Up Specialisation of Logic
Programs . . . . . . . . . . . . . . . . 325--327
Sarah Mallet and
Mireille Ducassé Myrtle: A Set-Oriented Meta-Interpreter
Driven by a ``Relational'' Trace for
Deductive Databases Debugging . . . . . 328--330
Feng Bao and
Robert H. Deng A New Type of ``Magic Ink'' Signatures
--- Towards Transcript-Irrelevant
Anonymity Revocation . . . . . . . . . . 1--11
Chang-Hyi Lee and
Jong-In Lim A New Aspect of Dual Basis for Efficient
Field Arithmetic . . . . . . . . . . . . 12--28
Jean-Sébastien Coron On the Security of Random Sources . . . 29--42
Josep Domingo-Ferrer Anonymous Fingerprinting Based on
Committed Oblivious Transfer . . . . . . 43--52
Eiichiro Fujisaki and
Tatsuaki Okamoto How to Enhance the Security of
Public-Key Encryption at Minimum Cost 53--68
Chandana Gamage and
Jussipekka Leiwo and
Yuliang Zheng Encrypted Message Authentication by
Firewalls . . . . . . . . . . . . . . . 69--81
Satoshi Hada and
Toshiaki Tanaka A Relationship between One-Wayness and
Correlation Intractability . . . . . . . 82--96
Hyung-Woo Lee and
Tai-Yun Kim Message Recovery Fair Blind Signature 97--111
Markus Jakobsson On Quorum Controlled Asymmetric Proxy
Re-encryption . . . . . . . . . . . . . 112--121
Markus Jakobsson Mini-Cash: A Minimalistic Approach to
E-Commerce . . . . . . . . . . . . . . . 122--135
Pekka Nikander and
Yki Kortesniemi and
Jonna Partanen Preserving Privacy in Distributed
Delegation with Fast Certificates . . . 136--153
Simon Blake-Wilson and
Alfred Menezes Unknown Key-Share Attacks on the
Station-to-Station (STS) Protocol . . . 154--170
Shingo Miyazaki and
Ikuko Kuroda and
Kouichi Sakurai Toward Fair International Key Escrow: An
Attempt by Distributed Trusted Third
Agencies with Threshold Cryptography . . 171--187
David Naccache and
Adi Shamir and
Julien P. Stern How to Copyright a Function ? . . . . . 188--196
Jean-Sébastien Coron and
David Naccache On the Security of RSA Screening . . . . 197--203
Christophe Coupé and
Phong Nguyen and
Jacques Stern The Effectiveness of Lattice Attacks
Against Low-Exponent RSA . . . . . . . . 204--218
Pascal Paillier A Trapdoor Permutation Equivalent to
Factoring . . . . . . . . . . . . . . . 219--222
Pascal Paillier Low-Cost Double-Size Modular
Exponentiation or How to Stretch Your
Cryptoprocessor . . . . . . . . . . . . 223--234
Pascal Paillier Evaluating Differential Fault Analysis
of Unknown Cryptosystems . . . . . . . . 235--244
Montse Rubia and
Juan Carlos Cruellas and
Manel Medina Removing Interoperability Barriers
Between the X.509 and EDIFACT Public Key
Infrastructures: The DEDICA Project . . 245--262
Sang Uk Shin and
Kyung Hyune Rhee and
Jae Woo Yoon Hash Functions and the MAC Using
All-or-Nothing Property . . . . . . . . 263--275
Helena Handschuh and
Yiannis Tsiounis and
Moti Yung Decision Oracles are Equivalent to
Matching Oracles . . . . . . . . . . . . 276--289
Yuji Watanabe and
Hideki Imai Shared Generation of Random Number with
Timestamp: How to Cope with the Leakage
of the CA's Secret . . . . . . . . . . . 290--305
Adam Young and
Moti Yung Auto-Recoverable Cryptosystems with
Faster Initialization and the Escrow
Hierarchy . . . . . . . . . . . . . . . 306--314
Jianying Zhou and
Kwok-Yan Lam A Secure Pay-per-View Scheme for
Web-Based Video Service . . . . . . . . 315--326
Z. Jianying and
K.-Y. Lam A Secure Pay-per-View Scheme for
Web-Based Video Service . . . . . . . . 315
Anonymous Author Index . . . . . . . . . . . . . . 327
Mihir Bellare Practice-Oriented Provable Security . . 1--15
Ronald Cramer Introduction to Secure Computation . . . 16--62
Ivan Damgård Commitment Schemes and Zero-Knowledge
Protocols . . . . . . . . . . . . . . . 63--86
Burton S. Kaliski Jr. Emerging Standards for Public-Key
Cryptography . . . . . . . . . . . . . . 87--104
Lars R. Knudsen Contemporary Block Ciphers . . . . . . . 105--126
Peter Landrock Primality Tests and Use of Primes in
Public Key Systems . . . . . . . . . . . 127--133
Torben P. Pedersen Signing Contracts and Paying
Electronically . . . . . . . . . . . . . 134--157
Bart Preneel The State of Cryptographic Hash
Functions . . . . . . . . . . . . . . . 158--182
Louis Salvail The Search for the Holy Grail in Quantum
Cryptography . . . . . . . . . . . . . . 183--216
Stefan Wolf Unconditional Security in Cryptography 217--250
Chrystopher L. Nehaniv Computation for Metaphors, Analogy and
Agents . . . . . . . . . . . . . . . . . 1--10
Mark Turner Forging Connections . . . . . . . . . . 11--26
Masako K. Hiraga Rough Sea and the Milky Way: `Blending'
in a Haiku Text . . . . . . . . . . . . 27--36
Tony Veale Pragmatic Forces in Metaphor Use: The
Mechanics of Blend Recruitment in Visual
Metaphors . . . . . . . . . . . . . . . 37--51
Rodney A. Brooks and
Cynthia Breazeal and
Matthew Marjanovic and
Brian Scassellati and
Matthew M. Williamson The Cog Project: Building a Humanoid
Robot . . . . . . . . . . . . . . . . . 52--87
Georgi Stojanov Embodiment as Metaphor: Metaphorizing-in
the Environment . . . . . . . . . . . . 88--101
Kerstin Dautenhahn Embodiment and Interaction in Socially
Intelligent Life-Like Agents . . . . . . 102--142
John A. Barnden An Implemented System for Metaphor-Based
Reasoning --- With Special Application
to Reasoning about Agents . . . . . . . 143--153
Tom Fenton-Kerr GAIA: An Experimental Pedagogical Agent
for Exploring Multimodal Interaction . . 154--164
Patricia O'Neill-Brown When Agents Meet Cross-Cultural
Metaphor: Can They Be Equipped to Parse
and Generate It? . . . . . . . . . . . . 165--175
Brian Scassellati Imitation and Mechanisms of Joint
Attention: A Developmental Structure for
Building Social Skills on a Humanoid
Robot . . . . . . . . . . . . . . . . . 176--195
Anneli Kauppinen Figures of Speech, a Way to Acquire
Language . . . . . . . . . . . . . . . . 196--208
Ulrich Nehmzow ``Meaning'' through Clustering by
Self-Organisation of Spatial and
Temporal Information . . . . . . . . . . 209--229
Kazuko Shinohara Conceptual Mappings from Spatial Motion
to Time: Analysis of English and
Japanese . . . . . . . . . . . . . . . . 230--241
Joseph Goguen An Introduction to Algebraic Semiotics,
with Application to User Interface
Design . . . . . . . . . . . . . . . . . 242--291
Bipin Indurkhya An Algebraic Approach to Modeling
Creativity of Metaphor . . . . . . . . . 292--306
J. L. Alty and
R. P. Knott Metaphor and Human-Computer Interaction:
A Model Based Approach . . . . . . . . . 307--321
Meurig Beynon Empirical Modelling and the Foundations
of Artificial Intelligence . . . . . . . 322--364
Slawomir J. Nasuto and
Kerstin Dautenhahn and
Mark Bishop Communication as an Emergent Metaphor
for Neuronal Operation . . . . . . . . . 365--379
Chrystopher L. Nehaniv The Second Person --- Meaning and
Metaphors . . . . . . . . . . . . . . . 380--388
Anonymous Author Index . . . . . . . . . . . . . . 389
Noam Nisan Algorithms for Selfish Agents . . . . . 1--15
P. Ossona de Mendez The Reduced Genus of a Multigraph . . . 16--31
P. O. De Mendez The Reduced Genus of a Multigraph . . . 16
Patrice Ossona de Mendez The Reduced Genus of a Multigraph . . . 16
Thomas Wilke Classifying Discrete Temporal Properties 32--46
Anna Bernasconi and
Igor Shparlinski Circuit Complexity of Testing
Square-Free Numbers . . . . . . . . . . 47--56
Martin Sauerhoff and
Ingo Wegener and
Ralph Werchner Relating Branching Program Size and
Formula Size over the Full Binary Basis 57--67
Alexander E. Andreev and
Andrea E. F. Clementi and
Paolo Penna and
José D. P. Rolim Memory Organization Schemes for Large
Shared Data: A Randomized Solution for
Distributed Memory Machines . . . . . . 68--77
Andreas Jakoby The Average Time Complexity to Compute
Prefix Functions in Processor Networks 78--89
Jin-Yi Cai and
A. Pavan and
D. Sivakumar On the Hardness of Permanent . . . . . . 90--99
Harry Buhrman and
Lance Fortnow One-Sided Versus Two-Sided Error in
Probabilistic Computation . . . . . . . 100--109
Christian Icking and
Rolf Klein and
Elmar Langetepe An Optimal Competitive Strategy for
Walking in Streets . . . . . . . . . . . 110--120
Sven Schuierer and
Ines Semrau An Optimal Strategy for Searching in
Unknown Streets . . . . . . . . . . . . 121--131
Mikael Hammar and
Bengt J. Nilsson and
Sven Schuierer Parallel Searching on $m$ Rays . . . . . 132--142
Clemens Lautemann and
Nicole Schweikardt and
Thomas Schwentick A Logical Characterisation of Linear
Time on Nondeterministic Turing Machines 143--152
Bruno Durand and
Alexander Shen and
Nikolai Vereshagin Descriptive Complexity of Computable
Sequences . . . . . . . . . . . . . . . 153--162
Clifford Bergman and
Giora Slutzki Complexity of Some Problems in Universal
Algebra . . . . . . . . . . . . . . . . 163--172
Ton Kloks and
Jan Kratochvíl and
Haiko Müller New Branchwidth Territories . . . . . . 173--183
Ming-Yang Kao and
Andrzej Lingas and
Anna Östlin Balanced Randomized Tree Splitting with
Applications to Evolutionary Tree
Constructions . . . . . . . . . . . . . 184--196
Vincent Bouchitté and
Ioan Todinca Treewidth and Minimum Fill-In of Weakly
Triangulated Graphs . . . . . . . . . . 197--206
Vesa Halava and
Mika Hirvensalo and
Ronald de Wolf Decidability and Undecidability of
Marked PCP . . . . . . . . . . . . . . . 207--216
John Michael Robson and
Volker Diekert On Quadratic Word Equations . . . . . . 217--226
Daniel Kirsten Some Undecidability Results Related to
the Star Problem in Trace Monoids . . . 227--236
D. Kitsten Some Undecidability Results Related to
the Star Problem in Trace Monoids . . . 227
Gunnar Andersson An Approximation Algorithm for \sc Max
$p$-Section . . . . . . . . . . . . . . 237--247
Dieter Kratsch and
Lorna Stewart Approximating Bandwidth by Mixing
Layouts of Interval Graphs . . . . . . . 248--258
Robert Preis Linear Time $ 1 / 2 $-Approximation
Algorithm for Maximum Weighted Matching
in General Graphs . . . . . . . . . . . 259--269
Edith Hemaspaandra and
Lane A. Hemaspaandra and
Harald Hempel Extending Downward Collapse from
$1$-versus-$2$ Queries to $j$-versus-$ j
+ 1 $ Queries . . . . . . . . . . . . . 270--280
Vikraman Arvind and
Jacobo Torán Sparse Sets, Approximable Sets, and
Parallel Queries to NP . . . . . . . . . 281--290
Jop F. Sibeyn External Selection . . . . . . . . . . . 291--301
Timm Ahrendt Fast Computations of the Exponential
Function . . . . . . . . . . . . . . . . 302--312
Maciej Koutny and
Giuseppe Pappalardo A Model of Behaviour Abstraction for
Communicating Processes . . . . . . . . 313--322
Ahmed Bouajjani and
Richard Mayr Model Checking Lossy Vector Addition
Systems . . . . . . . . . . . . . . . . 323--333
Bang Ye Wu and
Kun-Mao Chao and
Chuan Yi Tang Constructing Light Spanning Trees with
Small Routing Cost . . . . . . . . . . . 334--344
M. Nykaenen and
E. Ukkonen Finding Paths with the Right Cost . . . 345--355
Matti Nykänen and
Esko Ukkonen Finding Paths with the Right Cost . . . 345
Mario Szegedy In How Many Steps the $k$ Peg Version of
the Towers of Hanoi Game Can Be Solved? 356--361
Gudmund Skovbjerg Frandsen and
Johan P. Hansen and
Peter Bro Miltersen Lower Bounds for Dynamic Algebraic
Problems . . . . . . . . . . . . . . . . 362--372
Lars Engebretsen An Explicit Lower Bound for TSP with
Distances One and Two . . . . . . . . . 373--382
Andreas Jakoby and
Maciej Liskiewicz and
Rüdiger Reischuk Scheduling Dynamic Graphs . . . . . . . 383--392
William Aiello and
Costas Busch and
Maurice Herlihy and
Marios Mavronicolas and
Nir Shavit and
Dan Touitou Supporting Increment and Decrement
Operations in Balancing Networks . . . . 393--403
Elias Koutsoupias and
Christos Papadimitriou Worst-Case Equilibria . . . . . . . . . 404--413
Rüdiger Reischuk and
Thomas Zeugmann A Complete and Tight Average-Case
Analysis of Learning Monomials . . . . . 414--423
John Case and
Keh-Jiann Chen and
Sanjay Jain Costs of General Purpose Learning . . . 424--433
Rainer Schuler Universal Distributions and Time-Bounded
Kolmogorov Complexity . . . . . . . . . 434--443
Clemens Lautemann and
Pierre McKenzie and
Thomas Schwentick and
Heribert Vollmer The Descriptive Complexity Approach to
LOGCFL . . . . . . . . . . . . . . . . . 444--454
Orna Kupferman and
Moshe Y. Vardi The Weakness of Self-Complementation . . 455--466
Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino On the Difference of Horn Theories . . . 467--477
Mark Ettinger and
Peter Hòyer On Quantum Algorithms for Noncommutative
Hidden Subgroups . . . . . . . . . . . . 478--487
Martin Sauerhoff On the Size of Randomized OBDDs and
Read-Once Branching Programs for
$k$-Stable Functions . . . . . . . . . . 488--499
G. Di Crescenzo and
N. Ferguson and
R. Impagliazzo and
M. Jakobsson How To Forget a Secret . . . . . . . . . 500--509
Giovanni Di Crescenzo and
Niels Ferguson and
Russell Impagliazzo and
Markus Jakobsson How To Forget a Secret . . . . . . . . . 500
M. Mueller-Olm A Modal Fixpoint Logic with Chop . . . . 510--520
Markus Müller-Olm A Modal Fixpoint Logic with Chop . . . . 510
Rana Barua and
Suman Roy and
Zhou Chaochen Completeness of Neighbourhood Logic . . 521--530
Martin Otto Eliminating Recursion in the $ \mu
$-Calculus . . . . . . . . . . . . . . . 531--540
Jochen Messner On Optimal Algorithms and Optimal Proof
Systems . . . . . . . . . . . . . . . . 541--550
Juan Luis Esteban and
Jacobo Torán Space Bounds for Resolution . . . . . . 551--560
Rolf Niedermeier and
Peter Rossmanith Upper Bounds for Vertex Cover Further
Improved . . . . . . . . . . . . . . . . 561--570
Marco Riedel Online Matching for Scheduling Problems 571--580
Jacky Akoka Conceptual Design of Parallel Systems 1--23
Barry Boehm and
Dan Port Conceptual Modeling Challenges for
Model-Based Architecting and Software
Engineering (MBASE) . . . . . . . . . . 24--43
Silvana Castano and
Valeria De Antonellis Deriving Global Conceptual Views from
Multiple Information Sources . . . . . . 44--55
Peter P. Chen From Ancient Egyptian Language to Future
Conceptual Modeling . . . . . . . . . . 56--64
Lois M. L. Delcambre Breaking the Database out of the Box:
Models for Superimposed Information . . 65--72
Antonio L. Furtado Narratives and Temporal Databases: An
Interdisciplinary Perspective . . . . . 73--86
Georges Gardarin and
Fei Sha Using Conceptual Modeling and
Intelligent Agents to Integrate
Semi-structured Documents in Federated
Databases . . . . . . . . . . . . . . . 87--99
Terrance Goan Supporting the User: Conceptual Modeling
& Knowledge Discovery . . . . . . . . . . 100--104
Hannu Kangassalo Are Global Understanding, Communication,
and Information Management in
Information Systems Possible? . . . . . 105--122
Pericles Loucopoulos and
Vagelio Kavakli Enterprise Knowledge Management and
Conceptual Modelling . . . . . . . . . . 123--143
William E. McCarthy Semantic Modeling in Accounting
Education, Practice, and Research: Some
Progress and Impediments . . . . . . . . 144--153
John A. Miller and
Amit P. Sheth and
Krys J. Kochut Perspectives in Modeling: Simulation,
Database, and Workflow . . . . . . . . . 154--167
Shamkant B. Navathe and
Andreas M. Kogelnik The Challenges of Modeling Biological
Information for Genome Databases . . . . 168--182
Arnon Rosenthal and
Len Seligman Trends and Scale-Up for Data
Administration . . . . . . . . . . . . . 183--194
Munindar P. Singh Conceptual Modeling for Multiagent
Systems: Applying Interaction-Oriented
Programming . . . . . . . . . . . . . . 195--210
A. Soelvberg Data and What They Refer to . . . . . . 211--226
Arne Sòlvberg Data and What They Refer to . . . . . . 211
Bernhard Thalheim The Strength of ER Modeling . . . . . . 227--242
Peter Wegner and
Dina Goldin Interaction as a Framework for Modeling 243--257
Stephen W. Liddle and
Stephen W. Clyde and
Scott N. Woodfield A Summary of the ER'97 Workshop on
Behavioral Modeling . . . . . . . . . . 258--271
Venkataraman Ramesh and
Jeffrey Parsons and
Glenn J. Browne What Is the Role of Cognition in
Conceptual Modeling? A Report on the
First Workshop on Cognition and
Conceptual Modeling . . . . . . . . . . 272--280
Carlo Meghini and
Fabrizio Sebastiani Conceptual Modeling in Multimedia
Information Seeking . . . . . . . . . . 281--286
Peter P. Chen and
Bernhard Thalheim and
Leah Y. Wong Future Directions of Conceptual Modeling 287--302
Peter P. Chen Current Issues of Conceptual Modeling: A
Summary of Selective Active Research
Topics . . . . . . . . . . . . . . . . . IX
L. A. Zadeh Some Reflections on the Relationship
between AI and Fuzzy Logic (FL) --- A
Heretical View . . . . . . . . . . . . . 1--8
D. Dubois and
H. Prade The Place of Fuzzy Logic in AI . . . . . 9--21
J. F. Baldwin Mass Assignment Fundamentals for
Computing with Words . . . . . . . . . . 22--44
H. Narazaki and
L. Shigaki A Method to Use Uncertain Domain
Knowledge in the Induction of
Classification Knowledge Based on ID3 45--61
J. F. Baldwin and
T. P. Martin and
M. Vargas-Vera FRIL++ a Language for Object-Oriented
Programming with Uncertainty . . . . . . 62--78
D. Dubois and
F. Esteva and
P. Garcia and
L. Godo Case-Based Reasoning: A Fuzzy Approach 79--90
J. F. Baldwin and
T. P. Martin and
J. G. Shanahan System Identification of Fuzzy Cartesian
Granules Feature Models Using Genetic
Programming . . . . . . . . . . . . . . 91--116
S. Tano Deep Fusion of Symbolic and
Computational Processing for Next
Generation User Interface . . . . . . . 117--132
H. W. Guesgen Reasoning with Words about Geographic
Information . . . . . . . . . . . . . . 133--148
I. Bloch Fuzzy Morphology and Fuzzy Distances:
New Definitions and Links in both
Euclidean and Geodesic Cases . . . . . . 149--165
L. Roux An Application of Possibility Theory
Information Fusion to Satellite Image
Classification . . . . . . . . . . . . . 166--179
L. Wendling and
J. Desachy Pattern Recognition of Strong Graphs
Based on Possibilistic $c$-means and
$k$-formulae Matching . . . . . . . . . 180--189
L. Zerrouki and
B. Bouchon-Meunier and
R. Fondacci A Fuzzy-Neural Model for Co-ordination
in Air Traffic Flow Management . . . . . 190--204
J. Zhang and
A. Knoll From Numerical Interpolation to
Constructing Intelligent Behaviors . . . 205--221
V. A. Niskanen A Brief Logopedics for the Data Used in
a Neuro-Fuzzy Milieu . . . . . . . . . . 222--233
A. L. Ralescu and
D. A. Ralescu and
K. Hirota Evaluation of Fuzzy Quantified
Expressions . . . . . . . . . . . . . . 234--244
Haoxun Chen and
Hans-Michael Hanisch Control Synthesis of Hybrid Systems
Based on Predicate Invariance . . . . . 1--15
Alongkrit Chutinan and
Bruce H. Krogh Computing Approximating Automata for a
Class of Linear Hybrid Systems . . . . . 16--37
J. M. Davoren On Hybrid Systems and the Modal $ \mu
$-calculus . . . . . . . . . . . . . . . 38--69
B. De Schutter and
B. De Moor The Extended Linear Complementarity
Problem and the Modeling and Analysis of
Hybrid Systems . . . . . . . . . . . . . 70--85
Bart De Schutter and
Bart De Moor The Extended Linear Complementarity
Problem and the Modeling and Analysis of
Hybrid Systems . . . . . . . . . . . . . 70
Enrique D. Ferreira and
Bruce H. Krogh Controller Scheduling Using Neural
Networks: Implementation and
Experimental Results . . . . . . . . . . 86--99
Jianping Gao and
Qiwen Xu Rigorous Design of a Fault Diagnosis and
Isolation Algorithm . . . . . . . . . . 100--121
Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel Scalable Data and Sensor Fusion via
Multiple Agent Hybrid Systems . . . . . 122--141
Xenofon D. Koutsoukos and
Panos J. Antsaklis Hybrid Control Systems Using Timed Petri
Nets: Supervisory Control Design Based
on Invariant Properties . . . . . . . . 142--162
S. Kowalewski and
O. Stursberg and
M. Fritz and
H. Graf and
I. Hoffmann and
J. Preußig and
M. Remelhe and
S. Simon and
H. Treseler A Case Study in Tool-Aided Analysis of
Discretely Controlled Continuous
Systems: The Two Tanks Problem . . . . . 163--185
Gerardo Lafferriere and
George J. Pappas and
Shankar Sastry Hybrid Systems with Finite Bisimulations 186--203
Michael Lemmon and
Christopher J. Bett Extracting Stable Timed Automata from
Switched Model Reference Systems . . . . 204--217
Pieter J. Mosterman and
Feng Zhao and
Gautam Biswas Sliding Mode Model Semantics and
Simulation for Hybrid Systems . . . . . 218--237
Simin Nadjm-Tehrani Time-Deterministic Hybrid Transition
Systems . . . . . . . . . . . . . . . . 238--250
Todd W. Neller Heuristic Optimization and Dynamical
System Safety Verification . . . . . . . 251--261
T. Parisini and
S. Sacone A Hybrid Receding-Horizon Control Scheme
for Nonlinear Discrete-Time Systems . . 262--278
Jörg Raisch and
Eberhard Klein and
Siu O'Young and
Christian Meder and
Alexander Itigin Approximating Automata and Discrete
Control for Continuous Systems --- Two
Examples from Process Controll . . . . . 279--303
M. Roenkkoe and
A. P. Ravn Action Systems with Continuous Behaviour 304--323
Mauno Rönkkö and
Anders P. Ravn Action Systems with Continuous Behaviour 304
Conrado W. Seibel and
Jean-Marie Farines and
José E. R. Cury Towards Using Hybrid Automata for the
Mission Planning of Unmanned Aerial
Vehicles . . . . . . . . . . . . . . . . 324--340
E. Skafidas and
R. J. Evans and
I. M. Y. Mareels and
A. Nerode Optimal Controller Switching for
Stochastic Systems . . . . . . . . . . . 341--355
Le Yi Wang and
Pramod P. Khargonekar and
Ali Beydoun Robust Control of Hybrid Systems:
Performance Guided Strategies . . . . . 356--389
Howard Wong-Toi Analysis of Slope-Parametric Rectangular
Automata . . . . . . . . . . . . . . . . 390--413
Xinyao Yu and
Zongji Chen Control of Interval Temporal Systems . . 414--428
Feng Zhao and
Shiou C. Loh and
Jeff A. May Phase-Space Nonlinear Control Toolbox:
The Maglev Experience . . . . . . . . . 429--444
L. De Floriani and
P. Magillo and
E. Puppo Invited Paper: Multiresolution
Representation of Shapes Based on Cell
Complexes . . . . . . . . . . . . . . . 3--18
Leila De Floriani and
Paola Magillo and
Enrico Puppo Invited Paper: Multiresolution
Representation of Shapes Based on Cell
Complexes . . . . . . . . . . . . . . . 3
Gunilla Borgefors and
Gabriella Sanniti di Baja and
Stina Svensson Decomposing Digital $3$D Shapes Using a
Multiresolution Structure . . . . . . . 19--30
Fabien Feschet and
Laure Tougne Optimal Time Computation of the Tangent
of a Discrete Curve: Application to the
Curvature . . . . . . . . . . . . . . . 31--40
Jovisa Zunic The Discrete Moments of the Circles . . 41--49
Valentin E. Brimkov and
Reneta P. Barneva Graceful Planes and Thin Tunnel-Free
Meshes . . . . . . . . . . . . . . . . . 53--64
Yan Gérard Local Configurations of Digital
Hyperplanes . . . . . . . . . . . . . . 65--75
J. Vittone and
J. M. Chassery $ (n, m) $-Cubes and Farey Nets for
Naive Planes Understanding . . . . . . . 76--87
R. Ayala and
E. Domínguez and
A. R. Francés and
A. Quintero A Digital Lighting Function for Strong $
26 $-Surfaces . . . . . . . . . . . . . 91--103
Sébastien Fourey and
Rémy Malgouyres Intersection Number of Paths Lying on a
Digital Surface and a New Jordan Theorem 104--117
Vladimir Kovalevsky A Topological Method of Surface
Representation . . . . . . . . . . . . . 118--135
Rémy Malgouyres Presentation of the Fundamental Group in
Digital Surfaces . . . . . . . . . . . . 136--150
Attila Kuba Invited Paper: Reconstruction in
Different Classes of 2D Discrete Sets 153--163
Joachim Giesen Curve Reconstruction in Arbitrary
Dimension and the Traveling Salesman
Problem . . . . . . . . . . . . . . . . 164--176
Y. Matsumoto and
K. Fujimura and
T. Kitamura Shape-from-Silhouette/Stereo and Its
Application to $3$-D Digitizer . . . . . 177--188
Jean Serra Invited Paper: Set Connections and
Discrete Filtering . . . . . . . . . . . 191--206
Ehoud Ahronovitz and
Christophe Fiorio and
Sylvain Glaize Topological Operators on the Topological
Graph of Frontiers . . . . . . . . . . . 207--217
Gilles Bertrand New Notions for Discrete Topology . . . 218--228
Gilles Bertrand and
Michel Couprie A Model for Digital Topology . . . . . . 229--241
Yves Bertrand and
Christophe Fiorio and
Yann Pennaneach Border Map: A Topological Representation
for $n$ D Image Analysis . . . . . . . . 242--257
Yann Cointepas and
Isabelle Bloch and
Line Garnero A Discrete Homotopic Deformable Model
Dealing with Objects with Different
Local Dimensions . . . . . . . . . . . . 258--271
Patrik Eklund and
Fredrik Georgsson Unraveling the Thrill of Metric Image
Spaces . . . . . . . . . . . . . . . . . 275--285
Michiel Hagedoorn and
Remco Veltkamp Measuring Resemblance of Complex
Patterns . . . . . . . . . . . . . . . . 286--298
Julian Mattes and
Mathieu Richard and
Jacques Demongeot Tree Representation for Image Matching
and Object Recognition . . . . . . . . . 299--309
Antoine Manzanera and
Thierry M. Bernard and
Françoise Prêteux and
Bernard Longuet Ultra-Fast Skeleton Based on an
Isotropic Fully Parallel Algorithm . . . 313--324
Kálmán Palágyi and
Attila Kuba Directional $3$D Thinning Using 8
Subiterations . . . . . . . . . . . . . 325--336
Vincent Ranwez and
Pierre Soille Order Independent Homotopic Thinning . . 337--346
André Lieutier Invited Paper: Computable Partial Solids
and Voxels Sets . . . . . . . . . . . . 349--360
Hélymar Balza-Gomez and
Jean-Michel Moreau and
Dominique Michelucci Convex Hull of Grid Points Below a Line
or a Convex Curve . . . . . . . . . . . 361--374
Olivier Devillers and
Pierre-Marie M. Gandoin Rounding Voronoi Diagram . . . . . . . . 375--387
Oscar Figueiredo and
Jean-Pierre Reveill\`es and
Roger D. Hersch Digitization of Bézier Curves and Patches
using Discrete Geometry . . . . . . . . 388--398
Mohamed Tajine and
Daniel Wagner and
Christian Ronse Hausdorff Discretization and Its
Comparison to Other Discretization
Schemes . . . . . . . . . . . . . . . . 399--410
Lilian Aveneau and
Eric Andres and
Michel Mériaux The Discrete Tube: A Spatial
Acceleration Technique for Efficient
Diffraction Computation . . . . . . . . 413--424
Jean Françon and
Laurent Papier Polyhedrization of the Boundary of a
Voxel Object . . . . . . . . . . . . . . 425--434
Ivan Salam and
Philippe Nehlig and
Eric Andres Discrete Ray-Casting . . . . . . . . . . 435--446
Pierre Tellier and
Isabelle Debled-Rennesson $3$D Discrete Normal Vectors . . . . . . 447--458
Philippe Baufreton SACRES: A Step Ahead in the Development
of Critical Avionics Applications . . . 1
Bruce H. Krogh Approximating Hybrid System Dynamics for
Analysis and Control . . . . . . . . . . 2
Nancy Lynch High-Level Modeling and Analysis of an
Air-Traffic Management System . . . . . 3
Chris Miller Geometric Categories, $O$-Minimal
Structures and Control . . . . . . . . . 4
Rajeev Alur and
Sampath Kannan and
Salvatore La Torre Polyhedral Flows in Hybrid Automata . . 5
Eugene Asarin and
Oded Maler As Soon as Possible: Time Optimal
Control for Timed Automata . . . . . . . 19
Alberto Bemporad and
Manfred Morari Verification of Hybrid Systems via
Mathematical Programming . . . . . . . . 31
Olivier Bournez and
Oded Maler and
Amir Pnueli Orthogonal Polyhedra: Representation and
Computation . . . . . . . . . . . . . . 46
Mireille Broucke A Geometric Approach to Bisimulation and
Verification of Hybrid Systems . . . . . 61
Alongkrit Chutinan and
Bruce H. Krogh Verification of Polyhedral-Invariant
Hybrid Automata Using Polygonal Flow
Pipe Approximations . . . . . . . . . . 76
M. Egerstedt and
T. J. Koo and
F. Hoffmann and
S. Sastry Path Planning and Flight Controller
Scheduling for an Autonomous Helicopter 91
Mark R. Greenstreet and
Ian Mitchell Reachability Analysis Using Polygonal
Projections . . . . . . . . . . . . . . 103
J. P. Hespanha and
A. Stephen Morse Scale-Independent Hysteresis Switching 117
Jun-ichi Imura and
Arjan van der Schaft Well-Posedness of a Class of Piecewise
Linear Systems with No Jumps . . . . . . 123
Gerardo Lafferriere and
George J. Pappas and
Sergio Yovine A New Class of Decidable Hybrid Systems 137
Man Lin Synthesis of Control Software in a
Layered Architecture from Hybrid
Automata . . . . . . . . . . . . . . . . 152
Pieter J. Mosterman An Overview of Hybrid Simulation
Phenomena and Their Support by
Simulation Packages . . . . . . . . . . 165
Pieter J. Mosterman and
Gautam Biswas Building Hybrid Observers for Complex
Dynamic Systems Using Model Abstractions 178
S. Nadjm-Tehrani Building Hybrid Observers for Complex
Dynamic Systems Using Model Abstractions
Integration of Analog and Discrete
Synchronous Design . . . . . . . . . . . 193
Simin Nadjm-Tehrani Integration of Analog and Discrete
Synchronous Design . . . . . . . . . . . 193
J. Preußig and
O. Stursberg and
S. Kowalewski Reachability Analysis of a Class of
Switched Continuous Systems by
Integrating Rectangular Approximation
and Rectangular Analysis . . . . . . . . 209
M. Roenkkoe and
K. Sere Refinement and Continuous Behaviour . . 223
Mauno Rönkkö and
Kaisa Sere Refinement and Continuous Behaviour . . 223
Claire Tomlin and
John Lygeros and
Shankar Sastry Computing Controllers for Nonlinear
Hybrid Systems . . . . . . . . . . . . . 238
C. A. Yfoulis and
A. Muir and
P. E. Wellstead and
N. B. O. L. Pettit Stabilization of Orthogonal Piecewise
Linear Systems: Robustness Analysis and
Design . . . . . . . . . . . . . . . . . 256
R. Studer and
D. Fensel and
S. Decker and
V. R. Benjamins Knowledge Engineering --- Survey and
Future Directions . . . . . . . . . . . 1--23
O. Dressler and
F. Puppe Knowledge-Based Diagnosis --- Survey and
Future Directions . . . . . . . . . . . 24--46
A. Guenter and
C. Kuehn Knowledge-Based Configuration --- Survey
and Future Directions . . . . . . . . . 47--66
B. Bartsch-Spoerl and
M. Lenz and
A. Huebner Case-Based Reasoning --- Survey and
Future Directions . . . . . . . . . . . 67--89
T. Guckenbiehl and
H. Milde and
B. Neumann and
P. Struss Meeting Re-use Requirements of Real-Life
Diagnosis Applications . . . . . . . . . 90--100
J. Dorn Towards Reusable Intelligent Scheduling
Software . . . . . . . . . . . . . . . . 101--112
A. Abecker and
S. Decker Organizational Memory: Knowledge
Acquisition, Integration, and Retrieval
Issues . . . . . . . . . . . . . . . . . 113--124
M. Liao and
K. Hinkelmann and
A. Abecker and
M. Sintek A Competence Knowledge Base System as
Part of the Organizational Memory . . . 125--137
M. Nick and
C. Tautz Practical Evaluation of an
Organizational Memory Using the
Goal-Question-Metric Technique . . . . . 138--147
M. Lenz and
A. Glintschert On Texts, Cases, and Concepts . . . . . 148--156
B. Lees and
J. Corchado Integrated Case-Based Neural Network
Approach to Problem Solving . . . . . . 157--166
K. Epke PROPLANT --- Experiences with a
Knowledge-Based System for Plant
Protection . . . . . . . . . . . . . . . 167--175
G. Kaufmann and
F. Braun and
K. Egli and
M. Hodel WekI --- A Knowledge Based System of
Suva for the Assignment of Companies to
Risk Related Groups . . . . . . . . . . 176--185
H. Imhof Expert System Technology in Aircraft
Fleet Management --- The Development of
SAREX . . . . . . . . . . . . . . . . . 186--192
S. Schewe and
B. Reinhardt and
C. Betz Experiences with a Knowledge-Based
Tutoring System for Student Education in
Rheumatology . . . . . . . . . . . . . . 193--200
T. Pfisterer and
T. Wetter Computer Assisted Editing of Genomic
Sequences --- Why And How We Evaluated a
Prototype . . . . . . . . . . . . . . . 201--209
P. Knaup and
T. Wiedemann and
A. Bachert and
U. Creutzig Experiences of Using a Computer-Aided
Therapy Planning for Pediatric Oncology
in Clinical Routine . . . . . . . . . . 210--217
H. Hinrichs and
K. Panienski Experiences with Knowledge-Based Data
Cleansing at the Epidemiological Cancer
Registry of Lower-Saxony . . . . . . . . 218--226
J. C. Callis and
L. C. Lee Building Electronic Marketplaces with
the ZEUS Agent Tool-kit . . . . . . . . 1--24
Jaron C. Collis and
Lyndon C. Lee Building Electronic Marketplaces with
the ZEUS Agent Tool-kit . . . . . . . . 1
David C. Parkes and
Lyle H. Ungar and
Dean P. Foster Accounting for Cognitive Costs in
On-Line Auction Design . . . . . . . . . 25--40
Joakim Eriksson and
Niclas Finne and
Sverker Janson SICS MarketSpace --- An Agent-Based
Market Infrastructure . . . . . . . . . 41--53
Martin R. Andersson and
Tuomas W. Sandholm Sequencing of Contract Types for Anytime
Task Reallocation . . . . . . . . . . . 54--69
Robert H. Guttman and
Pattie Maes Agent-Mediated Integrative Negotiation
for Retail Electronic Commerce . . . . . 70--90
Steven Y. Goldsmith and
Laurence R. Phillips and
Shannon V. Spires A Multi-agent System for Coordinating
International Shipping . . . . . . . . . 91--104
Erik Steinmetz and
John Collins and
Scott Jamison and
Rashmi Sundareswara and
Bamshad Mobasher and
Maria Gini Bid Evaluation and Selection in the
MAGNET Automated Contracting System . . 105--125
Noyda Matos and
Carles Sierra Evolutionary Computing and Negotiating
Agents . . . . . . . . . . . . . . . . . 126--150
Pere Garcia and
Eduard Giménez and
Lluís Godo and
Juan A. Rodríguez-Aguilar Bidding Strategies for Trading Agents in
Auction-Based Tournaments . . . . . . . 151--165
Julian Padget and
Russell Bradford A $ \pi $-calculus Model of a Spanish
Fish Market --- Preliminary Report . . . 166--188
Chiara Ghidini and
Luciano Serafini Information Integration for Electronic
Commerce . . . . . . . . . . . . . . . . 189--206
Anonymous Author Index . . . . . . . . . . . . . . 207
Robert E. Schapire Theoretical Views of Boosting . . . . . 1--10
Richard S. Sutton Open Theoretical Questions in
Reinforcement Learning . . . . . . . . . 11--17
Nigel Duffy and
David Helmbold A Geometric Approach to Leveraging Weak
Learners . . . . . . . . . . . . . . . . 18--33
Ran Bachrach and
Shai Fine and
Eli Shamir Query by Committee, Linear Separation
and Random Walks . . . . . . . . . . . . 34--49
Peter Bartlett and
Shai Ben-David Hardness Results for Neural Network
Approximation Problems . . . . . . . . . 50--62
Víctor Dalmau and
Peter Jeavons Learnability of Quantified Formulas . . 63--78
Jürgen Forster Learning Multiplicity Automata from
Smallest Counterexamples . . . . . . . . 79--90
David Guijarro and
Víctor Lavín and
Vijay Raghavan Exact Learning when Irrelevant Variables
Abound . . . . . . . . . . . . . . . . . 91--100
Thomas Hofmeister An Application of Codes to
Attribute-Efficient Learning . . . . . . 101--110
Roni Khardon Learning Range Restricted Horn
Expressions . . . . . . . . . . . . . . 111--125
Vladislav Tadic On the Asymptotic Behavior of a Constant
Stepsize Temporal-Difference Learning
Algorithm . . . . . . . . . . . . . . . 126--137
D. P. Helmbold and
S. Panizza and
M. K. Warmuth Direct and Indirect Algorithms for
On-line Learning of Disjunctions . . . . 138--152
Jyrki Kivinen and
Manfred K. Warmuth Averaging Expert Predictions . . . . . . 153--167
Christian Kuhlmann On Teaching and Learning
Intersection-Closed Concept Classes . . 168--182
Matthias Ott and
Frank Stephan Avoiding Coding Tricks by Hyperrobust
Learning . . . . . . . . . . . . . . . . 183--197
Sanjay Jain and
Arun Sharma Mind Change Complexity of Learning Logic
Programs . . . . . . . . . . . . . . . . 198--213
Alex J. Smola and
Robert C. Williamson and
Sebastian Mika and
Bernhard Schölkopf Regularized Principal Manifolds . . . . 214--229
Nicolas Vayatis and
Robert Azencott Distribution-Dependent
Vapnik--Chervonenkis Bounds . . . . . . 230--240
András Antos Lower Bounds on the Rate of Convergence
of Nonparametric Pattern Recognition . . 241--252
Márta Horváth On Error Estimation for the Partitioning
Classification Rule . . . . . . . . . . 253--262
John Shawe-Taylor and
Nello Cristianini Margin Distribution Bounds on
Generalization . . . . . . . . . . . . . 263--273
John Shawe-Taylor and
Robert C. Williamson Generalization Performance of
Classifiers in Terms of Observed
Covering Numbers . . . . . . . . . . . . 274--284
Robert C. Williamson and
Alex J. Smola and
Bernhard Schölkopf Entropy Numbers, Operators and Support
Vector Kernels . . . . . . . . . . . . . 285--300
Z. Bai and
G. H. Golub Some Unusual Eigenvalue Problems
(Invited Talk) . . . . . . . . . . . . . 4--19
W. N. Gansterer and
D. F. Kvasnicka and
C. W. Ueberhuber Multi-sweep Algorithms for the Symmetric
Eigenproblem . . . . . . . . . . . . . . 20--28
D. Gimenez and
V. Hernandez and
A. M. Vidal A Unified Approach to Parallel
Block-Jacobi Methods for the Symmetric
Eigenvalue Problem . . . . . . . . . . . 29--42
V. Hernandez and
J. E. Roman and
A. M. Vidal and
V. Vidal Calculation of Lambda Modes of a Nuclear
Reactor: A Parallel Implementation Using
the Implicitly Restarted Arnoldi Method 43--57
M. Nool and
A. Van der Ploeg Parallel Jacobi--Davidson for Solving
Generalized Eigenvalue Problems . . . . 58--70
A. Basermann Parallel Preconditioned Solvers for
Large Sparse Hermitian Eigenproblems . . 71--84
D. Gimenez and
C. Jimenez and
M. J. Majado and
N. Marin Solving Eigenvalue Problems on Networks
of Processors . . . . . . . . . . . . . 85--99
D. L. Harrar and
M. R. Osborne Solving Large-Scale Eigenvalue Problems
on Vector Parallel Processors . . . . . 100--113
F. Grund Direct Linear Solvers for Vector and
Parallel Computers . . . . . . . . . . . 114--127
A. J. Garcia-Loureiro and
T. F. Pena and
J. M. Lopez-Gonzalez and
L. P. Viñas Parallel Preconditioners for Solving
Nonsymmetric Linear Systems . . . . . . 128--141
J. Arnal and
V. Migallon and
J. Penades Synchronous and Asynchronous Parallel
Algorithms with Overlap for Almost
Linear Systems . . . . . . . . . . . . . 142--155
P. Husbands and
C. Isbell The Parallel Problems Server: A
Client-Server Model for Interactive
Large Scale Scientific Computation . . . 156--170
T. J. Barth and
T. F. Chan and
W.-P. Tang Parallel Domain-Decomposition
Preconditioning for Computational Fluid
Dynamics (Invited Talk) . . . . . . . . 176--202
P. J. Coelho Influence of the Discretization Scheme
on the Parallel Efficiency of a Code for
the Modelling of a Utility Boiler . . . 203--214
J.-B. Vicaire and
L. Prylli and
G. Perrot and
B. Tourancheau Parallel $3$D Airflow Simulation on
Workstation Clusters . . . . . . . . . . 215--226
M. Strietzel and
T. Gerz Parallel Turbulence Simulation:
Resolving the Inertial Subrange of the
Kolmogorov Spectrum . . . . . . . . . . 227--237
P. M. Areal and
J. M. L. M. Palma The Study of a Parallel Algorithm Using
the Laminar Backward-Facing Step Flow as
a Test Case . . . . . . . . . . . . . . 238--249
C. O. Moretti and
T. N. Bittencourt and
L. F. Martha A Low Cost Distributed System for FEM
Parallel Structural Analysis . . . . . . 250--262
H. G. Galbas and
O. Kolp Dynamic Load Balancing in
Crashworthiness Simulation . . . . . . . 263--270
C. Becker and
S. Kilian and
S. Turek Some Concepts of the Software Package
FEAST . . . . . . . . . . . . . . . . . 271--284
C. Becket and
S. Kilian and
S. Turek Some Concepts of the Software Package
FEAST . . . . . . . . . . . . . . . . . 271
C. Walshaw and
M. Cross and
R. Diekmann and
F. Schlimbach Multilevel Mesh Partitioning for
Optimising Aspect Ratio . . . . . . . . 285--300
P. H. Welch Parallel and Distributed Computing in
Education (Invited Talk) . . . . . . . . 301--330
J. Vuillemin Reconfigurable Systems: Past and Next 10
Years . . . . . . . . . . . . . . . . . 334
S.-G. Seo and
M. J. Downie and
G. E. Hearn and
C. Phillips A Systolic Algorithm for the
Factorisation of Matrices Arising in the
Field of Hydrodynamics . . . . . . . . . 355--364
A. Espinosa and
T. Margalef and
E. Luque Automatic Detection of Parallel Program
Performance Problems . . . . . . . . . . 365--377
F. J. Suarez and
D. F. Garcia Behavioural Analysis Methodology
Oriented to Configuration of Parallel,
Real-Time and Embedded Systems . . . . . 378--395
R. J. O. Figueiredo and
J. A. B. Fortes and
Z. B. Miled Spatial Data Locality with Respect to
Degree of Parallelism in
Processor-and-Memory Hierarchies . . . . 396--410
M. Prieto-Matias and
I. Martin-Llorente and
F. Tirado Partitioning Regular Domains on Modern
Parallel Computers . . . . . . . . . . . 411--424
A. M. Del Corral and
J. M. Llaberia New Access Order to Reduce
Inter-vector-Conflicts . . . . . . . . . 425--438
L. Villa and
R. Espasa and
M. Valero Registers Size Influence on Vector
Architectures . . . . . . . . . . . . . 439--451
J. Gonzalez and
A. Gonzalez Limits of Instruction Level Parallelism
with Data Value Speculation . . . . . . 452--465
F. Garcia and
J. Carretero and
F. Perez and
P. De Miguel High Performance Cache Management for
Parallel File Systems . . . . . . . . . 466--479
J. P. Kitajima and
S. Porto Using Synthetic Workloads for Parallel
Task Scheduling Improvement Analysis . . 480--493
D. Franco and
I. Garces and
E. Luque Dynamic Routing Balancing in Parallel
Computer Interconnection Networks . . . 494--507
J. Barbosa and
A. Padilha Algorithm-Dependant Method to Determine
the Optimal Number of Computers in
Parallel Virtual Machines . . . . . . . 508--521
M. Martin and
B. Chopard Low Cost Parallelizing: A Way to be
Efficient . . . . . . . . . . . . . . . 522--533
A. J. Van der Steen and
R. Van der Pas A Performance Analysis of the SGI
Origin2000 . . . . . . . . . . . . . . . 534--547
F. Quintana and
R. Espasa and
M. Valero An ISA Comparison Between Superscalar
and Vector Processors . . . . . . . . . 548--560
T. Priol High Performance Computing for Image
Synthesis (Invited Talk) . . . . . . . . 563--578
C. Laurent and
J. Roman Parallel Implementations of
Morphological Connected Operators Based
on Irregular Data Structures . . . . . . 579--592
P. Watson The Design of an ODMG Compatible
Parallel Object Database Server (Invited
Talk) . . . . . . . . . . . . . . . . . 593--622
N. S. A. Pereira A Parallel $N$-body Integrator Using MPI 627--639
N. Sidonio and
A. Pereira A Parallel $N$-body Integrator Using MPI 627
C. L. T. Borges and
D. M. Falcao A Parallelisation Strategy for Power
Systems Composite Reliability Evaluation
(Best Student Paper Award: Honourable
Mention) . . . . . . . . . . . . . . . . 640--651
M. Arenaz and
R. Doallo and
G. Garcia and
C. Vazquez High Performance Computing of an
Industrial Problem in Tribology (Best
Student Paper Award: First Prize) . . . 652--665
W. Sawyer and
L. Takacs and
A. Da Silva and
P. Lyster Parallel Grid Manipulations in Earth
Science Calculations . . . . . . . . . . 666--679
R. Keppens and
G. Toth Simulating Magnetised Plasma with the
Versatile Advection Code . . . . . . . . 680--690
R. Baraglia and
R. Perego Parallel Genetic Algorithms for
Hypercube Machines . . . . . . . . . . . 691--703
W. Kim KDD as an Enterprise IT Tool: Reality
and Agenda . . . . . . . . . . . . . . . 1
H. Motoda Computer Assisted Discovery of First
Principle Equations from Numeric Data 2
Z. Pawlak Data Mining: A Rough Set Perspective . . 3--12
C. C. Aggarwal and
P. S. Yu Data Mining Techniques for Associations,
Clustering and Classification . . . . . 13--23
T. Y. Lin Data Mining: Granular Computing Approach 24--33
H. Tsukimoto Rule Extraction from Prediction Models 34--43
X. Du and
Z. Liu and
N. Ishii Mining Association Rules on Related
Numeric Attributes . . . . . . . . . . . 44--53
C. L. Yip and
K. K. Loo and
B. Kao and
D. W. Cheung LGen --- A Lattice-Based Candidate Set
Generation Algorithm for I/O Efficient
Association Rule Mining . . . . . . . . 54--63
K. Rajamani and
S. Sung and
A. Cox Extending the Applicability of
Association Rules . . . . . . . . . . . 64--73
P. S. M. Tsai and
C.-C. Lee and
A. L. P. Chen An Efficient Approach for Incremental
Association Rule Mining . . . . . . . . 74--83
M. Kryszkiewicz Association Rules in Incomplete
Databases . . . . . . . . . . . . . . . 84--93
I. Pramudiono and
T. Shintani and
T. Tamura and
M. Kitsuregawa Parallel SQL Based Association Rule
Mining on Large Scale PC Cluster:
Performance Comparison with Directly
Coded C Implementation . . . . . . . . . 94--98
Y. Yang and
M. Singhal $H$-Rule Mining in Heterogeneous
Databases . . . . . . . . . . . . . . . 99--103
A. Zhou and
S. Zhou and
W. Jin and
Z. Tian An Improved Definition of
Multidimensional, Inter-transaction
Association Rule . . . . . . . . . . . . 104--108
K. Hu and
Y. Lu and
C. Shi Incremental Discovering Association
Rules: A Concept Lattice Approach . . . 109--113
X. Wu Induction as Pre-processing . . . . . . 114--122
Z. Zheng and
G. I. Webb Stochastic Attribute Selection
Committees with Multiple Boosting:
Learning More Accurate and More Stable
Classifier Committees . . . . . . . . . 123--132
Y. Y. Yao and
S. K. M. Wong and
C. J. Butz On Information-Theoretic Measures of
Attribute Importance . . . . . . . . . . 133--137
K.-C. Lee A Technique of Dynamic Feature Selection
Using the Feature Group Mutual
Information . . . . . . . . . . . . . . 138--142
M. Terabe and
O. Katai and
T. Sawaragi and
T. Washio A Data Pre-processing Method Using
Association Rules of Attributes for
Improving Decision Tree . . . . . . . . 143--147
L. Singh and
B. Chen and
R. Haight and
P. Scheuermann An Algorithm for Constrained Association
Rule Mining in Semi-structured Data . . 148--158
A. Zhou and
W. Jin and
S. Zhou and
Z. Tian Incremental Mining of Schema for
Semi-structured Data . . . . . . . . . . 159--168
M.-F. Jiang and
S.-S. Tseng and
C.-J. Tsai Discovering Structure from Document
Databases . . . . . . . . . . . . . . . 169--173
V. Cho and
B. Wuethrich Combining Forecasts from Multiple
Textual Data Sources . . . . . . . . . . 174--178
X. Meng and
Y. Zhou and
S. Wang Domain Knowledge Extracting in a Chinese
Natural Language Interface to Databases:
NChiql . . . . . . . . . . . . . . . . . 179--183
G. J. Williams Evolutionary Hot Spots Data Mining: An
Architecture for Exploring for
Interesting Discoveries . . . . . . . . 184--193
H. Liu and
H. Lu and
L. Feng and
F. Hussain Efficient Search of Reliable Exceptions 194--203
R. J. Hilderman and
H. J. Hamilton Heuristics for Ranking the
Interestingness of Discovered Knowledge 204--209
S. Tsumoto Automated Discovery of Plausible Rules
Based on Rough Sets and Rough Inclusion 210--219
Z. Liu and
Z. Xie Discernibility System in Rough Sets . . 220--227
A. Rauber and
D. Merkl Automatic Labeling of Self-Organizing
Maps: Making a Treasure-Map Reveal Its
Secrets . . . . . . . . . . . . . . . . 228--237
L. Zhang and
B. Zhang Neural Network Based Classifiers for a
Vast Amount of Data . . . . . . . . . . 238--246
H. A. Prado and
K. F. Machado and
S. R. Frigeri and
P. M. Engel Accuracy Tuning on Combinatorial Neural
Model . . . . . . . . . . . . . . . . . 247--251
Y. Kakemoto and
S. Nakasuka A Situated Information Articulation
Neural Network: VSF Network . . . . . . 252--257
C. Deng and
F. Xiong Neural Method for Detection of Complex
Patterns in Databases . . . . . . . . . 258--262
X. Shi and
M.-C. Chan and
D. Li Preserve Discovered Linguistic Patterns
Valid in Volatility Data Environment . . 263--267
D. Shibata and
N. Inuzuka and
S. Kato and
T. Matsui An Induction Algorithm Based on Fuzzy
Logic Programming . . . . . . . . . . . 268--273
S. Tsumoto Rule Discovery in Databases with Missing
Values Based on Rough Set Model . . . . 274--278
X. Wang and
R. Wang and
J. Wang Sustainability Knowledge Mining from
Human Development Database . . . . . . . 279--283
T. Wada and
T. Horiuchi and
H. Motoda and
T. Washio Characterization of Default Knowledge in
Ripple Down Rules Method . . . . . . . . 284--295
K. M. Ting and
Z. Zheng Improving the Performance of Boosting
for Naive Bayesian Classification . . . 296--305
D. A. Newlands and
G. I. Webb Convex Hulls in Concept Induction . . . 306--316
J. Fan and
D. Li Mining Classification Knowledge Based on
Cloud Models . . . . . . . . . . . . . . 317--326
V. Estivill-Castro and
M. E. Houle Robust Clustering of Large
Geo-referenced Data Sets . . . . . . . . 327--337
B. Zhou and
D. W. Cheung and
B. Kao A Fast Algorithm for Density-Based
Clustering in Large Database . . . . . . 338--349
G. Melli A Lazy Model-Based Algorithm for On-Line
Classification . . . . . . . . . . . . . 350--354
K. Alsabti and
S. Ranka and
V. Singh An Efficient Space-Partitioning Based
Algorithm for the $K$-Means Clustering 355--359
C.-M. Su and
S.-S. Tseng and
M.-F. Jiang and
J. C. S. Chen A Fast Clustering Process for Outliers
and Remainder Clusters . . . . . . . . . 360--364
H. He and
S. Hawkins Optimising the Distance Metric in the
Nearest Neighbour Algorithm on a
Real-World Patient Classification
Problem . . . . . . . . . . . . . . . . 365--369
Z. Zheng and
B. T. Low Classifying Unseen Cases with Many
Missing Values . . . . . . . . . . . . . 370--374
T. B. Ho and
N. B. Nguyen and
T. Morita Study of a Mixed Similarity Measure for
Classification and Clustering . . . . . 375--379
B. Liu and
W. Hsu and
K. Wang and
S. Chen Visually Aided Exploration of
Interesting Association Rules . . . . . 380--389
J. Han and
N. Cercone DVIZ: A System for Visualizing Data
Mining . . . . . . . . . . . . . . . . . 390--399
H. Dai A Minimal Causal Model Learner . . . . . 400--408
K. L. Lee and
G. Lee and
A. L. P. Chen Efficient Graph-Based Algorithm for
Discovering and Maintaining Knowledge in
Large Databases . . . . . . . . . . . . 409--419
A. Inokuchi and
T. Washio and
H. Motoda and
K. Kumasawa Basket Analysis for Graph Structured
Data . . . . . . . . . . . . . . . . . . 420--431
J. R. Neil and
K. B. Korb The Evolution of Causal Models: A
Comparison of Bayesian Metrics and
Structure Priors . . . . . . . . . . . . 432--437
T. Miyahara and
T. Uchida and
T. Kuboyama and
T. Yamamoto KD-FGS: A Knowledge Discovery System
from Graph Data Using Formal Graph
System . . . . . . . . . . . . . . . . . 438--442
Y. Guo and
J. Sutiwaraphun Probing Knowledge in Distributed Data
Mining . . . . . . . . . . . . . . . . . 443--452
Z. W. Ras and
J. M. Zytkow Discovery of Equations and the Shared
Operational Semantics in Distributed
Autonomous Databases . . . . . . . . . . 453--463
A. Zigbed and
M. Cote and
N. Troudi The Data-Mining and the Technology of
Agents to Fight the Illicit Electronic
Messages . . . . . . . . . . . . . . . . 464--468
A. Zighed and
M. Cote and
N. Troudi The Data-Mining and the Technology of
Agents to Fight the Illicit Electronic
Messages . . . . . . . . . . . . . . . . 464
H. Lu and
L. Sterling and
A. Wyatt Knowledge Discovery in SportsFinder: An
Agent to Extract Sports Results from the
Web . . . . . . . . . . . . . . . . . . 469--473
L. Perrochon and
W. Mann and
S. Kasriel and
D. C. Luckham Event Mining with Event Processing
Networks . . . . . . . . . . . . . . . . 474--478
Y. Y. Yao and
N. Zhong An Analysis of Quantitative Measures
Associated with Rules . . . . . . . . . 479--488
J. Cheng A Strong Relevant Logic Model of
Epistemic Processes in Scientific
Discovery . . . . . . . . . . . . . . . 489--493
T. Yoshida and
T. Kondo and
S. Nishida Discovering Conceptual Differences among
Different People via Diverse Structures 494--498
O. O. Lobo and
M. Numao Ordered Estimation of Missing Values . . 499--503
E. Suzuki and
T. Ohno Prediction Rule Discovery Based on
Dynamic Bias Selection . . . . . . . . . 504--508
A. An and
N. Cercone Discretization of Continuous Attributes
for Learning Classification Rules . . . 509--514
S. Ben Yahia and
A. Jaoua BRRA: A Based Relevant Rectangle
Algorithm for Mining Relationships in
Databases . . . . . . . . . . . . . . . 515--519
S. B. Yahia and
A. Jaoua BRRA: A Based Relevant Rectangle
Algorithm for Mining Relationships in
Databases . . . . . . . . . . . . . . . 515
X. Tao and
N. Wang and
S. Zhou and
A. Zhou Mining Functional Dependency Rule of
Relational Database . . . . . . . . . . 520--524
R. Jiang and
D. Li and
H. Chen Time-Series Prediction with Cloud Models
in DMKD . . . . . . . . . . . . . . . . 525--530
J. Saraiva and
D. Swierstra Data Structure Free Compilation . . . . 1--16
A. M. Sloane Debugging Eli-Generated Compilers with
Noosa . . . . . . . . . . . . . . . . . 17--31
J. Aycock and
N. Horspool Faster Generalized LR Parsing . . . . . 32--46
D. Melski and
T. Reps Interprocedural Path Profiling . . . . . 47--62
F. Martin Experimental Comparison of call string
and functional Approaches to
Interprocedural Analysis . . . . . . . . 63--75
S. Debray and
R. Muth and
S. Watterson Link-Time Improvement of Scheme Programs 76--90
J. Knoop and
O. Ruething and
B. Steffen Expansion-Based Removal of Semantic
Partial Redundancies . . . . . . . . . . 91--106
R. Gupta and
R. Bodik Register Pressure Sensitive Redundancy
Elimination . . . . . . . . . . . . . . 107--121
D. Kaestner and
M. Langenbach Code Optimization by Integer Linear
Programming . . . . . . . . . . . . . . 122--136
V. Liberatore and
M. Farach-Colton and
U. Kremer Evaluation of Algorithms for Local
Register Allocation . . . . . . . . . . 137--152
C. Zhang and
R. Govindarajan and
S. Ryan and
G. R. Gao Efficient State-Diagram Construction
Methods for Software Pipelining . . . . 153--167
G. Rivera and
C.-W. Tseng A Comparison of Compiler Tiling
Algorithms . . . . . . . . . . . . . . . 168--182
L. Rauchwerger and
D. Patel Implementation Issues of Loop-Level
Speculative Run-Time Parallelization . . 183--197
M. Van den Brand and
P. Klint and
P. Olivier Compilation and Memory Management for
ASF+SDF . . . . . . . . . . . . . . . . 198--213
H. Saito and
N. Stavrakos and
S. Carroll and
C. Polychronopoulos The Design of the PROMIS Compiler . . . 214--228
A. Cilio and
H. Corporaal Floating Point to Fixed Point Conversion
of C Code . . . . . . . . . . . . . . . 229--243
T. Tourwe and
W. De Meuter Optimizing Object-Oriented Languages
Through Architectural Transformations 244--258
S. Rubin and
D. Bernstein and
M. Rodeh Virtual Cache Line: A New Technique to
Improve Cache Exploitation for Recursive
Data Structures . . . . . . . . . . . . 259--273
B. D. De Dinechin Extending Modulo Scheduling with Memory
Reference Merging . . . . . . . . . . . 274--287
T. Ernst TRAPping Modelica with Python . . . . . 288--291
M. Boekhold and
I. Karkowski and
H. Corporaal and
A. Cilio A Programmable ANSI C Code
Transformation Engine . . . . . . . . . 292--295
M. Anlauff and
P. W. Kutter and
A. Pierantonio Tool Support for Language Design and
Prototyping with Montages . . . . . . . 296--300
P. Hudak Functional Reactive Programming . . . . 1
M. Benedikt and
T. Reps and
M. Sagiv A Decidable Logic for Describing Linked
Data Structures . . . . . . . . . . . . 2--19
F. Nielson and
H. R. Nielson Interprocedural Control Flow Analysis 20--39
A. Sabelfeld and
D. Sands A Per Model of Secure Information Flow
in Sequential Programs . . . . . . . . . 40--58
A. King and
J.-G. Smaus and
P. Hill Quotienting Share for Dependency
Analysis . . . . . . . . . . . . . . . . 59--73
S. Gay and
M. Hole Types and Subtypes for Client-Server
Interactions . . . . . . . . . . . . . . 74--90
C. Flanagan and
M. Abadi Types for Safe Locking . . . . . . . . . 91--108
G. Barthe and
M. J. Frade Constructor Subtyping . . . . . . . . . 109--127
V. Trifonov and
Z. Shao Safe and Principled Language
Interoperation . . . . . . . . . . . . . 128--146
M. Norrish Deterministic Expressions in C . . . . . 147--161
A. Poetzsch-Heffter and
P. Mueller A Programming Logic for Sequential Java 162--176
A. Podelski and
W. Charatonik and
M. Mueller Set-Based Failure Analysis for Logic
Programs and Concurrent Constraint
Programs . . . . . . . . . . . . . . . . 177--192
E. Moggi and
W. Taha and
Z. El-Abidine Benaissa and
T. Sheard An Idealized MetaML: Simpler, and More
Expressive . . . . . . . . . . . . . . . 193--207
A. Mycroft Type-Based Decompilation . . . . . . . . 208
O. Danvy and
Z. Yang An Operational Investigation of the CPS
Hierarchy . . . . . . . . . . . . . . . 224--242
P. Thiemann Higher-Order Code Splicing . . . . . . . 243--257
S. Krishnamurthi and
Y.-D. Erlich and
M. Felleisen Expressing Structural Properties as
Language Constructs . . . . . . . . . . 258--272
P. Jansson and
J. Jeuring Polytypic Compact Printing and Parsing 273--287
Y. A. Liu and
S. D. Stoller Dynamic Programming via Static
Incrementalization . . . . . . . . . . . 288--305
A. Van Deursen and
P. Klint and
C. Verhoef Research Issues in the Renovation of
Legacy Systems . . . . . . . . . . . . . 1--21
H. Weber Continuous Engineering of Information
and Communication Infrastructures . . . 22--29
D. Ancona and
M. Cerioli and
E. Zucca A Formal Framework with Late Binding . . 30--44
C. Attanasio and
F. Corradini and
P. Inverardi Yet Another Real-Time Specification for
the Steam Boiler: Local Clocks to
Statically Measure Systems Performance 45--59
R. Bruni and
J. Meseguer and
U. Montanari Executable Tile Specifications for
Process Calculi . . . . . . . . . . . . 60--76
E. Coscia and
G. Reggio JTN: A Java-Targeted Graphic Formal
Notation for Reactive and Concurrent
Systems . . . . . . . . . . . . . . . . 77--97
W. Fokkink and
C. Verhoef Conservative Extension in
Positive/Negative Conditional Term
Rewriting with Applications to Software
Renovation Factories . . . . . . . . . . 98--113
M.-C. Gaudel and
C. Khoury and
A. Zamulin Dynamic Systems with Implicit State . . 114--128
K. Lano and
A. Evans Rigorous Development in UML . . . . . . 129--143
A. Lopes and
J. L. Fiadeiro Using Explicit State to Describe
Architectures . . . . . . . . . . . . . 144--160
M. Mueller-Olm and
B. Steffen and
R. Cleaveland On the Evolution of Reactive Components
--- A Process-Algebraic Approach . . . . 161--175
V. A. Nepomniaschy Verification of Definite Iteration over
Hierarchical Data Structures . . . . . . 176--187
T. Nipkow and
L. Prensa Nieto Owicki/Gries in Isabelle/HOL . . . . . . 188--203
C. Nottegar and
C. Priami and
P. Degano Semantic-Driven Performance Evaluation 204--218
J. Tapken Implementing Hierarchical
Graph-Structures . . . . . . . . . . . . 219--233
L. Blair and
T. Jones and
G. Blair A Tool Suite for Multi-paradigm
Specification . . . . . . . . . . . . . 234--238
C. Lueth and
H. Tej Kolyang and
B. Krieg-Brueckner TAS and IsaWin: Tools for
Transformational Program Development and
Theorem Proving . . . . . . . . . . . . 239--244
M. Abadi Security Protocols and Specifications 1--13
J. Esparza and
J. Knoop An Automata-Theoretic Approach to
Interprocedural Data-Flow Analysis . . . 14--30
D. Sangiorgi Reasoning About Concurrent Systems Using
Types . . . . . . . . . . . . . . . . . 31--40
L. Aceto and
A. Ingolfsdottir Testing Hennessy--Milner Logic with
Recursion . . . . . . . . . . . . . . . 41--55
R. Arruabarrena and
P. Lucio and
M. Navarro A Strong Logic Programming View for
Static Embedded Implications . . . . . . 56--72
P. Baldan and
A. Corradini and
U. Montanari Unfolding and Event Structure Semantics
for Graph Grammars . . . . . . . . . . . 73--89
G. Barthe Expanding the Cube . . . . . . . . . . . 90--103
M. Benke An Algebraic Characterization of
Typability in ML with Subtyping . . . . 104--119
C. Bodei and
P. Degano and
F. Nielson and
H. R. Nielson Static Analysis of Processes for No
Read-Up and No Write-Down . . . . . . . 120--134
F. S. De Boer A WP-calculus for OO . . . . . . . . . . 135--149
B. Bogaert and
F. Seynhaeve and
S. Tison The Recognizability Problem for Tree
Automata with Comparisons between
Brothers . . . . . . . . . . . . . . . . 150--164
M. Boreale and
R. De Nicola and
R. Pugliese A Theory of ``May'' Testing for
Asynchronous Languages . . . . . . . . . 165--179
E. Dantsin and
A. Voronkov A Nondeterministic Polynomial-Time
Unification Algorithm for Bags, Sets and
Trees . . . . . . . . . . . . . . . . . 180--196
N. Ghani and
V. De Paiva and
E. Ritter Categorical Models of Explicit
Substitutions . . . . . . . . . . . . . 197--211
A. D. Gordon and
L. Cardelli Equational Properties of Mobile Ambients 212--226
M. Huhn and
P. Niebert and
F. Wallner Model Checking Logics for Communicating
Sequential Agents . . . . . . . . . . . 227--242
M. Lenisa A Complete Coinductive Logical System
for Bisimulation Equivalence on Circular
Objects . . . . . . . . . . . . . . . . 243--257
S. Maneth String Languages Generated by Total
Deterministic Macro Tree Transducers . . 258--272
A. Muscholl Matching Specifications for Message
Sequence Charts . . . . . . . . . . . . 273--287
M. Narasimha and
R. Cleaveland and
P. Iyer Probabilistic Temporal Logics via the
Modal Mu-Calculus . . . . . . . . . . . 288--305
C. Roeckl and
D. Sangiorgi A $ \lambda $-calculus Process Semantics
of Concurrent Idealised ALGOL . . . . . 306--321
Jeff Kramer and
Jeff Magee Modelling for Mere Mortals . . . . . . . 1--18
Thomas Friese and
Tiziana Margaria and
Thomas Rakow Integrating Printed and Online
Information . . . . . . . . . . . . . . ??
Pao-Ann Hsiung and
Farn Wang and
Yue-Sun Kuo Scheduling System Verification . . . . . 19--33
Minsoo Ryu and
Seongsoo Hong A Period Assignment Algorithm for
Real-Time System Design . . . . . . . . 34--43
Mark K. Gardner and
Jane W. S. Liu Analyzing Stochastic Fixed-Priority
Real-Time Systems . . . . . . . . . . . 44--58
Stavros Tripakis Timed Diagnostics for Reachability
Properties . . . . . . . . . . . . . . . 59--73
Yifei Dong and
Xiaoqun Du and
Y. S. Ramakrishna and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka and
Oleg Sokolsky and
Eugene W. Stark and
David S. Warren Fighting Livelock in the $i$-Protocol: A
Comparative Study of Verification Tools 74--88
Cornelia Pusch Proving the Soundness of a Java Bytecode
Verifier Specification in Isabelle/HOL 89--103
Christoph Kreitz Automated Fast-Track Reconfiguration of
Group Communication Systems . . . . . . 104--118
Jason Hickey and
Nancy Lynch and
Robbert van Renesse Specifications and Proofs for Ensemble
Layers . . . . . . . . . . . . . . . . . 119--133
Anne Bergeron and
Jean-Christophe Manzoni An Automated Analysis of Ping-Pong
Interactions in E-mail Services . . . . 134--147
Davide Marchignoli and
Fabio Martinelli Automatic Verification of Cryptographic
Protocols through Compositional Analysis
Techniques . . . . . . . . . . . . . . . 148--162
Gerd Behrmann and
Kim G. Larsen and
Henrik R. Andersen and
Henrik Hulgaard and
Jòrn Lind-Nielsen Verification of Hierarchical State/Event
Systems Using Reusability and
Compositionality . . . . . . . . . . . . 163--177
Vlad Rusu and
Eli Singerman On Proving Safety Properties by
Integrating Static Analysis, Theorem
Proving and Abstraction . . . . . . . . 178--192
Armin Biere and
Alessandro Cimatti and
Edmund Clarke and
Yunshan Zhu Symbolic Model Checking without BDDs . . 193--207
Parosh Abdulla and
Aurore Annichini and
Ahmed Bouajjani Symbolic Verification of Lossy Channel
Systems: Application to the Bounded
Retransmission Protocol . . . . . . . . 208--222
Giorgio Delzanno and
Andreas Podelski Model Checking in CLP . . . . . . . . . 223--239
Keijo Heljanko Using Logic Programs with Stable Model
Semantics to Solve Deadlock and
Reachability Problems for $1$-Safe Petri
Nets . . . . . . . . . . . . . . . . . . 240--254
Ugo Montanari and
Marco Pistore Finite State Verification for the
Asynchronous Pi-Calculus . . . . . . . . 255--269
Twan Basten and
Jozef Hooman Process Algebra in PVS . . . . . . . . . 270--284
Daniel Hirschkoff On the Benefits of Using the Up To
Techniques for Bisimulation Verification 285--299
Zhoujun Li and
Huowang Chen Computing Strong/Weak Bisimulation
Equivalences and Observation Congruence
for Value-Passing Processes . . . . . . 300--314
Hakim Kahlouche and
César Viho and
Massimo Zendri Hardware Testing Using a Communication
Protocol Conformance Testing Tool . . . 315--329
Christoph Kern and
Tarik Ono-Tesfaye and
Mark R. Greenstreet A Light-Weight Framework for Hardware
Verification . . . . . . . . . . . . . . 330--344
David Lorge Parnas and
Dennis K. Peters An Easily Extensible Toolset for Tabular
Mathematical Expressions . . . . . . . . 345--359
Jens Knoop From DFA-Frameworks to DFA-Generators: A
Unifying Multiparadigm Approach . . . . 360--374
David Spelt and
Susan Even A Theorem Prover-Based Analysis Tool for
Object-Oriented Databases . . . . . . . 375--389
A. G. Bakhmurov and
A. P. Kapitonova and
R. L. Smeliansky DYANA: An Environment for Embedded
System Design and Analysis . . . . . . . 390--404
Elsa L. Gunter and
Doron Peled Path Exploration Tool . . . . . . . . . 405--419
Peter Buchholz and
Peter Kemper Modular State Level Analysis of
Distributed Systems Techniques and Tool
Support . . . . . . . . . . . . . . . . 420--434
Perdita Stevens Some Issues in the Software Engineering
of Verification Tools . . . . . . . . . 435--438
Volker Braun and
Jürgen Kreileder and
Tiziana Margaria and
Bernhard Steffen The ETI Online Service in Action . . . . 439--443
G. Wiederhold Mediation to Deal with Heterogeneous
Data Sources . . . . . . . . . . . . . . 1
A. Cuthbert OpenGIS: Tales from a Small Market Town 17
G. Landgraf Evolution of EO/GIS Interoperability
towards an Integrated Application
Infrastructure . . . . . . . . . . . . . 29
P. Sargent Feature Identities, Descriptors and
Handles . . . . . . . . . . . . . . . . 41
Y. A. Bishr A Global Unique Persistent Object ID for
Geospatial Information Sharing . . . . . 55
S. Ramroop and
R. Pascoe Implementation Architecture for a
National Data Center . . . . . . . . . . 65
H. L. Moeller and
M. Mariucci and
B. Mitschang Architecture Considerations for Advanced
Earth Observation Application Systems 75
P. Bitter A Spatial Data Infrastructure for the
Hindu Kush --- Himalayan Region . . . . 91
K. K. Kemp and
D. E. Reeve and
D. I. Heywood Interoperability for GIScience Education 101
C. B. Cranston and
F. Brabec and
G. R. Hjaltason and
D. Nebert Adding an Interoperable Server Interface
to a Spatial Database: Implementation
Experiences with OpenMap[TM] . . . . . . 115
G. Camara and
R. Thome and
U. Freitas and
A. M. V. Monteiro Interoperability in Practice: Problems
in Semantic Conversion from Current
Technology to OpenGIS . . . . . . . . . 129
A. Doyle and
D. Dietrick and
J. Ebbinghaus and
P. Ladstaetter Building a Prototype OpenGIS[R]
Demonstration from Interoperable GIS
Components . . . . . . . . . . . . . . . 139
S. F. Keller and
H. Thalmann Modeling and Sharing Graphic
Presentations of Geospatial Data . . . . 151
F. C. Cattenstart and
H. J. Scholten Towards OpenGIS Systems . . . . . . . . 163
H. Uitermark and
A. Vogels and
P. Van Oosterom Semantic and Geometric Aspects of
Integrating Road Networks . . . . . . . 177
M. A. Rodriguez and
M. J. Egenhofer and
R. D. Rugg Assessing Semantic Similarities among
Geospatial Feature Class Definitions . . 189
Y. A. Bishr and
H. Pundt and
C. Ruether Proceeding on the Road of Semantic
Interoperability --- Design of a
Semantic Mapper Based on a Case Study
from Transportation . . . . . . . . . . 203
C. Riedemann and
W. Kuhn What Are Sports Grounds? Or: Why
Semantics Requires Interoperability . . 217
K. Stock and
D. Pullar Identifying Semantically Similar
Elements in Heterogeneous Spatial
Databases Using Predicate Logic
Expressions . . . . . . . . . . . . . . 231
H. Kemppainen Designing a Mediator for Managing
Relationships between Distributed
Objects . . . . . . . . . . . . . . . . 253
S. Shimada and
H. Fukui Geospatial Mediator Functions and
Container-Based Fast Transfer Interface
in SI3CO Test-Bed . . . . . . . . . . . 265
L. Relly and
U. Roehm Plug and Play: Interoperability in
CONCERT . . . . . . . . . . . . . . . . 277
S. Winter and
A. U. Frank Functional Extensions of a Raster
Representation for Topological Relations 293
R. Ladner and
K. Shaw and
M. Abdelguerfi $3$D Synthetic Environment
Representation Using the ``Non-Manifold
$3$D Winged-Edge'' Data Structure . . . 305
D. Martinoni and
B. Schneider Pluggable Terrain Module --- Moving
Digital Terrain Modelling to a
Distributed Geoprocessing Environment 315
J.-M. Andreoli The Coordination Language Facility and
Applications . . . . . . . . . . . . . . 1--5
P. H. Eidorff and
F. Henglein and
C. Mossin and
H. Niss AnnoDomini in Practice: A Type-Theoretic
Approach to the Year 2000 Problem . . . 6--13
V. M. Abrusci Modules in Non-commutative Logic . . . . 14--24
P. Baillot and
M. Pedicini Elementary Complexity and Geometry of
Interaction . . . . . . . . . . . . . . 25--39
N. Barreiro and
T. Ehrhard Quantitative Semantics Revisited . . . . 40--53
S. Berardi and
U. De'Liguoro Total Functionals and Well-Founded
Strategies . . . . . . . . . . . . . . . 54--68
S. Broda and
L. Damas Counting a Type's Principal Inhabitants 69--82
F. Damiani Useless-Code Detection and Elimination
for PCF with Algebraic Data types . . . 83--97
R. David Every Unsolvable lambda Term has a
Decoration . . . . . . . . . . . . . . . 98--113
P. Di Gianantonio and
G. Franco and
F. Honsell Game Semantics for Untyped
lambdaeta-Calculus . . . . . . . . . . . 114--128
P. Dybjer and
A. Setzer A Finite Axiomatization of
Inductive-Recursive Definitions . . . . 129--146
M. Fiore and
A. Simpson Lambda Definability with Sums via
Grothendieck Logical Relations . . . . . 147--161
K. Fujita Explicitly Typed lambda-Calculus for
Polymorphism and Call-by-Value . . . . . 162--176
H. Goguen Soundness of the Logical Framework for
Its Typed Operational Semantics . . . . 177--197
M. Hasegawa Logical Predicates for Intuitionistic
Linear Type Theories . . . . . . . . . . 198--212
O. Laurent Polarized Proof-Nets: Proof-Nets for LC 213--227
P. B. Levy Call-by-Push-Value: A Subsuming Paradigm 228--242
S. Mikami and
Y. Akama A Study of Abramsky's Linear Chemical
Abstract Machine . . . . . . . . . . . . 243--257
P. W. O'Hearn Resource Interpretations, Bunched
Implications and the lambda-Calculus . . 258--279
A. Ohori A Curry--Howard Isomorphism for
Compilation and Program Execution . . . 280--294
J. Polakow and
F. Pfenning Natural Deduction for Intuitionistic
Non-commutative Linear Logic . . . . . . 295--309
E. Poll and
J. Zwanenburg A Logic for Abstract Data Types as
Existential Types . . . . . . . . . . . 310--324
E. Ritter Characterising Explicit Substitutions
which Preserve Termination . . . . . . . 325--339
M. Sato and
T. Sakurai and
R. Burstall Explicit Environments . . . . . . . . . 340--354
R. Statman Consequences of Jacopini's Theorem:
Consistent Equalities and Equations . . 355--364
C. Urban and
G. M. Bierman Strong Normalisation of Cut-Elimination
in Classical Logic . . . . . . . . . . . 365--380
J. Zwanenburg Pure Type Systems with Subtyping . . . . 381--396
J. Lambek Type Grammar Revisited . . . . . . . . . 1
D. Bouchard Optimal Parameters . . . . . . . . . . . 28
Maciej Kandulski Strong Equivalence of Generalized
Ajdukiewicz and Lambek Grammars . . . . 54
Sebastian Shaumyan and
Paul Hudak Linguistic, philosophical, and pragmatic
aspects of type-directed natural
language parsing . . . . . . . . . . . . 70
Thomas Cornell Derivational and representational views
of minimalist transformational grammar 92
Frank Morawietz and
Tom Cornell The MSO Logic-Automaton Connection in
Linguistics . . . . . . . . . . . . . . 112
Herman Hendriks The logic of tune, a proof-theoretic
analysis of intonation . . . . . . . . . 132
Joshua S. Hodas A linear logic treatment of phrase
structure grammars for unbounded
dependencies . . . . . . . . . . . . . . 160
Dirk Heylen Underspecification in Type-Logical
Grammars . . . . . . . . . . . . . . . . 180
Nissim Francez On fibring feature logics with
concatenation logics . . . . . . . . . . 200
Manuel Vilares and
Miguel A. Alonso and
David Cabrero An operational model for parsing
definite clause grammars with infinite
terms . . . . . . . . . . . . . . . . . 212
Zhaohui Luo and
Paul Callaghan Mathematical vernacular and conceptual
well-formedness in mathematical language 231
Anonymous Author Index . . . . . . . . . . . . . . 251
Daniel Scharstein 1. Introduction . . . . . . . . . . . . 1
Daniel Scharstein 2. A Survey of Image-Based Rendering and
Stereo . . . . . . . . . . . . . . . . . 23
Daniel Scharstein 3. View Synthesis . . . . . . . . . . . 41
Daniel Scharstein 4. Re-evaluating Stereo . . . . . . . . 63
Daniel Scharstein 5. Gradient-Based Stereo . . . . . . . . 87
Daniel Scharstein 6. Stereo Using Diffusion . . . . . . . 113
Daniel Scharstein 7. Conclusion . . . . . . . . . . . . . 145
Daniel Scharstein Bibliography . . . . . . . . . . . . . . 149
D. Scharstein View Synthesis Using Stereo Vision . . . i--xiv + 1--163
P. Hajek Trakhtenbrot Theorem and Fuzzy Logic . . 1--8
T. Schwentick Descriptive Complexity, Lower Bounds and
Linear Time . . . . . . . . . . . . . . 9--28
M. Yannakakis and
D. Lee Testing of Finite State Systems . . . . 29--44
D. Kempe and
A. Schoenegge On the Power of Quantifiers in
First-Order Algebraic Specification . . 45--57
F. Giannotti and
G. Manco and
M. Nanni and
D. Pedreschi On the Effective Semantics of
Nondeterministic, Nonmonotonic, Temporal
Logic Databases . . . . . . . . . . . . 58--72
V. Marek and
I. Pivkina and
M. Truszczynski Revision Programming = Logic Programming
+ Integrity Constraints . . . . . . . . 73--89
U. Egly Quantifiers and the System KE: Some
Surprising Results . . . . . . . . . . . 90--104
H. K. Hoang Choice Construct and Lindstroem Logics 105--125
M. Kreidler and
D. Seese Monadic NP and Graph Minors . . . . . . 126--141
J. A. Makowsky Invariant Definability and P/poly . . . 142--158
E. Pezzoli Computational Complexity of
Ehrenfeucht-Fraiesse Games on Finite
Structures . . . . . . . . . . . . . . . 159--170
H. Kleine Buening An Upper Bound for Minimal Resolution
Refutations . . . . . . . . . . . . . . 171--178
Z. Sadowski On an Optimal Deterministic Algorithm
for SAT . . . . . . . . . . . . . . . . 179--187
M. V. Korovina and
O. V. Kudinov Characteristic Properties of
Majorant-Computability over the Reals 188--203
J. Komara and
P. J. Voda Theorems of Peter and Parsons in
Computer Programming . . . . . . . . . . 204--223
J. Riche and
R. K. Meyer Kripke, Belnap, Urquhart and Relevant
Decidability and Complexity . . . . . . 224--240
G. Barthe Existence and Uniqueness of Normal Forms
in Pure Type Systems with eta-conversion 241--259
Z. Khasidashvili and
A. Piperno Normalization of Typable Terms by
Superdevelopments . . . . . . . . . . . 260--282
S. Vorobyov Subtyping Functional + Nonempty Record
Types . . . . . . . . . . . . . . . . . 283--297
R. Matthes Monotone Fixed-Point Types and Strong
Normalization . . . . . . . . . . . . . 298--312
R. Statman Morphisms and Partitions of $V$-sets . . 313--322
A. K. Simpson Computational Adequacy in an Elementary
Topos . . . . . . . . . . . . . . . . . 323--342
T. Altenkirch Logical Relations and
Inductive/Coinductive Types . . . . . . 343--354
R. Pichler On the Complexity of $H$-Subsumption . . 355--371
G. Bonfante and
A. Cichon and
J.-Y. Marion and
H. Touzet Complexity Classes and Rewrite Systems
with Polynomial Interpretation . . . . . 372--384
P. Narendran and
M. Rusinowitch and
R. Verma RPO Constraint Solving Is in NP . . . . 385--398
M. Baaz and
H. Veith Quantifier Elimination in Fuzzy Logic 399--414
T. Lukasiewicz Many-Valued First-Order Logics with
Probabilistic Semantics . . . . . . . . 415--429
Hans-Paul Schwefel Natural Computation . . . . . . . . . . 1
Hyun Myung and
Jong-Hwan Kim Multiple Lagrange Multiplier Method for
Constrained Evolutionary Optimization 2--9
Kazuhiro Ohkura and
Yoshiyuki Matsumura and
Kanji Ueda Robust Evolution Strategies . . . . . . 10--17
Vladimir Estivill-Castro and
Rodolfo Torres-Velázquez Hybrid Genetic Algorithm for Solving the
$p$-Median Problem . . . . . . . . . . . 18--25
Binh Pham and
Zhongwei Zhang Correction of Reflection Lines Using
Genetic Algorithms . . . . . . . . . . . 26--33
Takahiro Sasaki and
Mario Tokoro Adaptation under Changing Environments
with Various Rates of Inheritance of
Acquired Characters: Comparison between
Darwinian and Lamarckian Evolution . . . 34--41
Ko-Hsin Liang and
Xin Yao and
Charles Newton Dynamic Control of Adaptive Parameters
in Evolutionary Programming . . . . . . 42--49
Takeshi Yamada and
Kazuyuki Yoshimura and
Ryohei Nakano Information Operator Scheduling by
Genetic Algorithms . . . . . . . . . . . 50--57
P. M. S. Carvalho and
L. A. F. M. Ferreira and
L. M. F. Barruncho Solving Radial Topology Constrained
Problems with Evolutionary Algorithms 58--65
E. K. Burke and
D. B. Varley Automating Space Allocation in Higher
Education . . . . . . . . . . . . . . . 66--73
Hongxing He and
Warwick Graco and
Xin Yao Application of Genetic Algorithm and
$k$-Nearest Neighbour Method in Medical
Fraud Detection . . . . . . . . . . . . 74--81
Hisao Ishibuchi and
Tomoharu Nakashima Evolution of Reference Sets in Nearest
Neighbor Classification . . . . . . . . 82--89
Michael Kirley and
Xiaodong Li and
David G. Green Investigation of a Cellular Genetic
Algorithm that Mimics Landscape Ecology 90--97
Ralf Garionis Quantifying Neighborhood Preservation:
Joint Properties of Evolutionary and
Unsupervised Neural Learning . . . . . . 98--105
Martin Mandischer and
Hannes Geyer and
Peter Ulbig Neural Networks and Evolutionary
Algorithms for the Prediction of
Thermodynamic Properties for Chemical
Engineering . . . . . . . . . . . . . . 106--113
Reid Porter and
Neil Bergmann Evolving FPGA Based Cellular Automata 114--121
Hirosuke Horii and
Susumu Kunifuji and
Teruo Matsuzawa Asynchronous Island Parallel GA Using
Multiform Subpopulations . . . . . . . . 122--129
L. A. Anbarasu and
P. Narayanasamy and
V. Sundararajan Multiple Sequence Alignment Using
Parallel Genetic Algorithms . . . . . . 130--137
Philip G. K. Reiser and
Patricia J. Riddle Evolving Logic Programs to Classify
Chess-Endgame Positions . . . . . . . . 138--145
Byoung-Tak Zhang and
Dong-Yeon Cho Genetic Programming with Active Data
Selection . . . . . . . . . . . . . . . 146--153
Yong-Jae Kim and
Dong-Han Kim and
Jong-Hwan Kim Evolutionary Programming-Based
Uni-vector Field Method for Fast Mobile
Robot Navigation . . . . . . . . . . . . 154--161
Masayuki Ishinishi and
Akira Namatame Evolution with Learning Adaptive
Functions . . . . . . . . . . . . . . . 162--170
D. W. Podlich and
M. Cooper Modelling Plant Breeding Programs as
Search Strategies on a Complex Response
Surface . . . . . . . . . . . . . . . . 171--178
Hiroaki Shimooka and
Yoshiji Fujimoto Generating Equations with Genetic
Programming for Control of a Movable
Inverted Pendulum . . . . . . . . . . . 179--186
H. Shiraooka and
Y. Fujimoto Generating Equations with Genetic
Programming for Control of a Movable
Inverted Pendulum . . . . . . . . . . . 179
Edmund Burke and
Patrick De Causmaecker and
Greet Vanden Berghe A Hybrid Tabu Search Algorithm for the
Nurse Rostering Problem . . . . . . . . 187--194
Richard S. Sutton Reinforcement Learning: Past, Present
and Future . . . . . . . . . . . . . . . 195--197
Hiroshi Kawakami and
Osamu Katai and
Tadataka Konishi A Reinforcement Learning with Condition
Reduced Fuzz Rules . . . . . . . . . . . 198--205
Kanta Tachibana and
Takeshi Furuhashi Generality and Conciseness of Submodels
in Hierarchical Fuzzy Modeling . . . . . 206--214
V. William Porto Using Evolutionary Programming to
Optimize the Allocation of Surveillance
Assets . . . . . . . . . . . . . . . . . 215--222
Naoki Kaise and
Yoshiji Fujimoto Applying the Evolutionary Neural
Networks with Genetic Algorithms to
Control a Rolling Inverted Pendulum . . 223--230
T. Fuginaga and
K. Moriwaki and
N. Inuzuka and
H. Itoh Evolving Cooperative Actions Among
Heterogeneous Agents by an Evolutionary
Programming Method . . . . . . . . . . . 231--239
Takayuki Fujinaga and
Kousuke Moriwaki and
Nobuhiro Inuzuka and
Hidenori Itoh Evolving Cooperative Actions Among
Heterogeneous Agents by an Evolutionary
Programming Method . . . . . . . . . . . 231
Toru Yamaguchi and
Makoto Sato and
Tomohiro Takagi and
Hideki Hashimoto Cooperative Works for Welfare Agent
Robot and Human Using Chaotic
Evolutionary Computation . . . . . . . . 240--250
Naoki Kohata and
Makoto Sato and
Toru Yamaguchi and
Takanobu Baba and
Hideki Hashimoto Evolutionary Computation for Intelligent
Agents Based on Chaotic Retrieval and
Soft DNA . . . . . . . . . . . . . . . . 251--259
Keiko Aoki and
Kazunori Matsumoto and
Keiichiro Hoashi and
Kazuo Hashimoto A Study of Bayesian Clustering of a
Document Set Based on GA . . . . . . . . 260--267
Phil Husbands and
Pedro P. B. de Oliveira An Evolutionary Approach in Quantitative
Spectroscopy . . . . . . . . . . . . . . 268--275
Yasuhiro Tsujimura and
Mitsuo Gen Evolutionary Recognition of Features
from CAD Data . . . . . . . . . . . . . 276--284
Stefan Johansson and
Bengt Carlsson and
Magnus Boman Modeling Strategies as Generous and
Greedy in Prisoner's Dilemma Like Games 285--292
Shu-Heng Chen and
Chih-Chi Ni Using Genetic Algorithms to Simulate the
Evolution of an Oligopoly Game . . . . . 293--300
S.-H. Chert and
C.-C. Ni Using Genetic Algorithms to Simulate the
Evolution of an Oligopoly Game . . . . . 293
Yeon-Gyu Seo and
Sung-Bae Cho An Evolutionary Study on Cooperation in
$N$-person Iterated Prisoner's Dilemma
Game . . . . . . . . . . . . . . . . . . 301--308
Atsushi Iwasaki and
Sobei H. Oda and
Kanji Ueda Simulating a $N$-person Multi-stage Game
for Making a State . . . . . . . . . . . 309--316
Kimiko Tanaka and
Manabu Nii and
Hisao Ishibuchi Learning from Linguistic Rules and Rule
Extraction for Function Approximation by
Neural Networks . . . . . . . . . . . . 317--324
Akira Imada and
Keijiro Araki Can a Niching Method Locate Multiple
Attractors Embedded in the Hopfield
Network? . . . . . . . . . . . . . . . . 325--332
Yong Liu and
Xin Yao Time Series Prediction by Using
Negatively Correlated Neural Networks 333--340
An Li and
Kit Po Wong Animating the Evolution Process of
Genetic Algorithms . . . . . . . . . . . 341--348
Tatsuya Niwa and
Masaru Tanaka Analysis on the Island Model Parallel
Genetic Algorithms for the Genetic
Drifts . . . . . . . . . . . . . . . . . 349--356
Bradley Tonkes and
Alan Blair and
Janet Wiles A Paradox of Neural Encoders and
Decoders or Why Don't We Talk Backwards? 357--364
Aleksandra B. Djurisic and
Aleksandar D. Rakic and
E. Herbert Li and
Marijan L. Majewski and
Nenad Bundaleski and
Bozidar V. Stanic Continuous Optimization Using Elite
Genetic Algorithms With Adaptive
Mutations . . . . . . . . . . . . . . . 365--372
Ricardo S. Zebulum and
Marco Aurélio Pacheco and
Marley Vellasco Evolutionary Systems Applied to the
Synthesis of a CPU Controller . . . . . 373--380
John S. Gero Novel Models in Evolutionary Designing 381--388
Alan D. Blair and
Elizabeth Sklar and
Pablo Funes Co-evolution, Determinism and Robustness 389--396
Jennifer Hallinan and
Paul Jackway Co-operative Evolution of a Neural
Classifier and Feature Subset . . . . . 397--404
Kit Po Wong and
Jason Yuryevich Optimal Power Flow Method Using
Evolutionary Programming . . . . . . . . 405--412
Sung-Bae Cho and
Katsunori Shimohara Grammatical Development of Evolutionary
Modular Neural Networks . . . . . . . . 413--420
Mitsuo Gen and
Kenichi Ida and
Chang-Yun Lee Hybridized Neural Network and Genetic
Algorithms for Solving Nonlinear Integer
Programming Problem . . . . . . . . . . 421--430
Thomas Philip Runarsson and
Magnus Thor Jonsson Evolution of Gene Coordination Networks 430--437
Richard Hall and
Binh Pham and
John Yearwood Adaptive Simulation: An Implementation
Framework . . . . . . . . . . . . . . . 438--445
Yoshida Akira A Model of Mutual Associative Memory for
Simulations of Evolution and Learning 446--453
Sobei H. Oda and
Kouhei Iyori and
Miura Ken and
Kanji Ueda The Application of Cellular Automata to
the Consumer's Theory: Simulating a
Duopolistic Market . . . . . . . . . . . 454--461
L. L. Lai and
H. Subasinghe and
N. Rajkumar and
E. Vaseekar and
B. J. Gwyn and
V. K. Sood Object-Oriented Genetic Algorithm Based
Artificial Neural Network for Load
Forecasting . . . . . . . . . . . . . . 462--469
F. Mueller Workshop on High-Level Parallel
Programming Models and Supportive
Environments . . . . . . . . . . . . . . 1
R. Subramanian and
S. Pande Efficient Program Partitioning Based on
Compiler Controlled Communication . . . 4
M. Schulz SCI-VM: A Flexible Base for Transparent
Shared Memory Programming Models on
Clusters of PCs . . . . . . . . . . . . 19
J. Nolte Flexible Collective Operations for
Distributed Object Groups . . . . . . . 34
X.-H. Sun and
M. Pantano and
T. Fahringer and
Z. Zhan SCALA: A Framework for Performance
Evaluation of Scalable Computing . . . . 49
Z. G. Mou Recursive Individually Distributed
Objects . . . . . . . . . . . . . . . . 63
M. Leberecht The MuSE System: A Flexible Combination
of On-Stack Execution and Work-Stealing 79
A. Spiegel Pangaea: An Automatic Distribution
Front-End for Java . . . . . . . . . . . 93
E. F. Fodor and
R. A. Olsson Concurrent Language Support for
Interoperable Applications . . . . . . . 100
G. Keller and
M. M. T. Chakravarty On the Distributed Implementation of
Aggregate Data by Program Transformation
Structures . . . . . . . . . . . . . . . 108
S. Gorlatch and
S. Pelagatti A Transformational Framework for
Skeletal Programs: Overview and Case
Study . . . . . . . . . . . . . . . . . 123
S. Kusakabe and
K. Inenaga and
M. Amamiya and
X. Tang Implementing a Non-strict Functional
Programming Language on a Threaded
Architecture . . . . . . . . . . . . . . 138
A. Y. Zomaya and
F. Ercal and
S. Olariu Workshop on Biologically Inspired
Solutions to Parallel Processing
Problems . . . . . . . . . . . . . . . . 153
R. L. King and
A. B. Lambert and
S. H. Russ and
D. S. Reese The Biological Basis of the Immune
System as a Model for Intelligent Agents 156
T. Szuba A Formal Definition of the Phenomenon of
Collective Intelligence and Its IQ
Measure . . . . . . . . . . . . . . . . 165
P. Wasiewicz and
P. Borsuk and
J. J. Mulawka and
P. Weglenski Implementation of Data Flow Logical
Operations via Self-Assembly of DNA . . 174
D. S. Vianna and
L. S. Ochi and
L. M. A. Drummond A Parallel Hybrid Evolutionary
Metaheuristic for the Period Vehicle
Routing Problem . . . . . . . . . . . . 183
F. Seredynski and
J. Koronacki and
C. Z. Janikow Distributed Scheduling with Decomposed
Optimization Criterion: Genetic
Programming Approach . . . . . . . . . . 192
S. M. Alaoui and
O. Frieder and
T. El-Ghazawi A Parallel Genetic Algorithm for Task
Mapping on Parallel Machines . . . . . . 201
P. Jedrzejowicz and
I. Czarnowski and
H. Szreder and
A. Skakowski Evolution-Based Scheduling of
Fault-Tolerant Programs on Multiple
Processors . . . . . . . . . . . . . . . 210
P. K. K. Lob and
V. Shaw A Genetic-Based Fault-Tolerant Routing
Strategy for Multiprocessor Networks . . 220
C. Leopold Regularity Considerations in
Instance-Based Locality Optimization . . 230
E.-G. Talbi and
O. Roux and
C. Fonlupt and
D. Robillard Parallel Ant Colonies for Combinatorial
Optimization Problems . . . . . . . . . 239
E. Alba and
J. M. Troya An Analysis of Synchronous and
Asynchronous Parallel Distributed
Genetic Algorithms with Structured and
Panmictic Islands . . . . . . . . . . . 248
P. Chalermwat and
T. El-Chazawi and
J. LeMoigne GA-based Parallel Image Registration on
Parallel Clusters . . . . . . . . . . . 257
C. Sena and
G. Isem and
D. Megherbi Implementation of a Parallel Genetic
Algorithm on a Cluster of Workstations:
The Traveling Salesman Problem, A Case
Study . . . . . . . . . . . . . . . . . 266
L. Boeleoni and
R. Hao and
K. Jun and
D. C. Marinescu Structural Biology Metaphors Applied to
the Design of a Distributed Object
System . . . . . . . . . . . . . . . . . 275
B. Ravindran and
J. Gustafsson and
H. Takada Workshop on Parallel and Distributed
Real-Time Systems . . . . . . . . . . . 284
L. Chen and
S. Khan and
K. F. Li and
E. G. Manning Building an Adaptive Multimedia System
Using the Utility Mode . . . . . . . . . 289
P. Rajagopat and
A. W. Apon Evaluation of Real-Time Fiber
Communications for Parallel Collective
Operations . . . . . . . . . . . . . . . 299
P. A. Dinda and
L. F. Kallivokas and
B. Lowekamp and
D. R. O'Hallaron The Case for Prediction-Based
Best-Effort Real-Time Systems . . . . . 309
A. Mittal and
G. Manimaran and
C. S. R. Murthy Dynamic Real-Time Channel Establishment
in Multiple Access Bus Networks . . . . 319
K.-Y. Lam and
T.-W. Kuo and
G. C. K. Law and
W.-H. Tsang A Similarity-Based Protocol for
Concurrency Control in Mobile
Distributed Real-Time Database Systems 329
E. Tovar and
F. Vasques From Task Scheduling in Single Processor
Environments to Message Scheduling in a
PROFIBUS Fieldbus Network . . . . . . . 339
R. Clark and
E. D. Jensen and
A. Kanevsky and
J. Maurer An Adaptive Distributed Airborne
Tracking System . . . . . . . . . . . . 353
J. Jonsson and
H. Loenn and
K. G. Shin Non-preemptive Scheduling of Real-Time
Threads on Multi-Level-Context
Architectures . . . . . . . . . . . . . 363
F. Nat-Abdesselam and
N. Agoulmine QoS Control and Adaptation in
Distributed Multimedia Systems . . . . . 375
J. C. Campelo and
P. Yuste and
F. Rodriguez and
P. J. Gil Dependability Evaluation of Fault
Tolerant Distributed Industrial Control
Systems . . . . . . . . . . . . . . . . 384
B. L. Chappell and
D. T. Marlow and
P. M. Ivey and
K. O'Donoghue An Approach for Measuring IP Security
Performance in a Distributed Environment 389
L. G. Fagundes and
R. F. Mello and
C. E. Mdron An Environment for Generating
Applications Involving Remote
Manipulation of Parallel Machines . . . 395
A. Gentile and
Y. L. Cruz-Rivera and
D. S. Wills and
L. Bustelo Real-Time Image Processing on a Focal
Plane SIMD Array . . . . . . . . . . . . 400
P. M. Ivey and
D. T. Marlow Metrics for the Evaluation of Multicast
Communications . . . . . . . . . . . . . 406
K. Jaeyong and
K. Kihan and
S. Heonshik Distributing Periodic Workload Uniformly
Across Time to Achieve Better Service
Quality . . . . . . . . . . . . . . . . 413
J.-M. Huang and
T. C. Yang A Dynamic Fault-Tolerant Mesh
Architecture . . . . . . . . . . . . . . 418
Mohammad Ali Livani and
J. Kaiser Evaluation of a Hybrid Real-Time Bus
Scheduling Mechanism for CAN . . . . . . 425
T. Nakajima and
M. T. Kone and
H. Aizu System Support for Migratory Continuous
Media Applications in Distributed
Real-Time Environments . . . . . . . . . 430
S. Chatterjee Dynamic Application Structuring on
Heterogeneous, Distributed Systems . . . 442
D. Niehaus Improving Support for Multimedia System
Experimentation and Deployment . . . . . 454
R. Olsson and
L. V. Kale and
P. Beckman and
M. Haines Workshop on Run-Time Systems for
Parallel Programming . . . . . . . . . . 466
L. Bouge and
J.-F. Mehaut and
R. Namyst Efficient Communications in
Multithreaded Runtime Systems . . . . . 468--482
L. Kale and
R. Brunner and
J. Phillips and
K. Varadarajan Application Performance of a Linux
Cluster Using Converse . . . . . . . . . 483
G. Antoniu and
L. Bouge and
R. Namyst An Efficient and Transparent Thread
Migration Scheme in the PM2 Runtime
System . . . . . . . . . . . . . . . . . 496
K. Thitikamol and
P. Keleher Communication-Intensive Parallel
Applications and Non-Dedicated Clusters
of Workstations . . . . . . . . . . . . 511
H. Simitci and
D. A. Reed and
R. Fox and
M. Medina A Framework for Adaptive Storage
Input/Output on Computational Grids . . 519
J. Nieplocha and
B. Carpenter ARMCI: A Portable Remote Memory Copy
Library for Distributed Array Libraries
and Compiler Run-Time Systems . . . . . 533
T. Seidmann Multicast-Based Runtime System for
Highly Efficient Causally Consistent
Software-Only DSM . . . . . . . . . . . 547
F. Mueller Adaptive DSM-Runtime Behavior via
Speculative Data Distribution . . . . . 553
H. Elgindy Reconfigurable Architectures Workshop 568
K. Bondalapati and
P. Diniz and
P. Duncan and
J. Granacki DEFACTO: A Design Environment for
Adaptive Computing Technology . . . . . 570
O. Diessel and
D. Kearney and
G. Wigley A Web-Based Multiuser Operating System
for Reconfigurable Computing . . . . . . 579
V. Srinivasan and
S. Radhakrishnan and
R. Vemuri and
J. Walrath Interconnect Synthesis for
Reconfigurable Multi-FPGA Architectures 588
M. A. S. Khalid and
J. Rose Hardwired-Clusters Partial-Crossbar: A
Hierarchical Routing Architecture for
Multi-FPGA Systems . . . . . . . . . . . 597
M. Kaul and
R. Vemuri Integrated Block-Processing and
Design-Space Exploration in Temporal
Partitioning for RTR Architectures . . . 606
J. A. Fernandez-Zepeda and
R. Vaidyanathan and
J. L. Trahan Improved Scaling Simulation of the
General Reconfigurable Mesh . . . . . . 616
M. Middendorf Bit Summation on the Reconfigurable Mesh 625
R. Lin and
K. Nakano and
S. Olariu and
M. C. Pinotti Scalable Hardware-Algorithms for Binary
Prefix Sums . . . . . . . . . . . . . . 634
M. Wojko and
H. ElGindy Configuration Sequencing with Self
Configurable Binary Multipliers . . . . 643
A. Dandalis and
A. Mei and
V. K. Prasanna Domain Specific Mapping for Solving
Graph Problems on Reconfigurable Devices 652
G. Lu and
M.-H. Lee and
H. Singh and
N. Bagherzadeh MorphoSys: A Reconfigurable Processor
Targeted to High Performance Image
Application . . . . . . . . . . . . . . 661
H. Nagano and
A. Matsuura and
A. Nagoya An Efficient Implementation Method of
Fractal Image Compression on Dynamically
Reconfigurable Architecture . . . . . . 670
H. Nakada and
K. Oguri and
N. Imlig and
M. Inamori Plastic Cell Architecture: A Dynamically
Reconfigurable Hardware-Based Computer 679
G. Ritter and
J.-M. Puiatti and
E. Sanchez Leonardo and Discipulus Simplex: An
Autonomous, Evolvable Six-Legged Walking
Robot . . . . . . . . . . . . . . . . . 688
K.-A. Agun and
M. Chang Reusable Internal Hardware Templates . . 697
J.-L. Beuchat and
E. Sanchez An On-Line Arithmetic-Based
Reconfigurable Neuroprocessor . . . . . 700
W. Hardt and
A. Rettberg and
B. Kleinjohann The Re-Configurable Delay-Intensive
FLYSIG Architecture . . . . . . . . . . 703
S. Koehler and
S. Sawitzki and
A. Gratz and
R. G. Spallek Digital Signal Processing with General
Purpose Microprocessors, DSP and
Reconfigurable Logic . . . . . . . . . . 706
T. Suyama and
M. Yokoo and
A. Nagoya Solving Satisfiability Problems on FPGAs
Using Experimental Unit Propagation
Heuristic . . . . . . . . . . . . . . . 709
A. Tiountchik and
E. Trichina FPGA Implementation of Modular
Exponentiation . . . . . . . . . . . . . 712
D. Caromel and
S. Chaumette and
G. Fox Workshop on Java for Parallel and
Distributed Computing . . . . . . . . . 716
M. Philippsen and
B. Haumacher More Efficient Object Serialization . . 718
F. Breg and
D. Cannon A Customizable Implementation of RMI for
High Performance Computing . . . . . . . 733
M. Baker and
B. Carpenter and
G. Fox and
Sung Hoon Koo mpiJava: An Object-Oriented Java
Interface to MPI . . . . . . . . . . . . 748
L. F. G. Sarmenta An Adaptive, Fault-Tolerant
Implementation of BSP for Java-Based
Volunteer Computing Systems . . . . . . 763
M. Clement and
Q. Snell and
G. Judd High Performance Computing for the
Masses . . . . . . . . . . . . . . . . . 781
D. Webb and
A. Wendelborn and
K. Maciunas Process Networks as a High-Level
Notation for Metacomputing . . . . . . . 797
D. G. Galatopoullos and
E. S. Manolakos Developing Parallel Applications Using
the JavaPorts Environment . . . . . . . 813
P. Yi and
L. Keqin Workshop on Optics and Computer Science 829
L. Weifa and
S. Xiaojun Permutation Routing in All-Optical
Product Networks . . . . . . . . . . . . 831
E. V. Carrera and
R. Bianchini NWCache: Optimizing Disk Accesses via an
Optical Network/Write Cache Hybrid . . . 845
E. V. Carrera and
R. Bianchini NetCache: A Network/Cache Hybrid for
Multiprocessors . . . . . . . . . . . . 859
Peng Yin Choo and
A. Detofsky and
A. Louri A Multi-Wavelength Optical
Content-Addressable Parallel Processor
(MW-OCAPP) for High-Speed Parallel
Relational Database Processing:
Architectural Concepts and Preliminary
Experimental System . . . . . . . . . . 873
Y. Hongjin and
W. Kyubum and
H. Manpyo Optimal Scheduling Algorithms in WDM
Optical Passive Star Networks . . . . . 887
D. Coudert and
A. Ferreira and
X. Muñoz OTIS-Based Multi-Hop Multi-OPS Lightwave
Networks . . . . . . . . . . . . . . . . 897
K. Li and
Y. Pan and
M. Hamdi Solving Graph Theory Problems Using
Reconfigurable Pipelined Optical Buses 911
M. Feldman and
R. Vaidyanathan and
A. El-Amawy High Speed, High Capacity Bused
Interconnects Using Optical Slab
Waveguides . . . . . . . . . . . . . . . 924
A. Jaekel and
S. Bandyopadhyay and
A. Sengupta A New Architecture for Multihop Optical
Networks . . . . . . . . . . . . . . . . 938
Z. Xijun and
Q. Chunming Pipelined Versus Non-pipelined Traffic
Scheduling in Unidirectional WDM Rings 950
Y. Tao Workshop on Solving Irregularly
Structured Problems in Parallel . . . . 964
C. Heber and
R. Biswas and
C. R. Gao Self-Avoiding Walks over Adaptive
Unstructured Grids . . . . . . . . . . . 968
M. Holzrichter and
S. Oliveira A Graph Based Method for Generating the
Fiedler Vector of Irregular Problems . . 978
F. Pellegrini and
J. Roman and
P. Amestoy Hybridizing Nested Dissection and Halo
Approximate Minimum Degree for Efficient
Sparse Matrix Ordering . . . . . . . . . 986
J. Chen and
V. E. Taylor ParaPART: Parallel Mesh Partitioning
Tool for Distributed Systems . . . . . . 996
F. Voisin and
G.-R. Perrin Sparse Computations with PEI . . . . . . 1006
S. Benkner Optimizing Irregular HPF Applications
Using Halos . . . . . . . . . . . . . . 1015
G. R. Gao From EARTH to HTMT: An Evolution of a
Multitheaded Architecture Model . . . . 1025
B. Blount and
S. Chatterjee and
M. Philippsen Irregular Parallel Algorithms in Java 1026
Y. Lin and
D. Padua A Simple Framework to Calculate the
Reaching Definition of Array References
and Its Use in Subscript Array Analysis 1036
C. T. H. Everaars and
B. Koren and
F. Arbab Dynamic Process Composition and
Communication Patterns in Irregularly
Structured Applications . . . . . . . . 1046
D. L. Rhodes and
A. Gerasoulis Scalable Parallelization of Harmonic
Balance Simulation . . . . . . . . . . . 1055
C. Boeres and
A. Nascimento and
V. E. F. Rebello Towards an Effective Task Clustering
Heuristic for LogP Machines . . . . . . 1065
H. Mongelli and
W. Song A Range Minima Parallel Algorithm for
Coarse Grained Multicomputers . . . . . 1075
K. T. Herley and
A. Pietracaprina and
G. Pucci Deterministic Branch-and-Bound on
Distributed Memory Machines . . . . . . 1085
G. Chiola and
G. Conte and
L. V. Mancini Workshop on Personal Computer Based
Networks of Workstations . . . . . . . . 1095
S. R. Donaldson and
J. M. D. Hill and
D. B. Skillicorn Performance Results for a Reliable
Low-Latency Cluster Communication
Protocol . . . . . . . . . . . . . . . . 1097
H. Karl Coscheduling through Synchronized
Scheduling Servers A Prototype and
Experiments . . . . . . . . . . . . . . 1115
C. Anglano and
A. Giordana and
G. Lo Bello High-Performance Knowledge Extraction
from Data on PC-Based Networks of
Workstations . . . . . . . . . . . . . . 1130
U. K. V. Rajasekaran and
M. Chetlur and
G. D. Sharma and
R. Radhakrishnan Addressing Communication Latency Issues
on Clusters for Fine Grained
Asynchronous Applications --- A Case
Study . . . . . . . . . . . . . . . . . 1145
T. Takahashi and
F. O'Carroll and
H. Tezuka and
A. Hori Implementation and Evaluation of MPI on
an SMP Cluster . . . . . . . . . . . . . 1178
D. Mery and
B. Sanders Workshop on Formal Methods for Parallel
Programming: Theory and Applications . . 1193
I. Attali and
D. Caromel and
S. Lippi From a Specification to an Equivalence
Proof in Object-Oriented Parallelism . . 1197
M. Charpentier and
K. M. Chandy Examples of Program Composition
Illustrating the Use of Universal
Properties . . . . . . . . . . . . . . . 1215
V. Chernyakhovsky and
P. Frey and
R. Radhakrishnan and
P. A. Wilsey A Formal Framework for Specifying and
Verifying Time Warp Optimizations . . . 1228
S. J. Creese and
J. Reed Verifying End-to-End Protocols Using
Induction with CSP/FDR . . . . . . . . . 1243
K. Havelund Mechanical Verification of a Garbage
Collector . . . . . . . . . . . . . . . 1258
B. L. Massingill A Structured Approach to Parallel
Programming: Methodology and Models . . 1284
A. C. Simpson and
J. M. D. Hill and
S. R. Donaldson BSP in CSP: Easy as ABC . . . . . . . . 1299
D. Bhatt and
V. Prasanna Workshop on Embedded HPC Systems and
Applications . . . . . . . . . . . . . . 1314
L. R. Welch and
M. W. Masters and
L. A. Madden and
D. T. Marlow A Distributed System Reference
Architecture for Adaptive QoS and
Resource Management . . . . . . . . . . 1316
William Millan and
Andrew Clark and
Ed Dawson Boolean Function Design Using Hill
Climbing Methods . . . . . . . . . . . . 1--11
Subhamoy Maitra and
Palash Sarkar Enumeration of Correlation Immune
Boolean Functions . . . . . . . . . . . 12--25
Chengxin Qu and
Jennifer Seberry and
Josef Pieprzyk On the Symmetric Property of Homogeneous
Boolean Functions . . . . . . . . . . . 26--35
Kapali Viswanathan and
Colin Boyd and
Ed Dawson Publicly Verifiable Key Escrow with
Limited Time Span . . . . . . . . . . . 36--50
Seungwon Lee and
Seong-Min Hong and
Hyunsoo Yoon and
Yookun Cho Accelerating Key Establishment Protocols
for Mobile Communication . . . . . . . . 51--63
Chih-Hung Li and
Josef Pieprzyk Conference Key Agreement from Secret
Sharing . . . . . . . . . . . . . . . . 64--76
W. W. Fung and
J. W. Gray III On $m$-Permutation Protection Scheme
against Modification Attack . . . . . . 77--87
Jovan Dj. Goli\'c and
Andrew Clark and
Ed Dawson Inversion Attack and Branching . . . . . 88--102
Willy Susilo and
Rei Safavi-Naini and
Josef Pieprzyk Fail-Stop Threshold Signature Schemes
Based on Elliptic Curves . . . . . . . . 103--116
Khanh Quoc Nguyen and
Yi Mu and
Vijay Varadharajan Divertible Zero-Knowledge Proof of
Polynomial Relations and Blind Group
Signature . . . . . . . . . . . . . . . 117--128
Hossein Ghodosi and
Josef Pieprzyk Repudiation of Cheating and
Non-repudiation of Zhang's Proxy
Signature Schemes . . . . . . . . . . . 129--134
S. Mueller On the Security of an RSA Based
Encryption Scheme . . . . . . . . . . . 135--148
Siguna Müller On the Security of an RSA Based
Encryption Scheme . . . . . . . . . . . 135
Marc Gysin and
Jennifer Seberry Generalised Cycling Attacks on RSA and
Strong RSA Primes . . . . . . . . . . . 149--163
Alexander Tiountchik and
Elena Trichina RSA Acceleration with Field Programmable
Gate Arrays . . . . . . . . . . . . . . 164--176
Keith M. Martin and
Josef Pieprzyk and
Rei Safavi-Naini and
Huaxiong Wang Changing Thresholds in the Absence of
Secure Channels . . . . . . . . . . . . 177--191
Shahrokh Saeednia and
Hossein Ghodosi A Self-Certified Group-Oriented
Cryptosystem Without a Combiner . . . . 192--201
Jeffrey Horton and
Jennifer Seberry Companion Viruses and the Macintosh:
Threats and Countermeasures . . . . . . 202--212
Paul Ashley and
Bradley Broom and
Mark Vandenwauver An Implementation of a Secure Version of
NFS Including RBAC . . . . . . . . . . . 213--227
Jacques Traoré Group Signatures and Their Relevance to
Privacy-Protecting Off-Line Electronic
Cash Systems . . . . . . . . . . . . . . 228--243
Colin Boyd and
Ernest Foo and
Chris Pavlovski Efficient Electronic Cash Using Batch
Signatures . . . . . . . . . . . . . . . 244--257
Jianying Zhou and
Robert Deng and
Feng Bao Evolution of Fair Non-repudiation with
TTP . . . . . . . . . . . . . . . . . . 258--243
Yun Bai and
Vijay Varadharajan Authorization in Object Oriented
Databases . . . . . . . . . . . . . . . 270--280
Gregory Saunders and
Michael Hitchens and
Vijay Varadharajan An Analysis of Access Control Models . . 281--293
Arjen K. Lenstra Efficient Identity Based Parameter
Selection for Elliptic Curve
Cryptosystems . . . . . . . . . . . . . 294--302
Dingyi Pei and
Yuqiang Li and
Yejing Wang and
Rei Safavi-Naini Characterization of Optimal
Authentication Codes with Arbitration 303--313
Akihiro Yamamura A Functional Cryptosystem Using a Group
Action . . . . . . . . . . . . . . . . . 314--326
Anonymous Author Index . . . . . . . . . . . . . . 327
D. Ancona An Algebraic Framework for Separate
Type-Checking . . . . . . . . . . . . . 1--15
T. Borzyszkowski Moving Specification Structures Between
Logical Systems . . . . . . . . . . . . 16--30
R. Bruni and
F. Gadducci and
U. Montanari Normal Forms for Partitions and
Relations . . . . . . . . . . . . . . . 31--47
C. Caleiro and
C. Sernadas and
A. Sernadas Parameterisation of Logics . . . . . . . 48--62
C. Cirstea Semantic Constructions for Hidden
Algebra . . . . . . . . . . . . . . . . 63--78
A. Corradini and
F. Gadducci Functorial Semantics for Multi-algebras 79--91
A. Corradini and
M. Grosse-Rhode and
R. Heckel An Algebra of Graph Derivations Using
Finite (co-) Limit Double Theories . . . 92--106
S. Coudert and
G. Bernot and
P. Le Gall Hierarchical Heterogeneous
Specifications . . . . . . . . . . . . . 107--121
R. Echahed and
J.-C. Janodet Parallel Admissible Graph Rewriting . . 122--137
M. Grosse-Rhode and
F. P. Presicce and
M. Simeoni Refinements and Modules for Typed Graph
Transformation Systems . . . . . . . . . 138--151
A. Habel and
D. Plump Complete Strategies for Term Graph
Narrowing . . . . . . . . . . . . . . . 152--167
H. Kirchner and
P.-E. Moreau Non-deterministic Computations in ELAN 168--182
B. Konikowska Rasiowa-Sikorski Deduction Systems: A
Handy Tool for Computer Science Logics 183--197
T. Mossakowski Translating OBJ3 into CASL: The
Institution Level . . . . . . . . . . . 198--215
P. D. Mosses CASL: A Guided Tour of Its Design . . . 216--240
J. Padberg Abstract Petri Nets as a Uniform
Approach to High-Level Petri Nets . . . 241--260
I. Pita and
N. Marti-Oliet Using Reflection to Specify Transaction
Sequences in Rewriting Logic . . . . . . 261--276
P. Poizat and
C. Choppy and
J.-C. Royer Concurrency and Data Types: A
Specification Method An Example with
LOTOS . . . . . . . . . . . . . . . . . 277--292
J. Ramos and
A. Sernadas The Situation and State Calculus versus
Branching Temporal Logic . . . . . . . . 293--309
P. Resende Modular Specification of Concurrent
Systems with Observational Logic . . . . 310--325
M. Wirsing and
J. N. Crossley and
H. Peterreins Proof Normalization of Structured
Algebraic Specifications Is Convergent 326--340
J. Shim and
P. Scheuermann and
R. Vingralek A Unified Algorithm for Cache
Replacement and Consistency in Web Proxy
Servers . . . . . . . . . . . . . . . . 1
D. Billard Transactional Services for the Internet 14
R. Connor and
K. Sibson and
P. Manghi On the Unification of Persistent
Programming and the World Wide Web . . . 34
R. Goldman and
J. Widom Interactive Query and Search in
Semistructured Databases . . . . . . . . 52
D. Konopnicki and
O. Shmueli Bringing Database Functionality to the
WWW . . . . . . . . . . . . . . . . . . 63
N. Bidoit and
M. Ykhlef Fixpoint Calculus for Querying
Semistructured Data . . . . . . . . . . 78
G. Sindoni Incremental Maintenance of Hypertext
Views . . . . . . . . . . . . . . . . . 98
J. Simeon and
S. Gluer Using YAT to Build a Web Server . . . . 118
G. Falquet and
J. Guyot and
L. Nerima Languages and Tools to Specify Hypertext
Views on Databases . . . . . . . . . . . 136
C. Beeri and
G. Elber and
T. Milo and
Y. Sagiv WebSuite --- A Tool Suite for Harnessing
Web Data . . . . . . . . . . . . . . . . 152
S. Brin Extracting Patterns and Relations from
the World Wide Web . . . . . . . . . . . 172
M. Spiliopoulou and
L. C. Faulstich WUM: A Tool for Web Utilization Analysis 184
N. Shivakumar and
H. Garcia-Molina Finding Near-Replicas of Documents on
the Web . . . . . . . . . . . . . . . . 204
David J. Duke and
Ivan Herman and
M. Scott Marshall Chapter 1. PREMO: A Standard for
Distributed Multimedia . . . . . . . . . 1
David J. Duke and
Ivan Herman and
M. Scott Marshall Chapter 2. An Overview of PREMO . . . . 9
David J. Duke and
Ivan Herman and
M. Scott Marshall Chapter 3. The Fundamentals of PREMO . . 35
David J. Duke and
Ivan Herman and
M. Scott Marshall Chapter 4. General Implementation Issues 49
David J. Duke and
Ivan Herman and
M. Scott Marshall Chapter 5. The Foundation Component . . 59
David J. Duke and
Ivan Herman and
M. Scott Marshall Chapter 6. Multimedia Systems Services
Component . . . . . . . . . . . . . . . 125
David J. Duke and
Ivan Herman and
M. Scott Marshall Chapter 7. The Modelling, Rendering, and
Interaction Component . . . . . . . . . 165
David J. Duke and
Ivan Herman and
M. Scott Marshall Chapter 8. Detailed Java Specifications
of the PREMO Objects . . . . . . . . . . 205
David J. Duke and
Ivan Herman and
M. Scott Marshall Appendix. Selected Implementation Issues 231
Anonymous References . . . . . . . . . . . . . . . 243
Anonymous Index . . . . . . . . . . . . . . . . . 251
Dan Boneh and
Glenn Durfee Cryptanalysis of RSA with Private Key
$d$ Less than $ {N}^{0.292} $ . . . . . 1
Eli Biham and
Alex Biryukov and
Adi Shamir Cryptanalysis of Skipjack Reduced to 31
Rounds Using Impossible Differentials 12--23
Wim Nevelsteen and
Bart Preneel Software Performance of Universal Hash
Functions . . . . . . . . . . . . . . . 24
Yevgeniy Dodis and
Silvio Micali Lower Bounds for Oblivious Transfer
Reductions . . . . . . . . . . . . . . . 42
Ivan Damgård and
Joe Kilian and
Louis Salvail On the (Im)possibility of Basing
Oblivious Transfer and Bit Commitment on
Weakened Security Assumptions . . . . . 56
Giovanni Di Crescenzo and
Rafail Ostrovsky and
Sivaramakrishnan Rajagopalan Conditional Oblivious Transfer and
Timed-Release Encryption . . . . . . . . 74
G. Di Crescenzo and
R. Ostrovsky and
S. Rajagopalan Conditional Oblivious Transfer and
Timed-Release Encryption . . . . . . . . 74
Ran Canetti and
Shafi Goldwasser An Efficient \em Threshold Public Key
Cryptosystem Secure Against Adaptive
Chosen Ciphertext Attack . . . . . . . . 90
Jan Camenisch and
Markus Michels Proving in Zero-Knowledge that a Number
Is the Product of Two Safe Primes . . . 107
Rosario Gennaro and
Shai Halevi and
Tal Rabin Secure Hash-and-Sign Signatures Without
the Random Oracle . . . . . . . . . . . 123
Funda Ergun and
Joe Kilian and
Ravi Kumar A Note on the Limits of
Collusion-Resistant Watermarks . . . . . 140
Birgit Pfitzmann and
Ahmad-Reza Sadeghi Coin-Based Anonymous Fingerprinting . . 150
Nigel P. Smart On the Performance of Hyperelliptic
Cryptosystems . . . . . . . . . . . . . 165
Tetsutaro Kobayashi and
Hikaru Morita and
Kunio Kobayashi and
Fumitaka Hoshino Fast Elliptic Curve Algorithm Combining
Frobenius Map and Table Reference to
Adapt to Higher Characteristic . . . . . 176
Ryuichi Harasawa and
Junji Shikata and
Joe Suzuki and
Hideki Imai Comparing the MOV and FR Reductions in
Elliptic Curve Cryptography . . . . . . 190
Aviad Kipnis and
Jacques Patarin and
Louis Goubin Unbalanced Oil and Vinegar Signature
Schemes . . . . . . . . . . . . . . . . 206
Pascal Paillier Public-Key Cryptosystems Based on
Composite Degree Residuosity Classes . . 223
David Pointcheval New Public Key Cryptosystems Based on
the Dependent --- RSA Problems . . . . . 239
Serge Vaudenay Resistance Against General Iterated
Attacks . . . . . . . . . . . . . . . . 255
Philip Hawkes and
Luke O'Connor XOR and Non-XOR Differential
Probabilities . . . . . . . . . . . . . 272
Jung Hee Cheon and
Seongtaek Chee and
Choonsik Park S-boxes with Controllable Nonlinearity 286
Rosario Gennaro and
Stanis\law Jarecki and
Hugo Krawczyk and
Tal Rabin Secure Distributed Key Generation for
Discrete-Log Based Cryptosystems . . . . 295
Ronald Cramer and
Ivan Damgård and
Stefan Dziembowski and
Martin Hirt and
Tal Rabin Efficient Multiparty Computations Secure
Against an Adaptive Adversary . . . . . 311
Moni Naor and
Benny Pinkas and
Omer Reingold Distributed Pseudo-random Functions and
KDCs . . . . . . . . . . . . . . . . . . 327
Thomas Johansson and
Fredrik Jönsson Improved Fast Correlation Attacks on
Stream Ciphers via Convolutional Codes 347
Lars R. Knudsen and
Willi Meier Cryptanalysis of an Identification
Scheme Based on the Permuted Perceptron
Problem . . . . . . . . . . . . . . . . 363
Luke O'Connor An Analysis of Exponentiation Based on
Formal Languages . . . . . . . . . . . . 375
Takaaki Mizuki and
Hiroki Shizuya and
Takao Nishizeki Dealing Necessary and Sufficient Numbers
of Cards for Sharing a One-Bit Secret
Key . . . . . . . . . . . . . . . . . . 389
Christian Cachin and
Silvio Micali and
Markus Stadler Computationally Private Information
Retrieval with Polylogarithmic
Communication . . . . . . . . . . . . . 402
Ransom Richardson and
Joe Kilian On the Concurrent Composition of
Zero-Knowledge Proofs . . . . . . . . . 415
Marc Fischlin Pseudorandom Function Tribe Ensembles
Based on One-Way Permutations:
Improvements and Applications . . . . . 432
Yongge Wang and
Yvo Desmedt Secure Communication in Broadcast
Channels: The Answer to Franklin and
Wright's Question . . . . . . . . . . . 446
Ran Canetti and
Tal Malkin and
Kobbi Nissim Efficient Communication-Storage
Tradeoffs for Multicast Encryption . . . 459
P. Sanders and
T. Takkula and
D. Wedelin High Performance Integer Optimization
for Crew Scheduling . . . . . . . . . . 3
B. Jung and
H.-P. Lenhof and
P. Mueller and
C. Rueb Simulating Synthetic Polymer Chains in
Parallel . . . . . . . . . . . . . . . . 13
G. L. Reijns and
A. J. C. Van Gemund and
J. Schier and
P. J. F. Swart Real-Time Signal Processing in a
Collision Avoidance Radar System Using
Parallel Computing . . . . . . . . . . . 23
R. Riedl The Impact of Workload on Simulation
Results for Distributed Transaction
Processing . . . . . . . . . . . . . . . 33
A. Z. Maksymowicz and
M. Bubak and
K. Zajac and
M. Magdon Computer Simulation of Ageing with an
Extended Penna Model . . . . . . . . . . 43
R. P. Van Sterkenburg and
A. A. Ten Dam The Scenario Management Tool SMARTFED
for Real-Time Interactive High
Performance Networked Simulations . . . 50
F.-X. Lebas and
T. Uslaender OPERA: An HPCN Architecture for
Distributed Component-Based Real-Time
Simulations . . . . . . . . . . . . . . 60
G. Rackl and
F. De Stefani and
F. Heran and
A. Pasquarelli Airport Simulation Using CORBA and DIS 70
C.-H. Chang and
H.-K. Wu and
M.-H. Jin and
Y.-O. Tseng Intelligent Routing for Global Broadband
Satellite Internet . . . . . . . . . . . 80
W. P. Kellar and
A. M. Savill and
W. N. Dawes Integrated CAD/CFD Visualisation of a
Generic Formula I Car Front Wheel
Flowfield . . . . . . . . . . . . . . . 90
D. Fritzson and
P. Nordling Adaptive Scheduling Strategy Optimizer
for Parallel Rolling Bearing Simulation 99
H. Radhakrishna and
S. Divakar and
N. Magotra and
S. R. J. Brueck MPI-Based Parallel Implementation of a
Lithography Pattern Simulation Algorithm 109
J. Schuele and
T. Wilhelmsson Parallelizing an High Resolution
Operational Ocean Model . . . . . . . . 120
J. Roads and
S. Chen and
C. McCord and
W. Smith Weather and Climate Forecasts and
Analyses at MHPCC . . . . . . . . . . . 130
K. Garatani and
H. Nakamura and
H. Okuda and
G. Yagawa GeoFEM: High Performance Parallel FEM
for Solid Earth . . . . . . . . . . . . 133
J. Modersitzki and
W. Obeloeer and
O. Schmitt and
G. Lustig Elastic Matching of Very Large Digital
Images on High Performance Clusters . . 141
J. Lee and
B. Tierney and
W. Johnston Data Intensive Distributed Computing: A
Medical Application Example . . . . . . 150
N. Papazis and
D. Dimitrelos Utilizing HPC Technology in $3$D Cardiac
Modeling . . . . . . . . . . . . . . . . 159
R. Rivas and
M. B. Ibañez and
Y. Cardinale and
P. Windyga A Parallel Algorithm for $3$D
Reconstruction of Angiographic Images 168
T. A. Maniatis and
K. S. Nikita and
K. Voliotis A Diffraction Tomography Method for
Medical Imaging Implemented on High
Performance Computing Environment . . . 178
A. Kalinov and
A. Lastovetsky Heterogeneous Distribution of
Computations While Solving Linear
Algebra Problems on Networks of
Heterogeneous Computers . . . . . . . . 191
D. B. Heras and
V. B. Perez and
J. C. C. Dominguez and
F. F. Rivera Modeling and Improving Locality for
Irregular Problems: Sparse Matrix-Vector
Product on Cache Memories as a Case
Study . . . . . . . . . . . . . . . . . 201
S. Satoh and
K. Kusano and
Y. Tanaka and
M. Matsuda Parallelization of Sparse Cholesky
Factorization on an SMP Cluster . . . . 211
O. Schenk and
K. Gaertner and
W. Fichtner Scalable Parallel Sparse Factorization
with Left-Right Looking Strategy on
Shared Memory Multiprocessors . . . . . 221
A. V. Bogdanov and
I. A. Grishin and
G. O. Khanlarov and
G. A. Lukianov Algorithm of Two-Level Parallelization
for Direct Simulation Monte Carlo of
Unsteady Flows in Molecular Gasdynamics 231
S. Briguglio and
G. Vlad and
G. Fogaccia and
B. Di Martino Parallelization of Gridless
Finite-Size-Particle Plasma Simulation
Codes . . . . . . . . . . . . . . . . . 241
Y. Sun and
Z. Liang and
C.-L. Wang A Distributed Object-Oriented Method for
Particle Simulations on Clusters . . . . 251
N. Sato and
J.-M Jezequel A Simple Dynamic Load-Balancing Scheme
for Parallel Molecular Dynamics
Simulation on Distributed Memory
Machines . . . . . . . . . . . . . . . . 260
A. Keller and
M. Brune and
A. Reinefeld Resource Management for High-Performance
PC Clusters . . . . . . . . . . . . . . 270
Q. H. Mahmoud The Web as a Global Computing Platform 281
T. Haupt and
E. Akarsu and
G. Fox WebFlow: A Framework for Web Based
Metacomputing . . . . . . . . . . . . . 291
G. D. Van Albada and
J. Clinckemaillie and
A. H. L. Emmen and
J. Gehring Dynamite-Blasting Obstacles to Parallel
Cluster Computing . . . . . . . . . . . 300
D. Kandhai and
A. Koponen and
A. Hoekstra and
P. M. A. Sloot Iterative Momentum Relaxation for Fast
Lattice-Boltzmann Simulations . . . . . 311
A. Dupuis and
B. Chopard Lattice Gas: An Efficient and Reusable
Parallel Library Based on a Graph
Partitioning Technique . . . . . . . . . 319
M. A. Kraeva and
V. E. Malyshkin Algorithms of Parallel Realisation of
the PIC Method with Assembly Technology 329
D. Dubbeldam and
A. G. Hoekstra and
P. M. A. Sloot Computational Aspects of Multi-species
Lattice-Gas Automata . . . . . . . . . . 339
C. J. Patten and
K. A. Hawick and
J. F. Hercus Towards a Scalable Metacomputing Storage
Service . . . . . . . . . . . . . . . . 350
J. Li and
E. De Doncker Dynamic Visualization of Computations on
the Internet . . . . . . . . . . . . . . 360
A. Ferrari and
F. Knabe and
M. Humphrey and
S. Chapin A Flexible Security System for
Metacomputing Environments . . . . . . . 370
A. D. Malony and
J. L. Skidmore and
M. J. Sottile Computational Experiments Using
Distributed Tools in a Web-Based
Electronic Notebook Environment . . . . 381
T. L. Casavant and
T. E. Scheetz and
T. A. Braun and
K. J. Munn A Parallel/Distributed Architecture for
Hierarchically Heterogeneous Web-Based
Cooperative Applications . . . . . . . . 391
D. A. Smith Effective Dynamic Load Balancing of the
UKMO Tracer Advection Routines . . . . . 402
A. Schoneveld and
M. Lees and
E. Karyadi and
P. M. A. Sloot Dynamic Load Balancing in Parallel
Finite Element Simulations . . . . . . . 409
R. W. Ford and
M. O'Brien A Load Balancing Routine for the NAG
Parallel Library . . . . . . . . . . . . 420
F. Munz and
T. Ludwig and
S. Ziegler and
P. Bartenstein Performance Assessment of Parallel
Spectral Analysis: Towards a Practical
Performance Model for Parallel Medical
Applications . . . . . . . . . . . . . . 430
S. Yu and
M. Clement and
Q. Snell and
B. Morse Parallel Algorithm and Processor
Selection Based on Fuzzy Logic . . . . . 440
M.-T. Kechadi Recurrent Neural Network Approach for
Partitioning Irregular Graphs . . . . . 450
W. Hu and
W. Shi and
Z. Tang JIAJIA: A Software DSM System Based on a
New Cache Coherence Protocol . . . . . . 463
J. S. Harper and
D. J. Kerbyson and
G. R. Nudd Efficient Analytical Modelling of
Multi-level Set-Associative Caches . . . 473
K. Kotapati and
S. P. Dandamudi Buffer Management in Wormhole-Routed
Torus Multicomputer Networks . . . . . . 483
K.-H. Pan and
H.-K. Wu and
R.-J. Shang and
F. Lai Performance Analysis of Broadcast in
Synchronized Multihop Wireless Networks 493
F. Wolf and
B. Mohr EARL --- A Programmable and Extensible
Toolkit for Analyzing Event Traces of
Message Passing Programs . . . . . . . . 503
K. Blackburn and
A. Lazzarini and
T. Prince and
R. Williams XSIL: Extensible Scientific Interchange
Language . . . . . . . . . . . . . . . . 513
C. W. Kessler and
H. Seidl ForkLight: A Control-Synchronous
Parallel Programming Language . . . . . 525
B. Di Martino and
M. Celino and
V. Rosato HPF Parallelization of a Molecular
Dynamics Code: Strategies and
Performances . . . . . . . . . . . . . . 535
M. Bubak and
J. T. Moscicki and
J. Shiers Design of High-Performance C++ Package
for Handling of Multidimensional
Histograms . . . . . . . . . . . . . . . 543
M. Oguchi and
M. Kitsuregawa Dynamic Remote Memory Acquiring for
Parallel Data Mining on PC Cluster:
Preliminary Performance Results . . . . 553
G. Aloisio and
M. Cafaro and
R. Williams The Digital Puglia Project: An Active
Digital Library of Remote Sensing Data 563
J. Chattratichat and
J. Darlington and
Y. Guo and
S. Hedvall An Architecture for Distributed
Enterprise Data Mining . . . . . . . . . 573
S. Li and
A. L. Ananda Representatives Selection in Multicast
Group . . . . . . . . . . . . . . . . . 583
F. Zambonelli Deadlock Prevention in Incremental
Replay of Message-Passing Programs . . . 593
M. Hobbs and
A. Goscinski Remote and Concurrent Process
Duplication for SPMD Based Parallel
Processing on COWs . . . . . . . . . . . 603
A. Zavenella and
S. Pelagatti Using BSP to Optimize Data Distribution
in Skeleton Programs . . . . . . . . . . 613
S. Brauss and
M. Frey and
A. Gunzinger and
M. Lienhard Swiss-Tx Communication Libraries . . . . 623
N. Zingirian and
M. Maresca Finding the Optimal Unroll-and-Jam . . . 633
A. G. M. Cilio and
H. Corporaal A Linker for Effective Whole-Program
Optimizations . . . . . . . . . . . . . 643
G.-A. Silber and
A. Darte The Nestor Library: A Tool for
Implementing Fortran Source to Source
Transformations . . . . . . . . . . . . 653
M. Takabatake and
H. Honda and
T. Yuba Performance Measurements on
Sandglass-Type Parallelization of
Doacross Loops . . . . . . . . . . . . . 663
M. Boekhold and
I. Karkowski and
H. Corporaal Transforming and Parallelizing ANSI C
Programs Using Pattern Recognition . . . 673
S. Zeng and
S. P. Dandamudi Centralized Architecture for Parallel
Query Processing on Networks of
Workstations . . . . . . . . . . . . . . 683
J. Kitowski and
D. Wajs and
P. Trzeciak Object-Oriented Database System for
Large-Scale Molecular Dynamics
Simulations . . . . . . . . . . . . . . 693
V. Deshpande and
L. Fornasier and
E. A. Gerteisen and
N. Hilbrink Virtual Engineering of
Multi-disciplinary Applications and the
Significance of Seamless Accessibility
of Geometry Data . . . . . . . . . . . . 702
N. Tomov and
E. Dempster and
M. H. Williams and
A. Burger Some Results from a New Technique for
Response Time Estimation in Parallel
DBMS . . . . . . . . . . . . . . . . . . 713
B. Vinter and
O. J. Anshus and
T. Larsen PastSet --- A Distributed Structured
Shared Memory System . . . . . . . . . . 722
D. A. L. Piriyakurnar and
P. Levi and
C. S. R. Murthy Optimal Scheduling of Iterative
Data-Flow Programs onto Multiprocessors
with Non-negligible Interprocessor
Communication . . . . . . . . . . . . . 732
F. Baude and
D. Caromel and
N. Furmento and
D. Sagnol Overlapping Communication with
Computation in Distributed Object
Systems . . . . . . . . . . . . . . . . 744
P. Marcuello and
A. Gonzalez Exploiting Speculative Thread-Level
Parallelism on a SMT Processor . . . . . 754
M. Matsuda and
Y. Tanaka and
K. Kubota and
M. Sato Network Interface Active Messages for
Low Overhead Communication on SMP PC
Clusters . . . . . . . . . . . . . . . . 764
M. Bernaschi and
G. Iannello and
M. Lauria Experimental Results about MPI
Collective Communication Operations . . 774
D. Dimitrelos and
C. Halatsis MaDCoWS: A Scalable Distributed Shared
Memory Environment for Massively
Parallel Multiprocessors . . . . . . . . 784
D. Cleary and
D. O'Donoghue VisualExpresso: Generating a Virtual
Reality Internet . . . . . . . . . . . . 797
D. R. S. Boyd and
J. R. Gallop and
K. E. V. Pahnen and
R. T. Platon VIVRE: User-Centred Visualization . . . 807
R. G. Belleman and
J. A. Kaandorp and
D. Dijkman and
P. M. A. Sloot GEOPROVE: Geometric Probes for Virtual
Environments . . . . . . . . . . . . . . 817
J. E. Moreira and
H. Franke and
W. Chan and
L. L. Fong A Gang-Scheduling System for ASCI
Blue-Pacific . . . . . . . . . . . . . . 831
H. Karl Towards Quality of Service for Parallel
Computing: An Overview of the MILAN
Project . . . . . . . . . . . . . . . . 841
U. Schwiegelshohn and
R. Yahyapour Resource Allocation and Scheduling in
Metasystems . . . . . . . . . . . . . . 851
D. Walker and
O. Rana The Use of Java in High Performance
Computing: A Data Mining Example . . . . 863
P. D. Coddington and
J. A. Mathew and
K. A. Hawick Interfaces and Implementations of Random
Number Generators for Java Grande
Applications . . . . . . . . . . . . . . 873
M. Gimbel and
M. Philippsen and
B. Haumacher and
P. C. Lockemann Java as a Basis for Parallel Data Mining
in Workstation Clusters . . . . . . . . 884
A. Krall and
P. Tomsich Garbage Collection for Large Memory Java
Applications . . . . . . . . . . . . . . 895
A. Marsh and
T. Kauranne and
G. Zahlmann and
A. Emmen The Emergence of Virtual Medical Worlds 909
M. Moore Characteristics of Users of Medical
Innovations . . . . . . . . . . . . . . 912
B. Blobel and
P. Pharow and
F. Roger-France Security Analysis and Design Based on a
General Conceptual Security Model and
UML . . . . . . . . . . . . . . . . . . 919
Anonymous $3$DHeartView: Introducing
$3$-Dimensional Angiographical Modelling 931
M. Ohlsson and
A. Jaerund and
L. Edenbrandt WWW Based Service for Automated
Interpretation of Diagnostic Images: The
AIDI-Heart Project . . . . . . . . . . . 941
P. Kokol and
M. Zorman and
K. Podgorelec and
A. Habjanic Decision Trees --- A CIM Tool in Nursing
Education . . . . . . . . . . . . . . . 951
Y. Samiotakis and
S. Anagnostopoulou and
A. Alexakis HealthLine: Integrated Information
Provision to Telemedicine Networks . . . 959
E. Jovahov and
D. Starcevic and
A. Marsh and
Z. Obrenovic Multi Modal Presentation in Virtual
Telemedical Environments . . . . . . . . 964
G. S. Stamatakos and
E. I. Zacharaki and
N. A. Mouravliansky and
K. K. Delibasis Using Web Technologies and
Meta-Computing to Visualise a Simplified
Simulation Model of Tumor Growth in
Vitro . . . . . . . . . . . . . . . . . 973
D. Polemi and
A. Marsh The Electronic Commerce Component in
Telemedicine . . . . . . . . . . . . . . 983
K. K. Delibasis and
G. K. Matsopoulos and
N. A. Mouravliansky and
K. S. Nikita Efficient Implementation of the Marching
Cubes Algorithm for Rendering Medical
Data . . . . . . . . . . . . . . . . . . 989
T. F. Chan and
P. Vanek Multilevel Algebraic Elliptic Solvers 1001
J. Rokicki and
D. Drikakis and
J. Majewski and
J. Zoltak Parallel Performance of Chimera
Overlapping Mesh Technique . . . . . . . 1015
T. Jacques and
L. Nicolas and
C. Voilaire Electromagnetic Scattering with the
Boundary Integral Method on MIMD Systems 1025
M. R. T. Roest and
E. A. H. Vollebregt Decomposition of Complex Numerical
Software into Cooperating Components . . 1032
S. Baird and
J. J. McGuirk Multi-block Parallel Simulation of Fluid
Flow in a Fuel Cell . . . . . . . . . . 1042
C. Vuik and
J. Frank A Parallel Implementation of the Block
Preconditioned GCR method . . . . . . . 1052
S. W. Brok and
L. Dekker Comparison of Two Parallel Analytic
Simulation Models of Inhomogeneous
Distributed Parameter Systems . . . . . 1061
T. Cooper Case Studies of Four Industrial
Meta-Applications . . . . . . . . . . . 1077
M. Aretzaz and
R. Doallo and
J. Touriño and
C. Vazquez A Parallel Approach for Solving a
Lubrication Problem in Industrial
Devices . . . . . . . . . . . . . . . . 1087
M. Kandemir and
A. Choudhary and
J. Ramanujam Restructuring I/O-Intensive Computations
for Locality . . . . . . . . . . . . . . 1097
E. Caron and
O. Cozette and
D. Lazure and
G. Utard Virtual Memory Management in Data
Parallel Applications . . . . . . . . . 1107
J. No and
J. Carretero and
A. Choudhary High Performance Parallel I/O Schemes
for Irregular Applications on Clusters
of Workstations . . . . . . . . . . . . 1117
P. Brezany and
M. Winslett Advanced Data Repository Support for
Java Scientific Programming . . . . . . 1127
G. Agrawal Advanced Communication Optimizations for
Data-Parallel Programs . . . . . . . . . 1139
S. O. Telford A Cellular Automata Simulation
Environment for Modelling Soil
Bioremediation . . . . . . . . . . . . . 1143
W. Shi and
J. Ma and
Z. Tang High Efficient Parallel Computation of
Resonant Frequencies of Waveguide Loaded
Cavities on JIAJIA Software DSMs . . . . 1147
M. Iikura and
K. Kobayashi and
T. Yoshioka and
S. Ihara A Study of Parallel Image Processing in
a Distributed Processing Environment . . 1151
S. Manoharan Data Prefetching for Digital Alpha . . . 1155
S.-Y. Wang and
Y.-C. Tseng and
S.-Y. Ni and
J.-P Sheu Circuit-Switched Broadcast in Multi-port
$2$D Tori . . . . . . . . . . . . . . . 1159
S. Koranne A Distributed Algorithm for the
Estimation of Average Switching Activity
in Combinational Circuits . . . . . . . 1163
U. A. Ranawake and
J. E. Dorband BVIEW: A Tool for Monitoring Distributed
Systems . . . . . . . . . . . . . . . . 1167
S. Girona and
S. Bello and
J. Labarta and
P. Ribes The Queue System within PHASE . . . . . 1171
V. N. Kasyanov and
V. A. Evstigneev and
J. V. Malinina and
J. V. Birjukova Support Tools for Supercomputing and
Networking . . . . . . . . . . . . . . . 1175
R. De Nicola Coordination and Access Control of
Mobile Agents . . . . . . . . . . . . . 1--2
D. B. Lange Characteristics of an Agent Scripting
Language and Its Execution Environment 3
C. Bryce and
M. Oriol and
J. Vitek A Coordination Model for Agents Based on
Secure Spaces . . . . . . . . . . . . . 4--20
A. M. Wood Coordination with Attributes . . . . . . 21--36
C. Mascolo MobiS: A Specification Language for
Mobile Systems . . . . . . . . . . . . . 37--52
J. M. Murillo and
J. Hernandez and
F. Sanchez and
L. A. Alvarez Coordinated Roles: Promoting
Re-usability of Coordinated Active
Objects Using Event Notification
Protocols . . . . . . . . . . . . . . . 53--68
M. Weichert Pipelining the Molecule Soup: A
Plumber's Approach to Gamma . . . . . . 69--84
A. Moran and
D. Sands and
M. Carlsson Erratic Fudgets: A Semantic Theory for
an Embedded Coordination Language . . . 85--102
R. Budde and
G. M. Pinna and
A. Poigne Coordination of Synchronous Programs . . 103--117
C. Montangero and
L. Semini Composing Specifications for
Coordination . . . . . . . . . . . . . . 118--133
A. Brogi and
J.-M. Jacquet On the Expressiveness of Coordination
Models . . . . . . . . . . . . . . . . . 134--149
M. M. Bonsangue and
J. N. Kok and
G. Zavattaro Comparing Software Architectures for
Coordination Languages . . . . . . . . . 150--165
C. Varela and
G. Agha A Hierarchical Model of Coordination of
Concurrent Activities . . . . . . . . . 166--182
C. F. Tschudin A Self-Deploying Election Service for
Active Networks . . . . . . . . . . . . 183--195
A. Rowstron Mobile Co-ordination: Providing Fault
Tolerance in Tuple Space Based
Co-ordination Languages . . . . . . . . 196--210
T. Sekiguchi and
H. Masuhara and
A. Yonezawa A Simple Extension of Java Language for
Controllable Transparent Migration and
Its Portable Implementation . . . . . . 211--226
L. Petre and
K. Sere Coordination Among Mobile Objects . . . 227--242
A. Scutella Simulation of Conference Management
Using an Event-Driven Coordination
Language . . . . . . . . . . . . . . . . 243--258
D. Rossi and
F. Vitali Internet-Based Coordination Environments
and Document-Based Applications: A Case
Study . . . . . . . . . . . . . . . . . 259--274
C. T. H. Everaars and
B. Lisser Coordination of a Parallel Proposition
Solver . . . . . . . . . . . . . . . . . 275--290
N. Sample and
D. Beringer and
L. Melloul and
G. Wiederhold CLAM: Composition Language for
Autonomous Megamodules . . . . . . . . . 291--306
R. M. Podorozhny and
B. Staudt Lerner and
L. J. Osterweil Modeling Resources for Activity
Coordination and Scheduling . . . . . . 307--322
C. Attanasio and
F. Corradini and
P. Inverardi Static Analysis of Real-Time
Component-Based Systems Configurations 323--339
D. Garlan and
Z. Wang Acme-Based Software Architecture
Interchange . . . . . . . . . . . . . . 340--354
J. C. Cruz and
S. Ducasse A Group Based Approach for Coordinating
Active Objects . . . . . . . . . . . . . 355--370
U. Assmann and
A. Ludwig Introducing Connections Into Classes
With Static Meta-Programming . . . . . . 371--383
W. C. Jamison and
D. Lea TRUCE: Agent Coordination Through
Concurrent Interpretation of Role-Based
Protocols . . . . . . . . . . . . . . . 384--398
M. Schumacher and
F. Chantemargue and
B. Hirsbrunner The STL++ Coordination Language: A Base
for Implementing Distributed Multi-agent
Applications . . . . . . . . . . . . . . 399--414
M. Buffo and
D. Buchs A Distributed Semantics for a IWIM-Based
Coordination Language . . . . . . . . . 415
M. Cremonini and
A. Omicini and
F. Zambonelli Coordination in Context: Authentication,
Authorisation and Topology in Mobile
Agent Applications . . . . . . . . . . . 416
M. Day Presence and Instant Messaging via
HTTP/1.1: A Coordination Perspective . . 417
D. Hirsch and
S. Uchitel and
D. Yankelevich Towards a Periodic Table of Connectors 418--418
C. Assmann Performance Results for an
Implementation of the Process
Coordination Language K2 . . . . . . . . 1--19
N. Charles and
C. Runciman An Interactive Approach to Profiling
Parallel Functional Programs . . . . . . 20--37
C. Grelck Shared Memory Multiprocessor Support for
SAC . . . . . . . . . . . . . . . . . . 38--53
J. G. Hall and
C. Baker-Finch and
P. Trinder and
D. J. King Towards an Operational Semantics for a
Parallel Non-Strict Functional Language 54--71
I. Holyer and
E. Spiliopoulou Concurrent Monadic Interfacing . . . . . 72--87
D. J. King and
J. G. Hall and
P. Trinder A Strategic Profiler for Glasgow
Parallel Haskell . . . . . . . . . . . . 88--102
U. Klusik and
Y. Ortega and
R. Peña Implementing Eden --- or: Dreams Become
Reality . . . . . . . . . . . . . . . . 103--119
P. Koopman and
R. Plasmeijer Efficient Combinator Parsers . . . . . . 120--136
B. J. McAdam On the Unification of Substitutions in
Type Inference . . . . . . . . . . . . . 137--152
D. Pape Higher Order Demand Propagation . . . . 153--168
M. Pil Dynamic Types and Type Dependent
Functions . . . . . . . . . . . . . . . 169--185
A. Reid Putting the Spine Back in the Spineless
Tagless G-Machine: An Implementation of
Resumable Black-Holes . . . . . . . . . 186--199
C. Reinke Towards a Haskell/Java Connection . . . 200--215
S.-B. Scholz A Case Study: Effects of
WITH-Loop-Folding on the NAS Benchmark
MG in SAC . . . . . . . . . . . . . . . 216--228
P. R. Serrarens and
R. Plasmeijer Explicit Message Passing for Concurrent
Clean . . . . . . . . . . . . . . . . . 229--246
Vincent P. Wade Towards Future Telecommunications
Management Architectures . . . . . . . . 1--2
Rob Davison and
Terry Turner A Practical Perspective on TMN Evolution 3--12
Patrick Hellemans and
Cliff Redmond and
Koen Daenen and
Dave Lewis Accounting Management in a TINA-Based
Service and Network Environment . . . . 13--24
Rob Davison and
Jim Hardwicke A New Architecture for Open and
Distributed Network Management . . . . . 25--38
Eleutherios Athanassiou Intelligence in Brokerage and Retrieval 39--40
Marie Pierre Gleizes and
Alain Léger and
Eleutherios Athanassiou and
Pierre Glize Self-Organization and Learning in
MultiAgent Based Brokerage Services . . 41--54
Mikhail Bessonov and
Udo Heuser and
Igor Nekrestyanov and
Ahmed Patel Open Architecture for Distributed Search
Systems . . . . . . . . . . . . . . . . 55--69
Igor Nekrestyanov and
Tadhg O'Meara and
Ahmed Patel and
Ekaterina Romanova Building Topic-Specific Collections with
Intelligent Agents . . . . . . . . . . . 70--82
Keith Start Interworking . . . . . . . . . . . . . . 83
Nilo Mitra and
Rob Brennan Design of the CORBA/TC Inter-working
Gateway . . . . . . . . . . . . . . . . 84--100
Nils Fischbeck and
Olaf Kath CORBA Interworking over SS.7 . . . . . . 101--113
Rob Brennan and
Brendan Jennings and
Thomas Curran Signalling System No. 7 as an Agent
Platform Message Transport Protocol . . 114--128
Joachim Quantz Issues in Agent Technology . . . . . . . 129--130
Eija Kaasinen Usability Challenges in Agent Based
Services . . . . . . . . . . . . . . . . 131--142
Markus Breugst and
Sang Choy Management of Mobile Agent Based
Services . . . . . . . . . . . . . . . . 143--154
Kristian Schelderup and
Jon Òlnes Mobile Agent Security --- Issues and
Directions . . . . . . . . . . . . . . . 155--167
Sang Choy and
Markus Breugst and
Thomas Magedanz A CORBA Environment Supporting Mobile
Objects . . . . . . . . . . . . . . . . 168--180
Willie Donnelly Component Reuse . . . . . . . . . . . . 181--182
Christian Hubert Web-Based Service Customization in an
IN-TINA Environment . . . . . . . . . . 183--193
Linas Maknavicius and
Gautier Koscielny and
Simon Znaty Customizing Telecommunication Services:
Patterns, Issues, and Models . . . . . . 194--209
Dave Lewis and
Chris Malbon and
Alina DaCruz Modelling Management Components for
Reuse Using UML . . . . . . . . . . . . 210--222
Filip Vandermeulen and
Piet Demeester and
Piet De Ceuleners and
Jean-Marc Reynders Automated Design of Modular SNMP-CORBA
Gateways and Their Application for the
Development of an ADSL Access Network
Manager . . . . . . . . . . . . . . . . 223--238
Fabrizio Zizza Mobility Management . . . . . . . . . . 239
John C. Francis and
Bernhard Diem Roaming Aspects of Ubiquitous Mobile
Service Support . . . . . . . . . . . . 240--249
Alain Macaire and
David Carlier A Personal Naming and Directory Service
for UMTS Users . . . . . . . . . . . . . 250--262
Mark Donnelly and
Ivan Griffin and
Conor Morris and
John Nelson The Application of Mobile Agent
Technology to Mobility Management in
MARINE . . . . . . . . . . . . . . . . . 263--274
Sofoklis Efremidis Service Creation . . . . . . . . . . . . 275--276
Fiona Lodge and
Kristofer Kimbler and
Manuel Hubert Alignment of the TOSCA and SCREEN
Approaches to Service Creation . . . . . 277--290
Anastasia Kaltabani and
Elsa Cardoso and
Evangelia Tzifa and
Panagiotis Demestichas and
António Silva and
Miltiades Anagnostou Service Logic Deployment and
Distribution Configuration . . . . . . . 291--304
Sarom Ing and
Steve Rudkin Simplifying Real-Time Multimedia
Application Development Using Session
Descriptions . . . . . . . . . . . . . . 305--314
Kristofer Kimbler and
Carl-Henrik Hagenfeldt and
Jan Ellsberger and
Gustav Bergman An Environment for IN Service
Prototyping and Validation . . . . . . . 315--327
Andreas Kind and
Miltiades E. Anagnostou and
Malamati D. Louta and
Jan Nicklisch and
Juan Tous Towards the Seamless Integration of
Mobile Agents into Service Creation
Practice . . . . . . . . . . . . . . . . 328--341
Anders Olsen and
Didier Demany and
Elsa Cardoso and
Fiona Lodge and
Mario Kolberg and
Morgan Björkander and
Richard Sinnott The Pros and Cons of Using SDL for
Creation of Distributed Services . . . . 342--354
Jaime Delgado Multimedia Services & Security . . . . . 355--356
Eric Sellin and
Peter Loosemore and
Sohail Rana and
Jürgen Dittrich and
Maarten Wegdam Audio/Video Stream Binding in a
Pan-European Service Management Platform 357--372
Roberto Becchini and
Gianluca De Petris Java Enabled MPEG-4 Services: The MPEG-J
Framework . . . . . . . . . . . . . . . 373--384
Thomas Hardjono Key Management Framework for IP
Multicast Infrastructure Security . . . 385--398
Sebastiano Trigila Mobility in TINA . . . . . . . . . . . . 399--400
Alfio Lombardo and
Pietro Nicosia and
Sergio Palazzo and
Marina Samarotto and
Giovanni Schembra Performance Evaluation of an Allocation
Strategy for TINA Compliant Mobile
Agents Supporting PCS in a
Multi-retailer Environment . . . . . . . 401--415
A. Kuepper Locating TINA User Agents: Strategies
for a Broker Federation and Their
Comparison . . . . . . . . . . . . . . . 416--428
Axel Küpper Locating TINA User Agents: Strategies
for a Broker Federation and Their
Comparison . . . . . . . . . . . . . . . 416
George D. Stamoulis and
Dimitrios Kalopsikakis and
Anna Kirikoglou and
Vasilios A. Siris and
Didoe Prevedourou and
Sofoklis Efremidis and
Henryka Jormakka Agent-Based Service and Retailer
Selection in a Personal Mobility Context 429--442
Alex Galis Distributed Intelligence in Services and
Networks . . . . . . . . . . . . . . . . 443--445
Peter Schoo and
Christian Egelhaaf and
Tim Eckardt and
Nazim Agoulmine and
Michael Tschichholz Modularization of TINA Reference Points
for Information Networking . . . . . . . 446--458
Christos Solomonides and
Mark Searle Relevance of Existing Intelligent
Network Infrastructure to the Internet 459--468
Lorenzo Faglia and
Thomas Magedanz and
Andreas Papadakis Introduction of DOT/MAT into a Broadband
IN Architecture for Flexible Service
Provision . . . . . . . . . . . . . . . 469--481
Quincy Cabell and
Peter Kirstein and
Theodore Pagtzis and
Thanassis Tiropanis and
Lichun Wang The Use of TINA Principles in the
Management of Internet Multimedia
Conferences . . . . . . . . . . . . . . 482--498
Divine Ndumu Agent Support for Resource, Network, and
Enterprise Management . . . . . . . . . 499--500
Martín Molina and
Sascha Ossowski Knowledge Modelling in Multiagent
Systems: The Case of the Management of a
National Network . . . . . . . . . . . . 501--513
John Bigham and
Laurie Cuthbert and
Alex Hayzelden and
Zhiyuan Luo Multi-agent System for Network Resource
Management . . . . . . . . . . . . . . . 514--526
Kiminori Sugauchi and
Satoshi Miyazaki and
Stefan Covaci and
Tianning Zhang Efficiency Evaluation of a Mobile Agent
Based Network Management System . . . . 527--535
Stefan Covaci and
Markus Zell and
Rudi Broos A Mobile Intelligent Agent Based Virtual
Enterprise Support Environment . . . . . 536--549
Soe-Tsyr Yuan MAS Building Environments with
Product-Line-Architecture Awareness . . 1--17
Tetsuo Kinoshita and
Kenji Sugawara ADIPS Framework for Flexible Distributed
Systems . . . . . . . . . . . . . . . . 18--32
Jean-Dany Vally and
Rémy Courdier A Conceptual ``Role-Centered'' Model for
Design of Multi-Agent Systems . . . . . 33--46
Jaeho Lee Desiderata in Agent Architectures for
Coordinating Multi-Agent Systems . . . . 47--60
Kyoung Jun Lee and
Yong Sik Chang Time-Bounded Negotiation Framework for
Multi-Agent Coordination . . . . . . . . 61--75
Shih-Hung Wu and
Von-Wun Soo A Fuzzy Game Theoretic Approach to
Multi-Agent Coordination . . . . . . . . 76--87
Jung-Jin Lee and
Robert McCartney Partial Plan Recognition Using
Predictive Agents . . . . . . . . . . . 88--102
David Ramamonjisoa Multi-Agent Coordination with OASIS . . 103--117
Jieh Hsiang and
Hsieh-Chang Tu Personalized Web Retrieval: Three Agents
for Retrieving Web Information . . . . . 118--132
H. Jieh and
H.-C. Tu Personalized Web Retrieval: Three Agents
for Retrieving Web Information . . . . . 118
Yasuhiko Kitamura and
Tomoya Noda and
Shoji Tatsumi Single-Agent and Multi-Agent Approaches
to WWW Information Integration . . . . . 133--147
Jane Yung-jen Hsu A Multi-Agent Framework for Intranet
Service Integration . . . . . . . . . . 148--161
Xiao Feng Wang and
Kwok Yan Lam and
X. Yi Secure Agent-Mediated Mobile Payment . . 162--173
Hongxue Wang and
Vijay Varadharajan and
Yan Zhang A Secure Communication Scheme for
Multiagent Systems . . . . . . . . . . . 174--186
Anonymous Author Index . . . . . . . . . . . . . . 187