top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers / / edited by Zoltán Ádám Mann, Volker Stolz
Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers / / edited by Zoltán Ádám Mann, Volker Stolz
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (VIII, 194 p. 64 illus.)
Disciplina 004.6782
Collana Communications in Computer and Information Science
Soggetto topico Software engineering
Application software
Information technology
Business—Data processing
Computer system failures
E-commerce
Software Engineering
Information Systems Applications (incl. Internet)
IT in Business
System Performance and Evaluation
e-Commerce/e-business
ISBN 3-319-79090-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Limits and advantages of existing cloud solutions -- Future internet technologies -- Efficient and adaptive deployment and management of service-based applications across multiple clouds -- Novel cloud service migration practices and solutions -- Digitization of enterprises in the cloud computing era -- Federated cloud networking services.
Record Nr. UNINA-9910299265803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Runtime Verification [[electronic resource] ] : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings / / edited by Thao Dang, Volker Stolz
Runtime Verification [[electronic resource] ] : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings / / edited by Thao Dang, Volker Stolz
Autore Dang Thao
Edizione [1st ed. 2022.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Descrizione fisica 1 online resource (355 pages)
Disciplina 005.1
Altri autori (Persone) StolzVolker
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Software Engineering
ISBN 3-031-17196-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Randomized First-Order Monitoring With Hashing -- Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring -- Relaxing safety for metric first-order temporal logic via dynamic free variables -- Rule-based Runtime Mitigation against Poison Attacks on Neural Networks -- Optimizing Prestate Copies in Runtime Verification of Function Postconditions -- A Barrier Certificate-based Simplex Architecture with Application to Microgrids -- Optimal Finite-State Monitoring of Partial Traces -- Tainting in Smart Contracts: Combining Static and Runtime Verification -- Pace Transaction Monitoring of Smart Contracts -- Anticipatory Recurrent Monitoring with Uncertainty and Assumptions -- Abstract Monitors for Quantitative Specifications -- Organization Runtime Verification of Kotlin Coroutines -- A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification -- Pace Towards Specificationless Monitoring of ProvenanceEmitting Systems -- A Python Library for Trace Analysis -- Lock Contention Classification for Java Intrinsic Locks -- TestSelector: Automatic Test Suite Selection for Student Projects -- Falcone Runtime verification for FMI-based co-simulation -- – An Ecosystem For Runtime Verification -- Real-time Visualization of Stream-based Monitoring Data -- Automating numerical parameters along the evolution of a nonlinear system.
Record Nr. UNISA-996490354103316
Dang Thao  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings / / edited by Thao Dang, Volker Stolz
Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings / / edited by Thao Dang, Volker Stolz
Autore Dang Thao
Edizione [1st ed. 2022.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Descrizione fisica 1 online resource (355 pages)
Disciplina 005.1
005.14
Altri autori (Persone) StolzVolker
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Software Engineering
Verificació del programari
Mètodes formals (Informàtica)
Programari
Soggetto genere / forma Congressos.
Llibres electrònics
ISBN 9783031171963
3031171969
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Randomized First-Order Monitoring With Hashing -- Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring -- Relaxing safety for metric first-order temporal logic via dynamic free variables -- Rule-based Runtime Mitigation against Poison Attacks on Neural Networks -- Optimizing Prestate Copies in Runtime Verification of Function Postconditions -- A Barrier Certificate-based Simplex Architecture with Application to Microgrids -- Optimal Finite-State Monitoring of Partial Traces -- Tainting in Smart Contracts: Combining Static and Runtime Verification -- Pace Transaction Monitoring of Smart Contracts -- Anticipatory Recurrent Monitoring with Uncertainty and Assumptions -- Abstract Monitors for Quantitative Specifications -- Organization Runtime Verification of Kotlin Coroutines -- A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification -- Pace Towards Specificationless Monitoring of ProvenanceEmitting Systems -- A Python Library for Trace Analysis -- Lock Contention Classification for Java Intrinsic Locks -- TestSelector: Automatic Test Suite Selection for Student Projects -- Falcone Runtime verification for FMI-based co-simulation -- – An Ecosystem For Runtime Verification -- Real-time Visualization of Stream-based Monitoring Data -- Automating numerical parameters along the evolution of a nonlinear system.
Record Nr. UNINA-9910595028003321
Dang Thao  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui