Matches in SemOpenAlex for { <https://semopenalex.org/work/W4244127953> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4244127953 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.
- W4244127953 created "2022-05-12" @default.
- W4244127953 creator A5004847496 @default.
- W4244127953 creator A5016213007 @default.
- W4244127953 date "2004-01-01" @default.
- W4244127953 modified "2023-09-30" @default.
- W4244127953 title "Formally designing Web services for mobile team collaboration" @default.
- W4244127953 cites W1822847061 @default.
- W4244127953 cites W2052012307 @default.
- W4244127953 cites W2090551028 @default.
- W4244127953 cites W2140421998 @default.
- W4244127953 cites W2141369587 @default.
- W4244127953 cites W2147588677 @default.
- W4244127953 cites W2148194093 @default.
- W4244127953 cites W2156282239 @default.
- W4244127953 doi "https://doi.org/10.1109/eurmic.2004.1333408" @default.
- W4244127953 hasPublicationYear "2004" @default.
- W4244127953 type Work @default.
- W4244127953 citedByCount "1" @default.
- W4244127953 crossrefType "proceedings-article" @default.
- W4244127953 hasAuthorship W4244127953A5004847496 @default.
- W4244127953 hasAuthorship W4244127953A5016213007 @default.
- W4244127953 hasBestOaLocation W42441279532 @default.
- W4244127953 hasConcept C115903868 @default.
- W4244127953 hasConcept C116253237 @default.
- W4244127953 hasConcept C130436687 @default.
- W4244127953 hasConcept C136764020 @default.
- W4244127953 hasConcept C182321512 @default.
- W4244127953 hasConcept C190515685 @default.
- W4244127953 hasConcept C35578498 @default.
- W4244127953 hasConcept C41008148 @default.
- W4244127953 hasConcept C521306242 @default.
- W4244127953 hasConcept C59241245 @default.
- W4244127953 hasConcept C79373723 @default.
- W4244127953 hasConceptScore W4244127953C115903868 @default.
- W4244127953 hasConceptScore W4244127953C116253237 @default.
- W4244127953 hasConceptScore W4244127953C130436687 @default.
- W4244127953 hasConceptScore W4244127953C136764020 @default.
- W4244127953 hasConceptScore W4244127953C182321512 @default.
- W4244127953 hasConceptScore W4244127953C190515685 @default.
- W4244127953 hasConceptScore W4244127953C35578498 @default.
- W4244127953 hasConceptScore W4244127953C41008148 @default.
- W4244127953 hasConceptScore W4244127953C521306242 @default.
- W4244127953 hasConceptScore W4244127953C59241245 @default.
- W4244127953 hasConceptScore W4244127953C79373723 @default.
- W4244127953 hasLocation W42441279531 @default.
- W4244127953 hasLocation W42441279532 @default.
- W4244127953 hasOpenAccess W4244127953 @default.
- W4244127953 hasPrimaryLocation W42441279531 @default.
- W4244127953 hasRelatedWork W124504236 @default.
- W4244127953 hasRelatedWork W1921392269 @default.
- W4244127953 hasRelatedWork W1988556654 @default.
- W4244127953 hasRelatedWork W2073729008 @default.
- W4244127953 hasRelatedWork W2083496135 @default.
- W4244127953 hasRelatedWork W2134239807 @default.
- W4244127953 hasRelatedWork W2989862745 @default.
- W4244127953 hasRelatedWork W3147180876 @default.
- W4244127953 hasRelatedWork W640668010 @default.
- W4244127953 hasRelatedWork W2133426335 @default.
- W4244127953 isParatext "false" @default.
- W4244127953 isRetracted "false" @default.
- W4244127953 workType "article" @default.