FRINK Linked Data Fragments server

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

• W2948848872 abstract "Internet connected devices are becoming increasingly common in consumer homes. These devices combined with software entities are used to build Internet of Things (IoT) applications. As democratization of IoT takes shape, developing reliable IoT applications remains a challenge for consumers because these applications exhibit characteristics such as distribution, dynamicity, and heterogeneity, which make their design, development and maintenance difficult. In this paper, we use formal methods to ensure correct composition of objects and propose a reliable deployment mechanism in the context of an IoT application. Objects are modelled using an interface description model integrating a behavioural specification of the object functionality. We provide formal validation techniques for verifying that the composition is correct. A deployment plan is generated for automating the instantiation of all objects involved in a valid composition. All the proposals have been implemented as a prototype tool and experiments were carried out for evaluating the tool performance and usability." @default.
• W2948848872 created "2019-06-14" @default.
• W2948848872 creator A5023688350 @default.
• W2948848872 creator A5023942876 @default.
• W2948848872 creator A5051079368 @default.
• W2948848872 creator A5059839916 @default.
• W2948848872 creator A5068981088 @default.
• W2948848872 date "2019-05-01" @default.
• W2948848872 modified "2023-10-14" @default.
• W2948848872 title "Rigorous Design and Deployment of IoT Applications" @default.
• W2948848872 cites W1409803167 @default.
• W2948848872 cites W1594380366 @default.
• W2948848872 cites W1975455609 @default.
• W2948848872 cites W1985161650 @default.
• W2948848872 cites W2015937909 @default.
• W2948848872 cites W2025970201 @default.
• W2948848872 cites W2043510950 @default.
• W2948848872 cites W2092622056 @default.
• W2948848872 cites W2111735601 @default.
• W2948848872 cites W2118382442 @default.
• W2948848872 cites W2141834609 @default.
• W2948848872 cites W2212488157 @default.
• W2948848872 cites W2247217207 @default.
• W2948848872 cites W2298997815 @default.
• W2948848872 cites W2551218914 @default.
• W2948848872 cites W2623162099 @default.
• W2948848872 cites W2757839910 @default.
• W2948848872 cites W2765361529 @default.
• W2948848872 cites W2801972078 @default.
• W2948848872 cites W2810491896 @default.
• W2948848872 cites W2811335265 @default.
• W2948848872 cites W2953649188 @default.
• W2948848872 cites W66898140 @default.
• W2948848872 cites W85326815 @default.
• W2948848872 doi "https://doi.org/10.1109/formalise.2019.00011" @default.
• W2948848872 hasPublicationYear "2019" @default.
• W2948848872 type Work @default.
• W2948848872 sameAs 2948848872 @default.
• W2948848872 citedByCount "10" @default.
• W2948848872 countsByYear W29488488722020 @default.
• W2948848872 countsByYear W29488488722021 @default.
• W2948848872 countsByYear W29488488722022 @default.
• W2948848872 countsByYear W29488488722023 @default.
• W2948848872 crossrefType "proceedings-article" @default.
• W2948848872 hasAuthorship W2948848872A5023688350 @default.
• W2948848872 hasAuthorship W2948848872A5023942876 @default.
• W2948848872 hasAuthorship W2948848872A5051079368 @default.
• W2948848872 hasAuthorship W2948848872A5059839916 @default.
• W2948848872 hasAuthorship W2948848872A5068981088 @default.
• W2948848872 hasBestOaLocation W29488488722 @default.
• W2948848872 hasConcept C105339364 @default.
• W2948848872 hasConcept C107457646 @default.
• W2948848872 hasConcept C110875604 @default.
• W2948848872 hasConcept C111919701 @default.
• W2948848872 hasConcept C113843644 @default.
• W2948848872 hasConcept C115903868 @default.
• W2948848872 hasConcept C129307140 @default.
• W2948848872 hasConcept C136764020 @default.
• W2948848872 hasConcept C149635348 @default.
• W2948848872 hasConcept C151730666 @default.
• W2948848872 hasConcept C154945302 @default.
• W2948848872 hasConcept C157915830 @default.
• W2948848872 hasConcept C170130773 @default.
• W2948848872 hasConcept C2779343474 @default.
• W2948848872 hasConcept C2781238097 @default.
• W2948848872 hasConcept C41008148 @default.
• W2948848872 hasConcept C81860439 @default.
• W2948848872 hasConcept C86803240 @default.
• W2948848872 hasConceptScore W2948848872C105339364 @default.
• W2948848872 hasConceptScore W2948848872C107457646 @default.
• W2948848872 hasConceptScore W2948848872C110875604 @default.
• W2948848872 hasConceptScore W2948848872C111919701 @default.
• W2948848872 hasConceptScore W2948848872C113843644 @default.
• W2948848872 hasConceptScore W2948848872C115903868 @default.
• W2948848872 hasConceptScore W2948848872C129307140 @default.
• W2948848872 hasConceptScore W2948848872C136764020 @default.
• W2948848872 hasConceptScore W2948848872C149635348 @default.
• W2948848872 hasConceptScore W2948848872C151730666 @default.
• W2948848872 hasConceptScore W2948848872C154945302 @default.
• W2948848872 hasConceptScore W2948848872C157915830 @default.
• W2948848872 hasConceptScore W2948848872C170130773 @default.
• W2948848872 hasConceptScore W2948848872C2779343474 @default.
• W2948848872 hasConceptScore W2948848872C2781238097 @default.
• W2948848872 hasConceptScore W2948848872C41008148 @default.
• W2948848872 hasConceptScore W2948848872C81860439 @default.
• W2948848872 hasConceptScore W2948848872C86803240 @default.
• W2948848872 hasLocation W29488488721 @default.
• W2948848872 hasLocation W29488488722 @default.
• W2948848872 hasLocation W29488488723 @default.
• W2948848872 hasLocation W29488488724 @default.
• W2948848872 hasOpenAccess W2948848872 @default.
• W2948848872 hasPrimaryLocation W29488488721 @default.
• W2948848872 hasRelatedWork W148745890 @default.
• W2948848872 hasRelatedWork W2187546663 @default.
• W2948848872 hasRelatedWork W2429057255 @default.
• W2948848872 hasRelatedWork W2524154428 @default.
• W2948848872 hasRelatedWork W2566006169 @default.
• W2948848872 hasRelatedWork W2598865957 @default.
• W2948848872 hasRelatedWork W2770234245 @default.
• W2948848872 hasRelatedWork W2899790217 @default.

• next