[go: up one dir, main page]

Murgia et al., 2023 - Google Patents

Comparing perfomance abstractions for collective adaptive systems

Murgia et al., 2023

View PDF
Document ID
9216017482796606482
Author
Murgia M
Pinciroli R
Trubiani C
Tuosto E
Publication year
Publication venue
International Journal on Software Tools for Technology Transfer

External Links

Snippet

Non-functional properties of collective adaptive systems (CAS) are of paramount relevance practically in any application. This paper compares two recently proposed approaches to quantitative modelling that exploit different system abstractions: the first is based on …
Continue reading at link.springer.com (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/48—Programme initiating; Programme switching, e.g. by interrupt
    • G06F9/4806—Task transfer initiation or dispatching
    • G06F9/4843—Task transfer initiation or dispatching by program, e.g. task dispatcher, supervisor, operating system
    • G06F9/4881—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogramme communication; Intertask communication
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/04—Inference methods or devices
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/02—Details
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/16—Combinations of two or more digital computers each having at least an arithmetic unit, a programme unit and a register, e.g. for a simultaneous processing of several programmes
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/54—Store-and-forward switching systems

Similar Documents

Publication Publication Date Title
Ghobaei‐Arani et al. A moth‐flame optimization algorithm for web service composition in cloud computing: simulation and verification
Weyns et al. ActivFORMS: A formally founded model-based approach to engineer self-adaptive systems
Muccini et al. Self-adaptive IoT architectures: An emergency handling case study
Budde et al. A statistical model checker for nondeterminism and rare events
EP3729209B1 (en) Combined learned and dynamic control method
Zhu SLABS: A formal specification language for agent-based systems
Khakpour et al. Formal modeling of evolving self-adaptive systems
US11088921B2 (en) Systems and method for providing an ontogenesis emergence and confidence engine
Cámara et al. The uncertainty interaction problem in self-adaptive systems
Bendriss et al. AI for SLA management in programmable networks
Fua et al. COBOS: Cooperative backoff adaptive scheme for multirobot task allocation
Sacco et al. An architecture for adaptive task planning in support of IoT-based machine learning applications for disaster scenarios
Murgia et al. Comparing perfomance abstractions for collective adaptive systems
Leon-Garcia et al. Data communication optimization for the evaluation of multivariate conditions in distributed scenarios
US20220345419A1 (en) Human supervision and guidance for autonomously configured shared resources
Wang et al. DFRDRL: a dynamic fuzzy routing algorithm based on deep reinforcement learning with guaranteed latency and bandwidth for software-defined networks
Murgia et al. On model-based performance analysis of collective adaptive systems
Bowman Process assessment and process management for intelligent data fusion & resource management systems
US7574497B2 (en) System and method for an open autonomy kernel (oak)
Kochikar et al. On using abstract models for analysis of flexible manufacturing systems
Koh-Dzul et al. A smart diagnostic model for an autonomic service bus based on a probabilistic reasoning approach
Cioroaica et al. A paradigm for safe adaptation of collaborating robots
Andrzejak et al. On adaptability in grid systems
Kasinger et al. Towards a Model-Driven Software Engineering Methodology for Organic Computing Systems.
Shafieirad On Meeting a Maximum Delay Constraint Using Reinforcement Learning in Wireless Networks