Автор: Costin Badica; Giuseppe Mangioni; Vincenza Carchio Название: Intelligent Distributed Computing, Systems and Applications ISBN: 3540852565 ISBN-13(EAN): 9783540852568 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Represents the peer-reviewed proceedings of the Second International Symposium on Intelligent Distributed Computing - IDC 2008 held in Catania, Italy during September 18-19, 2008. This book addresses topics related to intelligent and distributed computing, systems and applications, including: argumentation; auctions; and, collaborative systems.
Автор: 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.
Автор: 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!
Описание: 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.
Автор: Verissimo, Paulo Rodrigues, Luis Название: Distributed systems for system architects ISBN: 1461356660 ISBN-13(EAN): 9781461356660 Издательство: Springer Рейтинг: Цена: 16484.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: James H. Anderson; Giuseppe Prencipe; Roger Watten Название: Principles of Distributed Systems ISBN: 3540363211 ISBN-13(EAN): 9783540363217 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the 9th International Conference on Principles of Distributed Systems, OPODIS 2005, held in Pisa, Italy in December 2005. This book presents papers that are organized in topical sections on nonblocking synchronization, fault-tolerant broadcast and consensus, and sensor networks and mobile computing.
Автор: Costin Badica; Giuseppe Mangioni; Vincenza Carchio Название: Intelligent Distributed Computing, Systems and Applications ISBN: 3642098983 ISBN-13(EAN): 9783642098987 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book represents the peer-reviewed proceedings of the Second International Symposium on Intelligent Distributed Computing - IDC 2008 held in Catania, Italy during September 18-19, 2008.
Автор: Erika ?brah?m; Catuscia Palamidessi Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3662436124 ISBN-13(EAN): 9783662436127 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014.
Автор: Zielinski; Kurt Geihs; Aleksander Laurentowski Название: New Developments in Distributed Applications and Interoperable Systems ISBN: 0792374819 ISBN-13(EAN): 9780792374817 Издательство: Springer Рейтинг: Цена: 30606.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book contains the proceedings of the Third International Working Conference on Distributed Applications and Interoperable Systems (DAIS`2001), which was held in September 2001 in Krakow, Poland, and sponsored by the International Federation on Information Processing (IFIP).
Автор: G. Bochmann; P. v. Klein Название: Architecture of Distributed Computer Systems ISBN: 3540097236 ISBN-13(EAN): 9783540097235 Издательство: Springer Рейтинг: Цена: 3213.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Jaco W. de Bakker; Willem-Paul de Roever; Grzegorz Название: Stepwise Refinement of Distributed Systems ISBN: 3540525599 ISBN-13(EAN): 9783540525592 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This proceedings volume surveys the state of the art in concurrent program specification, verification, and the theory of their refinement. The world`s leading specialists in these areas present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented.
Автор: Peter Kacsuk; Robert Lovas; Zsolt Nemeth Название: Distributed and Parallel Systems ISBN: 144194639X ISBN-13(EAN): 9781441946393 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Based on the International Conference on Distributed and Parallel Systems, DAPSYS 2008, this volume presents original research, novel concepts and methods, and outstanding results. It features a special focus on desktop grid computing as well.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
