Informatik (15.757 Artikel)

11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014, Proceedings

Algorithmic Approaches to Understanding Manner and Meaning

Algorithmic Approaches to Understanding Manner and Meaning

Most of the articles in this volume are revised versions of papers presented during the 1st GROOM-Workshop on the Unified Modeling Language (UML). GROOM (Grundlagen objektorientierter Modellierung)...

The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disci...

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the ...

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents...

Invited Speakers.- Software Services: Scientific Challenge or Industrial Hype?.- Integrating Variants of DC.- Challenges in Increasing Tool Support for Programming.- A Predicate Spatial Logic and M...

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21, 2005. ICT...

Wireless ad hoc sensor networks has recently become a very active research subject. Achieving efficient, fault-tolerant realizations of very large, highly dynamic, complex, unconventional networks ...

Wireless ad hoc sensor networks has recently become a very active research subject. Achieving efficient, fault-tolerant realizations of very large, highly dynamic, complex, unconventional networks ...

Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the develop...

DNA computation has emerged in the last ten years as an exciting new - search ?eld at the intersection (and, some would say, frontiers) of computer science,biology,engineering,andmathematics.Althou...