ilość książek w kategorii: 2446
![]() |
Real-Time Systems: Modeling, Design and Applications
ISBN: 9789810244248 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical aspects of real-time systems, verification methods, synthesis methods, extensions to formal languages, tools, and industrial applications.
Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical...
|
cena:
986,44 |
![]() |
Software Engineering of Fault Tolerant Systems
ISBN: 9789812705037 / Angielski / Twarda / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the solutions are usually commissioned late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the error recovery effectiveness. Since the system design typically models only normal behaviors of the system while ignoring exceptional ones, the generated system implementation is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to...
When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the s...
|
cena:
731,25 |
![]() |
Computer-Aided Specification Techniques
ISBN: 9789971978532 / Angielski / Twarda / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
353,36 |
![]() |
Parallel Lisp: Languages and Systems: Us/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
ISBN: 9783540527824 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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, PaiLisp at Tohoku University, Multiprocessor Lisp on TOP-1 at IBM Tokyo research, and concurrent programming in TAO. Most papers present languages and systems of Parallel Lisp and are in particular concerned with language constructs of Parallel Lisp and their meanings from the standpoint of implementing Parallel Lisp systems; some important technical issues such as...
This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes M...
|
cena:
202,66 |
![]() |
Cmm(r) Handbuch: Das Capability Maturity Model(r) Für Software
ISBN: 9783540677710 / Niemiecki / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses verst ndliche Handbuch gibt einen fundierten berblick ber das Capability Maturity Model (CMM) des Software Engineering Instituts (SEI).
Das CMM ist ein Modell, das h ufig bei der Software-Prozessverbesserung verwendet wird. Es ist stark abstrahiert, um eine Anwendung bei den meisten Software-Entwicklungsprozessen zu erm glichen. Dieses Handbuch macht das CMM all jenen zug nglich, die sein Konzept untersuchen und verstehen m chten. Piktogramme und verst ndliche Erkl rungen erm glichen dem Leser die effiziente Umsetzung des CMM bei den Schl sselprozessbereichen. Dieses verst ndliche Handbuch gibt einen fundierten berblick ber das Capability Maturity Model (CMM) des Software Engineering Instituts (SEI).
Das ... |
cena:
208,34 |
![]() |
Trends in Enterprise Application Architecture: 2nd International Conference, Teaa 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selct
ISBN: 9783540759119 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture, TEAA 2006. It identifies issues in enterprise application architecture and proposes as well as evaluates a solution. Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, data integration, enterprise grid computing, load balancing, and enterprise component platforms. This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture,... |
cena:
202,66 |
![]() |
Secure Integrated Circuits and Systems
ISBN: 9780387718279 / Angielski / Twarda / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. On any advanced integrated circuit or "system-on-chip" there is a need for security. In many applications the actual implementation has become the weakest link in security rather than the algorithms or protocols. The purpose of the book is to give the integrated circuits and systems designer an insight into the basics of security and cryptography from the implementation point of view. As a designer of integrated circuits and systems it is important to know both the state-of-the-art attacks as well as the countermeasures. Optimizing for security is different from optimizations for speed,... On any advanced integrated circuit or "system-on-chip" there is a need for security. In many applications the actual implementation has become the ... |
cena:
405,36 |
![]() |
Guide to Advanced Empirical Software Engineering
ISBN: 9781848000438 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Empirical studies have become an important part of software engineering research and practice. Ten years ago, it was rare to see a conference or journal article about a software development tool or process that had empirical data to back up the claims. Today, in contrast, it is becoming more and more common that software engineering conferences and journals are not only publishing, but eliciting, articles that describe a study or evaluation. Moreover, a very successful conference (International Symposium on Empirical Software Engineering and Measurement), journal (Empirical Software...
Empirical studies have become an important part of software engineering research and practice. Ten years ago, it was rare to see a conference or journ...
|
cena:
689,15 |
![]() |
Improvements in System Safety: Proceedings of the Sixteenth Safety-Critical Systems Symposium, Bristol, Uk, 5-7 February 2008
ISBN: 9781848000995 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008. The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the papers included in this volume offer a wide-ranging coverage of major safety issues as well as a good blend of academic research and industrial experience. They include discussions of some of the most recent developments in the field. The book begins with a tutorial examining... Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, ... |
cena:
608,07 |
![]() |
Information Processing in Sensor Networks: Second International Workshop, Ipsn 2003, Palo Alto, Ca, Usa, April 22-23, 2003, Proceedings
ISBN: 9783540021117 / Angielski / Miękka / 684 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the Proceedings of the 2nd International Workshop on Information Processing in Sensor Networks (IPSN 2003). The workshop was held at the Palo Alto Research Center (PARC), Palo Alto, California, on April 22-23, 2003. Informationprocessinginsensornetworksisaninterdisciplinaryresearcharea with deep connections to signal processing, networking and protocols, databases and information management, as well as distributed algorithms. Because of - vances in MEMS microsensors, wireless networking, and embedded processing, ad hoc networks of sensors are becoming increasingly...
This volume contains the Proceedings of the 2nd International Workshop on Information Processing in Sensor Networks (IPSN 2003). The workshop was held...
|
cena:
405,36 |
![]() |
Algebraic System Specification and Development
ISBN: 9783540540601 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond software to the development...
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issu...
|
cena:
202,66 |
![]() |
Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings
ISBN: 9783540547426 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, developers and users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering research in recent years, stimulated, for example, through major European research programmes. The papers in these proceedings cover a broad range of themes, such as formal methods and practical experiences with them, special techniques for...
This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, deve...
|
cena:
202,66 |
![]() |
Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings
ISBN: 9783540604068 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995.
The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods,... This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in Septembe...
|
cena:
202,66 |
![]() |
Performance Evaluation of Computer and Communication Systems
ISBN: 9783540572978 / Angielski / Miękka / 680 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the complete set of tutorial paperspresented at the 16th IFIP (International Federation forInformation Processing) Working Group 7. 3 InternationalSymposium on Computer Performance Modelling, Measurement andEvaluation, and a number of tutorial papers presented at the1993 ACM (Association for Computing Machinery) SpecialInterest Group METRICS Conference on Measurement andModeling of Computer Systems. The principal goal of the volume is to present an overviewof recent results in the field of modeling and performanceevaluation of computer and communication systems. The...
This volume contains the complete set of tutorial paperspresented at the 16th IFIP (International Federation forInformation Processing) Working Group ...
|
cena:
405,36 |
![]() |
Algebraic Methodology and Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings
ISBN: 9783540600435 / Angielski / Miękka / 597 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.
It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and... This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada...
|
cena:
405,36 |
![]() |
Models in System Design
ISBN: 9780792398745 / Angielski / Twarda / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Models in System Design tracks the general trend in electronics in terms of size, complexity and difficulty of maintenance. System design is by nature combined with prototyping, mixed domain design, and verification, and it is no surprise that today's modeling and models are used in various levels of system design and verification. In order to deal with constraints induced by volume and complexity, new methods and techniques have been defined. Models in System Design provides an overview of the latest modeling techniques for use by system designers.
The first part of... Models in System Design tracks the general trend in electronics in terms of size, complexity and difficulty of maintenance. System design is ...
|
cena:
1073,96 |
![]() |
Pulling Strings with Puppet: Configuration Management Made Easy
ISBN: 9781590599785 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Competent system administrators know their success hinges upon being able to perform often tedious tasks with rigor and punctuality. Such metrics are often achieved only by instituting a considerable degree of automation, something that has become even more crucial as IT environments continue to scale both in terms of size and complexity. One of the most powerful system administration tools to be released is Puppet, a solution capable of automating nearly every aspect of a system administrator's job, from user management, to software installation, to even configuring server services such... Competent system administrators know their success hinges upon being able to perform often tedious tasks with rigor and punctuality. Such metrics a... |
cena:
133,74 |
![]() |
Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 199
ISBN: 9783540631149 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 1997.
The 25 revised full papers presented were carefully selected for inclusion by the program committee. All current issues explored in the Ada community are addressed; beyond the Ada language aspects, software engineering technologies for reliable and for reactive systems are discussed in a more general context. This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, ...
|
cena:
202,66 |
![]() |
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas'99, Held as Part of the Joint European Conferenc
ISBN: 9783540657033 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. 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...
|
cena:
202,66 |
![]() |
Cyberspace Security and Defense: Research Issues: Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issu
ISBN: 9781402033803 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Cyberspace security is a critical subject of our times. On one hand the development of Internet, mobile communications, distributed computing, computer software and databases storing essential enterprise information has helped to conduct business and personal communication between individual people. On the other hand it has created many opportunities for abuse, fraud and expensive damage. This book is a selection of the best papers presented at the NATO Advanced Research Workshop dealing with the Subject of Cyberspace Security and Defense. The level of the individual contributions... Cyberspace security is a critical subject of our times. On one hand the development of Internet, mobile communications, distributed computi... |
cena:
405,36 |