Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
Context-Aware Systems / I:
An Architecture for the Integration of Physical and Informational Spaces / Scott M. Thayer ; Peter Steenkiste
A Context System for a Mobile Service Platform / Fritz Hohl ; Lars Mehrmann ; Amen Hamdan
Detecting Context in Distributed Sensor Networks by Using Smart Context-Aware Packets / Florian Michahelles ; Michael Samulowitz ; Bernt Schiele
System Aspects / II:
A Ubiquitous Control Architecture for Low Power Systems / James ôWezö Weatherall ; Duncan Grisby
Software Architecture-Based Adaptation for Pervasive Systems / Shang-Wen Cheng ; David Garlan ; Bradley Schmerl ; Joao Pedro Sousa ; Bridget Spitznagel ; Ningning Hu
KECho - Event Communication for Distributed Kernel Services / Christian Poellabauer ; Karsten Schwan ; Greg Eisenhauer ; Jiantao Kong
Networking 1 / III:
A Fine-Grained Addressing Concept for GeoCast / Peter Coschurba ; Kurt Rothermel ; Frank Durr
Data Paths in Wearable Communication Networks / Christian Decker ; Michael Beigl
Location and Network Quality Issues in Local Area Wireless Networks / Georgi Tonev ; Vaidy Sunderam ; Roger Loader ; James Pascoe
Processor Architecture / IV:
Design Tradeoffs for Embedded Network Processors / Tilman Wolf ; Mark A. Franklin
Reconfigurable RISC - A New Approach for Space-Efficient Superscalar Microprocessor Architecture / Sascha Wennekers ; Christian Siemers
Cached Two-Level Adaptive Branch Predictors with Multiple Stages / Colin Egan ; Gordon Steven ; Lucian Vintan
Middleware and Verification / V:
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems / Tim Oodes ; Holger Krisp ; Christian Muller-Schloer
Ubiquitous Access to Wide-Area High-Performance Computing / Frank Burchert ; Stephan Gatzka ; Christian Hochberger ; Chang-Kun Lee ; Ulrike Lucke ; Djamshid Tavangarian
Filter Similarities in Content-Based Publish/Subscribe Systems / Gero Muhl ; Ludger Fiege ; Alejandro Buchmann
Networking 2 / VI:
A Bluetooth Remote Control System / Fridtjof Feldbusch ; Alexander Paar ; Manuel Odendahl ; Ivan Ivanov
Rendezvous Layer Protocols for Bluetooth-Enabled Smart Devices / Frank Siegemund ; Michael Rohs
A Robust Header Compression Simulator & Visualizer / Xiaoyuan Gu ; Hannes Hartenstein ; Stefan Fischer
Author Index
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
A Structural View on Parameterizing Problems: Distance from Triviality / Jiong Guo ; Falk Hüffner ; Rolf Niedermeier
Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable / Jens Gramm ; Till Nierhoff ; Till Tantau
Simplifying the Weft Hierarchy / Jonathan F. Buss ; Tarique Islam
The Minimum Weight Triangulation Problem with Few Inner Points / Yoshio Okamoto
A Direct Algorithm for the Parameterized Face Cover Problem / Faisal N. Abu-Khzam ; Michael A. Langston
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets / Michael R. Fellows ; Stefan Szeider ; Graham Wrightson
Parameterized Algorithms for Feedback Vertex Set / Iyad Kanj ; Michael Pelsmajer ; Marcus Schaefer
Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms / Sergey S. Fedin ; Alexander S. Kulikov
Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments / Venkatesh Raman ; Saket Saurabh
Greedy Localization, Iterative Compression, and Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting, and a Novel 2k Kernelization for Vertex Cover / Frank Dehne ; Mike Fellows ; Frances Rosamond
Space and Time Complexity of Exact Algorithms: Some Open Problems (Invited Talk) / Gerhard J. Woeginger
Practical FPT Implementations and Applications (Invited Talk) / Mike Langston
Author Index
Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction / Peter Damaschke
Online Problems, Pathwidth, and Persistence / Rodney G. Downey ; Catherine McCartin
Chordless Paths Through Three Vertices / Robert Haas ; Michael Hoffmann
On Modalities for Vague Notions / Mario Benevides ; Carla Delgado ; Renata P. de Freitas ; Paulo A.S. Veloso ; Sheila R.M. Veloso
Towards Polynomial Approximations of Full Propositional Logic / Marcelo Finger
Using Relevance to Speed Up Inference. Some Empirical Results / Joselyto Riani ; Renata Wassermann
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic / Gabriel Aguilera ; Pablo Cordero ; Manuel Enciso ; Angel Mora ; Inmaculada Perez de Guzmán
Reasoning About Requirements Evolution Using Clustered Belief Revision / Odinaldo Rodrigues ; Artur d'Avila Garcez ; Alessandra Russo
Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach / Peep Küngas
Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning / Silvio do Lago Pereira ; Leliane Nunes de Barros
High-Level Robot Programming: An Abductive Approach Using Event Calculus
Search, Reasoning, and Uncertainty
Word Equation Systems: The Heuristic Approach / César Luis Alonso ; Fátima Drubi ; Judith Gómez-García ; José Luis Montaña
A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation / Carlos Castro ; Michael Moossen ; María Cristina Riff
Machine Learned Heuristics to Improve Constraint Satisfaction / Marco Correia ; Pedro Barahona
Towards a Natural Way of Reasoning / José Carlos Loureiro Ralha ; Célia Ghedini Ralha
Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning? / Ricardo S. Silvestre ; Tarcísio H. C. Pequeno
Paraconsistent Sensitivity Analysis for Bayesian Significance Tests / Julio Michael Stern
Knowledge Representation and Ontologies
An Ontology for Quantities in Ecology / Virgínia Brilhante
Using Color to Help in the Interactive Concept Formation / Vasco Furtado ; Alexandre Cavalcante
Propositional Reasoning for an Embodied Cognitive Model / Jerusa Marchi ; Guilherme Bittencourt
A Unified Architecture to Develop Interactive Knowledge Based Systems / Vládia Pinheiro ; Elizabeth Furtado
Natural Language Processing
Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts / Helena de Medeiros Caseli ; Aline Maria da Paz Silva ; Maria das Graças Volpe Nunes
Applying a Lexical Similarity Measure to Compare Portuguese Term Collections / Marcirio Silveira Chaves ; Vera Lúcia Strube de Lima
Dialog with a Personal Assistant / Fabrício Enembreck ; Jean-Paul Barthès
Applying Argumentative Zoning in an Automatic Critiquer of Academic Writing / Valéria D. Feltrim ; Jorge M. Pelizzoni ; Simone Teufel ; Sandra M. Aluísio
DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese / Thiago Alexandre Salgueiro Pardo ; Lucia Helena Machado Rino
A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese / Carlos Nascimento Silla Jr. ; Celso Antônio Alves Kaestner ; Michael Pombo
Machine Learning, Knowledge Discovery, and Data Mining
Heuristically Accelerated Q-Learning: A New Approach to Speed Up Reinforcement Learning / Reinaldo A.C. Bianchi ; Carlos H.C. Ribeiro ; Anna H.R. Costa
Using Concept Hierarchies in Knowledge Discovery / Marco Eugênio Madeira Di Beneditto
A Clustering Method for Symbolic Interval-Type Data Using Adaptive Chebyshev Distances / Francisco de A.T. de Carvalho ; Renata M.C.R. de Souza ; Fabio C.D. Silva
An Efficient Clustering Method for High-Dimensional Data Mining / Jae- Woo Chang ; Yong-Ki Kim
Learning with Drift Detection / João Gama ; Pedro Medas ; Gladys Castillo ; Pedro Rodrigues
Learning with Class Skews and Small Disjuncts / Ronaldo C. Prati ; Gustavo E.A.P.A. Batista ; Maria Carolina Monard
Making Collaborative Group Recommendations Based on Modal Symbolic Data / Sérgio R. de M. Queiroz
Search-Based Class Discretization for Hidden Markov Model for Regression / Kate Revoredo ; Gerson Zaverucha
SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries / Marcelino Pereira dos Santos Silva ; Jacques Robin
Evolutionary Computation, Artificial Life, and Hybrid Systems
Symbolic Communication in Artificial Creatures: An Experiment in Artificial Life / Angelo Loula ; Ricardo Gudwin ; João Queiroz
What Makes a Successful Society? Experiments with Population Topologies in Particle Swarms / Rui Mendes ; José Neves
Splinter: A Generic Framework for Evolving Modular Finite State Machines / Ricardo Nastas Acras ; Silvia Regina Vergilio
An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic Graphs / Ana Carolina Lorena ; André C. Ponce de Leon F. de Carvalho
Dynamic Allocation of Data-Objects in the Web, Using Self-tuning Genetic Algorithms / Joaquín Pérez O. ; Rodolfo A. Pazos R. ; Graciela Mora O. ; Guadalupe Castilla V. ; José A. Martínez. ; Vanesa Landero N. ; Héctor Fraire H. ; Juan J. González B.
Detecting Promising Areas by Evolutionary Clustering Search / Alexandre C.M. Oliveira ; Luiz A.N. Lorena
A Fractal Fuzzy Approach to Clustering Tendency Analysis / Sarajane Marques Peres ; Márcio Luiz de Andrade Netto
On Stopping Criteria for Genetic Algorithms / Martín Safe ; Jessica Carballido ; Ignacio Ponzoni ; Nélida Brignole
A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy Rules / Pablo Alberto de Castro ; Heloisa A. Camargo
Using Rough Sets Theory and Minimum Description Length Principle to Improve a β-TSK Fuzzy Revision Method for CBR Systems / Florentino Fdez-Riverola ; Fernando Díaz ; Juan M. Corchado
Robotics and Computer Vision
Forgetting and Fatigue in Mobile Robot Navigation / Luís Correia ; António Abreu
Texture Classification Using the Lempel-Ziv-Welch Algorithm / Leonardo Vidal Batista ; Moab Mariz Meira
A Clustering-Based Possibilistic Method for Image Classification / Isabela Drummond ; Sandra Sandri
An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary Results / Hemerson Pistori ; João José Neto
Autonomous Agents and Multi-agent Systems
Recent Advances on Multi-agent Patrolling / Alessandro Almeida ; Geber Ramalho ; Hugo Santana ; Patrícia Tedesco ; Talita Menezes ; Vincent Corruble ; Yann Chevaleyre
On the Convergence to and Location of Attractors of Uncertain, Dynamic Games / Eduardo Camponogara
Norm Consistency in Electronic Institutions / Marc Esteva ; Wamberto Vasconcelos ; Carles Sierra ; Juan A. Rodríguez-Aguilar
Using the <$>{\cal M}<$>oise+ for a Cooperative Framework of MAS Reorganisation / Jomi Fred Hübner ; Jaime Simão Sichman ; Olivier Boissier
A Paraconsistent Approach for Offer Evaluation in Negotiations / Fabiano M. Hasegawa ; Bráulio C. Ávila ; Marcos Augusto H. Shmeil
Sequential Bilateral Negotiation / Orlando Pinho Jr. ; Gustavo de Paula
Towards to Similarity Identification to Help in the Agents' Negotiation / Andreia Malucelli ; Eugénio Oliveira
Author Index
Logics, Planning, and Theoretical Methods
On Modalities for Vague Notions / Mario Benevides ; Carla Delgado ; Renata P. de Freitas ; Paulo A.S. Veloso ; Sheila R.M. Veloso
Towards Polynomial Approximations of Full Propositional Logic / Marcelo Finger
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
Compiler Construction Using LOTOS NT / Hubert Garavel ; Frédéric Lang ; Radu Mateescu
Analysis and Optimization
Data Compression Transformations for Dynamically Allocated Data Structures / Youtao Zhang ; Rajiv Gupta
Evaluating a Demand Driven Technique for Call Graph Construction / Gagan Agrawal ; Jinqian Li ; Qi Su
A Graph-Free Approach to Data-Flow Analysis / Markus Mohnen
A Representation for Bit Section Based Analysis and Optimization / Eduard Mehofer
A Comprehensive Approach to Array Bounds Check Elimination for Java / Feng Qian ; Clark Verbrugge
Author Index
Tool Demonstrations
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
Using Markov Chains for Link Prediction in Adaptive Web Sites / Jianhan Zhu ; Jun Hong ; John G. HughesTechnical Session 2:
Classification of Customer Call Data in the Presence of Concept Drift and Noise / Michaela Black ; Ray Hickey
A Learning System for Decision Support in Telecommunications / Filip Äelezný ; Jiří Zídgek ; Olga ètepánkova
Adaptive User Modelling in an Intelligent Telephone Assistant / Trevor P. Martin ; Benham Azvine
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning / Rolf HaenniTechnical Session 3:
Proof Length as an Uncertainty Factor in ILP / Gilles Richard ; Fatima Zohra Kettaf
Paraconsistency in Object-Oriented Databases / Rajiv Bagai ; Shellene J. Kelley
Decision Support with Imprecise Data for Consumers / Gergely Lukács
Genetic Programming: A Parallel Approach / Wolfgang Golubski
Software Uncertainty / Manny M. Lehman ; J.F. Ramil
Technical Session 4
Temporal Probabilistic Concepts from Heterogeneous Data Sequences / Sally McClean ; Bryan Scotney ; Fiona Palmer
Handling Uncertainty in a Medical Study of Dietary Intake during Pregnancy / Adele Marshall ; David Bell
Sequential Diagnosis in the Independence Bayesian Framework / David McSherry
Static Field Approach for Pattern Classification / Dymitr Ruta ; Bogdan Gabrys
Inferring Knowledge from Frequent Patterns / Marzena Kryszkiewicz
Anytime Possibilistic Propagation Algorithm / Nahla Ben Amor ; Salem Benferhat ; Khaled Mellouli
Technical Session 5
Macro Analysis of Techniques to Deal with Uncertainty in Information Systems Development: Mapping Representational Framing Influences / Carl Adams ; David E. Avison
The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities / Isabel Ramos ; Daniel M. Berry ; João Á. Carvalho
Managing Evolving Requirements Using eXtreme Programming / Jim Tomayko
Text Summarization in Data Mining / Colleen E. Crangle
Invited Speakers
Industrial Applications of Intelligent Systems at BTexact
Intelligent Control of Wireless and Fixed Telecom Networks / John Bigham
Assertions in Programming: From Scientific Theory to Engineering Practice / Tony Hoare
Hybrid Soft Computing for Classification and Prediction Applications / Piero Bonissone
Why Users Cannot `Get What They Want' / Ray Paul
Systems Design with the Reverend Bayes / Derek McAuley
Formalism and Informality in Software Development / Michael Jackson
Industrial Panel
An Industrial Perspective on Soft Issues: Successes, Opportunities, and Challenges
Author Index
Overview of Fuzzy-RED in Diff-Serv Networks / L. Rossides ; C. Chrysostomou ; A. Pitsillides ; A. SekerciogluTechnical Session 1:
An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation / David Chieng ; Ivan Ho ; Alan Marshall ; Gerard Parr
Facing Fault Management as It Is, Aiming for What You Would Like It to Be / Roy Sterritt
Cryptanalysis of a Pseudorandom Generator Based on Braid Groups / Rosario Gennaro ; Daniele Micciancio
Potential Weaknesses of the Commutator Key Agreement Protocol Based on Braid Groups / Sang Jin Lee ; Eonkyung Lee
Extending the GHS Weil Descent Attack / Steven D. Galbraith ; Florian Hess ; Nigel P. Smart
Public-Key Encryption
Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption / Ronald Cramer ; Victor Shoup
Key-Insulated Public Key Cryptosystems / Yevgeniy Dodis ; Jonathan Katz ; Shouhuai Xu ; Moti Yung
On the Security of Joint Signature and Encryption / Jee Hea An ; Tal Rabin
Invited Talk
AES and the Wide Trail Design Strategy / Joan Daemen ; Vincent Rijmen
Information Theory & New Models
Indistinguishability of Random Systems / Ueli Maurer
How to Fool an Unbounded Adversary with a Short Key / Alexander Russell ; Hong Wang
Cryptography in an Unbounded Computational Model / David P. Woodruff ; Marten van Dijk
Implementational Analysis
Performance Analysis and Parallel Implementation of Dedicated Hash Functions / Junko Nakajima ; Mitsuru Matsui
Fault Injection and a Timing Channel on an Analysis Technique / John A. Clark ; Jeremy L. Jacob
Speeding Up Point Multiplication on Hyperelliptic Curves with Efficiently-Computable Endomorphisms / Young-Ho Park ; Sangtae Jeong ; Jongin Lim
Stream Ciphers
Fast Correlation Attacks: An Algorithmic Point of View / Philippe Chose ; Antoine Joux ; Michel Mitton
BDD-Based Cryptanalysis of Keystream Generators / Matthias Krause
Linear Cryptanalysis of Bluetooth Stream Cipher / Jovan Dj. Golić ; Vittorio Bagini ; Guglielmo Morgari
Digital Signatures I
Generic Lower Bounds for Root Extraction and Signature Schemes in General Groups / Ivan Damgård ; Maciej Koprowski
Optimal Security Proofs for PSS and Other Signature Schemes / Jean-Sébastien Coron
Cryptanalysis II
Cryptanalysis of SFLASH / Henri Gilbert ; Marine Minier
Cryptanalysis of the Revised NTRU Signature Scheme / Craig Gentry ; Mike Szydlo
Key Exchange
Dynamic Group Diffie-Hellman Key Exchange under Standard Assumptions / Emmanuel Bresson ; Olivier Chevassut ; David Pointcheval
Universally Composable Notions of Key Exchange and Secure Channels / Ran Canetti ; Hugo Krawczyk
On Deniability in Quantum Key Exchange / Donald Beaver
Modes of Operation
A Practice-Oriented Treatment of Pseudorandom Number Generators / Anand Desai ; Alejandro Hevia ; Yiqun Lisa Yin
A Block-Cipher Mode of Operation for Parallelizable Message Authentication / John Black ; Phillip Rogaway
Rethinking PKI: What's Trust Got to Do with It? / Stephen Kent
Digital Signatures II
Efficient Generic Forward-Secure Signatures with an Unbounded Number of Time Periods / Tal Malkin ; Sara Miner
From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security / Michel Abdalla ; Mihir Bellare ; Chanathip Namprempre
Traitor Tracing with Constant Transmission Rate / Aggelos Kiayias
Toward Hierarchical Identity-Based Encryption / Jeremy Horwitz ; Ben Lynn
Multiparty and Multicast
Unconditional Byzantine Agreement and Multi-party Computation Secure against Dishonest Minorities from Scratch / Matthias Fitzi ; Nicolas Gisin ; Oliver von Rotz
Protein Structure Comparison: Algorithms and Applications / Giuseppe Lancia ; Sorin Istrail
Introduction / 1:
Preliminaries / 2:
Applications of Structure Comparisons / 3:
Software and Algorithms for Structure Comparison / 4:
Problems Based on Contact Map Representations / 5:
Acknowledgements / 6:
References
Spatial Pattern Detection in Structural Bionformatics / Haim J. Wolfson
Protein Shape Representation
Protein Structural Alignment
Protein-Protein Docking
Summary
Geometric Methods for Protein Structure Comparison / Carlo Ferrari ; Concettina Guerra
Protein Description
Structural Comparison: Problem Formulation
Representation of Rigid Transformations
Determination of 3D Rigid Transformations
Geometric Pattern Matching
Indexing Techniques / 7:
Graph-Theoretic Approaches / 8:
Integration of Methods for Protein Comparison Using Different Representations / 9:
Conclusions / 10:
Identifying Flat Regions and Slabs in Protein Structures / Mary Ellen Bock11:
A Geometric Algorithm
An Improved Geometric Algorithm
Hough Transform
Performances of the Two Algorithms
Plane Detection in Proteins
Optima: A New Score Function for the Detection of Remote Homologs / Maricel Kann ; Richard A. Goldstein
Abstract
Methods
A Comparison of Methods for Assessing the Structural Similarity of Proteins / Dean C. Adams ; Gavin J.P. Naylor
The DALI Algorithm
The Root Mean Square Algorithm
Geometric Morphometrics
Comparison of Methods
Discussion
Prediction of Protein Secondary Structure at High Accuracy Using a Combination of Many Neural Networks / Claus Lundegaard ; Thomas Nordahl Petersen ; Morten Nielsen ; Henrik Bohr ; Jacob Bohr ; Soren Brunak ; Garry Gippert ; Ole Lund
Results
Self-consistent Knowledge-Based Approach to Protein Design / Andrea Rossi ; Cristian Micheletti ; Flavio Seno ; Amos Maritan
The Design Strategy
Results and Discussion
Protein Structure from Solid-State NMR / John R. Quine ; Timothy A. Cross
Discrete Curves
Tensors and NMR
Structure from Orientational Constraints
Acknowledgment
Learning Effective Amino-Acid Interactions / Jayanth R. Banavar
Models and Techniques
Proteinlike Properties of Simple Models / Yves-Henri Sanejouand ; Georges Trinquier
The 3x3x3 Cubic Lattice Model
N-Soft-Spheres Models
List of participants
Protein Structure Comparison: Algorithms and Applications / Giuseppe Lancia ; Sorin Istrail
Anticipatory Behavior: Exploiting Knowledge About the Future toImprove Current Behavior / Martin V. Butz ; Olivier Sigaud ; Pierre Gerard
Philosophical Considerations
Whose Anticipations? / Alexander Riegler
Not Everything We Know We Learned / Mihai Nadin
From Cognitive Psychology to Cognitive Systems Anticipatory Behavioral Control / Joachim Hoffmann
Towards a Four Factor Theory of Anticipatory Learning / Mark Witkowski
Formulations, Distinctions, and Characteristics Internal Models and Anticipations in Adaptive Learning Systems
Mathematical Foundations of Discrete and Functional Systems with Strong and Weak Anticipations / Daniel M. Dubois
Anticipation Driven Artificial Personality: Building on Lewin and Loehlin / Stevo Bozinovski
A Framework for Preventive State Anticipation / Paul Davidsson
Symbols and Dynamics in Embodied Cognition: Revisiting a Robot Experiment / Jun Tani
Systems, Evaluations, and Applications Forward and Bidirectional Planning Based on Reinforcement Learning and Neural Networks in a Simulated Robot / Gianluca Baldassarre
Sensory Anticipation for Autonomous Selection of Robot Landmarks / Jason Fleischer ; Stephen Marsland ; Jonathan Shapiro
Representing Robot-Environment Interactions by Dynamical Features of Neuro-controllers / Martin Hülse ; Keyan Zahedi ; Frank Pasemann ; Sankt Augustin
Anticipatory Guidance of Plot / Jarmo Laaksolahti ; Magnus Boman
Exploring the Value of Prediction in an Artificial Stock Market / Bruce Edmonds
Generalized State Values in an Anticipatory Learning Classifier System / David E. Goldberg
Author Index
Introduction
Anticipatory Behavior: Exploiting Knowledge About the Future toImprove Current Behavior / Martin V. Butz ; Olivier Sigaud ; Pierre Gerard
Providing Fault Tolerance for Peer-to-Peer Streaming Service / S.Kang ; H.Kim ; H. Y.Yeom
Efficient and Scalable Client-Clustering for Proxy Cache / K. Kim ; W.J. Kim ; D. Park
Diversity Protected, Cache Based Reliable Content Distribution Building on Scalable, P2P, and Multicast Based Content Discovery / C. Bachmeir ; J. Peng ; H.-J. Vögel ; C. Wallace ; G. Conran
A Measurement Study of Storage Resource and Multimedia Contents on a High-Performance Research and Education Network / H.-c. Kim ; D. Lee ; J. Lee ; J.J.W. Suh ; K. Chon
Quality of Service
Deployment of Class-Based Routing in Wide Area Networks: Cost and Performance Assessment / M. Curado ; O. Reis ; J. Brito ; G. Quadros
Prediction-Based Dynamic QoS Assurance for Multicast Multimedia Delivery / A. Chodorek
A QoS Based Routing Algorithm for Multi-class Optimization in DiffServ Networks / W. Zhou ; P. Zhang ; X. Bai ; R. Kantola
An Open Modular Router with QoS Capabilities / G. Calarco ; C. Raffaelli
Network and Information Management Issues
A SMIng Based Policy Access Control for SNMPv3 / R. State ; E. Nataf ; O. Festor
An Innovative Resource Management Scheme for Multi-gigabit Networking Systems / G. Kornaros ; I. Papaefstathiou
Rate-Based Active Queue Management with Token Buckets / A. Kind ; B. Metzler
Towards Web-Based Information and Knowledge Management in Higher Education Institutions / J.J.P.C. Rodrigues ; M.J. Barrulas
WDM Networks
A Bi-initiation-Based Path Restoration Mechanism for Wavelength-Routed WDM Networks / J. Zheng ; H. T. Mouftah
A Resource Efficient Optical Protection Scheme for IP-over-WDM Networks / N.S.C. Correia ; M.C.R. Medeiros
A Service and Network Management Framework for Providing Guaranteed QoS IP Services over WDM / D. Kagklis ; L.Raptis ; Y. Patikis ; G.Hatzilias ; M.Ellinas ; D. Giannakopoulos ; E. Sykas
The Study on the Traffic Modeling with PI and the Design for the All Optical Network Modeling with WDM in Korea / M. Jang ; H. Choi
Mobile and Wireless Networks
Multihoming with Mobile IP / C. Ã…hlund ; A. Zaslavsky
Dynamic Proportional Delay Differentiation Scheduling over IEEE 802.11 Wireless Network / K. Yoon ; J.W. Kim
Bluetooth Throughput Improvement Using a Slave to Slave Piconet Formation / C. Lafon ; T.S. Durrani
Video
User-Assisted Segmentation and Tracking of Video Objects / Y. Nam ; E. Hwang ; S.-H. Hong ; M.M.-O. Lee
An Efficient Rate-Distortion Analysis Model for MPEG Video
Multiple Description Coding for Quincunx Images. Application to Satellite Transmission / M. Pereira ; A. Gouze ; M. Antonini ; M. Barlaud
CDMA
Base Station Joint Scheduling for Downlink Throughput Maximization in CDMA Packet Data Networks / C. Makaya ; S. Aïssa
Implementation of Digital Transceiver for Multiple CDMA Signals / J.H. Jung ; K.C. Lee ; D.S. Lyu
The Implementation of 256 QAM CDMA Modulator / J.W. Shin ; H.J. Park ; D.S. Cho ; C.W. Yoo ; Y.O. Park
Real Time Issues and Protocols for IP Networks
HIDRA: HIstory Directed Routing Algorithm for IP Networks / P. Fafali ; C.Z. Patrikakis ; E.N. Protonotarios
A Dimensioning Strategy for Almost Guaranteed Quality of Service in Voice over IP Networks / S. Sharafeddine ; A. Riedl ; J. Totzke
An Admission Control Scheme for Voice Traffic over IP Networks / H. T. Tran ; T. Ziegler
IP Concatenation: The Method for Enhancement of IPsec Performance / J. Moon ; H.Y. Yeom
Multimedia Streaming
Analysis Tool for a Video-on-Demand Service Based in Streaming Technology / X. G. Pañeda ; D. Melendi ; M. GarcÃa ; V. GarcÃa|CR. GarcÃa ; E. Riesgo
Extending an Open MPEG-4 Video Streaming Platform to Exploit a Differentiated Services Network / S. Zoi ; D. Loukatos ; L. Sarakis ; P. Stathopoulos ; N. Mitrou
Multiple Description Coding for Video Streaming over Wireless Networks
A Playout Time Oriented Retransmission Scheme for Multimedia Streaming Systems / H. Hagino ; Y. Miyazaki ; Y. Onoe ; Y. Atsumi ; H. Komak ; M. Taniguchi ; N. Yamanouchi
Optical Switching and Performance Monitoring
On the Capacity Requirements of ASONs versus OTNs / S. De Maesschalck ; D. Colle ; D. Willems ; M. Pickavet ; P. Demeester
Crosstalk Effects in Large Strictly Non-blocking Optical Switches Based on Directional Couplers / L. Cancela ; J. Pires
Multiplexers and Demultiplexers Based on Fibre Bragg Gratings and Optical Circulators for DWDM Systems / R. Romero ; O.Frazão ; F. Floreani ; L. Zhang ; P.V.S. Marques ; H.M. Salgado
Performance Comparison between TCP-Reno and Freeze-Snoop TCP/SACK over cdma2000 Network Environments|CS.-H Lee / H.-G. Ahn ; J.-S Lim ; S. Kim ; S.-Y. Lee ; M.-S. Lee
RD-TCP: Reorder Detecting TCP / A. Sathiaseelan ; T. Radzik
Explicit Loss Notification to Improve TCP Performance over Wireless Networks / G. Buchholcz ; A. Gricser ; T.V. Do
Comparing Performance of SRAMT-LE Vs. Other Layered Encoding Schemes Regarding TCP Friendliness / A. Gkamas
Voice over IP
Design and Development of a SIP-based Video Conferencing Application / B. Tulu ; T. Abhichandani ; S. Chatterjee ; H. Li
Optimal On-Demand VoIP Quality in an H.323 Network / R. Estepa ; A. Estepa ; R. Rivero ; J.M. Vozmediano
VAD for VoIP Using Cepstrum / R.V. Prasad ; H.S. Jamadagni ; A. Sangwan ; Chiranth M.C.
Development of a Voice over IP Applications for a Metropolitan Area Network / A. Heck ; P. Lorenz ; H. Bloch
Traffic Models
Traffic Model Characterization of an HFC Network / M. Garcia ; D.F. Garcia ; V.G. Garcia ; R. Bonis
Modeling Self-similar Traffic through Markov Modulated Poisson Processes over Multiple Time Scales / A. Nogueira ; P. Salvador ; R. Valadas ; A. Pacheco
Evaluation of Steady-State Probability of Pareto/M/1/K Experiencing Tail-Raising Effect / Y. Koh
A Comparative Study on Simulation Models for Self-similar Traffic / R. Girnão-Silva ; J. Craveirinha
Author Index
Integrated and Differentiated Services
Dynamic Mapping between the Controlled-Load IntServ Service and the Assured Forward DiffServ PHB / A. Pereira ; E. Monteiro
Analytical Approach and Verification of a DiffServ-Based Priority Service / C. Bouras ; A. Sevasti
Living Manufacturing Systems with Living Organizations / Noriaki Kurosu
A Study on Human-Centric Real-Time Scheduling for PWB Assembly Line / Machiko Chikano ; Yoshitaka Tomita ; Yasuhiko Hiraide ; Eiji Arai
The E/S Tool IT-Support for Ergonomic and Sociotechnical System Design / Martin Van De Bovenkamp ; Ruben Jongkind ; Gu Van Rhijn ; Frans M. Van Eijnatten ; Gudela Grote ; Jouni Lehtelä ; Timo Leskinen ; Scott Little ; Toni Wäfler
Construction of Virtual Working Environment and Evaluation of the Workers / Kageyu Noro ; Ryohei Tanaka
Human Models and Data in the Ubiquitous Information Infrastructure / Frank Berkers ; Jan Goossenaerts ; Dieter Hammer ; Hans Wortmann
Motion Simulation of the Human Workers for the Integrated Computer-Aided Manufacturing Process Simulation Based on Info-Ergonomics Concept / Sayaka Imai ; Takashi Tomii ; Hiroshi Arisawa
Human-Body Motion Simulation Using Bone-Based Human Model and Construction of Motion Database / Takako Sato
Ontological Commitment for Participative Simulation / Christine Pelletier
Dynamic Management Architecture for Human Oriented Production System / Keiichi Shirase ; Hidefumi Wakamatsu ; Akira Tsumaya
DASWIS 2001
GeoCosm: A Semantics-Based Approach for Information Integration of Geospatial Data / Sudha Ram ; Vijay Khatri ; Limin Zhang ; Daniel Dajun Zeng
Imposing Modeling Rules on Industrial Applications through Meta-modeling / Peter Fröhlich ; Zaijun Hu ; Manfred Schoelzke
Modelling Ubiquitous Web Applications - The WUML Approach / Gerti Kappel ; B. Pröll ; Werner Retschitzegger ; Wieland Schwinger
Structuring Web Sites Using Audience Class Hierarchies / Sven Casteleyn ; Olga De Troyer
On the Automatic Extraction of Data from the Hidden Web / Stephen W. Liddle ; Sai Ho Yau ; David W. Embley
MIDAS/BD: A Methodological Framework for Web Database Design / E. Marcos ; P. Cáceres ; B. Vela ; J.M. Cavero
Translating XQuery into XSLT / Stephan Lechner ; Gunter Preuner ; Michael Schrefl
Web Site Evaluation: Methodology and Case Study / Paolo Atzeni ; Paolo Merialdo ; Giuseppe Sindoni
Automatic Web Information Extraction in the roadRunner System / Valter Crescenzi ; Giansalvatore Mecca
Querying Relational Databases without Explicit Joins / Ramon Lawrence ; Ken Barker
NF-SS: A Normal Form for Semistructured Schema / Xiaoying Wu ; Tok Wang Ling ; Sin Yeung Lee ; Mong Li Lee ; Gillian Dobbie
A Formal Analysis of the Lightweight Directory Access Protocol / Fang Wei ; Georg Lausen
An XML Document Retrieval System Supporting Structure- and Content-Based Queries / Jae-Woo Chang
Extraction of Partial XML Documents Using IR-Based Structure and Contents Analysis / Kenji Hatano ; Hiroko Kinutani ; Masatoshi Yoshikawa ; Shunsuke Uemura
XDoC-WFMS: A Framework for Document Centric Workflow Management System / Rupa Krishnan ; Lalitha Munaga ; Kamalakar Karlapalem
eCOMO 2001
Active XML Schemas / Martin Bernauer
Behavior Abstraction in Semantic B2B Integration / Christoph Bussler
OIL Ontologies for Collaborative Task Performance in Coalitions of Self-Interested Actors / Vadim Ermolayev ; Natalya Keberle ; Vyachyslav Tolok
A Multi-perspective Methodology for Modelling Inter-enterprise Business Processes / Kuldar Taveter ; Gerd Wagner
Process Patterns to Generate E-commerce Systems / Prasad Jayaweera ; Paul Johannesson ; Petia Wohed
Formalising Feasibility and Correctness of Distributed Business Processes / Tomasz Janowski ; Adegboyega Ojo
Modeling Products for Versatile E-commerce Platforms - Essential Requirements and Generic Design Alternatives / Ulrich Frank
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems / J. Christopher Beck ; Patrick Prosser ; Evgeny Selensky
Call-by-Value ?-Graph Rewriting Without Rewriting / Maribel Fernández ; Ian Mackie
Transformation: The Missing Link of MDA / Anna Gerber ; Michael Lawley ; Kerry Raymond ; Jim Steel ; Andrew Wood
Termination Detection of Distributed Algorithms by Graph Relabelling Systems / Emmanuel Godard ; Yves Mátivier ; Mohamed Mosbah ; Afif Sellami
Graph Transformation with Time: Causality and Logical Clocks / Szilvia Gyapay ; Reiko Heckel ; Dániel Varró
Relabelling in Graph Transformation / Annegret Habel ; Detlef Plump
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes / Jurriaan Hage ; Tero Harju ; Emo Welzl
Confluence of Typed Attributed Graph Transformation Systems / Jochen Malte Kuüster ; Gabriele Taentzer
Abstraction and Control for Shapely Nested Graph Transformation / Berthold Hoffmann
Hyperedge Substitution in Basic Atom-Replacement Languages / Renate Klempien-Hinrichs
Distributed Graph Transformation Units / Peter Knirsch ; Sabine Kuske
Describing Policies with Graph Constraints and Rules / Manuel Koch ; Francesco Parisi-Presicce
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts / Juan de Lara ; Hans Vangheluwe
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment / Carla A. Lima Reis ; Rodrigo Quites Reis ; Marcelo M. de Abreu ; Heribert Schlebbe ; Daltro J. Nunes
Graph-Based Reengineering of Telecommunication Systems / Andre Marburger ; Bernhard Westfechtel
Formalising Behaviour Preserving Program Transformations / Tom Mens ; Serge Demeyer ; Dirk Janssens
Unparsing of Diagrams with DiaGen / Mark Minas ; Frank Struber
Linear Ordered Graph Grammars and Their Algebraic Foundations / Ugo Montanari ; Leila Ribeiro
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems / Bettina E. Enders
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery / John L. Pfaltz
GraCAD - Graph-Based Tool for Conceptual Design / Janusz Szuba ; Andy Schürr ; Adam Borkowski
A Formal Semantics of UML Statecharts by Model Transition Systems
Hierarchical Vertex Ordering / Sung-Ho Woo ; Sung-Bong Yang
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates / Ion Petre ; Grzegorz Rozenberg
TERMGRAPH 2002 - Workshop Survey
Workshop on Graph-Based Tools
Workshop on Graph Transformation and Visual Modeling Techniques / Paolo Bottoni
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle / Michel Wermelinger
Workshop on Logic, Graph Transformations and Discrete Structures / Bruno Courcelle ; Pascal Weil
Author Index
Invited Papers
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering / Carlo Ghezzi
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
Spontaneous Coalition Forming. Why Some Are Stable? / Serge Galam
Simulating Spatial Dynamics by Probabilistic Cellular Automata / Olga Bandman
Cellular Automata Models for Transportation Applications / Kai Nagel
Contributed Papers
An Evolutionary Approach to the Study of Non-trivial Collective Behavior in Cellular Automata / Francisco Jimenez-Morales
Artificially Evolved Asynchronous Cellular Automata for the Density Task / Marco Tomassini ; Mattias Venzi
Evolving Cellular Automata as Pattern Classifier / Niloy Ganguly ; Pradipta Maji ; Sandip Dhar ; Biplab K. Sikdar ; P. Pal Chaudhuri
An Efficient Mapping Scheme for Embedding Any One-Dimensional Firing Squad Synchronization Algorithm onto Two-Dimensional Arrays / Hiroshi Umeo ; Masashi Maeda ; Norio Fujiwara
Chaotic Subshifts Generated by One Dimensional Elementary CA. The Role of Transitivity / Gianpiero Cattaneo ; Alberto Dennunzio
Stochastic Analysis of Cellular Automata and the Voter Model / Heinz Muhlenbein ; Robin Hons
Universality Class of Probabilistic Cellular Automata / Danuta Makowiec ; Piotr Gnacinski
Kinetic Approach to Lattice Quantum Mechanics / Sauro Succi
Emergence of Self-Replicating Loops in an Interactive, Hardware-Implemented Game-of-Life Environment / Andre Stauffer ; Moshe Sipper
Spontaneous Emergence of Robust Cellular Replicators / Iker Azpeitia ; Jesus Ibanez
Emergence of Macro Spatial Structures in Dissipative Cellular Automata / Andrea Roli ; Franco Zambonelli
Enhancing Cellular Spaces by Multilayered Multi Agent Situated Systems / Stefania Bandini ; Sara Manzoni ; Carla Simone
Perturbing the Regular Topology of Cellular Automata: Implications for the Dynamics / Roberto Serra ; Marco Villani
A Path-Planner for Mobile Robots of Generic Shape with Multilayered Cellular Automata / Fabio M. Marchese
Dynamics of Populations in Extended Systems / Michel Droz ; Andrzej Pekalski
Simulation of Vegetable Populations Dynamics Based on Cellular Automata / Giulio Pavesi
A Fish Migration Model / Birgitt Schonfisch ; Michael Kinder
A Parallel Cellular Ant Colony Algorithm for Clustering and Sorting / Paul Albuquerque ; Alexandre Dupuis
A Multiparticle Lattice Gas Automata Model for a Crowd / Stefan Marconi ; Bastien Chopard
CA Approach to Collective Phenomena in Pedestrian Dynamics / Andreas Schadschneider ; Ansgar Kirchner ; Katsuhiro Nishinari
Opinion Formation and Phase Transitions in a Probabilistic Cellular Automaton with Two Absorbing States / Franco Bagnoli ; Fabio Franci ; Raul Rechtman
Cellular Automata Based Authentication (CAA) / Monalisa Mukherjee
Cellular Automata Machine for Pattern Recognition / Sourav Saha ; Anup K. Roy
Cellular Automata Model of Drug Therapy for HIV Infection / Peter Sloot ; Fan Chen ; Charles Boucher
Cellular Automata Approaches to Enzymatic Reaction Networks / Jorg R. Weimar
Modelling Surface Flows for Macroscopic Phenomena by Cellular Automata: An Application to Debris Flows / Donato D'Ambrosio ; Salvatore Di Gregorio ; Giulio Iovine ; Valeria Lupiano ; Rocco Rongo ; William Spataro
Simulation Framework for the Autobahn Traffic in North Rhine-Westphalia / Sigurdur F. Marinosson ; Roland Chrobok ; Andreas Pottmeier ; Joachim Wahle ; Michael Schreckenberg
Cellular Automata Based Temporal Process Understanding of Urban Growth / Jianquan Cheng ; Ian Masser
Playing with Automata. An Innovative Perspective for Gaming Simulation / Ivan Blecic ; Arnaldo Cecchini ; Paola Rizzi ; Giuseppe A. Trunfio
Urban Cellular Automata: The Inverse Problem / Giovanni A. Rabino ; Alessandra Laghi
Regional Controllability with Cellular Automata Models / Samira El Yacoubi ; Abdelhaq El Jai ; Nezha Ammor
Author Index
Invited Papers
Spontaneous Coalition Forming. Why Some Are Stable? / Serge Galam
Simulating Spatial Dynamics by Probabilistic Cellular Automata / Olga Bandman
Workshop Report for IPTPS'02: 1st International Workshop on Peer-to-Peer Systems / Richard Clayton
Structure Overlay Routing Protocols: State of the Art and Future Directions
Observations on the Dynamic Evolution of Peer-to-Peer Networks / David Liben-Nowell ; Hari Balakrishnan ; David Karger
Brocade: Landmark Routing on Overlay Networks / Ben Y. Zhao ; Yitao Duan ; Ling Huang ; Anthony D. Joseph ; John D. Kubiatowicz
Routing Algorithms for DHTs: Some Open Questions / Sylvia Ratnasamy ; Ion Stoica ; Scott Shenker
Kademlia: A Peer-to-Peer Information System Based on the XOR Metric / Petar Maymounkov ; David Mazières
Efficient Peer-to-Peer Lookup Based on a Distributed Trie / Michael J. Freedman ; Radek Vingralek
Self-Organizing Subsets: From Each According to His Abilities, to Each According to His Needs / Amin Vahdat ; Jeffrey Chase ; Rebecca Braynard ; Dejan Kostič ; Patrick Reynolds ; Adolfo Rodriguez
Deployed Peer-to-Peer Systems
Mapping the Gnutella Network: Macroscopic Properties of Large-Scale Peer-to-Peer Systems / Matei Ripeanu ; Ian Foster
Can Heterogeneity Make Gnutella Scalable? / Qin Lv
Experiences Deploying a Large-Scale Emergent Network / Bryce Wilcox-O'Hearn
Anonymous Overlays
Anonymizing Censorship Resistant Systems / Andrei Serjantov
Introducing Tarzan, a Peer-to-Peer Anonymizing Network Layer / Emil Sit ; Josh Cates ; Robert Morris
Applications
Mnemosyne: Peer-to-Peer Steganographic Storage / Steven Hand ; Timothy Roscoe
ConChord: Cooperative SDSI Certificate Storage and Name Resolution / Sameer Ajmani ; Dwaine E. Clarke ; Chuang-Hue Moh ; Steven Richman
Serving DNS Using a Peer-to-Peer Lookup Service / Russ Cox ; Athicha Muthitacharoen ; Robert T. Morris
Network Measurement as a Cooperative Enterprise / Sridhar Srinivasan ; Ellen Zegura
The Case for Cooperative Networking / Venkata N. Padmanabhan ; Kunwadee Sripanidkulchai
Internet Indirection Infrastructure / Dan Adkins ; Sonesh Surana ; Shelley Zhuang
Peer-to-Peer Caching Schemes to Address Flash Crowds / Tyron Stading ; Petros Maniatis ; Mary Baker
Evaluation
Exploring the Design Space of Distributed and Peer-to-Peer Systems: Comparing the Web, TRIAD, and Chord/CFS / Stefan Saroiu ; P. Krishna Gummadi ; Steven D. Gribble
Are Virtualized Overlay Networks Too Much of a Good Thing? / Pete Keleher ; Samrat Bhattacharjee ; Bujor Silaghi
Searching and Indexing
Locating Data in Peer-to-Peer Scientific Collaborations / Adriana Iamnitchi
ComplexQueries in DHT-based Peer-to-Peer Networks / Matthew Harren ; Joseph M. Hellerstein ; Ryan Huebsch ; Boon Thau Loo
The Sybil Attack / John R. Douceur
Security Considerations for Peer-to-Peer Distributed Hash Tables
Dynamically Fault-Tolerant Content Addressable Networks / Jared Saia ; Amos Fiat ; Steven Gribble ; Anna R. Karlin
Data Management
Scalable Management and Data Mining Using Astrolabe / Robbert van Renesse ; Kenneth Birman ; Dan Dumitriu ; Werner Vogels
Atomic Data Access in Distributed Hash Tables / Nancy Lynch ; Dahlia Malkhi ; David Ratajczak
Dynamic Replica Placement for Scalable Content Delivery / Yan Chen ; Randy H. Katz
Peer-to-Peer Resource Trading in a Reliable Distributed System / Brian F. Cooper ; Hector Garcia-Molina
Erasure Coding Vs. Replication: A Quantitative Comparison / Hakim Weatherspoon
Author Index
Workshop Report for IPTPS'02: 1st International Workshop on Peer-to-Peer Systems / Richard Clayton
Structure Overlay Routing Protocols: State of the Art and Future Directions
Observations on the Dynamic Evolution of Peer-to-Peer Networks / David Liben-Nowell ; Hari Balakrishnan ; David Karger
Practical Impact of Group Communication Theory / André Schiper1:
On the Impact of Academic Distributed Systems Research on Industrial Practice / Michael D. Schroeder2:
Foundations of Distributed Systems: What Do We Still Expect from Theory? / Part I:
Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing? / Roy Friedman ; Achour Mostéfaoui ; Sergio Rajsbaum ; Michel Raynal3:
Lower Bounds for Asynchronous Consensus / Leslie Lamport4:
Designing Algorithms for Dependent Process Failures / Flavio Junqueira ; Keith Marzullo5:
Comparing the Atomic Commitment and Consensus Problems / Bernadette Charron-Bost6:
Open Questions on Consensus Performance in Well-Behaved Runs / Idit Keidar7:
Challenges in Evaluating Distributed Algorithms / 8:
Towards Robust Optimistic Approaches / Ricardo Jiménez-Peris ; Marta Patiño-Martínez9:
Towards a Practical Approach to Confidential Byzantine Fault Tolerance / Jian Yin ; Jean-Philippe Martin ; Arun Venkataramani ; Lorenzo Alvisi ; Mike Dahlin10:
Modeling Complexity in Secure Distributed Computing / Christian Cachin11:
Communication and Data Sharing for Dynamic Distributed Systems / Nancy Lynch ; Alex Shvartsman12:
Successful Automation of GUI Driven Acceptance Testing / Charles Lowell ; Jeremy Stell-Smith
Extreme Terseness: Some Languages Are More Agile than Others / Stephen Taylor
EnterpriseXP: Can the Combination of XP and DSDM Improve the Appeal of XP to the Business Community? / Mark Simmonds ; Barry Fazackerley
Using Function Points in XP--Considerations
Refactoring with Aspects / Granville Miller
Research Reports: Experience Reports
Extreme Programming at Work / Walter Ambu ; Fabrizio Gianneschi
Combining Agile Practices with UML and EJB: A Case Study in Agile Development / Richard Paige ; Priyanka Agarwal ; Phillip Brooke
Practice Makes Perfect / Sharifah Syed-Abdullah
A Designing Practice and Two Coding Practices for Extreme Programming (XP) / Mustafa Yildiz ; Selahattin Kuru
Practical Aspects of XP Practices / Teodora Bozheva
Scaling Extreme Programming in a Market Driven Development Context / Daniel Karlstrom ; Per Runeson
Building Standard ERP Software Packages Using Self-developed Agile Methodologies / Andrea Rinaldi
Convincing the Inconvincable / Geoff Oliphant
Comparing Extreme Programming to Traditional Development for Student Projects: A Case Study / John Noll ; Darren C. Atkinson
XP: Good for Anything Other than Software Development? / Hans Dermot Doran
Extreme Educational Symposium
Using Instructor Written Acceptance Tests Using the Fit Framework / Daniel H. Steinberg
Teaching Team Work: An Extreme Week for First-Year Programmers / Petra Becker-Pechau ; Holger Breitling
Design-led & Design-less: One Experiment and Two Approaches / Francisco Macias
Agile Teaching of an Agile Software Process / Vieri Del Bianco ; Giordano Sassaroli
Five Challenges in Teaching XP / Ewan Tempero
Challenges in Teaching Test Driven Development
Filleting XP for Educational Purposes / Friedrich Steimann ; Jens Gossner ; Thomas Muck
Using XP with Children for Learning Mathematics / Maria A. Droujkova ; Dmitri A. Droujkov
Using Metaphors in eXtreme Programming Projects
Ph.D. Symposium
Doctoral Symposium at XP 2003 / Paul Grunbacher
Collaboration on Software Tasks / Hans Gallis
Unit Testing Using Design by Contract and Equivalence Partitions / Per Madsen
Exploring the XP Customer Role
Extending Testability for Automated Refactoring / Bartosz Walter
Software Configuration Management for Test-Driven Development
A Study on Introducing XP to a Software Development Company / Harald Svensson
Teaching eXtreme Programming in a Project-Based Capstone Course
Mitigating Risks in Mobile System Development / Norbert Seyff
Extreme Advertised Bidding / Peter Regner ; Thomas Wiesinger
Software Effort Estimation: Planning XP Guidelines Compared to Research on Traditional Software Development / Kjetil Molokken
Collecting Data in Web Service Development / Alberto Sillitti
Measuring the Effectiveness of Agile Methodologies Using Data Mining, Knowledge Discovery and Information Visualization
Evaluation of New Software Engineering Methodologies / Marco Scotto
Evaluation of Product Metrics Applied to Agile Methodologies / Matteo Canessa
Panels
Coaching for Agile and Xtreme Practices--A Fishbowl with Piranhas / Steven Fraser ; Rachel Reinitz ; Jutta Eckstein ; Joshua Kerievsky ; Erik Lundh ; Rob Mee ; Mary Poppendieck
XP Practices versus Values? / Alan C. Francis ; Bill Caputo ; Michael Cusumano ; Mike Hill ; Andrew Swan
Test Driven Development (TDD) / Kent Beck ; James Newkirk ; Charlie Poole