Page 43
Page 43
Architecture of computing systems - ARCS 2008 ; 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008.
Architecture description languages ; IFIP TC-2 workshop on architecture description languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
These proceedings record the papers presented at the Workshop onArchitecture Description Languages held in the city of Toulouse in thesouth of France.The aim of an ADL (Architecture Description Language) is to formallydescribe software and hardware architectures. Usually, an ADL describescomponents, their interfaces, their structures, their interactions (structureof data flow and control flow) and the mappings to hardware systems. Amajor goal of such descriptions is to allow analysis with respect to severalaspects like timing, safety, reliability, ...
Architectural structures : Visualizing load flow geometrically
Presents an alternative approach to understanding structural engineering load flow using a visually engaging and three-dimensional format. This book presents a ground-breaking new way of establishing equilibrium in architectural structures using the Modern Müller-Breslau method. Includes approachable coverage of parametric modeling of two-dimensional and three-dimensional structures, as well as more advanced topics such as indeterminate structural analysis and plastic analysis. Hundreds of detailed drawings created by the author are included throughout to aid understanding. Architecture and structural engineering students can employ this novel method by hand sketching, or by programming in parametric design software.
Architectonics and parametric thinking : computational modeling for beginning design
Architectonics and Parametric Thinking begins by clearly positioning the potentials of parametric design through a series of chapters written by leaders in their respective industries. This helps to situate the vast potential of parametric softwares, allowing the reader to understand the full range of what is made possible by working computationally. Following this theoretical introduction, the book presents a manual that walks readers through the step-by-step construction of parametric modeling scripts built through an architectonic lens using clear, compelling diagrams.
Architecting Systems with Trustworthy Components ; International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.
Architecting dependable systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.
Architecting dependable systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. It also contains sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.
Architecting dependable systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability
Approximation and Online Algorithms ; 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers
The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for online and computationally hard problems.
Applied Statistics Using SPSS, STATISTICA, MATLAB and R
The book provides a comprehensive coverage of the main statistical analysis topics important for practical applications such as data description, statistical inference, classification and regression, factor analysis, survival data and directional statistics.
Applied Reliability and Quality : Fundamentals, Methods and Procedures
"Reliability and quality professionals need to know about each other's work activities because this may help them - directly or indirectly - to perform their tasks more effectively. Applied Reliability and Quality: Fundamentals, Methods and Procedures meets the need for a single volume that considers applied areas of both reliability and quality. Before now, there has not been one book that covers both applied reliability and quality; so to gain knowledge of each other's specialties, these people had to study various books, articles, or reports on each area."
Applied Rasch Measurement : A Book of Exemplars : Papers in Honour of John P. Keeves
While the primary purpose of the book is a celebration of John’s contributions to the field of measurement, a second and related purpose is to provide a useful resource. We believe that the combination of the developmental history and theory of the method, the examples of its use in practice, some possible future directions, and software and data files will make this book a valuable resource for teachers and scholars of the Rasch method. This book is a tribute to Professor John P Keeves for the advocacy of the Rasch model in Australia.
Applied Informatics; Third International Conference, ICAI 2020, Ota, Nigeria, October 29–31, 2020, Proceedings
This book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI 2020, held in Ota, Nigeria, in October 2020. The 35 full papers were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on artificial intelligence; business process management; cloud computing; data analysis; decision systems; health care information systems; human-computer interaction; image processing; learning management systems; software design engineering.
Applied cryptography and network security Workshops ; ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings
This book constitutes the proceedings of the satellite workshops held around the 18th International Conference on Applied Cryptography and Network Security, ACNS 2020, in Rome, Italy, in October 2020.
Applied Bioinformatics : An Introduction
In this book, anyone who can operate a PC, standard software and the Internet will learn to understand the biological basis of bioinformatics of the existence as well as the source and availability of bioinformatics software how to apply these tools and interpret results with confidence.This is aided by introductory chapters to important aspects of bioinformatics, detailed bioinformatics exercises, including solutions and a glossary of definitions and terminology relating to bioinformatics.
Applied and computational mathematics for digital environments
Contains the 11 papers that were accepted and published in the Special Issue “Applied and Computational Mathematics for Digital Environments” of the MDPI Mathematics journal. The topics of interest include, among others, scientific research, applied tasks, and problems in the following areas: The construction of mathematical and information models of intelligent computer systems for monitoring and controlling the parameters of digital environments; The development of intelligent optimization algorithms that search for optimal parameter values of mathematical and information models in digital environments; Software and mathematical technologies in the implementation of intelligent monitoring and computer control of the parameters of digital environments; The development and application of mathematical and information models, machine learning methods, and artificial intelligence for the analysis and processing of big data in digital environments.
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
Applications of Graph Transformations with Industrial Relevance ; 3rd International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007.
Applications of Agent Technology in Traffic and Transportation
Building effective and user-friendly transportation systems is one of the big challenges for engineers in the 21st century. There is an increasing need to understand, model, and govern such systems at both the individual (micro) and the society (macro) level. Still, this raises significant technical problems, as transportation systems may contain thousands of autonomous, "intelligent" entities that need to be simulated and/or controlled. Therefore, traffic and transportation scenarios are extraordinarily appealing for Distributed Artificial Intelligence, and (multi-) agent technology in particular. This book gives an overview of recent advances in agent-based transportation systems. It includes both a state-of-the-art survey and reports on cutting-edge research in the field.
Applications and Usability of Interactive TV; 8th Iberoamerican Conference, jAUTI 2019, Rio de Janeiro, Brazil, October 29–November 1, 2019, Revised Selected Papers
This book constitutes the refereed proceedings of the 8th Iberoamerican Conference on Applications and Usability of Interactive Television, jAUTI 2019, in Rio de Janeiro, Brazil, in October 2019. The 10 full papers presented were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on Design and Development; Second Screen and Crossmedia; Interaction Techniques and Technologies; Accessibility; User Experience.
