Systems analysis and design Books

This book constitutes the refereed proceedings of the 20th International Conference on Architecture of Computing Systems, ARCS 2007, held in Zurich, Switzerland in March 2007. Coverage details a broad range of research topics...

This volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSEC) held in L- don, UK, July 13-16, 2008. This year's working conference continued its tra- tion...

IMPROVE stands for "Information Technology Support for Collaborative and Distributed Design Processes in Chemical Engineering" and is a large joint project of research institutions at RWTH Aachen University. This volume...

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). ...

Itisourgreatpleasuretopresenttheproceedingsofthe15thInternationalConf- ence on Analytical and Stochastic Modelling Techniques and Applications (ASMTA2008)thattookplaceonthebeautifulislandofCyprusforthe?rsttime. The conference...

th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice. It did so after having been hosted twice in ...

Welcome to the proceedings of the 2008 International Conference on Grid and Pervasive Computing (GPC 2008) which was held in Kunming, Yunnan, China, May 25-28, 2008. Gridcomputing presentsa newtrendindistributed computing...

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again...

In the design, implementation, and operational planning of computer and c- municationsystems, manyquestionsregardingthe desiredcapacityandspeed of (sub)systems have to be answered.At this point,performance anddependability...

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...

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into...

Truly personal handheld and wearable technologies should be small and unobtrusive and allow access to information and computing most of the time and in most circumstance. Complimentary, environment-based technologies make...

The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault...

The Fourth International Conference on Reliable Software Technologies, Ada- Europe'99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies,...

TheaimoftheARTS'99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation,veri...

This proceedings volume consists of papers presented at the Seventh International Workshop on Computer-Aided Scheduling of Pllblic Transport, which was held at th th the Massachusetts Institute of Technology from August 5 to 8...

This book presents the work of researchers in the Esprit Fully Integrated Data Environments (FIDE) projects which had the goal of substantially improving the quality of complex application systems while massively reducing the...

ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences...

Computer Vision has now reached a level of maturity that allows us not only to perform research on individual methods but also to build fully integrated computer vision systems of a signi cant complexity. This opens up a number...

This book constitutes the strictly refereed post-workshop proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES '98, held in Montreal, Canada, in June 1998.The 19 revised papers...

This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998.The 23 revised full papers presented together...

This book constitutes the refereed proceedings of the 6th European Conference on Software Engineering, FSE '97, held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE '97 in Zurich,...

This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, Qlisp at Stanford, Lucid and Parcel at Illinois,...

The broad objective of this conference series is to bring business, industry and researchers together to consider the current activities and future potential of artificial intelligence, encompassing both practical and ...

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and ...

Computer aided systems theory is urgently needed for the design of software for CAD. New generation workstations together with the methods and tools of artificial intelligence allow the implementation of the powerful ...

Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. The initiative for...

This Lecture Notes volume is based on the "International Workshop on High Performance Transaction Systems" held in the Asilomar Conference Center, September 28-30, 1987. Many of the problems identified during the workshop are...

This report examines the findings of a study by Bell Atlantic, IBM, and Siemens which investigated the role of the Intelligent Network in telecommunications. It considers current trends and future developments, on a national...

This book constitutes the refereed proceedings of the Second Asian Internet Engineering Conference, AINTEC 2006, held in Pathumthani, Thailand, in November 2006. The 12 revised full papers presented together with 5 invited...

This book constitutes the refereed proceedings of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2006, held in Dallas, TX, USA in November 2006. The 36 revised full papers and...

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full...

This volume presents two regular revised papers, a guest editors' introduction, and six papers in a special section that have been through a careful peer reviewing process by the journal's Editorial Board. Besides a wide range...

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on the Quality of Software Architectures, QoSA 2006, held in Västerås, Sweden in June 2006, co-located with the 9th...

Ubiquitous computing is coming of age. In the few short years of the lifetime of this conference, we have seen major changes in our emerging research community. When the conference started in 1999, as Handheld and Ubiquitous...

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains.Based...

Thefastevolutionandtheincreasedpervasivenessofcomputersandcom- nicationnetworkshaveledtothedevelopmentofalargevarietyofcomplex applicationsandserviceswhichhavebecomeanintegralpartofourdailylives. ...

This book constitutes the refereed proceedings of the two thematic workshops held jointly with Networking 2002: WEB Engineering and Peer-to-Peer C- puting. Networking 2002 was organized by the Italian National Research Council...

This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.The 27 revised papers presented together...

Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e.g. of a controller. Even if timing is not essential...

This thesis is a summary of my work as a research assistant in the Computer Engineering Research Group of the Computer Science Department at Brandenburg Technical University, Cottbus, Germany. It embraces the concepts,...

The argument for performance engineering methods to be employed in comput- communication systems has always been that such systems cannot be designed or modi?ed e?ciently without recourse to some form of predictive model, just...

Future processorswill become smaller, provide higher performance, and consume lesspowerthantoday'sdevices.Suchprocessorswillsparko?newapplicationsin particularintheareaofeverydayconsumerdevices.Personaldigitalassistants, mobile...

Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources...

This volume contains the proceedings of EMSOFT 2001, the First International Workshop on Embedded Software. The workshop was organized October 8-10, 2001, at Tahoe City, California. The steering committee of the workshop has...

Physicalsystemswhichrightthemselvesafterbeingdisturbedevokeourcuriosity becausewe wantto understand howsuchsystemsareableto reactto unexpected stimuli. Themechanismsareallthe morefascinatingwhensystemsarecomposed of small,...

The E-smart 2001 international conference on research in smart cards was held in Cannes, France on 19-21 September. The conference was jointlyorganized bythe Java Card Forum, Eurosmart and INRIA, and received helpful ?nancial...

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...