Search

Your search keyword '"Autili, Marco"' showing total 46 results

Search Constraints

Start Over You searched for: Author "Autili, Marco" Remove constraint Author: "Autili, Marco" Publication Type eBooks Remove constraint Publication Type: eBooks
46 results on '"Autili, Marco"'

Search Results

1. Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains

2. CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems

3. A Hybrid Approach to Microservices Load Balancing

4. CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications

5. Different Glasses to Look into the Three Cs: Component, Connector, Coordination

6. Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution

7. Synthesis and Verification of Self-aware Computing Systems

9. Self-aware Computing Systems: Related Concepts and Research Areas

10. Automated Integration of Service-Oriented Software Systems

11. Biological Immunity and Software Resilience: Two Faces of the Same Coin?

12. Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications

13. ModelLAND: Where Do Models Come from?

14. Synthesis of Resilient Choreographies

15. A Model-Based Synthesis Process for Choreography Realizability Enforcement

16. Integration Architecture Synthesis for Taming Uncertainty in the Digital Space

17. An Integrated Development and Runtime Environment for the Future Internet

20. Towards a Connector Algebra

21. Context-Aware Adaptive Services: The PLASTIC Approach

22. Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems

23. Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology

24. Formal Methods Communities of Practice: A Survey of Personal Experience

25. A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems

26. A Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project

27. DrPython–WEB: A Tool to Help Teaching Well-Written Python Programs

28. Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework

29. Co-simulation of a Model Predictive Control System for Automotive Applications

30. Fostering Safe Behaviors via Metaphor-Based Nudging Technologies

31. Co-simulation-Based Pre-training of a Ship Trajectory Predictor

32. Learning from Mistakes in an Open Source Software Course

33. Open Source Discovery, Adoption, and Use: An Informal Perspective

34. Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins

35. Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?

36. Unexpectedness and Bayes’ Rule

37. Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum

38. Effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation

39. Convergence Properties of Hierarchical Co-simulation Approaches

40. Original or Fake? How to Understand the Digital Artworks’ Value in the Blockchain

41. Grounding Psychological Shape Space in Convolutional Neural Networks

42. Can Reinforcement Learning Learn Itself? A Reply to ‘Reward is Enough’

43. Developing the Semantic Web via the Resolution of Meaning Ambiguities

44. What Does It Mean to Inhibit an Action? : A Critical Discussion of Benjamin Libet’s Veto in a Recent Study

45. Regret from Cognition to Code

46. In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL)

Catalog

Books, media, physical & digital resources