The AAECC Symposia Series was started in 1983 by Alain Poli (Toulouse), who, together with R. Desq, D. Lazard, and P. Camion, organized the ?rst conference. Originally the acronym AAECC meant Applied Algebra and Error-Correcting Codes . Over the years its meaning has shifted to Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, re?ecting the growing importance of complexity in both decoding algorithms and computational algebra. AAECC aims to encourage cross-fertilization between algebraic methods and their applications in computing and communications. The algebraic orientation...

These are the refereed proceedings of the 5th International Conference on Mobile Agents, MA 2001, held in Atlanta, GA, USA in December 2001. The 18 revised full papers presented were carefully reviewed and selected from 75 submissions. The papers are organized in topical sections on security, models and architectures, applications, communication, run-time support, and quantitative evaluation and benchmarking.

SAGA 2001, the ?rst Symposium on Stochastic Algorithms, Foundations and Applications, took place on December 13-14, 2001 in Berlin, Germany. The present volume comprises contributed papers and four invited talks that were included in the ?nal program of the symposium. Stochastic algorithms constitute a general approach to ?nding approximate solutions to a wide variety of problems. Although there is no formal proof that stochastic algorithms perform better than deterministic ones, there is evidence by empirical observations that stochastic algorithms produce for a broad range of applications...

Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources. Recent hardware advances, however, have changed this picture.
This book shows how object-oriented software frameworks can be applied to embedded control systems. A case study of a framework using a set of application dependent design patterns for the orbit control system of satellites is presented.

The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate...

This volume constitutes the refereed proceedings of the Third International Workshop on Multiple Classifier Systems, MCS 2002, held in Cagliari, Italy, in June 2002. The 29 revised full papers presented together with three invited papers were carefully reviewed and selected for inclusion in the volume. The papers are organized in topical sections on bagging and boosting, ensemble learning and neural networks, design methodologies, combination strategies, analysis and performance evaluation, and applications.

These are the the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. The 20 regular papers, two application papers, and four system descriptions presented together with three invited contributions were carefully reviewed and selected from 49 submissions. All current aspects of rewriting are addressed.

The rapid growth of the Internet and related services is changing the way we work, act, and even think in a manner that far exceeds the prediction set by ?eld experts not long ago. It is now common belief that the Internet and its various applications covering both hardware appliances and software products will play an increasingly important role in everybody s daily lives. It is also our strong belief that the importance of the collaborative research and development e?orts focusing on the Internet among academia, industry, and regulating government bodies cannot be overemphasized. It is our...

This book presents the refereed proceedings of the International Workshop on Reasoning with Uncertainty in Robotics, RUR'95, held in Amsterdam, The Netherlands, in December 1995.
The book contains 13 revised full papers carefully selected for presentation during the workshop together with six invited papers. Also included are two comprehensive tutorial texts and an introduction by the volume editors. Thus the book is both a competent state-of-the-art report on current research and development and a valuable survey and introduction for researchers entering the area or professionals...

This book contains a selection of strictly refereed papers presented at the First International Conference on the Practice and Theory of Automated Timetabling, held in Edinburgh, UK, August/September 1995.
This is the first book entirely devoted to automated timetabling and meets the clear need for a wide-ranging survey of the state of the art in the area. The book contains four survey papers by leading experts together with 19 revised full papers presenting new results; the papers are organized in topical sections on reasoning about constraints, genetic algorithms, complexity issues, and...