Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076819782> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2076819782 abstract "Present verification techniques only verify the property of composition specification in one situation every time, there will be a substantial waste of effort. We propose batch proof method for verifying the property of generic services composition specification in all situations simultaneously. The main advantage of this method is to improve the efficiency of proof. The verified generic composition specification at an abstract level will be used in a variety of instances without repeating the proof." @default.
- W2076819782 created "2016-06-24" @default.
- W2076819782 creator A5042620001 @default.
- W2076819782 creator A5042917739 @default.
- W2076819782 date "2011-10-01" @default.
- W2076819782 modified "2023-09-28" @default.
- W2076819782 title "Generic Web Services Composition Verification Based on Batch Proof Method" @default.
- W2076819782 cites W1793213561 @default.
- W2076819782 cites W2116574015 @default.
- W2076819782 cites W2117500865 @default.
- W2076819782 cites W2135555234 @default.
- W2076819782 cites W2143142358 @default.
- W2076819782 cites W2143172066 @default.
- W2076819782 cites W2147579510 @default.
- W2076819782 cites W2159709550 @default.
- W2076819782 cites W3148155654 @default.
- W2076819782 doi "https://doi.org/10.1109/iccis.2011.157" @default.
- W2076819782 hasPublicationYear "2011" @default.
- W2076819782 type Work @default.
- W2076819782 sameAs 2076819782 @default.
- W2076819782 citedByCount "0" @default.
- W2076819782 crossrefType "proceedings-article" @default.
- W2076819782 hasAuthorship W2076819782A5042620001 @default.
- W2076819782 hasAuthorship W2076819782A5042917739 @default.
- W2076819782 hasConcept C111472728 @default.
- W2076819782 hasConcept C111919701 @default.
- W2076819782 hasConcept C124978682 @default.
- W2076819782 hasConcept C136197465 @default.
- W2076819782 hasConcept C138885662 @default.
- W2076819782 hasConcept C154945302 @default.
- W2076819782 hasConcept C189950617 @default.
- W2076819782 hasConcept C199360897 @default.
- W2076819782 hasConcept C40231798 @default.
- W2076819782 hasConcept C41008148 @default.
- W2076819782 hasConcept C41895202 @default.
- W2076819782 hasConcept C77088390 @default.
- W2076819782 hasConceptScore W2076819782C111472728 @default.
- W2076819782 hasConceptScore W2076819782C111919701 @default.
- W2076819782 hasConceptScore W2076819782C124978682 @default.
- W2076819782 hasConceptScore W2076819782C136197465 @default.
- W2076819782 hasConceptScore W2076819782C138885662 @default.
- W2076819782 hasConceptScore W2076819782C154945302 @default.
- W2076819782 hasConceptScore W2076819782C189950617 @default.
- W2076819782 hasConceptScore W2076819782C199360897 @default.
- W2076819782 hasConceptScore W2076819782C40231798 @default.
- W2076819782 hasConceptScore W2076819782C41008148 @default.
- W2076819782 hasConceptScore W2076819782C41895202 @default.
- W2076819782 hasConceptScore W2076819782C77088390 @default.
- W2076819782 hasLocation W20768197821 @default.
- W2076819782 hasOpenAccess W2076819782 @default.
- W2076819782 hasPrimaryLocation W20768197821 @default.
- W2076819782 hasRelatedWork W1501698784 @default.
- W2076819782 hasRelatedWork W1521154783 @default.
- W2076819782 hasRelatedWork W1527947803 @default.
- W2076819782 hasRelatedWork W1964514482 @default.
- W2076819782 hasRelatedWork W2013587457 @default.
- W2076819782 hasRelatedWork W2088821130 @default.
- W2076819782 hasRelatedWork W2092579872 @default.
- W2076819782 hasRelatedWork W2098897256 @default.
- W2076819782 hasRelatedWork W2102494340 @default.
- W2076819782 hasRelatedWork W2117034369 @default.
- W2076819782 hasRelatedWork W2126018661 @default.
- W2076819782 hasRelatedWork W2130420089 @default.
- W2076819782 hasRelatedWork W2138424619 @default.
- W2076819782 hasRelatedWork W2143437344 @default.
- W2076819782 hasRelatedWork W2378436118 @default.
- W2076819782 hasRelatedWork W2391545200 @default.
- W2076819782 hasRelatedWork W3102922613 @default.
- W2076819782 hasRelatedWork W3193146381 @default.
- W2076819782 hasRelatedWork W52698562 @default.
- W2076819782 hasRelatedWork W3001378369 @default.
- W2076819782 isParatext "false" @default.
- W2076819782 isRetracted "false" @default.
- W2076819782 magId "2076819782" @default.
- W2076819782 workType "article" @default.