A number of relatively new technologies, such as Enterprise Resource Planning systems, the Internet and intranets, have entered the organizational landscape. These technologies have not only enabled a wide range of social and organizational transformations, but have also challenged much of the received wisdom that operates in academic and industrial discourses. This book attempts to capture some of these strands by discussing the social and organizational issues surrounding the implementation and use of these new technologies in organizational processes. Some of the contributions are critical...

Testing of Communicating Systems presents the latest worldwide results in both the theory and practice of the testing of communicating systems. This volume provides a forum that brings together the substantial volume of research on the testing of communicating systems, ranging from conference testing through interoperability testing to performance and QoS testing. The following topics are discussed in detail:

Types of testing;

Phases of the testing process;

Classes of systems to be tested; and

Theory and practice of testing./LIST
This book...

This volume contains papers presented at the fourth working conference on Communications and Multimedia Security (CMS'99), held in Leuven, Belgium from September 20-21, 1999. The Conference, arrangedjointly by Technical Committees 11 and 6 of the International Federation of Information Processing (IFIP), was organized by the Department of Electrical Engineering of the Katholieke Universiteit Leuven. The name "Communications and Multimedia Security" was used for the first time in 1995, when Reinhard Posch organized the first in this series of conferences in Graz, Austria, following up on the...

Globalization is one of the key issues for production management and therefore Global Production Management was selected as the theme for the 1999 International Conference on Advances in Production Management Systems. At the turn of the century Berlin is one of the most prominent examples for a world of new opportunities for transnational business. Therefore it was chosen to host the conference. Berlin is a link between East and West. Suppliers in Poland and the Czech Republic play a growing role for the car and rail industry in Europe. Fraunhofer IPK, the host of the conference and the...

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:

• FDT-based system and protocol engineering;
• FDT application to distributed systems;
• Protocol engineeering;
• Practical experience and case studies.

Formal Methods for Protocol Engineering and Distributed...

In the mathematical treatment of many problems which arise in physics, economics, engineering, management, etc., the researcher frequently faces two major difficulties: infinite dimensionality and randomness of the evolution process. Infinite dimensionality occurs when the evolution in time of a process is accompanied by a space-like dependence; for example, spatial distribution of the temperature for a heat-conductor, spatial dependence of the time-varying displacement of a membrane subject to external forces, etc. Randomness is intrinsic to the mathematical formulation of many phenomena,...

Integrity and Internal Control in Information Systems is a state-of-the-art book that establishes the basis for an ongoing dialogue between the IT security specialists and the internal control specialists so that both may work more effectively together to assist in creating effective business systems in the future. Building on the issues presented in the preceding volume of this series, this book seeks further answers to the following questions: What precisely do business managers need in order to have confidence in the integrity of their information systems and their data? What is...

New technology is always evolving and companies must have appropriate security for their businesses to be able to keep up to date with the changes. With the rapid growth of the internet and the world wide web, data and applications security will always be a key topic in industry as well as in the public sector, and has implications for the whole of society.
Data and Applications Security covers issues related to security and privacy of information in a wide range of applications, including:

• Electronic Commerce, XML and Web Security;
• Workflow Security and...

th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna Methods- Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their...

The 7th Annual Working Conference of ISMSSS (lnformation Security Management and Small Systems Security), jointly presented by WG 11.1 and WG 11.2 of the International Federation for Information Processing {IFIP), focuses on various state-of-art concepts in the two relevant fields. The conference focuses on technical, functional as well as managerial issues. This working conference brings together researchers and practitioners of different disciplines, organisations, and countries, to discuss the latest developments in (amongst others) secure techniques for smart card technology, information...