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.
Abstract State Machines 2004. Advances in Theory and Practice [[electronic resource] ] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim
| Abstract State Machines 2004. Advances in Theory and Practice [[electronic resource] ] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 240 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Mathematical logic Computers Software engineering Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Foundations Theory of Computation Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30768-4
9786610307685 3-540-24773-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. |
| Record Nr. | UNISA-996466226603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim
| Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 240 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Logic, Symbolic and mathematical Computers Software engineering Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Foundations Theory of Computation Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30768-4
9786610307685 3-540-24773-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. |
| Record Nr. | UNINA-9910144158603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in service-oriented and cloud computing : Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018 : revised selected papers / / Maria Fazio, Wolf Zimmermann
| Advances in service-oriented and cloud computing : Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018 : revised selected papers / / Maria Fazio, Wolf Zimmermann |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XI, 234 p. 68 illus., 44 illus. in color.) |
| Disciplina | 004.6782 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Cloud computing
Application software Service-oriented architecture (Computer science) |
| ISBN | 3-030-63161-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Joint Cloudways and OptiMoCS Workshop -- 14th International Workshop on Engineering Service-Oriented Applications and Cloud Services -- ESOCC 2018 PhD Symposium -- ESOCC 2018 EU Projects Track. |
| Record Nr. | UNISA-996465451103316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers / / edited by Maria Fazio, Wolf Zimmermann
| Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers / / edited by Maria Fazio, Wolf Zimmermann |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 234 p. 68 illus., 44 illus. in color.) |
| Disciplina | 004.6782 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer networks Application software Computer systems Computers, Special purpose Electronic digital computers - Evaluation Software Engineering Computer Communication Networks Computer and Information Systems Applications Computer System Implementation Special Purpose and Application-Based Systems System Performance and Evaluation |
| ISBN | 3-030-63161-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Joint Cloudways and OptiMoCS Workshop -- 14th International Workshop on Engineering Service-Oriented Applications and Cloud Services -- ESOCC 2018 PhD Symposium -- ESOCC 2018 EU Projects Track. |
| Record Nr. | UNINA-9910447245203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of ECOWS '06 : [fourth] European Conference on Web Services : 4-6 December 2006, Zurich, Switzerland
| Proceedings of ECOWS '06 : [fourth] European Conference on Web Services : 4-6 December 2006, Zurich, Switzerland |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2006 |
| Soggetto topico |
Web services
World Wide Web Web databases Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN | 1-5090-9119-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996199009503316 |
| [Place of publication not identified], : IEEE Computer Society, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of ECOWS '06 : [fourth] European Conference on Web Services : 4-6 December 2006, Zurich, Switzerland
| Proceedings of ECOWS '06 : [fourth] European Conference on Web Services : 4-6 December 2006, Zurich, Switzerland |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2006 |
| Soggetto topico |
Web services
World Wide Web Web databases Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN |
9781509091195
150909119X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142719103321 |
| [Place of publication not identified], : IEEE Computer Society, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the fifth IEEE European Conference on Web Services : 26-28 November 2007 : Halle, Germany
| Proceedings of the fifth IEEE European Conference on Web Services : 26-28 November 2007 : Halle, Germany |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
| Disciplina | 006.7 |
| Soggetto topico |
Web services
World Wide Web Web databases Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN | 1-5090-8646-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996211053203316 |
| [Place of publication not identified], : IEEE Computer Society, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the fifth IEEE European Conference on Web Services : 26-28 November 2007 : Halle, Germany
| Proceedings of the fifth IEEE European Conference on Web Services : 26-28 November 2007 : Halle, Germany |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
| Disciplina | 006.7 |
| Soggetto topico |
Web services
World Wide Web Web databases Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN |
9781509086467
1509086463 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910143001903321 |
| [Place of publication not identified], : IEEE Computer Society, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-oriented and cloud computing : 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, proceedings / / edited by Fabrizio Montesi, George Angelos Papadopoulos, Wolf Zimmermann
| Service-oriented and cloud computing : 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, proceedings / / edited by Fabrizio Montesi, George Angelos Papadopoulos, Wolf Zimmermann |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (161 pages) |
| Disciplina | 004.6782 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Service-oriented architecture (Computer science) |
| ISBN | 3-031-04718-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Invited Talk -- Sniffbots to the Rescue - Fog Services for a Gas-Sniffing Immersive Robot Collective -- 1 Introduction -- 2 Sniffing Immersive Robot Collectives -- 2.1 The Robot Network -- 2.2 The Self-organizing, Sniffing Wireless Sensor Network -- 2.3 The Positioning Network -- 2.4 The Immersion Network -- 2.5 Coordination of the Sniffbot IRC via Dashboard -- 3 Service Architecture of a Sniffing Immersive Robot Collective -- 3.1 The Big Nose: Sniffing Services of Wireless Sensor Network -- 3.2 The Nano-Nose: Sensing with Nano-Sensors -- 3.3 The 3-D Nose: The Environment Model Service -- 3.4 The Mobile Human Avatar: Services for Immersive Control -- 4 Experiments with the IRC Fog Services -- 4.1 Sniffing with a Big Nose -- 4.2 Sensing with a Drone -- 4.3 Coupling Autonavigation and Last-Mile Immersion -- 5 Comparison to Related Work -- 6 Conclusion -- References -- Support for Cloud Applications -- Dynamic Threshold Setting for VM Migration -- 1 Introduction -- 2 Related Work -- 3 Proposed Reinforcement Learning Management Algorithm -- 3.1 State -- 3.2 Actions -- 3.3 Reward -- 4 Experimental Setup and Evaluation -- 4.1 Experiments -- 4.2 SLA Violations -- 4.3 Energy Consumption -- 4.4 Learning Threshold Assessment -- 5 Conclusion and Future Works -- References -- Secure Partitioning of Composite Cloud Applications -- 1 Introduction -- 2 Background and Motivating Example -- 2.1 Background -- 2.2 Motivating Example -- 3 Methodology and Prototype -- 3.1 Modelling Applications and Labelling -- 3.2 Eligible Partitioning -- 3.3 Labelling Suggestions -- 4 Motivating Example Revisited -- 4.1 Finding the Minimal Partitioning -- 4.2 Relaxing the Labelling -- 5 Related Work -- 6 Concluding Remarks -- References -- A Decentralized Service Control Framework for Decentralized Applications in Cloud Environments.
1 Introduction -- 2 Decentralized Service Control Framework -- 2.1 Architecture Design -- 2.2 Decentralized Control Consensus -- 3 Experiments -- 4 Conclusion -- References -- Service Design and Development -- A Systematic Comparison of IoT Middleware -- 1 Introduction -- 2 Background -- 2.1 IoT Characteristics -- 2.2 IoT Middleware Requirements -- 3 Related Work -- 4 Methodology -- 4.1 Middleware Selection Process (Preprocessing) -- 4.2 Feature Quantification Process -- 4.3 Evaluation Process -- 5 Application of the Approach -- 5.1 Middleware Selection Process (Preprocessing) -- 5.2 Feature Quantification Process -- 5.3 Evaluation of Middleware Parts -- 6 Conclusion -- References -- Pattern-Based Resolution of Integration Mismatches in Enterprise Applications -- 1 Introduction -- 2 Motivating Scenario -- 3 Modelling Integration Architectures -- 4 Resolving Mismatches in Integration Architectures -- 4.1 Resolvable Mismatches -- 4.2 Resolving Mismatches -- 5 Proof-of-Concept Implementation -- 6 Motivating Example Retaken -- 7 Related Work -- 8 Conclusions -- References -- Towards a Quality Model for Cloud-native Applications -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 4 A Quality Model for Cloud-Native Applications -- 5 Discussion and Future Work -- 6 Conclusion -- References -- Serverless -- Upilio: Leveraging the Serverless Paradigm for Building a Versatile IoT Application -- 1 Introduction -- 2 Background and Related Work -- 3 Upilio: Design and Implementation -- 3.1 Data Representation and Real-Time Collection -- 3.2 Data Ingress APIs -- 3.3 Serverless Frontend -- 3.4 Serverless Analytics -- 4 Experience and Experimental Evaluation -- 4.1 General Observations -- 4.2 Experimental Results -- 5 Conclusions -- References -- MAFF: Self-adaptive Memory Optimization for Serverless Functions -- 1 Introduction -- 2 Methodology. 2.1 Cost Optimization -- 2.2 Balanced Optimization -- 3 MAFF Framework -- 3.1 MAFF Components -- 4 Evaluation Settings -- 4.1 Benchmark Functions -- 4.2 Evaluation Scenarios -- 5 Results -- 5.1 Q1. Optimal Configuration Finding Efficiency -- 5.2 Q2. Optimal Configuration Finding Accuracy -- 5.3 Q3. Active vs Passive Approach -- 6 Comparison to Analogs -- 7 Related Work -- 8 Conclusion -- References -- Author Index. |
| Record Nr. | UNISA-996472070303316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented and Cloud Computing : 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings / / edited by Fabrizio Montesi, George Angelos Papadopoulos, Wolf Zimmermann
| Service-Oriented and Cloud Computing : 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings / / edited by Fabrizio Montesi, George Angelos Papadopoulos, Wolf Zimmermann |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (161 pages) |
| Disciplina | 004.6782 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer networks Computer systems Computer engineering Software Engineering Computer Communication Networks Computer System Implementation Computer Engineering and Networks |
| ISBN | 3-031-04718-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Sniffbots to the Rescue – Fog Services for a Gas-Sniffng Immersive Robot Collective.-Support for Cloud Applications Dynamic Threshold Setting for VM Migration -- Secure Partitioning of Composite Cloud Applications -- A Decentralized Service Control framework for Decentralized Applications in Cloud Environments -- Service Design and Development -- A Systematic Comparison of IoT Middleware -- Pattern-Based Resolution of Integration Mismatches in Enterprise Applications -- Towards a Quality Model for Cloud-native Applications -- Serverless -- Upilio: Leveraging the Serverless Paradigm for Building a Versatile IoT Application -- MAAF: Self-Adaptive Memory Optimization for Serverless Functions. |
| Record Nr. | UNINA-9910561292903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
