Critical Components and Certified Software
Author: United States. Department of the Air Force
Publisher:
Published: 1987
Total Pages: 42
ISBN-13:
DOWNLOAD EBOOKPosts
Testing and Quality Assurance for Component-based Software
Author: Jerry Gao
Publisher: Artech House
Published: 2003
Total Pages: 476
ISBN-13: 9781580537353
DOWNLOAD EBOOKFrom the basics to the most advanced quality of service (QoS) concepts, this all encompassing, first-of-its-kind book offers an in-depth understanding of the latest technical issues raised by the emergence of new types, classes and qualities of Internet services. The book provides end-to-end QoS guidance for real time multimedia communications over the Internet. It offers you a multiplicity of hands-on examples and simulation script support, and shows you where and when it is preferable to use these techniques for QoS support in networks and Internet traffic with widely varying characteristics and demand profiles. This practical resource discusses key standards and protocols, including real-time transport, resource reservation, and integrated and differentiated service models, policy based management, and mobile/wireless QoS. The book features numerous examples, simulation results and graphs that illustrate important concepts, and pseudo codes are used to explain algorithms. Case studies, based on freely available Linux/FreeBSD systems, are presented to show you how to build networks supporting Quality of Service. Online support material including presentation foils, lab exercises and additional exercises are available to text adopters.
Certifying Software Component Performance Specifications
Author: Groenda, Henning
Publisher: KIT Scientific Publishing
Published: 2014-07-30
Total Pages: 502
ISBN-13: 3731500809
DOWNLOAD EBOOKIn component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.
Aircraft Certification
Author: United States. General Accounting Office
Publisher:
Published: 1993
Total Pages: 80
ISBN-13:
DOWNLOAD EBOOKThe Air Force Nuclear Safety Certification Program
Author: United States. Department of the Air Force
Publisher:
Published: 1984
Total Pages: 8
ISBN-13:
DOWNLOAD EBOOKSafe and Secure Software Reuse
Author: John Favaro
Publisher: Springer
Published: 2013-06-12
Total Pages: 374
ISBN-13: 3642389775
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy, in June 2013. The 27 papers (18 full and 9 short papers) presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on feature modeling and variability analysis; reuse and testing; architecture and reuse; analysis for reuse; reuse and patterns, short papers, emerging ideas and trends.
Software Engineering with Reusable Components
Author: Johannes Sametinger
Publisher: Springer Science & Business Media
Published: 2013-04-17
Total Pages: 275
ISBN-13: 3662033453
DOWNLOAD EBOOKThe book provides a clear understanding of what software reuse is, where the problems are, what benefits to expect, the activities, and its different forms. The reader is also given an overview of what sofware components are, different kinds of components and compositions, a taxonomy thereof, and examples of successful component reuse. An introduction to software engineering and software process models is also provided.
Software-Intensive Systems and New Computing Paradigms
Author: Martin Wirsing
Publisher: Springer
Published: 2008-11-14
Total Pages: 275
ISBN-13: 3540894373
DOWNLOAD EBOOKThis volume presents results of three workshops of the InterLink working group, setup by the EU to look at software-intensive systems and novel computing paradigms. It covers ensemble engineering, theory and formal methods, and novel computing paradigms.
Information Science and Applications
Author: Kuinam J. Kim
Publisher: Springer
Published: 2015-02-17
Total Pages: 1087
ISBN-13: 3662465787
DOWNLOAD EBOOKThis proceedings volume provides a snapshot of the latest issues encountered in technical convergence and convergences of security technology. It explores how information science is core to most current research, industrial and commercial activities and consists of contributions covering topics including Ubiquitous Computing, Networks and Information Systems, Multimedia and Visualization, Middleware and Operating Systems, Security and Privacy, Data Mining and Artificial Intelligence, Software Engineering, and Web Technology. The proceedings introduce the most recent information technology and ideas, applications and problems related to technology convergence, illustrated through case studies, and reviews converging existing security techniques. Through this volume, readers will gain an understanding of the current state-of-the-art in information strategies and technologies of convergence security. The intended readership are researchers in academia, industry, and other research institutes focusing on information science and technology.
Trustworthy Global Computing
Author: Martin Wirsing
Publisher: Springer
Published: 2010-09-15
Total Pages: 389
ISBN-13: 3642156401
DOWNLOAD EBOOKGlobal computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.
