Matches in SemOpenAlex for { <https://semopenalex.org/work/W2582770838> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2582770838 endingPage "22" @default.
- W2582770838 startingPage "1" @default.
- W2582770838 abstract "The environments of pervasive computing are open and dynamic. In order to ensure the dynamic discovery of services evolving in a heterogeneous and dynamic environment, specific extensions to WSDL, known as A-WSDL are suggested. These extensions permit to a service provider to define the context of service use and the behavior associated to each change of context. To verify and prove the expected behavior of the suggested discovery protocol in the design phase, the Event-B formalism is adopted. One of the advantages of the Event B formalism is the application of the refining techniques which permit to express complex features by means of mathematical proofs and moves from an abstract specification to a concrete specification by using the Rodin tool which offers a support for the refining and the proofs." @default.
- W2582770838 created "2017-02-03" @default.
- W2582770838 creator A5038299313 @default.
- W2582770838 creator A5040078488 @default.
- W2582770838 date "2017-01-01" @default.
- W2582770838 modified "2023-09-25" @default.
- W2582770838 title "Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments" @default.
- W2582770838 cites W1576345895 @default.
- W2582770838 cites W1974363101 @default.
- W2582770838 cites W1991057318 @default.
- W2582770838 cites W2024486844 @default.
- W2582770838 cites W2029904188 @default.
- W2582770838 cites W2045202627 @default.
- W2582770838 cites W2060952823 @default.
- W2582770838 cites W2062960135 @default.
- W2582770838 cites W2066709611 @default.
- W2582770838 cites W2071441397 @default.
- W2582770838 cites W2090541853 @default.
- W2582770838 cites W2128026023 @default.
- W2582770838 cites W2131415946 @default.
- W2582770838 cites W2141448823 @default.
- W2582770838 cites W2160170050 @default.
- W2582770838 cites W2160375412 @default.
- W2582770838 cites W2545399412 @default.
- W2582770838 cites W4236658212 @default.
- W2582770838 cites W4244819751 @default.
- W2582770838 doi "https://doi.org/10.4018/ijaci.2017010101" @default.
- W2582770838 hasPublicationYear "2017" @default.
- W2582770838 type Work @default.
- W2582770838 sameAs 2582770838 @default.
- W2582770838 citedByCount "6" @default.
- W2582770838 countsByYear W25827708382018 @default.
- W2582770838 countsByYear W25827708382019 @default.
- W2582770838 countsByYear W25827708382023 @default.
- W2582770838 crossrefType "journal-article" @default.
- W2582770838 hasAuthorship W2582770838A5038299313 @default.
- W2582770838 hasAuthorship W2582770838A5040078488 @default.
- W2582770838 hasConcept C107457646 @default.
- W2582770838 hasConcept C108710211 @default.
- W2582770838 hasConcept C120314980 @default.
- W2582770838 hasConcept C121332964 @default.
- W2582770838 hasConcept C142362112 @default.
- W2582770838 hasConcept C144097018 @default.
- W2582770838 hasConcept C151730666 @default.
- W2582770838 hasConcept C153349607 @default.
- W2582770838 hasConcept C172195944 @default.
- W2582770838 hasConcept C199360897 @default.
- W2582770838 hasConcept C2524010 @default.
- W2582770838 hasConcept C2779343474 @default.
- W2582770838 hasConcept C2779662365 @default.
- W2582770838 hasConcept C33923547 @default.
- W2582770838 hasConcept C35578498 @default.
- W2582770838 hasConcept C41008148 @default.
- W2582770838 hasConcept C558565934 @default.
- W2582770838 hasConcept C62520636 @default.
- W2582770838 hasConcept C73301696 @default.
- W2582770838 hasConcept C86803240 @default.
- W2582770838 hasConceptScore W2582770838C107457646 @default.
- W2582770838 hasConceptScore W2582770838C108710211 @default.
- W2582770838 hasConceptScore W2582770838C120314980 @default.
- W2582770838 hasConceptScore W2582770838C121332964 @default.
- W2582770838 hasConceptScore W2582770838C142362112 @default.
- W2582770838 hasConceptScore W2582770838C144097018 @default.
- W2582770838 hasConceptScore W2582770838C151730666 @default.
- W2582770838 hasConceptScore W2582770838C153349607 @default.
- W2582770838 hasConceptScore W2582770838C172195944 @default.
- W2582770838 hasConceptScore W2582770838C199360897 @default.
- W2582770838 hasConceptScore W2582770838C2524010 @default.
- W2582770838 hasConceptScore W2582770838C2779343474 @default.
- W2582770838 hasConceptScore W2582770838C2779662365 @default.
- W2582770838 hasConceptScore W2582770838C33923547 @default.
- W2582770838 hasConceptScore W2582770838C35578498 @default.
- W2582770838 hasConceptScore W2582770838C41008148 @default.
- W2582770838 hasConceptScore W2582770838C558565934 @default.
- W2582770838 hasConceptScore W2582770838C62520636 @default.
- W2582770838 hasConceptScore W2582770838C73301696 @default.
- W2582770838 hasConceptScore W2582770838C86803240 @default.
- W2582770838 hasIssue "1" @default.
- W2582770838 hasLocation W25827708381 @default.
- W2582770838 hasOpenAccess W2582770838 @default.
- W2582770838 hasPrimaryLocation W25827708381 @default.
- W2582770838 hasRelatedWork W1492606161 @default.
- W2582770838 hasRelatedWork W1586782953 @default.
- W2582770838 hasRelatedWork W1991928096 @default.
- W2582770838 hasRelatedWork W2011102765 @default.
- W2582770838 hasRelatedWork W2142996100 @default.
- W2582770838 hasRelatedWork W2148785013 @default.
- W2582770838 hasRelatedWork W2152433827 @default.
- W2582770838 hasRelatedWork W2361445870 @default.
- W2582770838 hasRelatedWork W2376345092 @default.
- W2582770838 hasRelatedWork W2582770838 @default.
- W2582770838 hasVolume "8" @default.
- W2582770838 isParatext "false" @default.
- W2582770838 isRetracted "false" @default.
- W2582770838 magId "2582770838" @default.
- W2582770838 workType "article" @default.