J.UCS is the electronic journal that covers all areas of computer science. The high quality of all accepted papers is ensured by a strict review process and an international editorial board of distinguished computer scientists. The online journal J.UCS is a prototype for modern electronic publishing. Distributed via the Internet, it supports all the search and navigation tools of advanced online systems. This first annual print and CD-ROM archive edition contains all articles published online in J.UCS during 1995. It allows easy and durable access without logging onto the Internet. Uniform citation of papers is guaranteed by identical page numbering and layout of all versions.
J.UCS is based on HyperWave (formerly Hyper-G), a networked hypermedia information system compatible with other systems.

Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on behalf of the theoretical computer science community. The contributions are written by internationally recognized scientists and cover most of Salomaa's many research areas. Due to its representative selection of classic and cutting edge trends in theoretical computer science, the book constitutes a comprehensive state-of-the-art survey. The contributions are in such central areas as automata theory, algorithms and complexity, and combinatorics of words. But not only that, they take up new areas such as regular sets and biocomputing. While some are survey articles of fundamental topics, most are original research papers.

It is a great pleasure to share with you the Springer CCIS 111 proceedings of the Third World Summit on the Knowledge Society--WSKS 2010--that was organized by the International Scientific Council for the Knowledge Society, and supported by the Open Research Society, NGO, (http://www.open-knowledge-society.org) and the Int- national Journal of the Knowledge Society Research, (http://www.igi-global.com/ijksr), and took place in Aquis Corfu Holiday Palace Hotel, on Corfu island, Greece, September 22-24, 2010. The Third World Summit on the Knowledge Society (WSKS 2010) was an inter- tional scientific event devoted to promoting the dialogue on the main aspects of the knowledge society towards a better world for all. The multidimensional economic and social crisis of the last couple years brings to the fore the need to discuss in depth new policies and strategies for a human-centric developmental process in the global c- text. This annual summit brings together key stakeholders of knowledge society dev- opment worldwide, from academia, industry, government, policy makers, and active citizens to look at the impact and prospects of it information technology, and the knowledge-based era it is creating, on key facets of living, working, learning, innovating, and collaborating in today's hyper-complex world.

This Festschrift celebrates the 70th birthday of Arto Kustaa Salomaa (born in Turku, Finland on June 6, 1934), one of the most in?uential researchers in theoretical computer science. Most ofhis researchconcernstheory - he is one of the founding fathers of formal language and automata theory, but he has also made important contributions to cryptography and natural computing. His approach to research in theoretical computer science is exemplary and inspirational for his students, collaborators, andthereadersofhispapersandbooks. Forhim, theroleoftheory(incomputer science) is to discover general rules of information processing that hold within computer science and in the world around us. One should not waste time on research concerning passing artifacts (or fashionable topics of the moment) in computer science - theory should be permanently predictive, insightful, and inspiring. That's why we chose the title "Theory is Forever." The main source of his in?uence on theoretical computer science is his publi- tions. Arto is a born writer - his papers and books are always most elegant. He has a unique gift for identifying the real essence of a research problem, and then presenting it in an incisive and eloquent way. He can write about a very involved formal topic and yet avoid a (much too common) overformalization. Many of his writings are genuine jewels and belong to the classics of theoreticalcomputer science. Theyhaveinspiredgenerationsofstudentsandresearchers. Indeed, even computers as well as computer science have learned a lot from Arto's publi- tions - this is nicely illustrated by DADARA on the cover of this volume.

This textbook is more than a standard introduction to databases: It is a comprehensive set of tools that makes the teaching and learning of basic facts about databases and hypermedia much easier. On an undergraduate level the basic ideas of relational, object-oriented, and hypermedia data models and databases are explained, both in printed form with many illustrations and in the form of 26 "lessons" of courseware. This relieves the instructor of much of the burden of preparing transparencies, and allows the students to repeat or study lecture material in electronic form that follows exactly the printed presentation. Please note that the software runs on Windows platforms only!

This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special relations to Professor Salomaa as friends, Ph.D. students, or co-authors. The volume reflects the broad spectrum of Professor Salomaa's research interests in theoretical computer science and mathematics with contributions particularly to automata theory, formal language theory, mathematical logic, computability, and cryptography. The appendix presents Professor Salomaa's curriculum vitae and lists the more than 300 papers and 9 books he published.

This volume contains selected papers from the symposium "New Results and NewTrends in Computer Science" held in Graz, Austria, June 20-21, 1991. The symposium was organized to give a wide-ranging overview of new work in the field on the occasion of the fiftieth birthday of the editor of the volume. Topics covered include: information on neural nets, ideas on a new paradigm for informatics, hypermedia systems and applications, axioms for concurrent processes, techniques for image generation and compression, the role of data visualization, object-oriented programming andgraphics, algorithms for layout compaction, new methods in database systems, the future of data networks, object-oriented artificial intelligence, problems in data structures and sorting, aspects of user interfaces, a theory of structures, applications of cryptography, evaluation of Ada, results in algorithmic geometry, remarks on the history of computers, and a novel interpretation of machine learning. In total, the 26 high-level contributions authored by prominent experts from all over the world give an up-to-date survey of almost all subfields of computer science. The book is written in a style which is easy to follow, and it is of interest for any computer scientist, be it in research, teaching or practice.

ICCAL '89 is the second in a series of International Conferences on Computer Assisted Learning. The first one was organized by the Institute for Computer Assisted Learning (ICAL) of the University of Calgary, May '87. The success of this first ICCAL demonstrated the need for a regular international, high-caliber conference on post-secondary education which brings together an expanded list of issues concerning computer learning. The coherency of the ICCAL conference series is assured by an international steering committee, and a group of experts in the field acting as the advisory board. This volume consists of about forty papers selected by the program committee from one hundred submissions. It also includes printed versions of a number of invited presentations by outstanding scholars in the field.