Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design

WithgreatpleasurewewelcomedtheattendeestoEWSN2004, the1stEuropean Workshop on Wireless Sensor Networks, held in the exciting and lively city of Berlin. Wireless sensor networks are a key technology for new ways of interaction betweencomputersandthephysicalenvironmentwhichsurroundsus.Compared to traditional networking technologies, wireless sensor networks are faced with a rather unique mix of challenges: scalability, energy e?ciency, self-con?guration, constrainedcomputationandmemoryresourcesinindividualnodes, data-cent- city, and interaction with the physical environment, to name but a few....

Theshipshears onthrough billowing seas Carried on tempest s wings with ease A cry of joy goes up from fore and aft: Our destination is within our grasp But the helmsman s words are lost in the throng: We ve been sailing in circles all along. Marie von Ebner-Eschenbach This book has been written as an aid to anyone in the print media industry, be they managers or customers, who is looking to steer their business into calmer waters in what are stormy times. New technologies offer tremendous opportunities for innovation and process improvement but only if we understand the fundamental...

This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, Switzerlandduring March 9-11, 2005. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous - haviors. The previous workshops in the HSCC series were held in Berkeley, USA (1998), Nijmegen, TheNetherlands(1999), Pittsburgh, USA(2000), Rome, Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), and Philad-...

In these days of shortened fiscal horizons and contracted time-to-market schedules, traditional approaches to capacity planning are often seen by management as tending to inflate their production schedules. Rather than giving up in the face of this kind of relentless pressure to get things done faster, Guerrilla Capacity Planning facilitates rapid forecasting of capacity requirements based on the opportunistic use of whatever performance data and tools are available in such a way that management insight is expanded but their schedules are not.

A key Guerrilla concept is tactical...

Since its original inception back in 1989 the Web has changed into an environment where Web applications range from small-scale information dissemination applications, often developed by non-IT professionals, to large-scale, commercial, enterprise-planning and scheduling applications, developed by multidisciplinary teams of people with diverse skills and backgrounds and using cutting-edge, diverse technologies.

As an engineering discipline, Web engineering must provide principles, methodologies and frameworks to help Web professionals and researchers develop applications and...

Most innovations in the car industry are based on software and electronics, and IT will soon constitute the major production cost factor. It seems almost certain that embedded IT security will be crucial for the next generation of applications. Yet whereas software safety has become a relatively well-established field, the protection of automotive IT systems against manipulation or intrusion has only recently started to emerge.

Lemke, Paar, and Wolf collect in this volume a state-of-the-art overview on all aspects relevant for IT security in automotive applications. After an...

The goal of software engineering is to achieve high-quality software in a cost-effective, timely, and reproducible manner. Advances in technology offer reductions in cost and schedule, but their effect on software quality often remains unknown. The International Conferenceon the Quality of Software Architectures(QoSA 2005)focusedon software architectures and their relation to software quality, while the International Workshop on Software Quality (SOQUA 2005) mainly focused on quality assurance and more precisely on software testing. These events complement each other in their view on software...

Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in October 2005. The 15 papers presented in this title address topics of self-stabilization, extensions to the field, such as snap-stabilization, code stabilization, self-stabilization, or applications of self-stabilization.

1 Thisbookis an outcomeof the SocionicsResearch Framework. Therootsof Socionics lie in the 1980s when computer scientists in search of new methods and techniques of distributed and coordinated problem-solving ?rst began to take an engineering interest in sociological concepts and theories. Just as biological phenomenaare conceived of as a source of inspiration for new technologies in the new research ?eld of bionics, c- puter scientists working in Distributed Arti?cial Intelligence (DAI) became interested in exploiting phenomena from the social world in order to construct Multiagent S- tems...

Presenting a different approach to on-line observation and concurrent checking of processors, this text refines and improves known techniques and introduces other ideas. The proposed on-line error detection and fast recover techniques support and complement other established methods. In combination with other on-line observation priniciples and with a combined hardware-software test, these techniques are used to fulfill a complete self-check scheme for an embedded processor.

This book is concerned with a number of theories that can be used for describ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in teract on time as well...

Welcome to SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and Reliability, held in Gdansk, Poland. Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Reliability and Security (EWICS TC7), SAFECOMP has continuously contributed to the progress in high integrity applications of information technologies. The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for...

Several design calculi for software and hardware systems are described and demonstrated in this monograph. The contributors discuss recent developments in the systematic study of the specification, refinement and verification of sequential, functional and distributed systems.

Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction...

Object-Process Methodology (OPM) is a comprehensive novel approach to systems engineering. Integrating function, structure and behavior in a single, unifying model, OPM significantly extends the system modeling capabilities of current object-oriented methods. Founded on a precise generic ontology and combining graphics with natural language, OPM is applicable to virtually any domain of business, engineering and science. Relieved from technical issues, system architects can use OPM to engage in the creative design of complex systems.
The book presents the theory and practice of OPM with...

Research into Fully Integrated Data Environments (FIDE) has the goal of substantially improving the quality of application systems while reducing the cost of building and maintaining them. Application systems invariably involve the long-term storage of data over months or years. Much unnecessary complexity obstructs the construction of these systems when conventional databases, file systems, operating systems, communication systems, and programming languages are used. This complexity limits the sophistication of the systems that can be built, generates operational and usability problems, and...

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different...

The terms groupware and CSCW (computer-supported cooperative work) have received significant attention in computer science and related disciplines for quite some time now. This book is a revised and extended version of the 2nd edition of the German textbook "Rechnergestutzte Gruppenarbeit: Eine Einfuhrung in verteilte Anwendungen." It has two main objectives: first, to outline the meaning of both terms, and second, to point out both the numer ous opportunities for users of groupware and the risks of applying such sys tems. The book intends to introduce an area of distributed systems, namely...

Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects with embedded computing - pabilities are now commonplace and, between mobile phones and RFID tags, further deployment proceeds at an unstoppable pace. The next major step of the ubiquitous computing evolution is the move, already partly underway, from isolated smart objects to distributed systems of smart objects and appropriate back-end infrastructure: microelectronics and communication technology c- verging with healthcare technology, communication technology, sports...

This book constitutes the refereed proceedings of the 5th International Conference on Pervasive Computing, PERVASIVE 2007, held in Toronto, Canada in May 2007. The 21 revised full papers are organized in topical sections on reaching out, context and its application, security and privacy, understanding use, sensing, as well as finding and positioning.