03840oam 2200481 450 99646439320331620210617210555.03-030-67087-210.1007/978-3-030-67087-0(CKB)4100000011716957(DE-He213)978-3-030-67087-0(MiAaPQ)EBC6456085(PPN)253252997(EXLCZ)99410000001171695720210617d2021 uy 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierNetworked systems 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, proceedings /Chryssis Georgiou, Rupak Majumdar (editors)1st ed. 2021.Cham, Switzerland :Springer,[2021]©20211 online resource (XVII, 376 p. 100 illus., 69 illus. in color.) Lecture notes in computer science ;12129Includes index.3-030-67086-4 Invited Papers -- On Network Topologies and the Decidability of Reachability Problem -- Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks -- Blockchains and the Commons -- Regular Papers -- On the State Reachability Problem for Concurrent Programs under Power -- On the Encoding and Solving of Partial Information Games -- Efficient Concurrent Execution of Smart Contracts in Blockchains using Object-based Transactional Memory -- Exploring IoT Trickle-based Dissemination using Timed Model-checking and Symbolic Execution -- Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Faults -- Infinite Grid Exploration by Disoriented Robots -- Wireless Broadcast with short labels -- The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders -- Byzantine k-Set Agreement -- Fissile Locks -- Verifying Safety of Parameterized Heard-Of Algorithms -- Staleness and Local Progress in Transactional Memory -- Generic Framework for Optimization of Local Dissemination in Wireless Networks -- Verifying Weakly Consistent Transactional Programs using Symbolic Execution -- NetSheriff: Sheltering Software-Defined Networks from Rogue Switches -- Self-stabilizing Uniform Reliable Broadcast -- Fully Anonymous Consensus and Set Agreement Algorithms -- Cutoffs for symmetric point-to-point distributed algorithms -- Short Papers -- Stateless Distributed Ledgers -- Stability Under Adversarial Injection of Dependent Tasks -- Collaborative filtering: comparative study between Matrix Factorization and Neural Network method -- Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract).This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.* The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc. *The conference was held virtually due to the COVID-19 pandemic.Lecture notes in computer science ;12129.Computer networksCongressesComputer networks004.6Georgiou ChryssisMajumdar RupakMiAaPQMiAaPQUtOrBLWBOOK996464393203316Networked Systems2499603UNISA03028nam 2200697Ia 450 991078270570332120231206205232.01-282-86366-597866128636600-7735-7302-X10.1515/9780773573024(CKB)1000000000713848(OCoLC)243600878(CaPaEBR)ebrary10176073(SSID)ssj0000279416(PQKBManifestationID)11210660(PQKBTitleCode)TC0000279416(PQKBWorkID)10259894(PQKB)11433627(CaPaEBR)407639(CaBNvSL)slc00204670(Au-PeEL)EBL3331621(CaPaEBR)ebr10178270(CaONFJC)MIL286366(OCoLC)923230738(DE-B1597)655580(DE-B1597)9780773573024(VaAlCD)20.500.12592/nd6ntv(schport)gibson_crkn/2009-12-01/4/407639(MiAaPQ)EBC3331621(MiAaPQ)EBC3248748(EXLCZ)99100000000071384820050429d2005 uy 0engurcn|||||||||txtccrFar in the waste Sudan[electronic resource] on assignment in Africa /Nicholas CoghlanMontreal ;Ithaca McGill-Queen's University Pressc20051 online resource (348 p.) Includes index.0-7735-2935-7 Front Matter -- Contents -- Introduction -- Khartoum -- In the oil Fields Fuelling The Fire ? -- Operation Lifeline Sudan -- Victims -- Northern Lights Conversations With the Elite -- The Borderline Goverment-Held South Sudan -- Behind Rebel Lines -- Fallen Empires -- Southern Voices -- The Contested Areas -- The Wild West -- The East -- Leaving Khartoum -- Sunset Over Fashoda -- Acknowledgments -- Chronology of Modern Sudanese History -- Acronyms -- IndexOil rich and on the divide between Africa and the Middle East, Sudan is one of Africa's most inaccessible countries. Coghlan takes the reader from Khartoum, former home of Carlos the Jackal and Osama bin-Laden, to the Nubian desert to the rebel-controlled swamps and jungle lowlands of Equatoria. He takes us with him to the mountain ranges of Darfur and the forgotten national park of Dinder and on a fifty-year old steel sailing dinghy racing on the Blue Nile.DiplomatsSudanBiographyDiplomatsCanadaBiographySudanPolitics and government1985-SudanHistory1956-CanadaOfficials and employeesSudanBiographyDiplomatsDiplomats962.404/3Coghlan Nicholas1954-1480701MiAaPQMiAaPQMiAaPQBOOK9910782705703321Far in the waste Sudan3697424UNINA