The construction of any broadly understood theory of information or infor mation processing system involves two major methodological processes: (1) abstraction and analysis, (2) reasoning and computing. This monograph is a realisation of these two processes in relation to the study of incompleteness of information. The paradigm we are working with is inspired by a rough-set approach to data analysis: the formalisms we develop enable the use of a non invasive data representation. This means that the only information which is and must be used in the process of analysis is the actual information...

The primary goal of this book is to present the basic concepts in computer and networksecurity.Thestartingpointforthebookwasthelecturenotesthatwere used for teaching the undergraduate course on computer security at the U- versity of Wollongong (Australia). Later more topics were added to the book. Thesetopics weremainlytaught topostgraduatestudentsasanadvancedcr- tography course. Some chapters, especially those towards the end of the book, were included to help students in their seminar presentations. The book was recently used as the textbook for a new course, Cryptography and Infor- tion...

This book is concerned with a number of theories that can be used for describ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in teract on time as well...

In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con current: typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are...

These lecture notes by very authoritative scientists survey recent advances of mathematics driven by industrial application showing not only how mathematics is applied to industry but also how mathematics has drawn benefit from interaction with real-word problems.
The famous David Report underlines that innovative high technology depends crucially for its development on innovation in mathematics. The speakers include three recent presidents of ECMI, one of ECCOMAS (in Europe) and the president of SIAM.

This book is devoted to recent developments in the field of rotating fluids, in particular the study of Taylor--Couette flow, spherical Couette flow, planar Couette flow, as well as rotating annulus flow. Besides a comprehensive overview of the current state of the art, possible future directions in this research field are investigated. The first part of this volume presents several new results in the classical Taylor--Couette system covering diverse theoretical, experimental and numerical work on bifurcation theory, influence of boundary conditions, counter-rotating flows, spiral vortices...

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of...

The theory of parsing is an important application area of the theory of formal languages and automata. The evolution of modem high-level programming languages created a need for a general and theoretically dean methodology for writing compilers for these languages. It was perceived that the compilation process had to be "syntax-directed," that is, the functioning of a programming language compiler had to be defined completely by the underlying formal syntax of the language. A program text to be compiled is "parsed" according to the syntax of the language, and the object code for the program...