46 results on '"Autili, Marco"'
Search Results
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
8. Transition Strategies for Increasing Self-awareness in Existing Types of 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
18. Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures?
19. Run Time Models in Adaptive Service Infrastructure
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.