الصفحة 14
الصفحة 14
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, ...
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.
Applied Stochastic Control of Jump Diffusions
The main purpose of the book is to give a rigorous, yet mostly nontechnical, introduction to the most important and useful solution methods of various types of stochastic control problems for jump diffusionsThe types of control problems covered include classical stochastic control, optimal stopping, impulse control and singular control. Both the dynamic programming method and the maximum principle method are discussed, as well as the relation between them. Corresponding verification theorems involving the Hamilton-Jacobi Bellman equation and/or (quasi-)variational inequalities are formulated. There are also chapters on the viscosity solution formulation and numerical methods.The text emphasises applications, mostly to finance. All the main results are illustrated by examples and exercises appear at the end of each chapter with complete solutions. This will help the reader understand the theory and see how to apply it.The book assumes some basic knowledge of stochastic analysis, measure theory and partial differential equations.
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 and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.
Application and Theory of Petri Nets 2002 ; 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002. The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed, in particular concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, wireless transaction protocols.
Anti-Spam Measures : Analysis and Design
The goal of this book is the methodical analysis of the potential, limitations, advantages, and drawbacks of anti-spam measures. These determine to which extent the measures can contribute to the reduction of spam in the long run. The range of considered anti-spam measures includes legislative, organizational, behavioral and technological ones. Furthermore, the conceptual development and analysis of an infrastructural email framework that features such a complementary application, is pointed out. The technological and organizational facets, the framework is analyzed twofold: its theoretical effectiveness is assessed with the aid of the formal model mentioned above, its storage and traffic requirements are analyzed quantitatively.
Analysis of failure in fiber polymer laminates : the theory of Alfred Puck
This book presents for the first time comprehensively the Theory of Alfred Puck on failure in Fiber Polymer Laminates. After a brief introduction into the failure analysis of laminates and its history, the text focuses first on Puck’s fracture criteria and gives detailed information on their physical background, mathematical derivation and application. Another core part of Puck’s Theory is his concept for Post Failure Analysis. Here, too, the physical background and the analytical procedure are presented. The theoretical chapters are completed by the presentation of the latest developments, namely the consideration of residual stresses and probabilistic effects. The second main part of the book deals with the extensive experimental verification program which has been accomplished since the mid 1990’s. As a result of this work, the Puck Theory can be regarded as better verified than any other theory. All experimental set ups and the major results are presented and explained.
Analog Circuit Design : RF Circuits : Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage
Analog Circuit Design contains the contribution of 18 tutorials of the 14th workshop on Advances in Analog Circuit Design. Each part discusses a specific todate topic on new and valuable design ideas in the area of analog circuit design. Each part is presented by six experts in that field and state of the art information is shared and overviewed. This book is number 14 in this successful series of Analog Circuit Design, providing valuable information and excellent overviews of analog circuit design, CAD and RF systems.
Algorithmic Foundation of Robotics VII : Selected Contributions of the 7th International Workshop on the Algorithmic Foundations of Robotics
This book contains the proceedings from the 2006 Workshop on the Algorithmic Foundations of Robotics. The 32 papers in this book span a wide variety of topics: from fundamental motion planning algorithms to applications in medicine and biology, but they have in common a foundation in the algorithmic problems of robotic systems.
Algebraic Methodology and Software Technology ; 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.
Algebraic Methodology and Software Technology ; 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) fve diferent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical efects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines.
Algebraic informatics ; 2nd International conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists
Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
Algebra and Coalgebra in Computer Science; First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers and practitio-ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coin-ductive methods; modal logics; relational systems and term rewriting.
Algebra and Coalgebra in Computer Science ; 2nd International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification.
Air Pollution Modeling and its Application XVII
This volume contains the papers and posters presented at the 27 NATO/CCMS International Technical Meeting on Air Pollution Modeling and Its Application held in Banff, Canada, 24-29 October 2004. The key topics at this ITM included: Role of Atmospheric Models in Air Pollution Policy and Abatement Strategies; Integrated Regional Modeling; Effects of Climate Change on Air Quality; Aerosols as Atmospheric Contaminants; New Developments; and Model Assessment and Verification. 104 participants from North and South America, Europe, Africa and Asia attended th the 27 ITM.
Air Pollution Modeling and Its Application XIX
The book is aimed at researchers and government policy makers who wish to keep abreast of the most recent developments in air pollution modelling and air quality issues. The book emphasizes the following key topics: 1. Local and urban scale modelling; 2. Regional and intercontinental modelling; 3. Data assimilation and air quality forecast; 4. Model assessment and verification; 5. Aerosols in the atmosphere; 6. Interactions between air quality and climate change; 7. Air quality and human health.
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
