This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: – data structures; – information management; – process control systems; – distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement.This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally co… More >>

Program Development by Refinement: Case Studies Using the B Method

This book presents work that has been conducted as part of the research project “Discourse on ethical questions of biomedicine” of the interdisciplinary Working Group Bioethics and Science Communication at the Max-Delbrueck-Center for Molecular Medicine (MDC)in Berlin-Buch, Germany. This book offers ground-breaking ideas on how the daily interworking of cutting-edge biomedical research assess the broader social context and its communication to stakeholders and the public. Editors cover three aspects: Scientific, Ethical and Legal, and Perception and Communication. This work establishes an international and interdisciplinary network of excellent researchers at the beginning of their careers, who brilliantly integrate their work into the different perspectives on gene therapy from the natural and social sciences, as well as the humanities and law.

* Discusses biological and cellular barriers limiting the clinical application of nonviral gene delivery
systems
*… More >>

Gene Therapy: Prospective Technology assessment in its societal context

This addition to the Advances in Environmental Control Technology Series contains 23 chapters designed to provide an extensive overview and reference on human physiological responses to various forms of pollution.

This addition to the Advances in Environmental Control Technology Series contains 23 chapters designed to provide an extensive overview and reference on human physiological responses to various forms of pollution.

… More >>

Advances in Environmental Control Technology: Health and Toxicology

This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity…. More >>

Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India, December 21-23, 1988. Proceedings

Much has been written on WMD terrorism, but few books present a systems approach to this problem. In this book, we present an integrated view of WMD terrorism. The threat section reviews several scenarios that a terrorist might use and a very comprehensive list of the possible biological organisms and compounds that can be used as biological, mid-spectrum, and chemical threats. In the science and technology section, the technical aspects of a successful defense against WMD agents are presented. Arguments are presented for the control of the release of scientific information to bolster CB defense. Approaches to biological agent detection and a system for ranking detection technologies are discussed next. The generic approach to biological screening and detection is then illustrated with some applications of generic detectors to water, food, and aerosol. The future of biological detection and identification is also presented, along with a call to perhaps change the paradigms that we are … More >>

Technology for Combating WMD Terrorism: Proceedings of the NATO ARW on Technology for Combating WMD Terrorism, Hunt Valley, MD, U.S.A. from 19 to 22 November … II: Mathematics, Physics and Chemistry)

FORTIFY is intended to be an instructional guide for corporate leaders who are responsible for the development of a Strategic Information Systems Plan (SISP). A plan that integrates the business and technology needs of their small to medium sized enterprise. Alignment of these needs is essential for the organization to achieve optimum revenue growth and maximize operating efficiencies.
FORTIFY is designed for corporate leaders of all disciplines who strive to improve their organization’s planning practices. The intended audience needs to understand basic business operation principals and return on investment concepts.
FORTIFY outlines best practices for the creation of a SISP and helps corporate leaders recognize the benefits of aligning the Business Objectives with Information Technology Systems (ITS) projects. Often these two processes are developed independently resulting in resource inefficiencies.

The material in all four guides is extremely dry, begging fo… More >>

Sweet Bitch’s Guides to Practical ITS – Information Systems Technology FORTIFY Volume Three

This book presents the state of the art of artificial intelligence techniques applied to structural engineering. The 28 revised full papers by leading scientists were solicited for presentation at a meeting held in Ascona, Switzerland, in July 1998.
The recent advances in information technology, in particular decreasing hardware cost, Internet communication, faster computation, increased bandwidth, etc., allow for the application of new AI techniques to structural engineering. The papers presented deal with new aspects of information technology support for the design, analysis, monitoring, control and diagnosis of various structural engineering systems.This book presents the state of the art of artificial intelligence techniques applied to structural engineering. The 28 revised full papers by leading scientists were solicited for presentation at a meeting held in Ascona, Switzerland, in July 1998.
The recent advances in information technology, in particular decreasing hardware co… More >>

Artificial Intelligence in Structural Engineering: Information Technology for Design, Collaboration, Maintenance, and Monitoring

This book discusses the implications of new information
technologies and cognitive psychology for mathematical
problem solving research and practice.Based on a NATO
Advanced Research Workshop held in Portugal in 1991, it
offers both empirical research and theoretical papers.
The book includes a thorough discussion on the nature and
purpose of problem solving as a mathematical activity,
providing a view of the importance of complementary
activities such as investigations, conjecturing and problem
posing. It focuses on cognitive processes, instruction,
classroom processes, and the teacher’s role, and contains
new assessment and teacher education proposals.
At a time of important reform movements, when emphasis is
put on the role of new information technologies, the book
provides an up-to-date view of the developmental work being
done on computerized learning environments in the discipline
of mathematics, as w… More >>

Mathematical Problem Solving and New Information Technologies: Research in Contexts of Practice

Architecture Description Languages is an essential reference for both academic and professional researchers in the field of system engineering and design.  The papers presented in this volume were selected from the workshop of the same name that was held as part of the World Computer Congress 2004 Conference, held in Toulouse, France in August 2004.  This collection presents significant research and innovative developments and applications from both academic researchers and industry practitioners on topics ranging from Semantics to Tool and Development Environments.
The aim of an ADL is to formally describe software and hardware architectures.  Usually, an ADL describes components, their interfaces, their structures, their interactions (structure of data flow and control flow) and the mappings to hardware systems.  A major goal of such description is to allow analysis with respect to several aspects like timing, safety, reliability. The papers in this state… More >>

Architecture Description Languages: IFIP TC-2 Workshop on Architecture Description Languages

Networking Infrastructure for Pervasive Computing: Enabling Technologies & Systems is a comprehensive guide to tomorrow’s world of ubiquitous computing where users can access and manipulate information from everywhere at all times.
The emphasis is on networking, systems and standards rather than detailed physical implementation. Addressed are many technical obstacles, such as, connectivity, levels of service, performance, and reliability and fairness. The authors also describe the existing enabling off-the-shelf technologies and its underlying infrastructure known as pervasive networking (PervNet). PervNet ties different sets of smart nodes together enabling them to communicate with each other to provide pervasive computing services to users. Throughout the book, important issues related to scalability, transparency, security, energy management, QoS provisioning, fault tolerance, and disconnected operations are discussed.
This work provides a research and devel… More >>

Networking Infrastructure for Pervasive Computing: Enabling Technologies and Systems