security  (37 303 Angebote unter 18 336 646 Artikeln)

17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024, Proceedings

This book constitutes the refereed proceedings of the 17th International Conference on Web Engineering, ICWE 2017, held in Rome, Italy, in June 2017.The 20 full research papers and 12 short papers ...

The three-volume set constitutes the proceedings of the 17th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2022, which was held during  October 28-30, 2022. The c...

Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.- CTL as an Intermediate Language.- Multi-valued Logics, Automata, Simulations, and Games.- Verification of Register Alloca...

20th International Conference, ICWE 2020, Helsinki, Finland, June 9-12, 2020, Proceedings

Recent spectacular achievements in wireless, mobile, and sensor networks have dramatically changed our lives in many ways. However, the rapid evolution of wireless systems not only promises increas...

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The pur...

Web Engineering: Introduction and Perspectives.- Web Engineering: Introduction and Perspectives.- Web Engineering: a New Discipline for Development of Web-Based Systems.- Web Engineering: Beyond CS...

18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part I

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017....

Over the last few years Web Engineering has begun to gain mainstream acc- tance within the software engineering, IT and related disciplines. In particular, both researchers and practitioners are in...

11th EAI International Conference, WiCON 2018, Taipei, Taiwan, October 15-16, 2018, Proceedings

Copyright-Schutz digitaler Daten.- A Copyright Protection Environment for Digital Images.- Kopierschutz durch asymmetrische Schlüsselkennzeichnung mit Signeten.- Electronic Commerce.- Cryptographic...

This book constitutes the refereed proceedings of the two thematic workshops held jointly with Networking 2002: WEB Engineering and Peer-to-Peer C- puting. Networking 2002 was organized by the Ital...

Cyber Security Threats and Countermeasures