Compositional Verification of Concurrent and Real-Time Systems
ISBN: 9781402070259 / Angielski / Twarda / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance...
With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many...
|
|
cena:
389,09 zł |
Design and Analysis of Distributed Embedded Systems: IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Can
ISBN: 9781402071560 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The market is steadily growing for embedded systems which are IT systems that realize a set of specific features for the end user in a given environment. Some examples are control systems in cars, airplanes or houses, information and communication devices such as digital TV and mobile phones, and autonomous systems such as service or edutainment robots. Due to steady improvements of production processes, each of those applications is now realized as a system-on-chip. Furthermore, on the hardware side, low-cost broadband communication media are the technological components essential in the...
The market is steadily growing for embedded systems which are IT systems that realize a set of specific features for the end user in a given environme...
|
|
cena:
583,65 zł |
Localized Quality of Service Routing for the Internet
ISBN: 9781402074776 / Angielski / Twarda / 107 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The exponential growth of Internet brings to focus the need to control such large scale networks so that they appear as coherent, almost intelligent, organ isms. It is a challenge to regulate such a complex network of heterogeneous elements with dynamically changing traffic conditions. To make such a sys tem reliable and manageable, the decision making should be decentralized. It is desirable to find simple local rules and strategies that can produce coherent and purposeful global behavior. Furthermore, these control mechanisms must be adaptive to effectively respond to continually varying...
The exponential growth of Internet brings to focus the need to control such large scale networks so that they appear as coherent, almost intelligent, ...
|
|
cena:
194,52 zł |
Analog Circuit Design: Fractional-N Synthesizers, Design for Robustness, Line and Bus Drivers
ISBN: 9781402075599 / Angielski / Twarda / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Number 12 in the successful series of Analog Circuit Design provides valuable information and excellent overviews of analogue circuit design, CAD and RF systems. The series is an ideal reference for those involved in analogue and mixed-signal design. Number 12 in the successful series of Analog Circuit Design provides valuable information and excellent overviews of analogue circuit design, CAD a... |
|
cena:
583,65 zł |
Understanding Wmi Scripting: Exploiting Microsoft's Windows Management Instrumentation in Mission-Critical Computing Infrastructures
ISBN: 9781555582661 / Angielski / Miękka / 580 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Understanding WMI Scripting explains to Windows and Exchange Administrators how they can use the Windows Management Instrumentation (WMI) scriptable technology available in these products to ease their day-to-day management tasks. Under Windows.NET and Exchange 2000 (SP2), Microsoft is making solid enhancements in WMI. This will dramatically extend the scripting and manageability capabilities of Windows and Exchange. Illustrated with more than three hundred samples, the book links practical problems encountered by administrators to applicable scriptable solutions. Lissoir focuses not on MI...
Understanding WMI Scripting explains to Windows and Exchange Administrators how they can use the Windows Management Instrumentation (WMI) scriptable t...
|
|
cena:
530,34 zł |
Web Services: Theory and Practice
ISBN: 9781555582821 / Angielski / Miękka / 371 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a soup-to-nuts reference guide on all aspects of Web Services - where Web Services is a fast emerging set of Internet-specific middleware technology to further promote the growth of all aspects of e-business via standardization, collaboration and "franchising." This book is best characterized as an executive brief for IT and senior management rather than a nuts-and-bolts technical guide for portal implementers. Think of it as the "Cliffs Notes on Web Services." Given this audience, the book consistently focuses on business needs, value propositions, ROI, proven solutions and actual...
This is a soup-to-nuts reference guide on all aspects of Web Services - where Web Services is a fast emerging set of Internet-specific middleware tech...
|
|
cena:
191,37 zł |
Distributed Algorithms
ISBN: 9781558603486 / Angielski / Twarda / 904 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers. Distributed Algorithms contains the most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting. The algorithms are proved correct, and their complexity is analyzed according to precisely defined complexity measures. The problems covered include resource allocation, communication,... In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs h... |
|
cena:
614,57 zł |
Understanding UML: The Developer's Guide
ISBN: 9781558604650 / Angielski / Miękka / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Unified Modeling Language (UML) is a third generation method for specifying, visualizing, and documenting an object-oriented system under development. It unifies the three leading object-oriented methods and others to serve as the basis for a common, stable, and expressive object-oriented development notation. As the complexity of software applications increases, so does the developer's need to design and analyze applications before developing them. This practical introduction to UML provides software developers with an overview of this powerful new design notation, and teaches Java...
The Unified Modeling Language (UML) is a third generation method for specifying, visualizing, and documenting an object-oriented system under developm...
|
|
cena:
482,13 zł |
Readings in Hardware/Software Co-Design
ISBN: 9781558607026 / Angielski / Miękka / 697 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded system designers are constantly looking for new tools and techniques to help satisfy the exploding demand for consumer information appliances and specialized industrial products. One critical barrier to the timely release of embedded system products is integrating the design of the hardware and software systems. Hardware/software co-design is a set of methodologies and techniques specifically created to support the concurrent design of both systems, effectively reducing multiple iterations and major redesigns. In addition to its critical role in the development of embedded... Embedded system designers are constantly looking for new tools and techniques to help satisfy the exploding demand for consumer information applian... |
|
cena:
747,62 zł |
Interconnection Networks
ISBN: 9781558608528 / Angielski / Twarda / 624 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
|
|
cena:
357,65 zł |
Handbook of Enterprise Systems Architecture in Practice
ISBN: 9781599041896 / Angielski / Twarda / 471 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This premier reference provides a comprehensive overview of practical aspects of enterprise architecture. It also includes a complete analysis of EA theory, concepts, strategies, implementation challenges, and case studies. The impact of effective EA on IT governance, IT portfolio management, IT risks, and IT outsourcing are also described.
This premier reference provides a comprehensive overview of practical aspects of enterprise architecture. It also includes a complete analysis of EA t...
|
|
cena:
944,74 zł |
Responsibility and Dependable Systems
ISBN: 9781846286254 / Angielski / Twarda / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book brings together for the first time two important features of a computer system that must be embedded in an organisational context. First comes responsibility, in other words, whether the computer system properly supports the organisational responsibilities that people are allocated. Second, the book examines dependability, which means whether the system supports those responsibilities in a trustworthy fashion. Aimed at researchers and doctoral students, the work pays particular attention to looking at what happens when things go wrong. This book brings together for the first time two important features of a computer system that must be embedded in an organisational context. First ... |
|
cena:
389,09 zł |
Constrained Control and Estimation: An Optimisation Approach
ISBN: 9781852335489 / Angielski / Twarda / 411 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a comprehensive treatment of the principles underlying optimal constrained control and estimation. The contents progress from optimisation theory, fixed-horizon discrete optimal control, receding-horizon implementations and stability conditions to explicit solutions and numerical algorithms, moving horizon estimation, and connections between constrained estimation and control. Several case studies and further developments illustrate and expand the core principles. Specific topics covered include: An overview of optimisation theory. Links to... This book provides a comprehensive treatment of the principles underlying optimal constrained control and estimation. The contents progress from op... |
|
cena:
583,65 zł |
Genetic and Evolutionary Computation -- Gecco 2004: Genetic and Evolutionary Computation Conference, Seattle, Wa, Usa, June 26-30, 2004 Proceedings, P
ISBN: 9783540223436 / Angielski / Miękka / 1448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. MostMOEAsuseadistancemetricorothercrowdingmethodinobjectivespaceinorder to maintain diversity for the non-dominated solutions on the Pareto optimal front. By ensuring diversity among the non-dominated solutions, it is possible to choose from a variety of solutions when attempting to solve a speci?c problem at hand. Supposewehavetwoobjectivefunctionsf (x)andf (x).Inthiscasewecande?ne 1 2 thedistancemetricastheEuclideandistanceinobjectivespacebetweentwoneighboring individuals and we thus obtain a distance given by 2 2 2 d (x, x )= f (x )?f (x )] + f (x )?f (x )] . (1) 1 2 1 1 1 2 2 1 2 2 f...
MostMOEAsuseadistancemetricorothercrowdingmethodinobjectivespaceinorder to maintain diversity for the non-dominated solutions on the Pareto optimal fr...
|
|
cena:
194,52 zł |
Genetic and Evolutionary Computation -- Gecco 2004: Genetic and Evolutionary Computation Conference Seattle, Wa, Usa, June 26-30, 2004, Proceedings, P
ISBN: 9783540223443 / Angielski / Miękka / 1448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004. The 230 revised full papers and 104 poster papers presented were carefully reviewed and selected from 460 submissions. The papers are organized in topical sections on artificial life, adaptive behavior, agents, and ant colony optimization; artificial immune systems, biological applications; coevolution; evolutionary robotics; evolution strategies and evolutionary programming; evolvable hardware; genetic... The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in ... |
|
cena:
194,52 zł |
Handbook on Architectures of Information Systems
ISBN: 9783540254720 / Angielski / Twarda / 896 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the first volume of a running series under the title Inter- tional Handbooks on Information Systems. The series is edited by Peter Bernus, Jacek Blazewicz, Gunter Schmidt and Mike Shaw. One objective is to give state of the art surveys on selected topics of information systems theory and applications. To this end, a distinguished international group of academics and practitioners are invited to provide a reference source not only for problem solvers in business, industry, and government but also for professional researchers and graduate students. It seemed appropriate to start...
This book is the first volume of a running series under the title Inter- tional Handbooks on Information Systems. The series is edited by Peter Bernus...
|
|
cena:
778,22 zł |
Web Engineering
ISBN: 9783540281962 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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... Since its original inception back in 1989 the Web has changed into an environment where Web applications range from small-scale information dissemi... |
|
cena:
194,52 zł |
High Performance Computing on Vector Systems 2005: Proceedings of the High Performance Computing Center Stuttgart, March 2005
ISBN: 9783540291244 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of vector-based systems and heterogeneous architectures. The application contributions include computational fluid dynamics, physics, chemistry, astrophysics, and biology. Innovative application fields like multiphysics simulations and material science are presented. The book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hard... |
|
cena:
389,09 zł |
High Performance Embedded Architectures and Compilers: First International Conference, Hipeac 2005, Barcelona, Spain, November 17-18, 2005, Proceeding
ISBN: 9783540303176 / Angielski / Miękka / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the First International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2005, held in 2005. The papers are organized in topical sections on analysis and evaluation techniques, novel memory and interconnect architectures, security architecture, and domain specific architectures.
Constitutes the refereed proceedings of the First International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2005, held...
|
|
cena:
194,52 zł |
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 16th International Workshop PATMOS 2006, Montpellier, Fr
ISBN: 9783540390947 / Angielski / Miękka / 700 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sponsorship and CEDA sponsorship. Over the years, the PATMOS workshop has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design methodologies, and tools required for the development of upcoming generations of integrated circuits and systems. The technical program of PATMOS 2006 contained state-of-the-art technical...
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sp...
|
|
cena:
389,09 zł |