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.
Active Object Languages: Current Research Trends [[electronic resource] /] / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
| Active Object Languages: Current Research Trends [[electronic resource] /] / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan |
| Autore | de Boer Frank |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (382 pages) |
| Disciplina | 005.11 |
| Altri autori (Persone) |
DamianiFerruccio
HähnleReiner Broch JohnsenEinar KamburjanEduard |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Microprogramming Computer input-output equipment Logic design Computer networks Microprocessors Computer architecture Programming Techniques Control Structures and Microprogramming Input/Output and Data Communications Logic Design Computer Communication Networks Processor Architectures |
| ISBN | 3-031-51060-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Active Objects based on Algebraic Effects -- Actor-based Designs for Distributed Self-organisation Programming -- Encore: Coda -- Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems -- A Survey of Actor-Like Programming Models for Serverless Computing -- Programming Language Implementations with Multiparty Session Types -- Modelling -- Integrated Timed Architectural Modeling/Execution Language -- Simulating User Journeys with Active Objects -- Actors Upgraded for Variability, Adaptability, and Determinism -- Analysis -- Integrating Data Privacy Compliance in Active Object Languages -- Context-aware Trace Contracts -- Type-Based Verification of Delegated Control in Hybrid Systems -- Enforced Dependencies for Active Objects. |
| Record Nr. | UNINA-9910806197803321 |
de Boer Frank
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-Oriented and Cloud Computing [[electronic resource] ] : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings / / edited by Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen
| Service-Oriented and Cloud Computing [[electronic resource] ] : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings / / edited by Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 239 p. 91 illus.) |
| Disciplina | 004.6782 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Computer security Data encryption (Computer science) Information technology Business—Data processing Software Engineering Information Systems Applications (incl. Internet) Systems and Data Security Cryptology IT in Business |
| ISBN | 3-319-67262-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On or Off the Blockchain? Insights on Off-Chaining Computation and Data -- Microservices and Containers -- Microservices Identification through Interface Analysis -- A Performance Survey of Lightweight Virtualization Techniques -- Low-level Exploitation Mitigation by Diverse Microservices -- Security -- A Formal Approach for the Verification of AWS IAM Access Control Policies -- Foundations for Designing, Defining, Validating and Executing Access Control Policies in Cloud Environments -- Secure and Scalable Remote Access Tunnels for the IIoT: An Assessment of openVPN and IPSec Performance -- Cloud Resources -- Two are better than one: An algorithm portfolio approach to cloud resource management -- A Fuzzy Load Balancer for Adaptive Fault Tolerance Management in Cloud Platforms -- Data preparation as a service based on Apache Spark -- Services -- Human-in-the-Loop Simulation of Cloud Services -- Toward automatic semantic API descriptions to support services composition -- On Abstraction-based Deadlock-Analysis in Service-Oriented Systems with Recursion -- Internet of Things and Data Streams -- IoT-based Compliance Checking of Multi-party Business Processes modeled with Commitments -- Empowering Low-latency Applications through a Serverless Edge Computing Architecture -- Industrial Applications of Service and Cloud Computing -- uStorage – A storage architecture to provide Block-level Storage through Object-based Storage -- Heart Order Detection with Menard Algorithm on Apache Spark. |
| Record Nr. | UNISA-996466238203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented and Cloud Computing : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings / / edited by Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen
| Service-Oriented and Cloud Computing : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings / / edited by Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 239 p. 91 illus.) |
| Disciplina | 004.6782 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Computer security Data encryption (Computer science) Information technology Business—Data processing Software Engineering Information Systems Applications (incl. Internet) Systems and Data Security Cryptology IT in Business |
| ISBN | 3-319-67262-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On or Off the Blockchain? Insights on Off-Chaining Computation and Data -- Microservices and Containers -- Microservices Identification through Interface Analysis -- A Performance Survey of Lightweight Virtualization Techniques -- Low-level Exploitation Mitigation by Diverse Microservices -- Security -- A Formal Approach for the Verification of AWS IAM Access Control Policies -- Foundations for Designing, Defining, Validating and Executing Access Control Policies in Cloud Environments -- Secure and Scalable Remote Access Tunnels for the IIoT: An Assessment of openVPN and IPSec Performance -- Cloud Resources -- Two are better than one: An algorithm portfolio approach to cloud resource management -- A Fuzzy Load Balancer for Adaptive Fault Tolerance Management in Cloud Platforms -- Data preparation as a service based on Apache Spark -- Services -- Human-in-the-Loop Simulation of Cloud Services -- Toward automatic semantic API descriptions to support services composition -- On Abstraction-based Deadlock-Analysis in Service-Oriented Systems with Recursion -- Internet of Things and Data Streams -- IoT-based Compliance Checking of Multi-party Business Processes modeled with Commitments -- Empowering Low-latency Applications through a Serverless Edge Computing Architecture -- Industrial Applications of Service and Cloud Computing -- uStorage – A storage architecture to provide Block-level Storage through Object-based Storage -- Heart Order Detection with Menard Algorithm on Apache Spark. |
| Record Nr. | UNINA-9910483113203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||