Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899486387> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2899486387 abstract "New technologies such as cloud and multi-core computing, as well as the large number of devices connected to the Internet make concurrency and distribution the main pillars that computerized systems rely on. However, developing consistent concurrent and distributed systems characterized by high performance is notoriously difficult. This in turn makes assuring the correctness of such systems challenging, due to interleavings of actions that may lead to non-deterministic concurrency faults, possible failure of components and processes, but also due to possible resource restrictions and unpredictable latencies in network communication. The track on Verification and Validation of Distributed Systems aims to discuss key challenges that need to be addressed in order to enable the efficient and scalable assurance of distributed systems, as well as present methods and tools that bear the promise to achieve the latter." @default.
- W2899486387 created "2018-11-09" @default.
- W2899486387 creator A5025773724 @default.
- W2899486387 date "2018-01-01" @default.
- W2899486387 modified "2023-09-25" @default.
- W2899486387 title "ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction" @default.
- W2899486387 cites W2028861803 @default.
- W2899486387 cites W2292447407 @default.
- W2899486387 cites W2496402941 @default.
- W2899486387 cites W2899016904 @default.
- W2899486387 cites W2899100473 @default.
- W2899486387 cites W2899282785 @default.
- W2899486387 cites W2899487852 @default.
- W2899486387 cites W4241316177 @default.
- W2899486387 cites W4241704499 @default.
- W2899486387 doi "https://doi.org/10.1007/978-3-030-03424-5_21" @default.
- W2899486387 hasPublicationYear "2018" @default.
- W2899486387 type Work @default.
- W2899486387 sameAs 2899486387 @default.
- W2899486387 citedByCount "1" @default.
- W2899486387 countsByYear W28994863872020 @default.
- W2899486387 crossrefType "book-chapter" @default.
- W2899486387 hasAuthorship W2899486387A5025773724 @default.
- W2899486387 hasConcept C111919701 @default.
- W2899486387 hasConcept C120314980 @default.
- W2899486387 hasConcept C150495011 @default.
- W2899486387 hasConcept C193702766 @default.
- W2899486387 hasConcept C199360897 @default.
- W2899486387 hasConcept C26517878 @default.
- W2899486387 hasConcept C41008148 @default.
- W2899486387 hasConcept C48044578 @default.
- W2899486387 hasConcept C55439883 @default.
- W2899486387 hasConcept C75949130 @default.
- W2899486387 hasConcept C79974875 @default.
- W2899486387 hasConcept C84511453 @default.
- W2899486387 hasConcept C89992363 @default.
- W2899486387 hasConceptScore W2899486387C111919701 @default.
- W2899486387 hasConceptScore W2899486387C120314980 @default.
- W2899486387 hasConceptScore W2899486387C150495011 @default.
- W2899486387 hasConceptScore W2899486387C193702766 @default.
- W2899486387 hasConceptScore W2899486387C199360897 @default.
- W2899486387 hasConceptScore W2899486387C26517878 @default.
- W2899486387 hasConceptScore W2899486387C41008148 @default.
- W2899486387 hasConceptScore W2899486387C48044578 @default.
- W2899486387 hasConceptScore W2899486387C55439883 @default.
- W2899486387 hasConceptScore W2899486387C75949130 @default.
- W2899486387 hasConceptScore W2899486387C79974875 @default.
- W2899486387 hasConceptScore W2899486387C84511453 @default.
- W2899486387 hasConceptScore W2899486387C89992363 @default.
- W2899486387 hasLocation W28994863871 @default.
- W2899486387 hasOpenAccess W2899486387 @default.
- W2899486387 hasPrimaryLocation W28994863871 @default.
- W2899486387 hasRelatedWork W1529070793 @default.
- W2899486387 hasRelatedWork W1603664326 @default.
- W2899486387 hasRelatedWork W1816831697 @default.
- W2899486387 hasRelatedWork W1964001842 @default.
- W2899486387 hasRelatedWork W198409900 @default.
- W2899486387 hasRelatedWork W2091917454 @default.
- W2899486387 hasRelatedWork W2093624562 @default.
- W2899486387 hasRelatedWork W2105220928 @default.
- W2899486387 hasRelatedWork W2140709646 @default.
- W2899486387 hasRelatedWork W2223012890 @default.
- W2899486387 hasRelatedWork W2408329696 @default.
- W2899486387 hasRelatedWork W2610240926 @default.
- W2899486387 hasRelatedWork W2613779850 @default.
- W2899486387 hasRelatedWork W3040184623 @default.
- W2899486387 hasRelatedWork W3082667084 @default.
- W2899486387 hasRelatedWork W3090254205 @default.
- W2899486387 hasRelatedWork W3096446852 @default.
- W2899486387 hasRelatedWork W3180871679 @default.
- W2899486387 hasRelatedWork W3208786831 @default.
- W2899486387 hasRelatedWork W84222443 @default.
- W2899486387 isParatext "false" @default.
- W2899486387 isRetracted "false" @default.
- W2899486387 magId "2899486387" @default.
- W2899486387 workType "book-chapter" @default.