Автор: Draheim, Dirk Название: Semantics of the probabilistic typed lambda calculus ISBN: 3642551971 ISBN-13(EAN): 9783642551970 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part I: The Probabilistic Lambda-Calculus and its Semantics.- Introduction.- Syntax and Operational Semantics.- The Working Probabilistic Lambda Calculus.- Properties of the Markov Chain Semantics.- Denotational Semantics.- Semantical Correspondences.- Categorical Treatment.- Probabilism and Non-Determinism.- Part II: Natural Probabilistic Reasoning.- On Natural Two-Tier Semantics for Propositional Logics.- Natural Semantics of Propositions.- Finite Discrete Stochastics Reconsidered.- Lambda-Calculus Definitions.- Markov Chains.- Basic Logic Language and Semantics Definitions.- References.- Index.
Автор: Barry Jay Название: Pattern Calculus ISBN: 3642426018 ISBN-13(EAN): 9783642426018 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Over time, basic research tends to lead to specialization - increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions.
Описание: This book is about creating usable products. The techniques, taken from the worlds of human-computer interaction, marketing, and many of the social sciences, help you know who your users are, and to make security a natural outcome of the requirements and design phase of the authentication method development life cycle.
Автор: Chris George; Zhiming Liu; Jim Woodcock Название: Domain Modeling and the Duration Calculus ISBN: 3540749632 ISBN-13(EAN): 9783540749639 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers software security, domain modeling of software engineering, and duration calculus for real time systems. This book addresses development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
Автор: Michel Schellekens Название: A Modular Calculus for the Average Cost of Data Structuring ISBN: 148999906X ISBN-13(EAN): 9781489999061 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces the first programming language for which average-case time analysis of its programs is guaranteed to be modular. The main time measure currently used for real-time languages (worst-case time) is well-known not to be modular in general, which makes average-case analysis notoriously difficult.
Автор: Michael Zaus Название: Crisp and Soft Computing with Hypercubical Calculus ISBN: 3790811726 ISBN-13(EAN): 9783790811728 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In Part I, the impact of an integro-differential operator on parity logic engines (PLEs) as a tool for scientific modeling from scratch is presented. Part II outlines the fuzzy structural modeling approach for building new linear and nonlinear dynamical causal forecasting systems in terms of fuzzy cognitive maps (FCMs).
Автор: Chaochen Zhou; Michael R. Hansen Название: Duration Calculus ISBN: 3642074049 ISBN-13(EAN): 9783642074042 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction.
This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.
The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.
Автор: Michael Zaus Название: Crisp and Soft Computing with Hypercubical Calculus ISBN: 3662113805 ISBN-13(EAN): 9783662113806 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Dimitris Sakavalas, Lewis Tseng Название: Network Topology and Fault-Tolerant Consensus ISBN: 1681735687 ISBN-13(EAN): 9781681735689 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 15523.00 р. Наличие на складе: Нет в наличии.
Описание: As the structure of contemporary communication networks grows more complex, practical networked distributed systems become prone to component failures. Fault-tolerant consensus in message-passing systems allows participants in the system to agree on a common value despite the malfunction or misbehavior of some components. It is a task of fundamental importance for distributed computing, due to its numerous applications. We summarize studies on the topological conditions that determine the feasibility of consensus, mainly focusing on directed networks and the case of restricted topology knowledge at each participant. Recently, significant efforts have been devoted to fully characterize the underlying communication networks in which variations of fault-tolerant consensus can be achieved. Although the deduction of analogous topological conditions for undirected networks of known topology had shortly followed the introduction of the problem, their extension to the directed network case has been proven a highly non-trivial task. Moreover, global knowledge restrictions, inherent in modern large-scale networks, require more elaborate arguments concerning the locality of distributed computations. In this work, we present the techniques and ideas used to resolve these issues. Recent studies indicate a number of parameters that affect the topological conditions under which consensus can be achieved, namely, the fault model, the degree of system synchrony (synchronous vs. asynchronous), the type of agreement (exact vs. approximate), the level of topology knowledge, and the algorithm class used (general vs. iterative). We outline the feasibility and impossibility results for various combinations of the above parameters, extensively illustrating the relation between network topology and consensus.
Автор: Dimitris Sakavalas, Lewis Tseng Название: Network Topology and Fault-Tolerant Consensus ISBN: 1681735660 ISBN-13(EAN): 9781681735665 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 12335.00 р. Наличие на складе: Нет в наличии.
Описание: As the structure of contemporary communication networks grows more complex, practical networked distributed systems become prone to component failures. Fault-tolerant consensus in message-passing systems allows participants in the system to agree on a common value despite the malfunction or misbehavior of some components. It is a task of fundamental importance for distributed computing, due to its numerous applications. We summarize studies on the topological conditions that determine the feasibility of consensus, mainly focusing on directed networks and the case of restricted topology knowledge at each participant. Recently, significant efforts have been devoted to fully characterize the underlying communication networks in which variations of fault-tolerant consensus can be achieved. Although the deduction of analogous topological conditions for undirected networks of known topology had shortly followed the introduction of the problem, their extension to the directed network case has been proven a highly non-trivial task. Moreover, global knowledge restrictions, inherent in modern large-scale networks, require more elaborate arguments concerning the locality of distributed computations. In this work, we present the techniques and ideas used to resolve these issues. Recent studies indicate a number of parameters that affect the topological conditions under which consensus can be achieved, namely, the fault model, the degree of system synchrony (synchronous vs. asynchronous), the type of agreement (exact vs. approximate), the level of topology knowledge, and the algorithm class used (general vs. iterative). We outline the feasibility and impossibility results for various combinations of the above parameters, extensively illustrating the relation between network topology and consensus.
Автор: Jacobson Название: The Road to the Unified Software Development Process ISBN: 0521787742 ISBN-13(EAN): 9780521787741 Издательство: Cambridge Academ Рейтинг: Цена: 9979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an excellent overview of Ivar Jacobson`s work on the Unified Software Development Process.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
