Distributed Systems

From Action Systems to Distributed Systems: The Refinement Approach  eBooks & eLearning

Posted by interes at Dec. 8, 2016
From Action Systems to Distributed Systems: The Refinement Approach

From Action Systems to Distributed Systems: The Refinement Approach by Luigia Petre and Emil Sekerinski
English | 2016 | ISBN: 1498701582 | 312 pages | PDF | 21 MB
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science) by Farn Wang
English | June 2, 2010 | ISBN: 354029189X | 568 Pages | PDF | 8 MB

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sponsored by Working Group 6.1, Technical Committee 6 (TC6) of the International Federation for Information Processing (IFIP). The conference series started in 1981 under the name PSTV (Protocol Specification, Testing, and Verification). In 1988, a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last five meetings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain).
Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, J

Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings (Lecture Notes in Computer Science) by Kenji Suzuki
English | June 2, 2010 | ISBN: 3540688544 | 350 Pages | PDF | 5 MB

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10–13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems.
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France,

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science) by Elie Najm
English | Feb. 22, 2009 | ISBN: 3540462198 | 496 Pages | PDF | 6 MB

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006.

Information Flow: The Logic of Distributed Systems  eBooks & eLearning

Posted by leonardo78 at Sept. 17, 2016
Information Flow: The Logic of Distributed Systems

Information Flow: The Logic of Distributed Systems by Jon Barwise, Jerry Seligman
Publisher: Cambridge University Press | 1997 | ISBN: 0521583861 | 292 pages | PDF | 4,5 MB

Information is a central topic in computer science, cognitive science, and philosophy. In spite of its importance in the "information age," there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another.

Moving Target Defense for Distributed Systems  eBooks & eLearning

Posted by arundhati at July 22, 2016
Moving Target Defense for Distributed Systems

Sachin Shetty, Xuebiao Yuchi, "Moving Target Defense for Distributed Systems"
2016 | ISBN-10: 3319310313 | 96 pages | PDF | 2 MB

ACTORS: A Model of Concurrent Computation in Distributed Systems  eBooks & eLearning

Posted by step778 at June 6, 2016
ACTORS: A Model of Concurrent Computation in Distributed Systems

Gul Agha, "ACTORS: A Model of Concurrent Computation in Distributed Systems"
1986 | pages: 153 | ISBN: 0262010925 | PDF | 3,5 mb

Distributed Systems in One Lesson Training Video [Repost]  eBooks & eLearning

Posted by IrGens at May 2, 2016
Distributed Systems in One Lesson Training Video [Repost]

Distributed Systems in One Lesson Training Video
.FLV, AVC, 6000 kbps, 1920x1080 | English, AAC, 64 kbps, 2 Ch | 4 hours | 5.08 GB
Instructor: Tim Berglund

Oracle Distributed Systems [Repost]  eBooks & eLearning

Posted by tanas.olesya at March 28, 2016
Oracle Distributed Systems [Repost]

Oracle Distributed Systems by Charles Dye
English | 11 Apr. 1999 | ISBN: 1565924320 | 526 Pages | PDF |4 MB

Pluralsight - Building Distributed Systems with Akka.NET Clustering  eBooks & eLearning

Posted by naag at March 23, 2016
Pluralsight - Building Distributed Systems with Akka.NET Clustering

Building Distributed Systems with Akka.NET Clustering
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 1 Hours | 160 MB
Genre: eLearning | Language: English

Distributed computing is hard, but it doesn't need to be. In this course, you'll learn what Akka.NET clustering is and how you can utilize it to build concurrent, distributed systems that can handle failure and easily scale up or down to meet demand.