LEADER 01719nam 2200385 a 450 001 9910700135703321 005 20110307102910.0 035 $a(CKB)5470000002407611 035 $a(OCoLC)705908935 035 $a(EXLCZ)995470000002407611 100 $a20110307d2010 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aOil spills$b[electronic resource] $ecost of major spills may impact viability of Oil Spill Liability Trust Fund : testimony before the Subcommittee on Federal Financial Management, Government Information, Federal Services, and International Security, Committee on Homeland Security and Governmental Affairs, U.S. Senate /$fstatement of Susan A. Fleming 210 1$a[Washington, D.C.] :$cU.S. Govt. Accountability Office,$d[2010] 215 $a1 online resource (23 pages) 225 1 $aTestimony ;$vGAO-10-795T 300 $aTitle from PDF title screen (GAO, viewed Mar. 2, 2011). 300 $a"For release ... June 16, 2010." 320 $aIncludes bibliographical references. 517 $aOil spills 606 $aOil spills$xEconomic aspects$zUnited States 615 0$aOil spills$xEconomic aspects 700 $aFleming$b Susan A$01391194 712 02$aUnited States.$bCongress.$bSenate.$bCommittee on Homeland Security and Governmental Affairs.$bSubcommittee on Federal Financial Management, Government Information, Federal Services, and International Security. 712 02$aUnited States.$bGovernment Accountability Office. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910700135703321 996 $aOil spills$93475402 997 $aUNINA LEADER 04699nam 22005535 450 001 9910629277003321 005 20251225203831.0 010 $a9783031210174 010 $a3031210174 024 7 $a10.1007/978-3-031-21017-4 035 $a(MiAaPQ)EBC7133726 035 $a(Au-PeEL)EBL7133726 035 $a(CKB)25299358700041 035 $a(OCoLC)1350686287 035 $a(PPN)266348610 035 $a(BIP)86315801 035 $a(BIP)85922421 035 $a(DE-He213)978-3-031-21017-4 035 $a(EXLCZ)9925299358700041 100 $a20221108d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStabilization, Safety, and Security of Distributed Systems $e24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15?17, 2022, Proceedings /$fedited by Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, Antonio Fernandez Anta 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (378 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13751 311 08$aPrint version: Devismes, Stéphane Stabilization, Safety, and Security of Distributed Systems Cham : Springer International Publishing AG,c2022 9783031210167 320 $aIncludes bibliographical references and index. 327 $aPlateau: A Secure and Scalable Overlay Network for Large Distributed Trust Applications -- The Limits of Helping in Non-Volatile Memory Data Structures Treasure Hunt in Graph using Pebbles -- Blockchain in Dynamic Networks -- Improving the Efficiency of Report and Trace Ring Signatures -- Flexible Scheduling of Transactional Memory on Trees -- Invited Paper: Simple, strict, proper, happy: A study of reachability in temporal graphs -- Brief Announcement: Dynamic graph models for the Bitcoin P2P network: simulation analysis for expansion and flooding time -- Brief Announcement: Self Masking for Hardening Inversions -- Perpetual Torus Exploration by Myopic Luminous Robots -- Optimal Algorithms for Synchronous Byzantine k-Set Agreement -- Reaching Consensus in the Presence of Contention-Related Crash Failures -- Self-stabilizing Byzantine Fault-tolerant Repeated Reliable Broadcast -- Capacity Planning for Dependable Services -- Lower bound for constant-size local certification -- Collaborative Dispersion by Silent Robots -- Time Optimal Gathering of Myopic Robots on an Infinite Triangular Grid -- Brief Announcement: Lattice Linear Algorithms -- Brief Announcement: Distributed Reconfiguration of Spanning Trees -- Brief Announcement: Mutually-visible Uniform Circle Formation by Asynchronous Mobile Robots on Grid Plane -- Brief Announcement: Self-stabilizing Total-order Broadcast -- Brief Announcement: Secure And Efficient Participant Authentication ? Application to Mobile E-voting -- Card-Based ZKP Protocol for Nurimisaki -- Invited Paper: One Bit Agent Memory is Enough for Snap-stabilizing Perpetual Exploration of Cactus Graphs with Distinguishable Cycles Consensus on Demand -- Better Incentives for Proof-of-Work -- Invited Paper: Towards Practical Atomic Distributed Shared Memory: An Experimental Evaluation -- Invited Paper: Cross-Chain State Machine Replication. 330 $aThis book constitutes the proceedings of 24th International Symposium, SSS 2022, which took place in Clermont-Ferrand, France, in November 2022. The 17 regular papers together with 4 invited papers and 7 brief announcements, included in this volume were carefully reviewed and selected from 58 submissions. The SSS 2022 focus on systems built such that they are able to provide on their own guarantees on their structure, performance, and/or security in the face of an adverse environment. The Symposium presents three tracks reflecting major trends related to the conference: (i) Self-stabilizing Systems: Theory and Practice, (ii) Concurrent and Distributed Computing: Foundations, Faulttolerance, and Security, and (iii) Dynamic, Mobile, and Nature-Inspired Computing. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13751 606 $aComputer networks 606 $aComputer Communication Networks 615 0$aComputer networks. 615 14$aComputer Communication Networks. 676 $a929.605 676 $a005.14 702 $aDevismes$b Ste?phane 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910629277003321 996 $aStabilization, Safety, and Security of Distributed Systems$9772094 997 $aUNINA