Communication-Based Systems

Communication-Based Systems

Gunter Hommel

48,25 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2014
ISBN:
9789401596091
48,25 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

Performance Evaluation of Communication Based Systems.- GSPN Models of Dual-Band GSM Networks.- Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets.- Safe System-Level Diagnosis for Selected Fault Models.- Fault-Tolerance Mechanisms for a Parallel Programming System - A Responsiveness Perspective.- Foundations and Applications of Communication Based Systems.- Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Construction.- Compositional Specification of Distributed Systems by Distributed Graph Transformation.- Specifying, Analyzing and Programming Communication Systems in Maude.- Towards Dynamic Shaping.- A Personal, Historical Perspective of Parallel Programming for High Performance.- Distributed Environments for Communication Based Systems.- Automatic Distribution in Pangaea.- Multiphase Consensus Finding in Collaborative Problem Solving.- Efficient and Secure Information Sharing in Distributed, Collaborative Environments.- A Constraint Programming Framework for AI Planning.- Atomic Broadcast in a Byzantine Model.

Artículos relacionados

  • MATH DUDE’S QUICK AND DIRTY GUIDE T
    Jason Marshall
    ...
    Disponible

    20,74 €

  • Final Exam Review
    A. A. Frempong / AAFrempong
    Final Exam Review: Elementary Algebra covers the following: Signed Number and Real Number Operations; Order of Operations and Evaluation of Expressions; Exponential Notation and Rules of Exponents; Polynomial addition, subtraction, multiplication, and division; Solving First Degree Equations;Word Problems; Factoring Polynomials; Solving quadratic equations by factoring & applic...
    Disponible

    37,52 €

  • FUNCTION FIELD ARITHMETIC
    DINESH S THAKUR / THAKUR DINESH S
     This book provides an exposition of function field arithmetic with emphasis on recent developments concerning Drinfeld modules, the arithmetic of special values of transcendental functions (such as zeta and gamma functions and their interpolations), diophantine approximation and related interesting open problems. While it covers many topics treated in 'Basic Structures of ...
  • Essays about Modern Algebra
    Franz Rothe
    The geometric construction of the regular 17, 257 and even the 65 537-gon are given in complete details, including programming codes. The theory of geometrical constructions and its connection to Galois theory is treated in detail. Later parts deal with totally positive real numbers as sums of squares, cyclotomic polynomials,Chebychev polynomials, Gaussian periods, Galois theor...
    Disponible

    33,84 €

  • ADVANCED LINEAR ALGEBRA
    CHANG SHOU-TE / SHOU-TE CHANG
    Certain essential concepts in linear algebra cannot be fully explained in a first course. This is due to a lack of algebraic background for most beginning students. On the other hand, these concepts are taken for granted in most of the mathematical courses at graduate school level. This book will provide a gentle guidance for motivated students to fill the gap. It is not easy t...
  • ADVANCED LINEAR ALGEBRA
    CHANG SHOU-TE / SHOU-TE CHANG
    Certain essential concepts in linear algebra cannot be fully explained in a first course. This is due to a lack of algebraic background for most beginning students. On the other hand, these concepts are taken for granted in most of the mathematical courses at graduate school level. This book will provide a gentle guidance for motivated students to fill the gap. It is not easy t...
    Disponible

    70,61 €

Otros libros del autor

  • Quality of Communication-Based Systems
    Gunter Hommel
    ...
    Disponible

    134,30 €

  • Quality of Communication-Based Systems
    Günter Hommel
    Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems’ to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas: Formal specification and mathematical foundations of distributed systems using process al...
    Disponible

    48,22 €

  • Communication-Based Systems
    Günter Hommel
    Since 1990 the German Research Society (Deutsche Forschungsgemeinschaft, DFG) has been funding PhD courses (Graduiertenkollegs) at selected universi­ ties in the Federal Republic of Germany. TU Berlin has been one of the first universities joining that new funding program of DFG. The PhD courses have been funded over aperiod of 9 years. The grant for ...
    Disponible

    134,32 €

  • Communication-Based Systems
    Gunter Hommel
    Since 1990 the German Research Society (Deutsche Forschungsgemeinschaft, DFG) has been funding PhD courses (Graduiertenkollegs) at selected universi­ ties in the Federal Republic of Germany. TU Berlin has been one of the first universities joining that new funding program of DFG. The PhD courses have been funded over aperiod of 9 years. The grant for ...
  • Quality of Communication-Based Systems
    Gunter Hommel
    Contributions to Quality from Specification Techniques. Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes; J. Padberg. Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs; A. Pierantonio. Specification of Concurrent Systems: from Petri Nets to Graph Grammars; A. Corradini, U. Montanari. Towards a Theory of Strong ...
  • Prozeßrechensysteme ’91
    Günter Hommel
    ...
    Disponible

    83,92 €