Software Engineering and Computer Systems

Exploring approaches to security in cloud computing services, computer scientists and software engineers in Spain, elsewhere in Europe, and the Americas cover cloud architecture and patterns; risks an

"Provides a cost-effective alternative to Finite Element software tools for soil and structural analysisGiving readers the tools to understand and analyse common problems in structural engineering, fo

Distributed robotics is a rapidly growing, interdisciplinary research area lying at the intersection of computer science, communication and control systems, and electrical and mechanical engineering.

Computer-Assisted Structure Elucidation (CASE) systems are a combination of software algorithms and tools to support and enable chemists and spectroscopists engaged in the process of molecular structu

The leading text in the field explains step by step how to write software that responds in real timeFrom power plants to medicine to avionics, the world increasingly depends on computer systems that c

Revised and updated with a new chapter on virtualization, this entry level undergraduate textbook for computer science, information technology, and electrical engineering students provides an overview

Computer and information scientists and related researchers examine model-based testing from a number of perspectives that combine various aspects of embedded systems, embedded software, their models,

Hidden Markov processes (HMPs) are important objects of study in many areas of pure and applied mathematics, including information theory, probability theory, dynamical systems and statistical physics, with applications in electrical engineering, computer science and molecular biology. This collection of research and survey papers presents important new results and open problems, serving as a unifying gateway for researchers in these areas. Based on talks given at the Banff International Research Station Workshop, 2007, this volume addresses a central problem of the subject: computation of the Shannon entropy rate of an HMP. This is a key quantity in statistical physics and information theory, characterising the fundamental limit on compression and closely related to channel capacity, the limit on reliable communication. Also discussed, from a symbolic dynamics and thermodynamical viewpoint, is the problem of characterizing the mappings between dynamical systems which map Markov measur

Covering many techniques widely used in research, this book will help researchers in the physical sciences and engineering solve troublesome - and potentially very time consuming - problems in their work. The book deals with technical difficulties that often arise unexpectedly during the use of various common experimental methods, as well as with human error. It provides preventive measures and solutions for such problems, thereby saving valuable time for researchers. Some of the topics covered are: sudden leaks in vacuum systems, electromagnetic interference in electronic instruments, vibrations in sensitive equipment, and bugs in computer software. The book also discusses mistakes in mathematical calculations, and pitfalls in designing and carrying out experiments. Each chapter contains a summary of its key points, to give a quick overview of important potential problems and their solutions in a given area.

Most of today's electrical engineering and computer engineering graduates lack a critically important skill the analysis of transmission lines. They need this basic knowledge in order to be able to d

Cruz-Cunha (technology, Polytechnic Institute of Cavado and Ave, Portugal) and Varajao (information systems management and software engineering, U. of Tras-os-Montes e Alto Duoro, Portugal) compile 31

Engineers and scientists need powerful formalisms to make conceptual models of systems in order to analyse and design them. These models can be used to verify the behaviour of the systems, or as an executable specification of them. In this textbook, Professor van Hee concentrates on discrete dynamic systems, e.g. computer hardware, and information and logistical systems. He develops an integrated formalism which can be used as a prototyping language. It has three components: Petri nets, extended with time, token values and hierarchy; a specification language that is a subset of Z; and a binary data model, extended with complex objects. Much attention is paid to methods for constructing models of systems and analysing their behaviour, i.e. putting the theory into practice. The text is designed for use by advanced undergraduate and beginning graduate students, in computer science, electrical and industrial engineering, or applied mathematics; indeed, it is based on courses taught by the

