A Theory of Distributed Objects, Denis Caromel; Luca Cardelli; Ludovic Henrio
Автор: Nancy A. Lynch Название: Distributed Algorithms, ISBN: 1558603484 ISBN-13(EAN): 9781558603486 Издательство: Elsevier Science Рейтинг: Цена: 20549.00 р. Наличие на складе: Поставка под заказ.
Описание: A guide to designing, implementing and analyzing distributed algorithms. It covers problems including resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election and global snapshots.
Описание: 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.
Автор: Ahmed Bouajjani; Alexandra Silva Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3319602241 ISBN-13(EAN): 9783319602240 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Session types for Link failures.- Learning-based compositional parameter synthesis for event-recording automata.- Modularising opacity verification for Hybrid Transactional Memory.- Proving opacity via linearizability: a sound and complete method.- On futures for streaming data in ABS.- Session-based concurrency, reactively.- Procedural choreographic programming.- An observational approach to defining linearizability on weak memory models.- Applying a dependency mechanism in the formal development of voting protocol models using event-B.- Weak simulation quasimetric in a gossip scenario.- Reasoning about distributed secrets.- Classical higher-order processes.- Weak nominal modal logic.- Type inference of simulink hierarchical block diagrams in Isabelle.- Creating Bьchi automata for multi-valued model checking.- Privacy assessment using static taint analysis.- EPTL - a temporal logic for weakly consistent systems.
Автор: 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.
Автор: Susanne Graf; Mahesh Viswanathan Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3319191942 ISBN-13(EAN): 9783319191942 Издательство: Springer Рейтинг: Цена: 8665.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Michel Cosnard; Afonso Ferreira; Joseph Peters Название: Parallel and Distributed Computing: Theory and Practice ISBN: 3540580786 ISBN-13(EAN): 9783540580782 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents an overview of current research topics in the field of parallel computing, including parallel algorithms and complexity, interconnection networks and distributed computing, algorithms for unstructured problems, and structured communications.
Автор: Martin Abadi; Luca Cardelli Название: A Theory of Objects ISBN: 1461264456 ISBN-13(EAN): 9781461264453 Издательство: Springer Рейтинг: Цена: 32142.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi, the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming
Описание: This volume includes the best papers of the 10th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. The conference was held in Daegu, Korea on May 27-29, 2009.
Описание: Despite means of fault prevention such as extensive testing or formal veri?cation, errors inevitably occur during system operation. To avoid subsequent system fa- ures, critical distributed systems, therefore, require engineering of means for fault tolerance. Achieving fault tolerance requires some redundancy, which, unfor- nately, is bound to limitations. Appropriate fault models are needed to describe which types of faults and how many faults are tolerable in a certain context. Pre- ous research on distributed systems has often introduced fault models that abstract too many relevant system properties such as dependent and propagating com- nent failures. In this research work, Timo Warns introduces new structural failure models that are both accurate (to cover relevant properties) and tractable (to be - alyzable). These new failure models cover dependent failures (for instance, failure correlation by geographic proximity) and propagating failures (for instance, pr- agation by service utilization). To evaluate the new failure models, Timo Warns shows how some seminal problems in distributed systems can be solved with - proved resilience and ef?ciency, as compared to existing solutions. Particularly, the textbook-style introduction to distributed systems and the r- orous presentation of the new failure models and their evaluation may serve as an example for other software engineering research projects - which is why this book is a valuable addition to both a researcher's and a student's library.
Автор: Idit Keidar Название: Distributed Computing ISBN: 3642043542 ISBN-13(EAN): 9783642043543 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains 33 15-page-long regular papers and 15 2-page-long brief announcements selected for the 23rd International Symposium on Distributed Computing (DISC 2009), held during September 23-25, 2009, in Elche, Spain. This volume also includes the citation of the 2009 Edsger W. Dijkstra Prize in Distributed Computing, which was awarded at DISC this year, as well as abstracts of talks delivered in a mini symposium honoring the 60th birthdays of Michel Raynal and Shmuel Zaks. There were 121 submissions to DISC this year, of which 116 were considered for regular presentations, and the rest for brief announcements only. Every s- mitted paper was read and evaluated by Program Committee members assisted by external reviewers. The ?nal decisions regarding acceptance or rejection of eachpaperweremadeduringthephone-basedProgramCommitteemeetingheld during June 2009. Some papers that were not selected for regular presentation were invited to be presented as brief announcements. TheProgramCommitteenominated?vebestpapersascandidatesforawards. The award nominees were presented in a special session at DISC 2009, and - pear?rstinthis volume.The winnersoftheBestPaperAwardandBestStudent PaperAwardwerechosenamongthese?venominees, andannouncedatthec- ference. Although all submissions were carefully read and evaluated, the papers were not formally refereed. It is expected that many of these papers will appear in a more complete and polished form in refereed scienti?c journals. Revised and expandedversionsofafewbestselectedpaperswillbe consideredforpublication in a special issue of the journal Distributed Computing dedicated to DISC 2009. Brief announcements present ongoing work or recent results whose full - scription is not yet ready; it is expected that full papers containing those results will soon appear in other conferences or journals.
The purpose of the 12th Conference Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2011) held on July 6-8, 2011 in Sydney, Australia was to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information sciences, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.
The conference organizers selected 14 outstanding papers from SNPD 2011, all of which you will find in this volume of Springer s Studies in Computational Intelligence. "
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
