| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910413446303321 |
|
|
Autore |
Lahiri Shuvendu K |
|
|
Titolo |
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / / edited by Shuvendu K. Lahiri, Chao Wang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 683 p. 719 illus., 94 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12225 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Artificial intelligence |
Computer engineering |
Computer networks |
Computers |
Software Engineering |
Theory of Computation |
Artificial Intelligence |
Computer Engineering and Networks |
Computer Hardware |
Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from |
|
|
|
|
|
|
|
|
|
|
|
|
|
240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910380745103321 |
|
|
Titolo |
Communications and Networking : 14th EAI International Conference, ChinaCom 2019, Shanghai, China, November 29 – December 1, 2019, Proceedings, Part II / / edited by Honghao Gao, Zhiyong Feng, Jun Yu, Jun Wu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIX, 440 p. 249 illus., 189 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, , 1867-822X ; ; 313 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer networks |
Data structures (Computer science) |
Information theory |
Computer Communication Networks |
Data Structures and Information Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Wireless communications and networking -- next generation WLAN -- big data networks -- cloud communications and networking -- ad hoc and sensor networks -- satellite and space communications and networking -- optical communications and networking -- information and coding theory -- multimedia communications and smart networking -- green communications and computing -- signal processing for communications -- network and information security -- machine-to-machine and IoT -- communication QoS -- reliability and |
|
|
|
|
|
|
|
|
|
|
|
modeling -- cognitiveradio and networks -- smart internet of things modeling -- pattern recognition and image signal processing -- digital audio and video signal processing -- antenna and microwave communications -- radar imaging and target recognition -- video coding and image signal processing. |
|
|
|
|
|
|
Sommario/riassunto |
|
This two volume set constitutes the refereed proceedings of the 14th EAI International Conference on Communications and Networking, ChinaCom 2019, held in November/December 2019 in Shanghai, China. The 81 papers presented were carefully selected from 162 submissions. The papers are organized in topical sections on Internet of Things (IoT), antenna, microwave and cellular communication, wireless communications and networking, network and information security, communication QoS, reliability and modeling, pattern recognition and image signal processing, and information processing. |
|
|
|
|
|
|
|
| |