This reference work looks at modern concepts of computer security. It introduces the basic mathematical background necessary to follow computer security concepts before moving on to modern development
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, G
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundati
The evolutionary approach called scatter search originated from strategies for creating composite decision rules and surrogate constraints. Recent studies demonstrate the practical advantages of this
Telecommunications Network Design And Management represents the state-of-the-art of applying operations research techniques and solutions across a broad spectrum of telecommunications problems and imp
TheAlgorithmicNumberTheorySymposiabeganin1994atCornellUniversity inIthaca,NewYorktorecognizethegrowingimportanceofalgorithmicwork in the theory of numbers. The subject of the conference is broadly con
The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of techniques ranging from finite combinatorics, probabi
Radu, an electrical engineer who works as a consultant for payment systems and telecom operations in Belgium, has written a thorough description of EMV chip card technology. Following a description o
th 2002 DEXA, the 13 International Conference on Database and Expert Systems Applications was held on September 2–6, 2002, at the Universite Aix–Marseille II, France. The quickly growing field of info
This book constitutes the refereed proceedings of the 7th International Conference on Parallel Problem Solving from Nature,PPSN 2002, held in Granada, Spain in September 2002.The 90 revised full paper
Biometric authentication refers to identifying an individual based on his or her distinguishing physiological and/or behavioral characteristics. It associates an individual with a previously determine
This book constitutes the refereed proceedings of the 6th International Conference on Intelligent Tutoring Systems, ITS 2002, held in Biarritz, France, and San Sebastian, Spain, in June 2002The 93 rev
Data warehouses differ significantly from traditional transaction-oriented operational database applications. Indexing techniques and index structures applied in the transaction-oriented context are n
Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU
The ?rst International Summer School on Theoretical Aspects of Computer Science was organized by the Institute for Studies in Theoretical Physics and Mathematics(IPM)inTehran,Iran. ProgramCommittee Co
Computer security consultants Lang (middleware security, U. of Cambridge) and Schreiner offer a textbook explaining the CORBA (Common Object Request Broker Architecture) security services architecture
th DEXA 2001, the 12 International Conference on Database and Expert Systems Applications was held on September 3–5, 2001, at the Technical University of Munich, Germany. The rapidly growing spectrum
Christof Teuscher revives, analyzes, and simulates Turing's ideas, applying them to different types of problems, and building and training Turing's machines using evolutionary algorithms. In a little
Haptic human-computer interaction is interaction between a human computer user and the computer user interface based on the powerful human sense of touch. Haptic hardware has been discussed and exploi
This book constitutes the refereed proceedings of the 17th International Conference on Information Processing in Medical Imaging, IPMI 2001, held in Davis, CA, USA, in June 2001.The 54 revised papers
LNCS volumes 2073 and 2074 contain the proceedings of the International Conference on Computational Science, ICCS 2001, held in San Francisco, California, May 27-31, 2001. The two volumes consist of m
Welcome to IWQoS2001 in Karlsruhe! Quality of Service is a very active research field, especially in the networking community. Research in this area has been going on for some time, with results getti
The second International Symposium on Electronic Commerce was held in Hong Kong, April 2001, in conjunction with the fourth International Workshop on the Technological Challenges of Electronic Commerc
These are the pre-proceedings of CHES 2000, the second workshop on Cryp- graphicHardware andEmbedded Systems. The rst workshop, CHES’99, which was held at WPI in August 1999, was received quite enthus
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
This book constitutes the refereed proceedings of the First International Conference on Multi-Criterion Optimization, EMO 2001, held in Zurich, Switzerland in March 2001.The 45 revised full papers pre
This essential companion to Chaitin's successful books The Unknowable and The Limits of Mathematics, presents the technical core of his theory of program-size complexity. The two previous volumes are
Oppliger, a security consultant who works for the Swiss Federal Strategy Unit for Information Technology, provides a thorough treatment of secure Internet messaging, including discussion of PGP and S/
This book constitutes the strictly refereed post-workshop proceedings of the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computing, LCR 2000, held in Rocheste
The Database and Expert Systems Applications (DEXA) conferences have established themselves as a platform for bringing together researchers and practitioners from various backgrounds and all regions o
This book constitutes the refereed proceedings of the Third International Workshop on Recent Advances in Intrusion Detection, RAID 2000, held in Toulouse, France in October 2000.The 14 revised full pa
This book constitutes the refereed proceedings of the 6th International Conference on Parallel Problem Solving from Nature, PPSN VI, held in Paris, France in September 2000.The 87 revised full papers
On the way towards the Information Society, global networks such as the Internet, together with mobile computing, have made wide-area computing over virtual communities a reality. Digital city project
In 1992 we initiated a research project on large scale distributed computing systems (LSDCS). It was a collaborative project involving research institutes and universities in Bologna, Grenoble, Lausan
The Database and Expert Systems Applications (DEXA) conferences bring together researchers and practitioners from all over the world to exchange ideas, experiences and opinions in a friendly and stimu
This volume contains a collection of selected papers presented at the Symposium on Conceptual Modeling, which was held in Los Angeles, California, on December 2, th 1997, immediately before the 16 Int
The theoretical foundations of Neural Networks and Analog Computation conceptualize neural networks as a particular type of computer consisting of multiple assemblies of basic processors interconnecte
This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to
