FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896905946> ?p ?o ?g. }

• W2896905946 abstract "The calculus of virtually timed ambients models timing aspects of resource management for virtual machines. With nested virtualization, virtual machines compete with other processes for the resources of their host environment. Resource provisioning in virtually timed ambients can be formalized by extending the capabilities of mobile ambients to model the dynamic creation, migration, and destruction of virtual machines. This paper introduces a logic to define modal contracts regarding resource management for virtually timed ambients. Service-level agreements are contracts between a service provider and a client, specifying properties that the service should fulfill with respect to quality of service (QoS). The proposed modal logic supports QoS statements about the resource consumption and nesting structure of a system during the timed reduction of its processes. Besides a formal definition of the logic, the paper provides a corresponding model checking algorithm and its prototype implementation in rewriting logic." @default.
• W2896905946 created "2018-10-26" @default.
• W2896905946 creator A5034445771 @default.
• W2896905946 creator A5039414480 @default.
• W2896905946 creator A5058725359 @default.
• W2896905946 creator A5061578927 @default.
• W2896905946 date "2018-01-01" @default.
• W2896905946 modified "2023-09-28" @default.
• W2896905946 title "Checking Modal Contracts for Virtually Timed Ambients" @default.
• W2896905946 cites W1498203978 @default.
• W2896905946 cites W1515421996 @default.
• W2896905946 cites W1518388247 @default.
• W2896905946 cites W1529140242 @default.
• W2896905946 cites W1535118594 @default.
• W2896905946 cites W1584504099 @default.
• W2896905946 cites W2006766139 @default.
• W2896905946 cites W2015252590 @default.
• W2896905946 cites W2022782983 @default.
• W2896905946 cites W2026629052 @default.
• W2896905946 cites W2031616527 @default.
• W2896905946 cites W2033941876 @default.
• W2896905946 cites W2054344570 @default.
• W2896905946 cites W2055115521 @default.
• W2896905946 cites W2089546907 @default.
• W2896905946 cites W2094712820 @default.
• W2896905946 cites W2123321856 @default.
• W2896905946 cites W2125895608 @default.
• W2896905946 cites W2138549619 @default.
• W2896905946 cites W2139760036 @default.
• W2896905946 cites W2145279363 @default.
• W2896905946 cites W2163869523 @default.
• W2896905946 cites W2167998587 @default.
• W2896905946 cites W2219225017 @default.
• W2896905946 cites W2771041917 @default.
• W2896905946 cites W2773007251 @default.
• W2896905946 cites W2792669134 @default.
• W2896905946 cites W2912003593 @default.
• W2896905946 cites W2914597273 @default.
• W2896905946 cites W4214535918 @default.
• W2896905946 cites W4234315090 @default.
• W2896905946 doi "https://doi.org/10.1007/978-3-030-02508-3_14" @default.
• W2896905946 hasPublicationYear "2018" @default.
• W2896905946 type Work @default.
• W2896905946 sameAs 2896905946 @default.
• W2896905946 citedByCount "3" @default.
• W2896905946 countsByYear W28969059462018 @default.
• W2896905946 countsByYear W28969059462020 @default.
• W2896905946 crossrefType "book-chapter" @default.
• W2896905946 hasAuthorship W2896905946A5034445771 @default.
• W2896905946 hasAuthorship W2896905946A5039414480 @default.
• W2896905946 hasAuthorship W2896905946A5058725359 @default.
• W2896905946 hasAuthorship W2896905946A5061578927 @default.
• W2896905946 hasConcept C110251889 @default.
• W2896905946 hasConcept C111919701 @default.
• W2896905946 hasConcept C120314980 @default.
• W2896905946 hasConcept C154690210 @default.
• W2896905946 hasConcept C172191483 @default.
• W2896905946 hasConcept C185592680 @default.
• W2896905946 hasConcept C188027245 @default.
• W2896905946 hasConcept C199360897 @default.
• W2896905946 hasConcept C25344961 @default.
• W2896905946 hasConcept C27508121 @default.
• W2896905946 hasConcept C31258907 @default.
• W2896905946 hasConcept C41008148 @default.
• W2896905946 hasConcept C4777664 @default.
• W2896905946 hasConcept C5119721 @default.
• W2896905946 hasConcept C513985346 @default.
• W2896905946 hasConcept C71139939 @default.
• W2896905946 hasConcept C79974875 @default.
• W2896905946 hasConceptScore W2896905946C110251889 @default.
• W2896905946 hasConceptScore W2896905946C111919701 @default.
• W2896905946 hasConceptScore W2896905946C120314980 @default.
• W2896905946 hasConceptScore W2896905946C154690210 @default.
• W2896905946 hasConceptScore W2896905946C172191483 @default.
• W2896905946 hasConceptScore W2896905946C185592680 @default.
• W2896905946 hasConceptScore W2896905946C188027245 @default.
• W2896905946 hasConceptScore W2896905946C199360897 @default.
• W2896905946 hasConceptScore W2896905946C25344961 @default.
• W2896905946 hasConceptScore W2896905946C27508121 @default.
• W2896905946 hasConceptScore W2896905946C31258907 @default.
• W2896905946 hasConceptScore W2896905946C41008148 @default.
• W2896905946 hasConceptScore W2896905946C4777664 @default.
• W2896905946 hasConceptScore W2896905946C5119721 @default.
• W2896905946 hasConceptScore W2896905946C513985346 @default.
• W2896905946 hasConceptScore W2896905946C71139939 @default.
• W2896905946 hasConceptScore W2896905946C79974875 @default.
• W2896905946 hasLocation W28969059461 @default.
• W2896905946 hasOpenAccess W2896905946 @default.
• W2896905946 hasPrimaryLocation W28969059461 @default.
• W2896905946 hasRelatedWork W1496659003 @default.
• W2896905946 hasRelatedWork W1573313194 @default.
• W2896905946 hasRelatedWork W1698617569 @default.
• W2896905946 hasRelatedWork W2005112667 @default.
• W2896905946 hasRelatedWork W2023287232 @default.
• W2896905946 hasRelatedWork W2052808179 @default.
• W2896905946 hasRelatedWork W2098987259 @default.
• W2896905946 hasRelatedWork W2152879118 @default.
• W2896905946 hasRelatedWork W2153020833 @default.
• W2896905946 hasRelatedWork W2159419776 @default.
• W2896905946 hasRelatedWork W2292824261 @default.

• next