Distributed Systems, Albert Fleischmann; J. Tischer; R. Bell
Автор: Phil Gibbons; Tarek Abdelzaher; James Aspnes; Rame Название: Distributed Computing in Sensor Systems ISBN: 3540352279 ISBN-13(EAN): 9783540352273 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Second International Conference on Distributed Computing in Sensor Systems, DCOSS 2006, held in San Francisco, California, USA, June 2006. This book presents the papers focusing on distributed computing issues in large-scale networked sensor systems.
Автор: Bhaskar Krishnamachari; Subhash Suri; Wendi Heinze Название: Distributed Computing in Sensor Systems ISBN: 3642020844 ISBN-13(EAN): 9783642020841 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book constitutes the refereed proceedings of the Fifth International Conference on Distributed Computing in Sensor Systems, DCOSS 2009, held in Marina del Rey, CA, USA, in June 2009.
Автор: Rachid Guerraoui; Franck Petit Название: Stabilization, Safety, and Security of Distributed Systems ISBN: 3642051170 ISBN-13(EAN): 9783642051173 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009, held in Lyon, France, in November 2009. The 49 revised full papers and 14 brief announcements presented together with three invited talks were carefully reviewed and selected from 126 submissions. The papers address all safety and security-related aspects of self-stabilizing systems in various areas. The most topics related to self-* systems. The special topics were alternative systems and models, autonomic computational science, cloud computing, embedded systems, fault-tolerance in distributed systems / dependability, formal methods in distributed systems, grid computing, mobility and dynamic networks, multicore computing, peer-to-peer systems, self-organizing systems, sensor networks, stabilization, and system safety and security.
Автор: Adam Wierzbicki Название: Trust and Fairness in Open, Distributed Systems ISBN: 3642134505 ISBN-13(EAN): 9783642134500 Издательство: Springer Рейтинг: Цена: 22203.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This major contribution to the development of social informatics shows how information systems can realize social goals, use social concepts, or become sources of information about social phenomena. All of these research directions are present in this book.
Автор: Adam Wierzbicki Название: Trust and Fairness in Open, Distributed Systems ISBN: 3642425143 ISBN-13(EAN): 9783642425141 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This major contribution to the development of social informatics shows how information systems can realize social goals, use social concepts, or become sources of information about social phenomena. All of these research directions are present in this book.
Автор: Aleksy Markus Название: Implementing Distributed Systems with Java and CORBA ISBN: 3642063349 ISBN-13(EAN): 9783642063343 Издательство: Springer Рейтинг: Цена: 12571.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides graduate students and practitioners with knowledge of the CORBA standard and practical experience of implementing distributed systems with CORBA`s Java mapping. With tested code examples that will run immediately!
Автор: Bonakdarpour Название: Stabilization, Safety, and Security of Distributed Systems ISBN: 3319492586 ISBN-13(EAN): 9783319492582 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2016, held in Lyon, France, in November 2016.
This year the Program Committee was organized into three groups reflecting the major trends related to self-* systems: (a) Self-* and Autonomic Computing, (b)Foundations, and (c) Networks, Multi-Agent Systems, and Mobility.
Автор: Li Название: Internet and Distributed Computing Systems ISBN: 3319459392 ISBN-13(EAN): 9783319459394 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 9th International Conference on Internet and Distributed Computing Systems, IDCS 2016, held in Wuhan, China, in September 2016. The 30 full papers and 18 short papers presented in this volume were carefully reviewed and selected from 78 submissions.
Описание: On the Power of Attribute-Based Communication.- Fencing Programs with Self-Invalidation and Self-Downgrade.- A Framework for Certified Self-Stabilization.- Developing Honest Java Programs with Diogenes.- Playing with our CAT and Communication-Centric Applications.- Multiparty Session Types Within A Canonical Binary Theory, and Beyond.- A Type Theory for Robust Failure Handling in Distributed Systems.- Choreographies in Practice.- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.- Branching Bisimulation Games.- A Configurable CEGAR Framework with Interpolation-Based Refinements.- A Theory for the Composition of Concurrent Processes.- Enforcing Availability in Failure-Aware Communicating Systems.- Ransomware Steals Your Phone. Formal Methods Rescue It.- Multiple Mutation Testing from FSM.- The Challenge of Typed Expressiveness in Concurrency.- Type-Based Analysis for Session Inference.- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models.
Автор: Hisao Kameda; Jie Li; Chonggun Kim; Yongbing Zhang Название: Optimal Load Balancing in Distributed Computer Systems ISBN: 1447112466 ISBN-13(EAN): 9781447112464 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Recent research on the problem of optimal static load balancing is clearly and intuitively presented, with coverage of distributed computer system models, problem formulation in load balancing, and effective algorithms for implementing optimization.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
