FRINK Linked Data Fragments server

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

• W2399171988 endingPage "79" @default.
• W2399171988 startingPage "60" @default.
• W2399171988 abstract "Distributed applications in the cloud are composed of a set of virtual machines running a set of interconnected software components. In this context, setting up, (re)configuring, and monitoring these applications is a real burden since a software application may depend on several remote software and virtual machine configurations. These management tasks involve many complex protocols, which fully automate these tasks while preserving application consistency. In this paper, we focus on a self-configuration protocol, which is able to configure a whole distributed application without requiring any centralized server. The high degree of parallelism involved in this protocol makes its design complicated and error-prone. In order to check that this protocol works as expected, we specify it in LOTOS NT and verify it using the CADP toolbox. The use of these formal techniques and tools helped to detect a bug in the protocol, and served as a workbench to experiment with several possible communication models." @default.
• W2399171988 created "2016-06-24" @default.
• W2399171988 creator A5043275972 @default.
• W2399171988 creator A5059839916 @default.
• W2399171988 creator A5060880207 @default.
• W2399171988 creator A5067596765 @default.
• W2399171988 creator A5087094634 @default.
• W2399171988 date "2013-01-01" @default.
• W2399171988 modified "2023-10-12" @default.
• W2399171988 title "Verification of a Self-configuration Protocol for Distributed Applications in the Cloud" @default.
• W2399171988 cites W141286855 @default.
• W2399171988 cites W1503429725 @default.
• W2399171988 cites W1532337740 @default.
• W2399171988 cites W1566834790 @default.
• W2399171988 cites W1598029876 @default.
• W2399171988 cites W1605031929 @default.
• W2399171988 cites W1980824962 @default.
• W2399171988 cites W1981528734 @default.
• W2399171988 cites W1982089164 @default.
• W2399171988 cites W2003602392 @default.
• W2399171988 cites W2040914586 @default.
• W2399171988 cites W2074539977 @default.
• W2399171988 cites W2075625941 @default.
• W2399171988 cites W2089605833 @default.
• W2399171988 cites W2100653580 @default.
• W2399171988 cites W2104764839 @default.
• W2399171988 cites W2115309705 @default.
• W2399171988 cites W2136310957 @default.
• W2399171988 cites W4248495946 @default.
• W2399171988 doi "https://doi.org/10.1007/978-3-642-36249-1_3" @default.
• W2399171988 hasPublicationYear "2013" @default.
• W2399171988 type Work @default.
• W2399171988 sameAs 2399171988 @default.
• W2399171988 citedByCount "6" @default.
• W2399171988 countsByYear W23991719882014 @default.
• W2399171988 countsByYear W23991719882015 @default.
• W2399171988 countsByYear W23991719882017 @default.
• W2399171988 countsByYear W23991719882018 @default.
• W2399171988 countsByYear W23991719882020 @default.
• W2399171988 crossrefType "book-chapter" @default.
• W2399171988 hasAuthorship W2399171988A5043275972 @default.
• W2399171988 hasAuthorship W2399171988A5059839916 @default.
• W2399171988 hasAuthorship W2399171988A5060880207 @default.
• W2399171988 hasAuthorship W2399171988A5067596765 @default.
• W2399171988 hasAuthorship W2399171988A5087094634 @default.
• W2399171988 hasBestOaLocation W23991719882 @default.
• W2399171988 hasConcept C111919701 @default.
• W2399171988 hasConcept C115903868 @default.
• W2399171988 hasConcept C120314980 @default.
• W2399171988 hasConcept C12269588 @default.
• W2399171988 hasConcept C124101348 @default.
• W2399171988 hasConcept C142724271 @default.
• W2399171988 hasConcept C149635348 @default.
• W2399171988 hasConcept C151730666 @default.
• W2399171988 hasConcept C154945302 @default.
• W2399171988 hasConcept C177264268 @default.
• W2399171988 hasConcept C199360897 @default.
• W2399171988 hasConcept C204787440 @default.
• W2399171988 hasConcept C25344961 @default.
• W2399171988 hasConcept C2776436953 @default.
• W2399171988 hasConcept C2777655017 @default.
• W2399171988 hasConcept C2777904410 @default.
• W2399171988 hasConcept C2779145975 @default.
• W2399171988 hasConcept C2779343474 @default.
• W2399171988 hasConcept C2780385302 @default.
• W2399171988 hasConcept C36464697 @default.
• W2399171988 hasConcept C41008148 @default.
• W2399171988 hasConcept C71924100 @default.
• W2399171988 hasConcept C79974875 @default.
• W2399171988 hasConcept C86803240 @default.
• W2399171988 hasConceptScore W2399171988C111919701 @default.
• W2399171988 hasConceptScore W2399171988C115903868 @default.
• W2399171988 hasConceptScore W2399171988C120314980 @default.
• W2399171988 hasConceptScore W2399171988C12269588 @default.
• W2399171988 hasConceptScore W2399171988C124101348 @default.
• W2399171988 hasConceptScore W2399171988C142724271 @default.
• W2399171988 hasConceptScore W2399171988C149635348 @default.
• W2399171988 hasConceptScore W2399171988C151730666 @default.
• W2399171988 hasConceptScore W2399171988C154945302 @default.
• W2399171988 hasConceptScore W2399171988C177264268 @default.
• W2399171988 hasConceptScore W2399171988C199360897 @default.
• W2399171988 hasConceptScore W2399171988C204787440 @default.
• W2399171988 hasConceptScore W2399171988C25344961 @default.
• W2399171988 hasConceptScore W2399171988C2776436953 @default.
• W2399171988 hasConceptScore W2399171988C2777655017 @default.
• W2399171988 hasConceptScore W2399171988C2777904410 @default.
• W2399171988 hasConceptScore W2399171988C2779145975 @default.
• W2399171988 hasConceptScore W2399171988C2779343474 @default.
• W2399171988 hasConceptScore W2399171988C2780385302 @default.
• W2399171988 hasConceptScore W2399171988C36464697 @default.
• W2399171988 hasConceptScore W2399171988C41008148 @default.
• W2399171988 hasConceptScore W2399171988C71924100 @default.
• W2399171988 hasConceptScore W2399171988C79974875 @default.
• W2399171988 hasConceptScore W2399171988C86803240 @default.
• W2399171988 hasLocation W23991719881 @default.
• W2399171988 hasLocation W23991719882 @default.
• W2399171988 hasLocation W23991719883 @default.
• W2399171988 hasLocation W23991719884 @default.

• next