Matches in SemOpenAlex for { <https://semopenalex.org/work/W2085383820> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2085383820 abstract "COSMOS DSL is a language dedicated to the domain of composition of context information. It allows, through its high-level constructions, to treat very large amounts of context data coming from distributed sources, whatsoever in ubiquitous systems or large-scale distributed systems. In this paper, we focus on the safety of programs developed in COSMOS DSL. We discuss the needs of reliability and validation of specific properties such as the lack of deadlocks and vivacity of context information. Then we propose an automatable modeling of COSMOS DSL using the Petri nets formalism to allow verification of behavioral properties in a software tool." @default.
- W2085383820 created "2016-06-24" @default.
- W2085383820 creator A5051069107 @default.
- W2085383820 creator A5087561725 @default.
- W2085383820 date "2010-11-01" @default.
- W2085383820 modified "2023-09-25" @default.
- W2085383820 title "Validation of COSMOS DSL programs" @default.
- W2085383820 cites W1504834688 @default.
- W2085383820 cites W1547669136 @default.
- W2085383820 cites W1944971393 @default.
- W2085383820 cites W1996565109 @default.
- W2085383820 cites W2080350765 @default.
- W2085383820 cites W2096552817 @default.
- W2085383820 cites W2104910381 @default.
- W2085383820 cites W2106247017 @default.
- W2085383820 cites W2112830612 @default.
- W2085383820 cites W2122796635 @default.
- W2085383820 cites W2127687018 @default.
- W2085383820 cites W2139115867 @default.
- W2085383820 cites W2168867823 @default.
- W2085383820 doi "https://doi.org/10.1109/icces.2010.5674874" @default.
- W2085383820 hasPublicationYear "2010" @default.
- W2085383820 type Work @default.
- W2085383820 sameAs 2085383820 @default.
- W2085383820 citedByCount "1" @default.
- W2085383820 countsByYear W20853838202018 @default.
- W2085383820 crossrefType "proceedings-article" @default.
- W2085383820 hasAuthorship W2085383820A5051069107 @default.
- W2085383820 hasAuthorship W2085383820A5087561725 @default.
- W2085383820 hasConcept C142362112 @default.
- W2085383820 hasConcept C201374245 @default.
- W2085383820 hasConcept C2780307871 @default.
- W2085383820 hasConcept C31258907 @default.
- W2085383820 hasConcept C41008148 @default.
- W2085383820 hasConcept C52119013 @default.
- W2085383820 hasConceptScore W2085383820C142362112 @default.
- W2085383820 hasConceptScore W2085383820C201374245 @default.
- W2085383820 hasConceptScore W2085383820C2780307871 @default.
- W2085383820 hasConceptScore W2085383820C31258907 @default.
- W2085383820 hasConceptScore W2085383820C41008148 @default.
- W2085383820 hasConceptScore W2085383820C52119013 @default.
- W2085383820 hasLocation W20853838201 @default.
- W2085383820 hasLocation W20853838202 @default.
- W2085383820 hasOpenAccess W2085383820 @default.
- W2085383820 hasPrimaryLocation W20853838201 @default.
- W2085383820 hasRelatedWork W2000780397 @default.
- W2085383820 hasRelatedWork W2022996297 @default.
- W2085383820 hasRelatedWork W2095083387 @default.
- W2085383820 hasRelatedWork W2143609451 @default.
- W2085383820 hasRelatedWork W2319736015 @default.
- W2085383820 hasRelatedWork W2357674256 @default.
- W2085383820 hasRelatedWork W2532143498 @default.
- W2085383820 hasRelatedWork W2556228643 @default.
- W2085383820 hasRelatedWork W2798809630 @default.
- W2085383820 hasRelatedWork W4244568863 @default.
- W2085383820 isParatext "false" @default.
- W2085383820 isRetracted "false" @default.
- W2085383820 magId "2085383820" @default.
- W2085383820 workType "article" @default.