Matches in SemOpenAlex for { <https://semopenalex.org/work/W21475266> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W21475266 endingPage "422" @default.
- W21475266 startingPage "415" @default.
- W21475266 abstract "In this paper, we have verified and specified synchronization protocol (SyncML). In wireless network environment and cloud system, SyncML protocol to maintain data consistency. Previous studies for protocol verification has demonstrated very limited area that selective utilizing of theorem proving or model checking approach. Thus, consistent with weak synchronization protocol was not discussed. In this study, a mixture of proof and model checking through the synchronization protocol verification method was tested for the entire area. To this end, we has formal specified finite state model for behavior and structure of the protocol. In addition, on the stability and finality of the synchronization protocol properties was defined as temporal logic and higher-order logic. On the other hand, data consistency and mutual exclusion property was proved through a sequential computation. In the process of model checking technology was used as a rule of inference. This study has two features and significance." @default.
- W21475266 created "2016-06-24" @default.
- W21475266 creator A5032224829 @default.
- W21475266 creator A5050290452 @default.
- W21475266 creator A5080389543 @default.
- W21475266 date "2012-11-20" @default.
- W21475266 modified "2023-09-23" @default.
- W21475266 title "Formal Verification of SyncML Protocol for Ubiquitous Data Coherence" @default.
- W21475266 cites W2095703264 @default.
- W21475266 cites W2099537756 @default.
- W21475266 cites W2330534635 @default.
- W21475266 doi "https://doi.org/10.1007/978-94-007-5857-5_45" @default.
- W21475266 hasPublicationYear "2012" @default.
- W21475266 type Work @default.
- W21475266 sameAs 21475266 @default.
- W21475266 citedByCount "1" @default.
- W21475266 countsByYear W214752662015 @default.
- W21475266 crossrefType "book-chapter" @default.
- W21475266 hasAuthorship W21475266A5032224829 @default.
- W21475266 hasAuthorship W21475266A5050290452 @default.
- W21475266 hasAuthorship W21475266A5080389543 @default.
- W21475266 hasConcept C121332964 @default.
- W21475266 hasConcept C142724271 @default.
- W21475266 hasConcept C204787440 @default.
- W21475266 hasConcept C2780385302 @default.
- W21475266 hasConcept C2781181686 @default.
- W21475266 hasConcept C41008148 @default.
- W21475266 hasConcept C62520636 @default.
- W21475266 hasConcept C71924100 @default.
- W21475266 hasConceptScore W21475266C121332964 @default.
- W21475266 hasConceptScore W21475266C142724271 @default.
- W21475266 hasConceptScore W21475266C204787440 @default.
- W21475266 hasConceptScore W21475266C2780385302 @default.
- W21475266 hasConceptScore W21475266C2781181686 @default.
- W21475266 hasConceptScore W21475266C41008148 @default.
- W21475266 hasConceptScore W21475266C62520636 @default.
- W21475266 hasConceptScore W21475266C71924100 @default.
- W21475266 hasLocation W214752661 @default.
- W21475266 hasOpenAccess W21475266 @default.
- W21475266 hasPrimaryLocation W214752661 @default.
- W21475266 hasRelatedWork W1484053157 @default.
- W21475266 hasRelatedWork W1500064003 @default.
- W21475266 hasRelatedWork W1516169988 @default.
- W21475266 hasRelatedWork W196405095 @default.
- W21475266 hasRelatedWork W2028024605 @default.
- W21475266 hasRelatedWork W2049172720 @default.
- W21475266 hasRelatedWork W2370697888 @default.
- W21475266 hasRelatedWork W2373532818 @default.
- W21475266 hasRelatedWork W2375403706 @default.
- W21475266 hasRelatedWork W2562070253 @default.
- W21475266 isParatext "false" @default.
- W21475266 isRetracted "false" @default.
- W21475266 magId "21475266" @default.
- W21475266 workType "book-chapter" @default.