Informatyka

Certification and Security in Inter-Organizational E-Services presents the proceeding of CSES 2004 - the 2nd International Workshop on Certification and Security in Inter-Organizational E-Services held within IFIP WCC 2004 in August, 2004, in Toulouse, France. Certification and security share a common technological basis in the reliable and efficient monitoring of executed and running processes; they likewise depend on the same fundamental organizational and economic principles. As the range of services managed and accessed through communication networks grows throughout...

Information Processing and Security Systems is a collection of forty papers that were originally presented at an international multi-conference on Advanced Computer Systems (ACS) and Computer Information Systems and Industrial Management Applications (CISIM) held in Elk, Poland. This volume describes the latest developments in advanced computer systems and their applications within artificial intelligence, biometrics and information technology security. The volume also includes contributions on computational methods, algorithms and applications, computational science,...

Home-Oriented Informatics and Telematics is an essential reference for both academic and professional researchers in the field of home informatics. The home is a key aspect of society and the widespread use of computers and other information appliances is transforming the way in which we live, work and communicate in the information age. This area of study has seen remarkable growth in the last few years as information technology has encroached into every corner of home and social spheres.

The papers selected here cover a growing range of topics, including...

Covers the basic materials and up-to-date information to understand IPv6, including site local address often overlooked by most other books about IPv6 do not reflect this important fact.

Highlights Teredo, a transistion tool that permits web sites using two different protocols to interact, with complete-chapter coverage..

Since popular applications such as web service can not be operated without DNS. Chapter 9 covers modifications in DNS for IPv6 which other books rarely cover.

Other topics covered that make it a most up-to-date and valuable resource: hierarchical mobility...

A Classical Introduction to Cryptography: Applications for Communications Security introduces fundamentals of information and communication security by providing appropriate mathematical concepts to prove or break the security of cryptographic schemes.

This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra and number theory for cryptologists; public key cryptography and cryptanalysis of these schemes; and other cryptographic protocols, e.g. secret sharing, zero-knowledge proofs and undeniable signature...

The second edition of Human Factors and Voice Interactive Systems, in addition to updating chapters from the first edition, adds in-depth information on current topics of major interest to speech application developers. These topics include use of speech technologies in automobiles, speech in mobile phones, natural language dialogue issues in speech application design, and the human factors design, testing, and evaluation of interactive voice response (IVR) applications.

Governments, the media, the information technology industry and scientists publicly argue that information and communication technologies (ICT) will bring about an inevitable transition from "industrial" to "information" or "knowledge-based" economies and societies. It is assumed that all aspects of our economic and social lives, in both the public and private spheres, will be radically different from what they are today. The World Summit on the Information Society (Geneva 2003 - Tunis 2005) shows the importance of a worldwide reflection on those topics.

Perspectives and...

-Presents state-of-the-art in visual media retrieval.

-Coverage of adaptive content-based retrieval systems and techniques in image and video database applications.

-Includes a novel machine-controlled interactive retrieval (MCIR) method that optimizes image search in distributed digital libraries over the Internet.

This book presents a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE to provide tools for problem solving and to stimulate critical thinking. No prior knowledge of MAPLE is necessary. All relevant commands are introduced on a need-to-know basis and are indexed for easy reference. Each recipe features a scientific model or method and an interesting or amusing story designed to both entertain and enhance concept comprehension and retention.

Privacy preserving data mining implies the "mining" of knowledge from distributed data without violating the privacy of the individual/corporations involved in contributing the data. This volume provides a comprehensive overview of available approaches, techniques and open problems in privacy preserving data mining. Crystallizing much of the underlying foundation, the book aims to inspire further research in this new and growing area.

Privacy Preserving Data Mining is intended to be accessible to industry practitioners and policy makers, to help inform future decision making and...

Introduces Linux concepts to programmers who are familiar with other operating systems such as Windows XP

Provides comprehensive coverage of the Pentium assembly language

Information and Communication Technologies in Real-Life Learning presents the results of an International Federation for Information Processing (IFIP) working conference held December 2004 in Melbourne, Australia. The working conference was organized by IFIP Working Group 3.2 (Informatics and ICT in Higher Education) and IFIP Working Group 3.4 (Professional and Vocational Education in Information Technology).

Challenges originating in large scale economic and social change, rapid transition to a knowledge-based society and shortage of...

In addition to expanding and clarifying a number of sections of the first edition, it generalizes the analysis that eliminates the noncausal pre-acceleration so that it applies to removing any pre-deceleration as well. It also introduces a robust power series solution to the equation of motion that produces an extremely accurate solution to problems such as the motion of electrons in uniform magnetic fields.

Privacy and Technologies of Identity: A Cross-Disciplinary Conversation provides an overview of ways in which technological changes raise privacy concerns. It then addresses four major areas of technology: RFID and location tracking technology; biometric technology, data mining; and issues with anonymity and authentication of identity. Many of the chapters are written with the non-specialist in mind, seeking to educate a diverse audience on the "basics" of the technology and the law and to point out the promise and perils of each technology for privacy. The material in this book provides...

Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance (SIHFT), i.e., how to deal with faults affecting the hardware by only (or mainly) acting on the software.

The first SIHFT techniques were proposed and adopted several decades ago, but they have been the object of new interest in the past few years, mainly due to the need for developing low-cost safety-critical computer-based applications in fields such as automotive, biomedics, and telecommunications. Therefore, several new approaches to detect, and when...

Highly computer-oriented text, introducing numerical methods and algorithms along with the applications and conceptual tools. Includes homework problems, suggestions for research projects, and open-ended questions at the end of each chapter. Written by our successful author who also wrote Continuous System Modeling, a best-selling Springer book first published in the 1991 (sold about 1500 copies).

Challenges arise when the size of a group of cooperating agents is scaled to hundreds or thousands of members. In domains such as space exploration, military and disaster response, groups of this size (or larger) are required to achieve extremely complex, distributed goals. To effectively and efficiently achieve their goals, members of a group need to cohesively follow a joint course of action while remaining flexible to unforeseen developments in the environment.

Coordination of Large-Scale Multiagent Systems provides extensive coverage of the latest research and...

Biometric user authentication techniques evoke an enormous interest by science, industry and society. Scientists and developers constantly pursue technology for automated determination or confirmation of the identity of subjects based on measurements of physiological or behavioral traits of humans.

Biometric User Authentication for IT Security: From Fundamentals to Handwriting conveys general principals of passive (physiological traits such as fingerprint, iris, face) and active (learned and trained behavior such as voice, handwriting and gait) biometric...

Currently employed at STMicroelectronics, Transactional-Level Modeling (TLM) puts forward a novel SoC design methodology beyond RTL with measured improvements of productivity and first time silicon success.

The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. The library is flexible enough to model components and systems at many different levels of abstractions: from cycle-accurate to untimed models, and from bit-true behavior to floating-point algorithms. However, careful selection of the abstraction...