ilość książek w kategorii: 2224
Transactions on Aspect-Oriented Software Development II: Focus: Aop Systems, Software and Middleware
ISBN: 9783540488903 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 of topics from software design to implementation of aspect-oriented languages, the six papers of the special section concentrate on AOP systems, software and middleware. This volume presents two regular revised papers, a guest editors' introduction, and six papers in a special section that have been through a carefu... |
|
cena:
195,42 zł |
Technologies for Advanced Heterogeneous Networks II: Second Asian Internet Engineering Conference, Aintec 2006, Pathumthani, Thailand, November 28-30,
ISBN: 9783540493648 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 papers are organized in topical sections on service architecture, multicast, performance in WLAN, routing, and multihoming in mobile networks. This book constitutes the refereed proceedings of the Second Asian Internet Engineering Conference, AINTEC 2006, held in Pathumthani, Thailand, in ... |
|
cena:
195,42 zł |
Principles of Distributed Systems: 10th International Conference, Opodis 2006, Bordeaux, France, December 12-15, 2006, Proceedings
ISBN: 9783540499909 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, OPODIS 2006, held at Bordeaux, France, in December 2006. The 28 revised full papers presented together with two invited talks address all current issues in theory, specification, design and implementation of distributed and embedded systems. This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, OPODIS 2006, held at Bord... |
|
cena:
195,42 zł |
Parallel and Distributed Processing and Applications: 4th International Symposium, Ispa 2006, Sorrento, Italy, December 4-6, 2006, Proceedings
ISBN: 9783540680673 / Angielski / Miękka / 953 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2006, held in Sorrento, Italy in November 2006. The 79 revised full papers presented together with five keynote speeches cover architectures, networks, languages, algorithms, middleware, cooperative computing, software, and applications. This book constitutes the refereed proceedings of the 4th International Symposium on Parallel and Distributed Processing and Applications, ISPA 200... |
|
cena:
390,87 zł |
Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, Jun
ISBN: 9783540732297 / Angielski / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 12th International Conference on Reliable Software Technologies, Ada-Europe 2007, held in Geneva, Switzerland, in June 2007. This book presents 18 revised full papers that were reviewed and selected from numerous submissions.
Constitutes the refereed proceedings of the 12th International Conference on Reliable Software Technologies, Ada-Europe 2007, held in Geneva, Switzerl...
|
|
cena:
195,42 zł |
Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
ISBN: 9783540737698 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of discovering bugs. These two paths to software reliability seem to diverge from the very start: if you have proved your program correct, it is fruitless to comb it for bugs; and if you are testing it, that surely must be a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using...
To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run ...
|
|
cena:
195,42 zł |
Computer Performance Evaluation and Benchmarking: Spec Benchmark Workshop 2009, Austin, Tx, Usa, January 25, 2009, Proceedings
ISBN: 9783540937982 / Angielski / Miękka / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thisvolumecontainsthesetofpaperspresentedatthe SPECBenchmarkWo- shop 2009 held January 25 in Austin, Texas, USA. The program included eight refereed papers, a keynote talk on virtualization technology benchmarking, an invited paper on power benchmarking and a panel on multi-core benchmarking. EachrefereedpaperwasreviewedbyatleastfourProgramCommitteemembers. The result is a collection of high-quality papers discussing current issues in the area of benchmarking research and technology. A number of people contributed to the success of this workshop.Rudi Eig- mann served as General Chair and ably...
Thisvolumecontainsthesetofpaperspresentedatthe SPECBenchmarkWo- shop 2009 held January 25 in Austin, Texas, USA. The program included eight refereed p...
|
|
cena:
195,42 zł |
System-Level Synthesis
ISBN: 9780792357490 / Angielski / Miękka / 435 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System-Level Synthesis deals with the concurrent design of electronic applications, including both hardware and software. The issue has become the bottleneck in the design of electronic systems, including both hardware and software, in several major industrial fields, including telecommunications, automotive and aerospace engineering. The major difficulty with the subject is that it demands contributions from several research fields, including system specification, system architecture, hardware design, and software design. Most existing book cover well only a few aspects of...
System-Level Synthesis deals with the concurrent design of electronic applications, including both hardware and software. The issue has becom...
|
|
cena:
390,87 zł |
Hardware-Dependent Software: Principles and Practice
ISBN: 9781402094354 / Angielski / Twarda / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Despite its importance, the role of HdS is most often underestimated and the topic is not well represented in literature and education. To address this, Hardware-dependent Software brings together experts from different HdS areas. By providing a comprehensive overview of general HdS principles, tools, and applications, this book provides adequate insight into the current technology and upcoming developments in the domain of HdS. The reader will find an interesting text book with self-contained introductions to the principles of Real-Time Operating Systems (RTOS), the emerging BIOS... Despite its importance, the role of HdS is most often underestimated and the topic is not well represented in literature and education. To address ... |
|
cena:
390,87 zł |
Interactive Storytelling
ISBN: 9783540894247 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains scientific papers and case studies presented at Interactive Sto- telling 08: The First Joint International Conference on Interactive Digital Storytelling (ICIDS), held November 26 29, 2008, in Erfurt, Germany. Interactive Digital Storytelling (IDS) is a cross-disciplinary topic, which explores new uses of interactive technologies for creating and experiencing narratives. IDS is also a huge step forward in games and learning. This can be seen through its ability to enrich virtual characters with intelligent behavior, to allow collaboration of humans and machines in the...
This volume contains scientific papers and case studies presented at Interactive Sto- telling 08: The First Joint International Conference on Interact...
|
|
cena:
195,42 zł |
Bridging the Communication Gap: Specification by Example and Agile Acceptance Testing
ISBN: 9780955683619 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Bridging the Communication Gap is a book about improving communication between customers, business analysts, developers and testers on software projects, especially by using specification by example and agile acceptance testing. These two key emerging software development practices can significantly improve the chances of success of a software project. They ensure that all project participants speak the same language, and build a shared and consistent understanding of the domain. This leads to better specifications, flushes out incorrect assumptions and ensures that functional gaps are...
Bridging the Communication Gap is a book about improving communication between customers, business analysts, developers and testers on software projec...
|
|
cena:
174,68 zł |
Embedded and Ubiquitous Computing - Euc 2005: International Conference Euc 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings
ISBN: 9783540308072 / Angielski / Miękka / 1204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of the 2005 IFIP International Conference on - bedded and Ubiquitous Computing (EUC 2005), which was held in Nagasaki, Japan, December 6 9, 2005. Embedded and ubiquitous computing is emerging rapidly as an exciting new paradigm to provide computing and communication services all the time, - erywhere. Its systems are now pervading every aspect of life to the point that they are hidden inside various appliances or can be worn unobtrusively as part of clothing and jewelry. This emergence is a natural outcome of research and technological advances in embedded systems,...
Welcome to the proceedings of the 2005 IFIP International Conference on - bedded and Ubiquitous Computing (EUC 2005), which was held in Nagasaki, Japa...
|
|
cena:
586,33 zł |
System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
ISBN: 9783540683711 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of development languages, model-driven development, and language implementation. This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern... |
|
cena:
195,42 zł |
Quality of Software Architectures: Second International Conference on Quality of Software Architectures, Qosa 2006, Västeras, Schweden, June 27-29, 20
ISBN: 9783540488194 / Angielski / Miękka / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although the quality of a system s software architecture is one of the critical factors in its overall quality, the architecture is simply a means to an end, the end being the implemented system. Thus the ultimate measure of the quality of the software architecture lies in the implemented system, in how well it satis?es the system and project requirements and constraints and whether it can be maintained and evolved successfully. In order to treat design as a science rather thananart, weneedtobeabletoaddressthequalityofthesoftwarearchitecture directly, not simply as it is re?ected in the...
Although the quality of a system s software architecture is one of the critical factors in its overall quality, the architecture is simply a means to ...
|
|
cena:
195,42 zł |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
ISBN: 9783540336891 / Angielski / Miękka / 173 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices. This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interope... |
|
cena:
195,42 zł |
Utility-Based Learning from Data
ISBN: 9781584886228 / Angielski / Twarda / 417 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Utility-Based Learning from Data provides a pedagogical, self-contained discussion of probability estimation methods via a coherent approach from the viewpoint of a decision maker who acts in an uncertain environment. This approach is motivated by the idea that probabilistic models are usually not learned for their own sake; rather, they are used to make decisions. Specifically, the authors adopt the point of view of a decision maker who (i) operates in an uncertain environment where the consequences of every possible outcome are explicitly monetized, Utility-Based Learning from Data provides a pedagogical, self-contained discussion of probability estimation methods via a coheren... |
|
cena:
550,92 zł |
Advances in Information Systems Development 2-Volume Set: Bridging the Gap Between Academia and Industry
ISBN: 9780387308340 / Angielski / Twarda / 1052 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances in Information Systems Development: Bridging the Gap between Academia and Industry, Volumes 1 and 2, are the collected proceedings of the Fourteenth International Conference on Information Systems Development: Methods and Tools, Theory and Practice ISD 2005 Conference. These latest volumes on Information Systems Development examine the exchange of ideas between academia and industry and aims to explore new solutions. The field of Information Systems Development (ISD) progresses rapidly, continually creating new challenges for the professionals involved. New concepts,... Advances in Information Systems Development: Bridging the Gap between Academia and Industry, Volumes 1 and 2, are the collected proceedings of the ... |
|
cena:
781,79 zł |
Quality Assurance of Agent-Based and Self-Managed Systems
ISBN: 9781439812662 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The challenges in implementing intelligent and autonomous software systems remain the development of self-adapting systems, self-healing applications, corporate global creation, and collaborated robotic teams. With software agent technology widely recognized as a key approach in implementing such global infrastructure, the importance of the role of quality assurance of agent-based systems and system development is growing daily. Based on the authors more than fifteen years of experience in software agent technology, Quality of Agent-Based and Self-Managed... The challenges in implementing intelligent and autonomous software systems remain the development of self-adapting systems, self-healing applicatio... |
|
cena:
603,39 zł |
Network Control and Optimization: Second EuroFGI Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008, Revised Selected Papers
ISBN: 9783642003929 / Angielski / Miękka / 131 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second Euro-NF International Conference, NET-COOP 2008 held in Paris, France, in September 2008. The 13 revised full papers presented were carefully reviewed and selected from a total of 27 submissions. The papers are organized in topical sections on economics and peer-to-peer networks; routing and measurements; scheduling; tcp and congestion control; as well as wireless networks.
This book constitutes the refereed proceedings of the Second Euro-NF International Conference, NET-COOP 2008 held in Paris, France, in September 2008....
|
|
cena:
195,42 zł |
Architecture of Computing Systems - ARCS 2009: 22nd International Conference, Delft, the Netherlands, March 10-13, 2009, Proceedings
ISBN: 9783642004537 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing Systems, ARCS 2009, held in Delft, The Netherlands, in March 2009. The 21 revised full papers presented together with 3 keynote papers were carefully reviewed and selected from 57 submissions. This year's special focus is set on energy awareness. The papers are organized in topical sections on compilation technologies, reconfigurable hardware and applications, massive parallel architectures, organic computing, memory architectures, enery awareness, Java processing, and chip-level...
This book constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing Systems, ARCS 2009, held in Delft, Th...
|
|
cena:
195,42 zł |