LEADER 04212nam  22007815  450 
001 996466287403316
005 20230329143620.0
010   $a3-030-35092-4
024 7 $a10.1007/978-3-030-35092-5
035   $a(CKB)4100000009845288
035   $a(DE-He213)978-3-030-35092-5
035   $a(MiAaPQ)EBC5976214
035   $a(PPN)248601776
035   $a(EXLCZ)994100000009845288
100   $a20191109d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerification and Evaluation of Computer and Communication Systems$b[electronic resource] $e13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /$fedited by Pierre Ganty, Mohamed Kaâniche
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XIII, 111 p. 121 illus., 12 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11847
311   $a3-030-35091-6 
320   $aIncludes bibliographical references and index.
327   $aModeling Concurrent Behaviors as Words,- Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems -- Static Detection of Event-Driven Races in HTML5-Based Mobile Apps -- Analyzing Security Protocols Using Scenario Based Simulation -- Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis -- Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules -- Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems. .
330   $aThis book constitutes the proceedings of the 13th International Conference on Veri?cation and Evaluation of Computer and Communication Systems ( VECoS 2019), held in Porto, Portugal, in October 2019. The 7 full papers in this volume, presented together with two invited talks, were carefully reviewed and selected from 13 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri?cation, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veri?cation and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11847
606   $aComputer engineering
606   $aComputer networks
606   $aSoftware engineering
606   $aComputers
606   $aProfessions
606   $aComputer science
606   $aDatabase management
606   $aAlgorithms
606   $aComputer Engineering and Networks
606   $aSoftware Engineering
606   $aThe Computing Profession
606   $aComputer Science Logic and Foundations of Programming
606   $aDatabase Management
606   $aAlgorithms
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aProfessions.
615  0$aComputer science.
615  0$aDatabase management.
615  0$aAlgorithms.
615 14$aComputer Engineering and Networks.
615 24$aSoftware Engineering.
615 24$aThe Computing Profession.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aDatabase Management.
615 24$aAlgorithms.
676   $a004.6
702   $aGanty$b Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKaâniche$b Mohamed$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466287403316
996   $aVerification and Evaluation of Computer and Communication Systems$92809930
997   $aUNISA