Автор: James H. Anderson; Giuseppe Prencipe; Roger Watten Название: Principles of Distributed Systems ISBN: 3540363211 ISBN-13(EAN): 9783540363217 Издательство: Springer Рейтинг: Цена: 88500.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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: 3540852565 ISBN-13(EAN): 9783540852568 Издательство: Springer Рейтинг: Цена: 194730.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Costin Badica; Giuseppe Mangioni; Vincenza Carchio Название: Intelligent Distributed Computing, Systems and Applications ISBN: 3642098983 ISBN-13(EAN): 9783642098987 Издательство: Springer Рейтинг: Цена: 194730.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Rachid Guerraoui; Franck Petit Название: Stabilization, Safety, and Security of Distributed Systems ISBN: 3642051170 ISBN-13(EAN): 9783642051173 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 83810.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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!
Автор: Albert Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3319395696 ISBN-13(EAN): 9783319395692 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 109890.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Holistic model for HTTP botnet detection based on DNS traffic analysis.- Detecting broad length algorithmically generated domains.- Secure cloud computing: multithreaded fully homomorphic encryption for legal metrology.- Detecting command and control channel of botnets in clouds.- An experimental framework for investigating security and privacy of IoT devices.- Dynamic cypher for enhanced cryptography and communication for Internet of Things.- An inter-device authentication scheme for smart homes using one-time-password over infrared channel.- Detection and prevention of blackhole attacks in wireless sensor networks.- Detection of online fake news using N-gram analysis and machine learning techniques.- Security protocol of social payment apps.- Spectral-spatial classification of hyperspectral imagery using support vector and Fuzzy-MRF.- Infant monitoring system using wearable sensors based on blood oxygen saturation.- Network behavioral analysis for zero-day malware detection. Network Behavioral Analysis for Zero-day Malware Detection.
Автор: Erika ?brah?m; Catuscia Palamidessi Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3662436124 ISBN-13(EAN): 9783662436127 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Susanne Graf; Mahesh Viswanathan Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3319191942 ISBN-13(EAN): 9783319191942 Издательство: Springer Рейтинг: Цена: 57770.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015.
Автор: Andrzej Pelc; Alexander A. Schwarzmann Название: Stabilization, Safety, and Security of Distributed Systems ISBN: 3319217402 ISBN-13(EAN): 9783319217406 Издательство: Springer Рейтинг: Цена: 44720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were carefully reviewed and selected from 38 submissions.
Автор: Zielinski; Kurt Geihs; Aleksander Laurentowski Название: New Developments in Distributed Applications and Interoperable Systems ISBN: 0792374819 ISBN-13(EAN): 9780792374817 Издательство: Springer Рейтинг: Цена: 204040.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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).
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz