Informatik (15 757 Artikel)

This year, Brazil celebrates its 500 years of discovery. To mark this great event, the Brazilian Arti cial Intelligence (AI) community organized a special int- national joint conference putting tog...

Nonmononic reasoning.- On the Complexity of Theory Curbing.- Descriptive complexity.- Graph Operations and Monadic Second-Order Logic: A Survey.- Efficient First Order Functional Program Interprete...

Das Buch vermittelt die grundlegenden Konzepte und Zusammenhänge objektorientierter Entwurfsmethoden. Im Mittelpunkt stehen dabei die graphischen Beschreibungstechniken der Unified Modeling Languag...

The international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November-2 December 2000 in the c- ference facilities of the Dev?et Skal (Nine Rocks...

This volume contains 3 invited papers, 15 regular papers, and 22 poster papers that were selected for presentation at the Third International Conference on Discovery Science (DS 2000), which was he...

Topology.- Homotopy in Digital Spaces.- Tesselations by Connection in Orders.- A Concise Characterization of 3D Simple Points.- Digital n-Pseudomanifold and n-Weakmanifold in a Binary (n + 1)-Digit...

Welcome to GRID 2000, the first annual IEEE/ACM international workshop on grid computing sponsored by the IEEE Computer Society's Task Force on Cluster Computing (TFCC) and the Association for Comp...

ASIACRYPT 2000 was the sixth annual ASIACRYPT conference. It was sp- sored by the International Association for Cryptologic Research (IACR) in - operation with the Institute of Electronics, Informa...

Invited Presentations.- Model Checking: Theory into Practice.- An Algebra for XML Query.- Irregularities of Distribution, Derandomization, and Complexity Theory.- Rewriting Logic as a Metalogical F...

The third International Workshop on Information Security was held at the U- versity of Wollongong, Australia. The conference was sponsored by the Centre for Computer Security Research, University o...

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from o...

This book constitutes the refereed proceedings of the 7th International Conference on High Performance Computing, HiPC 2000, held in Bangalore, India in December 2000. The 46 revised papers present...

This book constitutes the thoroughly refereed and revised post-conference documentation of the 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, held in Kais...

1. 1 The Pressure on Information Technology (IT) "In today's environment, the ability to react quickly to change by reducing the devel opment life cycle in order to be first to market will give a c...

X Table of Contents Table of Contents XI XII Table of Contents Table of Contents XIII XIV Table of Contents Table of Contents XV XVI Table of Contents K.S. Leung, L.-W. Chan, and H. Meng (Eds.): ID...