This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.
The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment.

We are proud to present the DAGM 2002 proceedings, which are the result of the e?orts of many people. First, there are the many authors, who have submitted so many excellent cont- butions. We received more than 140 papers, of which we could only accept about half in order not to overload the program. Only about one in seven submitted papers could be delivered as an oral presentation, for the same reason. But it needs to be said that almost all submissions were of a really high quality. This strong program could not have been put together without the support of the Program Committee. They took...

This volume contains articles accepted for presentation during The Intelligent Information Systems Symposium IIS'2002 which was held in Sopot, Poland, on June 3-6, 2002. This is eleventh, in the order, symposium organized by the Institute of Computer Science of Polish Academy of Sciences and devoted to new trends in (broadly understood) ArtificialIntelligence. The meetings started back to 1992. With small initial audience, workshops in the series grew to an important meeting of Polish and foreign scientists working at the universities in Europe, Asia and the Northern America. Over years, the...

The fields of image analysis, computer vision, and artificial intelligence all make use of descriptions of shape in grey-level images. Most existing algorithms for the automatic recognition and classification of particular shapes have been devel oped for specific purposes, with the result that these methods are often restricted in their application. The use of advanced and theoretically well-founded math ematical methods should lead to the construction of robust shape descriptors having more general application. Shape description can be regarded as a meeting point of vision research,...

Crown ethers and calixarenes are powerful complexing ligands for alkali and alkaline earth metals. This book is devoted to the promising applications of these compounds in analytical chemistry, focusing on solvent extraction, chromatography, spectroscopy and electroanalytical methods.

Based on the gravity model, this text investigates and compares potential in foreign trade and foreign direct investment for selected Commonwealth of Independent States and Central and Eastern European Countries with developed OECD economies.

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.

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 text constitutes the refereed proceedings of the Third International Conference on Intelligent Text Processing and Computational Linguistics, CICLing 2002, held in Mexico City, Mexico in February 2002. The 44 revised papers presented together with four invited papers were carefully reviewed and selected from a total of 67 submissions. The papers are organized in topical sections on semantics, word sense disambiguation, amaphora, syntax and parsing, part of speech tagging, lexicon and corpus, text generation, morphology, speech, spelling, information extraction and information retrieval,...