Bøker i IFIP Advances in Information and Communication Technology-serien

phases of testing including test case generation, means of testing, test execution and test results analysis; classes of systems tested and the theory and practice of testing including test-related algorithms, practical testing methodology and practical testing experience.

The introduction of unit standards signalled an emphatic movement towards the use of internal assessment for awarding qualifications at the seniorsecondaryschoollevel. Approximately five to eight standards would be used for each full year course and each standard had a number of credits associated with it.

The main purpose of this paper is to contribute to the discussion about the design of computer and communication systems that can aid the management process. Within this perspective, computer and communication technologies are seen as an amplification of the human data processing capabilities which limit the decision process.

The short history of the International Working Conference on Educating Professionals for Network Centric Organizations is a good illustration of the tremendous rate of development of global networking, its impact and of its deep penetration into management of business, industty and administration.

Since the early 1980's, the IFIP WG8.1 conferences have provided a forum for the presentation and exchange of research results and practical experiences in the field of Information System Engineering.

This book contains the selected proceedings of the Working Conference on Global and Organizational Discourse About Information Technology, sponsored by the International Federation for Information Processing (IFIP) and held in Barcelona, Spain in December 2002.

Dear readers, Although it is well-known that confidentiality, integrity and availability are high level objectives of information security, much of the attention in the security arena has been devoted to the confidentiality and availability aspects of security.

System Modeling and Optimization XX deals with new developments in the areas of optimization, optimal control and system modeling. Besides some classical topics, modern areas are also presented in the contributions, including robust optimization, filter methods, optimization of power networks, data mining and risk control.

Themes related to the conceptualisation of diffusion and adoption of networked information systems are discussed along with studies of the diffusion of networked information systems in public sector institutions and private businesses.

Mobile computing is one of the biggest issues of computer technology, science and industry today. This book looks at the requirements of developing mobile computing systems and the challenges they pose to computer designers.

System Modelling and Optimization covers research issues within systems theory, optimization, modelling, and computing.

This book contains extended and revised versions of the best papers presented at the 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, held in Cusco, Peru, in October 2019.The 15 full papers included in this volume were carefully reviewed and selected from the 28 papers (out of 82 submissions) presented at the conference. The papers discuss the latest academic and industrial results and developments as well as future trends in the field of System-on-Chip (SoC) design, considering the challenges of nano-scale, state-of-the-art and emerging manufacturing technologies. In particular they address cutting-edge research fields like heterogeneous, neuromorphic and brain-inspired, biologically-inspired, approximate computing systems.

This book constitutes the proceedings of the 14th IFIP WG 11.12 International Symposium on Human Aspects of Information Security and Assurance, HAISA 2020, held in Mytilene, Lesbos, Greece, in July 2020.*The 27 full papers presented in this volume were carefully reviewed and selected from 43 submissions.

This book presents a selection of expanded research papers from the Fourth IFIP Workshop on the Performance Modelling and Evaluation of ATM Networks. A number of important topics are featured including: traffic modelling and characterisation, models of ATM switches, network management, high speed LANs and MANs and routing and optimization.

In order to help focus the papers and discussion we identified 7 themes: * Current developments in society and education influencing integration;

Containing case studies and research findings, this book deals with methods and tools suitable for designing, managing, and controlling processes within the supply chain. The authors are leading experts within the international community in the field of production management.

This book considers how the fundamental issues relating to the use of information technology in education, are being tackled across the world.

This volume covers many aspects of multimedia and communications security, from national security policies to file server architectures, from hypertext documents to specialized cryptographic algorithms. It provides the interested reader with a spectrum of up-to-the-minute knowledge on the topics covered.

Over the last few years, games of different types have been successfully used in the teaching of production management and in the introduction of new planning methods and systems in industrial enterprises. Games have been used to explain the dynamic nature of production management and for testing new planning principles.

In addition, as the first Women, Work and Computerization conference of the new millennium, we hoped to encourage the broad community of scholars that has made past Women, Work and Computerization conferences a success to actively engage in imagining--and working towards-- a better future for women in relation to computers.

The early 21st century is the age of networked information, where more than ever in the history of technological progress, society relies on communication networks. This text presents progress made in optical network architectures, design, operation and management.

Open Distributed Processing contains the selected proceedings of the Third International Conference on Open Distributed Systems, organized by the International Federation for Information Processing and held in Brisbane, Australia, in February 1995.

To reach this objective it is necessary for companies to evaluate their performances and to combine modelling, business process re-engineering and benchmarking techniques. This book demonstrates the successful combination and implementation of these various techniques.

This book describes several methods and systems solving one of the highlighted problems within computer aided design, namely architectural and logic synthesis. The book emphasises the most recent technologies in high level synthesis, concentrating on applicative studies and practical constraints or criteria during synthesis.

Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing;