Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034952053> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2034952053 endingPage "476" @default.
- W2034952053 startingPage "469" @default.
- W2034952053 abstract "We illustrate a symbiotic relationship between existing model oriented specification techniques and Web services. Through the formal re-design of a platform for mobile team collaboration, we investigate the suitability of existing formal specification and verification techniques to Web services. In general, this preliminary work suggests that a lot is still to be done on understanding the computational behavior of Web services, hence on specifying and verifying them." @default.
- W2034952053 created "2016-06-24" @default.
- W2034952053 creator A5004847496 @default.
- W2034952053 creator A5016213007 @default.
- W2034952053 date "2004-08-31" @default.
- W2034952053 modified "2023-09-23" @default.
- W2034952053 title "Formally designing Web services for mobile team collaboration" @default.
- W2034952053 cites W1822847061 @default.
- W2034952053 cites W1962632332 @default.
- W2034952053 cites W2052012307 @default.
- W2034952053 cites W2090551028 @default.
- W2034952053 cites W2109541059 @default.
- W2034952053 cites W2140421998 @default.
- W2034952053 cites W2141369587 @default.
- W2034952053 cites W2142968492 @default.
- W2034952053 cites W2147588677 @default.
- W2034952053 cites W2148194093 @default.
- W2034952053 cites W2156282239 @default.
- W2034952053 cites W2161536823 @default.
- W2034952053 cites W2166309559 @default.
- W2034952053 cites W2568412275 @default.
- W2034952053 cites W344106083 @default.
- W2034952053 cites W60595265 @default.
- W2034952053 cites W1488181451 @default.
- W2034952053 doi "https://doi.org/10.1109/euromicro.2004.31" @default.
- W2034952053 hasPublicationYear "2004" @default.
- W2034952053 type Work @default.
- W2034952053 sameAs 2034952053 @default.
- W2034952053 citedByCount "0" @default.
- W2034952053 crossrefType "journal-article" @default.
- W2034952053 hasAuthorship W2034952053A5004847496 @default.
- W2034952053 hasAuthorship W2034952053A5016213007 @default.
- W2034952053 hasConcept C115903868 @default.
- W2034952053 hasConcept C116253237 @default.
- W2034952053 hasConcept C130436687 @default.
- W2034952053 hasConcept C136764020 @default.
- W2034952053 hasConcept C182321512 @default.
- W2034952053 hasConcept C190515685 @default.
- W2034952053 hasConcept C35578498 @default.
- W2034952053 hasConcept C41008148 @default.
- W2034952053 hasConcept C59241245 @default.
- W2034952053 hasConcept C75606506 @default.
- W2034952053 hasConcept C79373723 @default.
- W2034952053 hasConceptScore W2034952053C115903868 @default.
- W2034952053 hasConceptScore W2034952053C116253237 @default.
- W2034952053 hasConceptScore W2034952053C130436687 @default.
- W2034952053 hasConceptScore W2034952053C136764020 @default.
- W2034952053 hasConceptScore W2034952053C182321512 @default.
- W2034952053 hasConceptScore W2034952053C190515685 @default.
- W2034952053 hasConceptScore W2034952053C35578498 @default.
- W2034952053 hasConceptScore W2034952053C41008148 @default.
- W2034952053 hasConceptScore W2034952053C59241245 @default.
- W2034952053 hasConceptScore W2034952053C75606506 @default.
- W2034952053 hasConceptScore W2034952053C79373723 @default.
- W2034952053 hasLocation W20349520531 @default.
- W2034952053 hasOpenAccess W2034952053 @default.
- W2034952053 hasPrimaryLocation W20349520531 @default.
- W2034952053 hasRelatedWork W1482255027 @default.
- W2034952053 hasRelatedWork W1542186494 @default.
- W2034952053 hasRelatedWork W1583562696 @default.
- W2034952053 hasRelatedWork W2017534552 @default.
- W2034952053 hasRelatedWork W2037795930 @default.
- W2034952053 hasRelatedWork W2051076180 @default.
- W2034952053 hasRelatedWork W2068968781 @default.
- W2034952053 hasRelatedWork W2107020425 @default.
- W2034952053 hasRelatedWork W2118266068 @default.
- W2034952053 hasRelatedWork W2120623149 @default.
- W2034952053 hasRelatedWork W2128298182 @default.
- W2034952053 hasRelatedWork W2130131248 @default.
- W2034952053 hasRelatedWork W2138879728 @default.
- W2034952053 hasRelatedWork W2157759016 @default.
- W2034952053 hasRelatedWork W2162042498 @default.
- W2034952053 hasRelatedWork W2349921423 @default.
- W2034952053 hasRelatedWork W3002264348 @default.
- W2034952053 hasRelatedWork W3200881524 @default.
- W2034952053 hasRelatedWork W1546086818 @default.
- W2034952053 hasRelatedWork W2167149134 @default.
- W2034952053 isParatext "false" @default.
- W2034952053 isRetracted "false" @default.
- W2034952053 magId "2034952053" @default.
- W2034952053 workType "article" @default.