Matches in SemOpenAlex for { <https://semopenalex.org/work/W1511415216> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1511415216 abstract "This report describes the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C code. It is used for distribution of the print jobs among several document processors (workers). A large part of this commercially used software system has been modeled closely and analyzed using process-algebraic techniques. Several critical issues were discovered. Since the model was close to the code, all problems that were found in the model, could be traced back to the actual code resulting in concrete suggestions for improvement of the code. All in all, the analysis significantly improved the quality of this real-life system." @default.
- W1511415216 created "2016-06-24" @default.
- W1511415216 creator A5013170906 @default.
- W1511415216 creator A5018914975 @default.
- W1511415216 creator A5020819692 @default.
- W1511415216 creator A5038838113 @default.
- W1511415216 date "2007-01-01" @default.
- W1511415216 modified "2023-09-26" @default.
- W1511415216 title "Modeling and verifying a Real--Life Industrial Session--Layer Protocol in mCRL2" @default.
- W1511415216 hasPublicationYear "2007" @default.
- W1511415216 type Work @default.
- W1511415216 sameAs 1511415216 @default.
- W1511415216 citedByCount "0" @default.
- W1511415216 crossrefType "journal-article" @default.
- W1511415216 hasAuthorship W1511415216A5013170906 @default.
- W1511415216 hasAuthorship W1511415216A5018914975 @default.
- W1511415216 hasAuthorship W1511415216A5020819692 @default.
- W1511415216 hasAuthorship W1511415216A5038838113 @default.
- W1511415216 hasConcept C115903868 @default.
- W1511415216 hasConcept C117447612 @default.
- W1511415216 hasConcept C136764020 @default.
- W1511415216 hasConcept C142724271 @default.
- W1511415216 hasConcept C149635348 @default.
- W1511415216 hasConcept C177264268 @default.
- W1511415216 hasConcept C178790620 @default.
- W1511415216 hasConcept C185592680 @default.
- W1511415216 hasConcept C199360897 @default.
- W1511415216 hasConcept C199519371 @default.
- W1511415216 hasConcept C204787440 @default.
- W1511415216 hasConcept C2776760102 @default.
- W1511415216 hasConcept C2777904410 @default.
- W1511415216 hasConcept C2779182362 @default.
- W1511415216 hasConcept C2779227376 @default.
- W1511415216 hasConcept C2780385302 @default.
- W1511415216 hasConcept C41008148 @default.
- W1511415216 hasConcept C529173508 @default.
- W1511415216 hasConcept C71924100 @default.
- W1511415216 hasConcept C98045186 @default.
- W1511415216 hasConceptScore W1511415216C115903868 @default.
- W1511415216 hasConceptScore W1511415216C117447612 @default.
- W1511415216 hasConceptScore W1511415216C136764020 @default.
- W1511415216 hasConceptScore W1511415216C142724271 @default.
- W1511415216 hasConceptScore W1511415216C149635348 @default.
- W1511415216 hasConceptScore W1511415216C177264268 @default.
- W1511415216 hasConceptScore W1511415216C178790620 @default.
- W1511415216 hasConceptScore W1511415216C185592680 @default.
- W1511415216 hasConceptScore W1511415216C199360897 @default.
- W1511415216 hasConceptScore W1511415216C199519371 @default.
- W1511415216 hasConceptScore W1511415216C204787440 @default.
- W1511415216 hasConceptScore W1511415216C2776760102 @default.
- W1511415216 hasConceptScore W1511415216C2777904410 @default.
- W1511415216 hasConceptScore W1511415216C2779182362 @default.
- W1511415216 hasConceptScore W1511415216C2779227376 @default.
- W1511415216 hasConceptScore W1511415216C2780385302 @default.
- W1511415216 hasConceptScore W1511415216C41008148 @default.
- W1511415216 hasConceptScore W1511415216C529173508 @default.
- W1511415216 hasConceptScore W1511415216C71924100 @default.
- W1511415216 hasConceptScore W1511415216C98045186 @default.
- W1511415216 hasLocation W15114152161 @default.
- W1511415216 hasOpenAccess W1511415216 @default.
- W1511415216 hasPrimaryLocation W15114152161 @default.
- W1511415216 hasRelatedWork W1492450300 @default.
- W1511415216 hasRelatedWork W1576169260 @default.
- W1511415216 hasRelatedWork W1591088692 @default.
- W1511415216 hasRelatedWork W1607280759 @default.
- W1511415216 hasRelatedWork W1949133532 @default.
- W1511415216 hasRelatedWork W1993481199 @default.
- W1511415216 hasRelatedWork W2018600447 @default.
- W1511415216 hasRelatedWork W2019065740 @default.
- W1511415216 hasRelatedWork W2077967269 @default.
- W1511415216 hasRelatedWork W2130514924 @default.
- W1511415216 hasRelatedWork W2295509680 @default.
- W1511415216 hasRelatedWork W2348248829 @default.
- W1511415216 hasRelatedWork W2380764740 @default.
- W1511415216 hasRelatedWork W2397883404 @default.
- W1511415216 hasRelatedWork W2482029010 @default.
- W1511415216 hasRelatedWork W2611825522 @default.
- W1511415216 hasRelatedWork W2777182529 @default.
- W1511415216 hasRelatedWork W2970309562 @default.
- W1511415216 hasRelatedWork W3090450022 @default.
- W1511415216 hasRelatedWork W2824006530 @default.
- W1511415216 isParatext "false" @default.
- W1511415216 isRetracted "false" @default.
- W1511415216 magId "1511415216" @default.
- W1511415216 workType "article" @default.