Contents: Introduction. - Fundamental Concepts. - Topological Vector Spaces.- The Quotient Topology. - Completion of Metric Spaces. - Homotopy. - The Two Countability Axioms. - CW-Complexes. - Construction of Continuous Functions on Topological Spaces. - Covering Spaces. - The Theorem of Tychonoff. - Set Theory (by T. Br-cker). - References. - Table of Symbols. -Index.

Machine Vision technology is becoming an indispensible part of the manufacturing industry. Biomedical and scientific applications of machine vision and imaging are becoming more and more sophisticated, and new applications continue to emerge. This book gives an overview of ongoing research in machine vision and presents the key issues of scientific and practical interest. A selected board of experts from the US, Japan and Europe provides an insight into some of the latest work done on machine vision systems and appliccations.

This volume contains the proceedings of the Second International Conference on Advances in Information Systems (ADVIS) held in Izmir, Turkey, 23-25 October 2002. This conference was dedicated to the memory of Prof. Esen Ozkarahan. He was a great researcher who made an essential contribution to the development of information systems. Prof. Ozkarahan was one of the pioneers of database machine research and database systems in Turkey. This conference was organized by the Computer Engineering department of Dokuz Eylul University in Izmir. This department was established in 1994 by Prof. Ozkarahan...

It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?rst time in France. The fourth issue of EDCC carried on the traditions established bythe previous conferences in this series: EDCC-1 was held in Berlin (Germany) in October 1994, EDCC-2 in Taormina (Italy) in October 1996, and EDCC-3 in Prague (Czech Republic) in September 1999. EDCC evolved from a merger of tow other conference series at the moment when the Iron Curtain fell. One of these, known as the...

We welcomed participants to the 1st EurAsian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002) held in Iran. The aim of the conference was to serve as a forum to bring together researchers from academia and commercial developers from industry to discuss the current state of the art in ICT, mainly in Europe and Asia. Inspirations and new ideas were expected to emerge from intensive discussions during formal sessions and social events. Keynote addresses, research presentation, and discussion during the conference helped to further develop the exchange of...

This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai, China, from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical, security-critical, and mission-critical systems have signi?cantly increased trustworthiness, without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software...

The International Symposium on DIStributed Computing (DISC) 2002 was held in Toulouse, France, on October 28-30, 2002. The realization of distributed s- tems on numerous fronts and the proliferation of the Internet continue to make the symposium highly important and relevant. There were 76 regular submissions to DISC this year, which were read and evaluated by program committee members assisted by external reviewers. Twen- four papers were selected by the program committee to be included in these proceedings. The quality of submissions was high, and the committee had to decline some papers...

This book constitutes the refereed proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, held in Montreal, Canada, in October 2002.

The 16 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on managing quality of service, measuring quality of service, service architectures, policy and process, and fault analysis.

Welcome to the proceedings of the 6th IEEE International Conference on Mobile Agents. MA 2002 took place in Barcelona, Spain and was co-located with the 4th International Workshop on Mobile Agents for Telecommunications Applications. Both events were held at the Universitat Pompeu Fabra, October 22-25, 2002. Mobile agents may be de?ned as programs that, with varying degree of - tonomy, can move between hosts across a network. Mobile agents combine the notions of mobile code, mobile computation, and mobile state. Capabilities of mobile agents include: - Supporting unrealiable networks and...

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of...