國立高雄大學圖資館 |

Language: English

Back

Verification and evaluation of compu...

(1998 :)

Verification and evaluation of computer and communication systems13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Verification and evaluation of computer and communication systemsedited by Pierre Ganty, Mohamed Kaaniche.
Reminder of title:	13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019 : proceedings /
remainder title:	VECoS 2019
other author:	Ganty, Pierre.
corporate name:
Published:	Cham :Springer International Publishing :2019.
Description:	xiii, 111 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer networksCongresses.Evaluation
Online resource:	https://doi.org/10.1007/978-3-030-35092-5
ISBN:	9783030350925$q(electronic bk.)

Verification and evaluation of computer and communication systems13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019 : proceedings /
Verification and evaluation of computer and communication systems13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019 : proceedings /[electronic resource] :VECoS 2019edited by Pierre Ganty, Mohamed Kaaniche. - Cham :Springer International Publishing :2019. - xiii, 111 p. :ill., digital ;24 cm. - Lecture notes in computer science,118470302-9743 ;. - Lecture notes in computer science ;4891..

Modeling 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.

This 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.

ISBN: 9783030350925$q(electronic bk.)

Standard No.: 10.1007/978-3-030-35092-5doiSubjects--Topical Terms:

446478
Computer networks
--Evaluation--Congresses.

LC Class. No.: TK5105.5 / .V43 2019

Dewey Class. No.: 004.36

Verification and evaluation of computer and communication systems13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019 : proceedings /
LDR:02713nmm a2200361 a 4500 001 569411
003 DE-He213
005 20191109141129.0
006 m d
007 cr nn 008maaau
008 200723s2019 gw s 0 eng d
020 $a 9783030350925$q(electronic bk.)
020 $a 9783030350918$q(paper)
024 7 $a 10.1007/978-3-030-35092-5 $2 doi
035 $a 978-3-030-35092-5
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.5 $b .V43 2019
072 7 $a UT $2 bicssc
072 7 $a COM043000 $2 bisacsh
072 7 $a UT $2 thema
082 0 4 $a 004.36 $2 23
090 $a TK5105.5 $b .V413 2019
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Verification and evaluation of computer and communication systems $h [electronic resource] : $b 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019 : proceedings / $c edited by Pierre Ganty, Mohamed Kaaniche.
246 3 $a VECoS 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xiii, 111 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11847
490 1 $a Theoretical computer science and general issues
505 0 $a Modeling 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.
520 $a This 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.
650 0 $a Computer networks $x Evaluation $v Congresses. $3 446478
650 0 $a Computer software $x Verification $v Congresses. $3 443711
650 1 4 $a Computer Systems Organization and Communication Networks. $3 273709
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a The Computing Profession. $3 275271
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Database Management. $3 273994
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 273702
700 1 $a Ganty, Pierre. $3 739594
700 1 $a Kaaniche, Mohamed. $3 284610
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-35092-5
950 $a Computer Science (Springer-11645)