LEADER 02106nam0 22003973i 450 001 MIL0685627 005 20251003044236.0 010 $a8860140013 100 $a20080716d2005 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aˆLa ‰verifica del progetto$eprimi commenti allo schema di regolamento predisposto dalla Commissione ministeriale istituita dal vice ministro on. Ugo Martinat$f[redatto da Lorenzo Passeri] 210 $aRoma$cCentro Studi Consiglio Nazionale Ingegneri$dstampa 2005 215 $a70 p.$d24 cm. 225 | $aCentro studi C.N.I$v72 410 0$1001MIL0463976$12001 $aCentro studi C.N.I$v72$171201$aConsiglio nazionale ingegneri$b : Centro studi$3CFIV195085 606 $aLavori pubblici$xLegislazione$2FIR$3CFIC022755$9I 676 $a344.45$9Diritto del lavoro, diritto in materia di servizio sociale, di educazione, di cultura. Italia$v14 676 $a344.4506$9DIRITTO IN MATERIA DI LAVORI PUBBLICI. ITALIA$v21 696 $aLavori di pubblica utilità 699 $aLavori pubblici$yLavori di pubblica utilità 702 1$aPasseri$b, Lorenzo$3MILV238379 702 1$aPasseri$b, Lorenzo$3MILV238379$4070 712 01$aConsiglio nazionale ingegneri$b : Centro studi$3CFIV195085 791 02$aC.N.I.$b : Centro studi$3CFIV195086$zConsiglio nazionale ingegneri : Centro studi 791 02$aConsiglio nazionale degli Ingegneri$b : Centro studi$3VEAV309836$zConsiglio nazionale ingegneri : Centro studi 801 3$aIT$bIT-000000$c20080716 850 $aIT-BN0095 $aIT-NA0079 901 $bNAP BN$cMISC. $nLa consegna dei documenti è effettuata dall'Ufficio Distribuzione 912 $aMIL0685627 950 0$aBiblioteca Centralizzata di Ateneo$cv.1-2;14-15;17-21;23;26-33;36-38;40;44-45;47-49;51-52;54-58;64;69;72;74-75;78;81;83;85-86;88;91;95-101-104;116-131$d 01COLL. ITA CNI$e 0102 0000057835 VMA (0072 v. 72$fY $h20051024$i20051024 977 $a 01$a BN 996 $aVerifica del progetto$9104000 997 $aUNISANNIO LEADER 06092nam 22007695 450 001 9910484991403321 005 20251225212225.0 010 $a3-319-69084-1 024 7 $a10.1007/978-3-319-69084-1 035 $a(CKB)4100000000881975 035 $a(DE-He213)978-3-319-69084-1 035 $a(MiAaPQ)EBC6295347 035 $a(MiAaPQ)EBC5591716 035 $a(Au-PeEL)EBL5591716 035 $a(OCoLC)1008567689 035 $a(PPN)220121508 035 $a(EXLCZ)994100000000881975 100 $a20171006d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStabilization, Safety, and Security of Distributed Systems $e19th International Symposium, SSS 2017, Boston, MA, USA, November 5?8, 2017, Proceedings /$fedited by Paul Spirakis, Philippas Tsigas 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIII, 496 p. 82 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10616 300 $aIncludes index. 311 08$a3-319-69083-3 327 $aProof-Labeling Schemes: Broadcast, Unicast and in Between -- Self-Stabilizing Rendezvous of Synchronous Mobile Agents in Graphs -- The Dynamics and Stability of Probabilistic Population Processes -- Self-stabilizing Distributed Stable Marriage -- Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping -- Self-Tuning Eventually-Consistent Data Stores -- An Efficient Silent Self-Stabilizing 1-Maximal Matching Algorithm under Distributed Daemon for Arbitrary Networks -- An Improved Approximate Agreement Algorithm in the Presence of Mobile Byzantine Faults -- Fault-Induced Dynamics of Oblivious Robots on a Line -- Relaxed Data Types as Consistency Conditions -- Ant-Inspired Dynamic Task Allocation via Gossiping -- Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited visibility -- Robust Routing Made Easy -- Generalized Paxos Made Byzantine (and Less Complex) -- ASSESS: A Tool for Automated Synthesisof Distributed Self-Stabilizing Algorithms -- How to Simulate Message-passing Algorithms in mobile agent systems with faults -- A Self-Stabilizing General De Bruijn Graph -- Constant-Time Complete Visibility for Asynchronous Robots with Lights -- On Security Analysis of Proof-of-Elapsed-Time (PoET) -- Brief Announcement: Federated Code Auditing and Delivery for MPC -- Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees -- A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation -- Universally Optimal Gathering under Limited Visibility -- Optimum Algorithm for Mutual Visibility among Asynchronous Robots with Lights --  Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin -- Scalable Funding of Bitcoin Micropayment Channel Networks -- Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem -- Space-Optimal Proportion Consensuswith Population Protocols -- Brief Announcement: Asynchronous, Distributed Optical Mutual Exclusion -- Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios -- Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness -- TorBricks: Blocking-Resistant Tor Bridge Distribution -- Cover Time in Edge-Uniform Stochastically-Evolving Graphs -- Bitcoin a Distributed Shared Register -- Broadcast Encryption with Both Temporary and Permanent Revocation -- Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights -- Brief Announcement: Space-efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings. . 330 $aThis book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10616 606 $aComputer networks 606 $aComputers, Special purpose 606 $aComputer systems 606 $aArtificial intelligence 606 $aOperating systems (Computers) 606 $aComputer arithmetic and logic units 606 $aComputer Communication Networks 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer System Implementation 606 $aArtificial Intelligence 606 $aOperating Systems 606 $aArithmetic and Logic Structures 615 0$aComputer networks. 615 0$aComputers, Special purpose. 615 0$aComputer systems. 615 0$aArtificial intelligence. 615 0$aOperating systems (Computers). 615 0$aComputer arithmetic and logic units. 615 14$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer System Implementation. 615 24$aArtificial Intelligence. 615 24$aOperating Systems. 615 24$aArithmetic and Logic Structures. 676 $a004.2 702 $aSpirakis$b Paul$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTsigas$b Philippas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484991403321 996 $aStabilization, Safety, and Security of Distributed Systems$9772094 997 $aUNINA