For engineers and researchers, Wu (industrial and systems engineering, Guangdong U. of Technology, China) and Zhou (electrical and computer engineering, New Jersey Institute of Technology and XiDian U

Fifty-nine international academics, researchers, and computer science and engineering professionals contribute 15 chapters addressing the issues of which modeling languages are good for embedded syste

Thirty-seven international academics, researchers, and professionals from a variety of fields including computer science and engineering, electrical engineering, mechanical engineering, and telecommun

Embedded network systems (ENS) provide a set of technologies that can link the physical world to large-scale networks in applications such as monitoring of borders, infrastructure, health, the environment, automated production, supply chains, homes and places of business. This book details the fundamentals for this interdisciplinary and fast-moving field. The book begins with mathematical foundations and the relevant background topics in signal propagation, sensors, detection and estimation theory, and communications. Key component technologies in ENS are discussed: synchronization and position localization, energy and data management, actuation, and node architecture. Ethical, legal and social implications are addressed. The final chapter summarizes some of the lessons learned in producing multiple ENS generations. A focus on fundamental principles together with extensive examples and problem sets make this text ideal for use on graduate courses in electrical engineering and computer

This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software En

ANEMONA: A Multi-agent Methodology for Holonic Manufacturing Systems will be of interest to researchers and postgraduate students involved in artificial intelligence and software engineering, as well

Analysing and designing reliable and fast wireless networks requires an understanding of the theory underpinning these systems and the engineering complexities of their implementation. This text describes the underlying principles and major applications of high-speed wireless technologies, with emphasis on ultra-wideband (UWB) wireless systems, 3G long term evolution, and 4G mobile networks. Key topics such as cross-layer optimization are discussed in detail and various forms of UWB, including multi-band OFDM UWB, are covered. Recent research developments are described before identifying the scope and direction for future research. The overlay problem (interference problem) in UWB is discussed, and the author aims to illustrate that OFDM is not the best wireless access technique for high speed transmission. Covering the latest technologies in the area, this book will be a valuable resource for graduate students of electrical and computer engineering as well as practitioners in the wir

As the cliche reminds us, information is power. In this age of computer systems and technology, an increasing majority of the world's information is stored electronically. It makes sense then that as

Agility and innovation are necessary to achieve global excellence and customer value in twenty-first century business; yet most approaches to business process engineering sacrifice these in favor of operational efficiency and economics. Moreover, the IT systems used to automate and encapsulate business processes are unresponsive to the dynamic business environment. Mitra and Gupta provide insight to close this gap - showing how innovation can be systematized with normalized patterns of information, how business processes and information systems may be tightly aligned, and how these processes and systems can be designed to automatically adapt to change by reconfiguring shared patterns of knowledge. A modular approach to building business systems that parallels that of object oriented software is presented. Practical templates required for accelerating integration, analysis and design are provided. This book will appeal to consultants, analysts, and managers in IT as well as researchers

Digital Design: An Embedded Systems Approach Using VHDL provides a foundation in digital design for students in computer engineering, electrical engineering and computer science courses. It takes an u

Developments in sensor and processor sophistication have created a need for effective estimation and control algorithms for hybrid, nonlinear systems. This book presents an effective, flexible family of estimation algorithms that can be used in estimating or controlling a variety of nonlinear plants. Several applications are studied, including tracking a manoeuvring aircraft, automatic target recognition, and the decoding of signals transmitted across a wireless communications link. The authors begin by setting out the necessary theoretical background and then develop a practical, finite-dimensional approximation to an optimal estimator. Throughout the book, they illustrate theoretical results by simulation of control and estimation in real-world hybrid systems, drawn from a variety of engineering fields. The book will be of great interest to graduate students and researchers in electrical and computer engineering. It will also be a useful reference for practising engineers involved in

This book explains how to build Natural Language Generation (NLG) systems - computer software systems which use techniques from artificial intelligence and computational linguistics to automatically generate understandable texts in English or other human languages, either in isolation or as part of multimedia documents, Web pages, and speech output systems. Typically starting from some non-linguistic representation of information as input, NLG systems use knowledge about language and the application domain to automatically produce documents, reports, explanations, help messages, and other kinds of texts. The book covers the algorithms and representations needed to perform the core tasks of document planning, microplanning, and surface realization, using a case study to show how these components fit together. It also discusses engineering issues such as system architecture, requirements analysis, and the integration of text generation into multimedia and speech output systems.

After completing this self-contained course on server-based Internet applications software, students who start with only the knowledge of how to write and debug a computer program will have learned h

Beginning with a basic primer on reverse engineering-including computer internals, operating systems, and assembly language-and then discussing the various applications of reverse engineering, this bo

As control systems become increasingly complex, there is a growing need for software tools for use in their design and implementation. Introducing proven, free-to-use software from the NIST's real-tim

The increased computational power and software tools available to engineers have increased the use and dependence on modeling and computer simulation throughout the design process. These tools have g

Developments in sensor and processor sophistication have created a need for effective estimation and control algorithms for hybrid, nonlinear systems. This book presents an effective, flexible family of estimation algorithms that can be used in estimating or controlling a variety of nonlinear plants. Several applications are studied, including tracking a manoeuvring aircraft, automatic target recognition, and the decoding of signals transmitted across a wireless communications link. The authors begin by setting out the necessary theoretical background and then develop a practical, finite-dimensional approximation to an optimal estimator. Throughout the book, they illustrate theoretical results by simulation of control and estimation in real-world hybrid systems, drawn from a variety of engineering fields. The book will be of great interest to graduate students and researchers in electrical and computer engineering. It will also be a useful reference for practising engineers involved in

An integral part of engineering design is the development of models that describe physical behavior or phenomena in mathematical terms. As engineering systems have become more complex, classic linear methods of modeling and analysis have proved inadequate, creating a need for nonlinear models to solve design problems. This 1999 text provides an introduction to mathematical modeling of linear and nonlinear systems, with an emphasis on the solution of nonlinear design problems. While encouraging the use of the computer as a tool for modeling and analysis, the aim is to discuss the basic concepts underlying computer techniques and to seek analytical solutions. Among topics covered are exact solution, numerical solution, graphical solution, and approximate solution methods; and the stability of nonlinear systems. Numerous examples show how to apply modeling methods to real engineering systems. The book also includes end-of-chapter problems and case studies of challenging design problems. I

Self-organized criticality (SOC) is based upon the idea that complex behavior can develop spontaneously in certain multi-body systems whose dynamics vary abruptly. This book is a clear and concise introduction to the field of self-organized criticality, and contains an overview of the main research results. The author begins with an examination of what is meant by SOC, and the systems in which it can occur. He then presents and analyzes computer models to describe a number of systems, and he explains the different mathematical formalisms developed to understand SOC. The final chapter assesses the impact of this field of study, and highlights some key areas of new research. The author assumes no previous knowledge of the field, and the book contains several exercises. It will be ideal as a textbook for graduate students taking physics, engineering, or mathematical biology courses in nonlinear science or complexity.

Completely revised and updated, written to be understandable for students, and practical in its coverage, this new edition features a range of new engineering applications, such as control of unmanned

Designing reliable, complex and dependable software systems is a continuous challenge to the software engineering community. The contribution of this book is two fold: bring to light a large body of k

Intelligent technical systems, which combine mechanical, electrical and software engineering with control engineering and advanced mathematics, go far beyond the state of the art in mechatronics and o

The LNICST series constitutes the publication platform for conferences, symposia and workshops sponsored by the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (

Using modern digital photography, computer-aided design software, and metrology instruments, engineer Christopher Dunn reveals that highly refined tools, techniques, and even mega-machines must have

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers,