Matches in SemOpenAlex for { <https://semopenalex.org/work/W1532358437> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1532358437 endingPage "119" @default.
- W1532358437 startingPage "108" @default.
- W1532358437 abstract "The Quality of Sercvice (QoS) of advanced communication services and applications needs to be defined precisely and also it is necessary to verify that QoS statements hold. For both purposes some means of QoS languages are required. In this paper we propose extentions for the formal description language LOTOS (ISO 8807) with concepts of time consumption, resource allocation and behaviour probabilities. A new action denotation for synchronization in real environments has been introduced and a formal semantics for the time phases during synchronization is defined. Furthermore, we propose LOTOS for the definition of configurations and measurement scenarios in QoS verification experiments." @default.
- W1532358437 created "2016-06-24" @default.
- W1532358437 creator A5008775247 @default.
- W1532358437 creator A5021199260 @default.
- W1532358437 creator A5027330367 @default.
- W1532358437 date "1993-10-24" @default.
- W1532358437 modified "2023-09-25" @default.
- W1532358437 title "Formal approach to QoS specification and verification" @default.
- W1532358437 cites W1628531474 @default.
- W1532358437 hasPublicationYear "1993" @default.
- W1532358437 type Work @default.
- W1532358437 sameAs 1532358437 @default.
- W1532358437 citedByCount "0" @default.
- W1532358437 crossrefType "proceedings-article" @default.
- W1532358437 hasAuthorship W1532358437A5008775247 @default.
- W1532358437 hasAuthorship W1532358437A5021199260 @default.
- W1532358437 hasAuthorship W1532358437A5027330367 @default.
- W1532358437 hasConcept C111498074 @default.
- W1532358437 hasConcept C116253237 @default.
- W1532358437 hasConcept C120314980 @default.
- W1532358437 hasConcept C127162648 @default.
- W1532358437 hasConcept C138885662 @default.
- W1532358437 hasConcept C139997677 @default.
- W1532358437 hasConcept C146499914 @default.
- W1532358437 hasConcept C149106765 @default.
- W1532358437 hasConcept C184337299 @default.
- W1532358437 hasConcept C199360897 @default.
- W1532358437 hasConcept C206345919 @default.
- W1532358437 hasConcept C2778562939 @default.
- W1532358437 hasConcept C2985583900 @default.
- W1532358437 hasConcept C31258907 @default.
- W1532358437 hasConcept C41008148 @default.
- W1532358437 hasConcept C41895202 @default.
- W1532358437 hasConcept C5119721 @default.
- W1532358437 hasConcept C75606506 @default.
- W1532358437 hasConceptScore W1532358437C111498074 @default.
- W1532358437 hasConceptScore W1532358437C116253237 @default.
- W1532358437 hasConceptScore W1532358437C120314980 @default.
- W1532358437 hasConceptScore W1532358437C127162648 @default.
- W1532358437 hasConceptScore W1532358437C138885662 @default.
- W1532358437 hasConceptScore W1532358437C139997677 @default.
- W1532358437 hasConceptScore W1532358437C146499914 @default.
- W1532358437 hasConceptScore W1532358437C149106765 @default.
- W1532358437 hasConceptScore W1532358437C184337299 @default.
- W1532358437 hasConceptScore W1532358437C199360897 @default.
- W1532358437 hasConceptScore W1532358437C206345919 @default.
- W1532358437 hasConceptScore W1532358437C2778562939 @default.
- W1532358437 hasConceptScore W1532358437C2985583900 @default.
- W1532358437 hasConceptScore W1532358437C31258907 @default.
- W1532358437 hasConceptScore W1532358437C41008148 @default.
- W1532358437 hasConceptScore W1532358437C41895202 @default.
- W1532358437 hasConceptScore W1532358437C5119721 @default.
- W1532358437 hasConceptScore W1532358437C75606506 @default.
- W1532358437 hasLocation W15323584371 @default.
- W1532358437 hasOpenAccess W1532358437 @default.
- W1532358437 hasPrimaryLocation W15323584371 @default.
- W1532358437 hasRelatedWork W1480509437 @default.
- W1532358437 hasRelatedWork W1518604050 @default.
- W1532358437 hasRelatedWork W1557812464 @default.
- W1532358437 hasRelatedWork W1587285018 @default.
- W1532358437 hasRelatedWork W1874247119 @default.
- W1532358437 hasRelatedWork W1981143554 @default.
- W1532358437 hasRelatedWork W2000183619 @default.
- W1532358437 hasRelatedWork W2050151907 @default.
- W1532358437 hasRelatedWork W2053938219 @default.
- W1532358437 hasRelatedWork W2065906299 @default.
- W1532358437 hasRelatedWork W2089467286 @default.
- W1532358437 hasRelatedWork W2132656893 @default.
- W1532358437 hasRelatedWork W2135755299 @default.
- W1532358437 hasRelatedWork W2144626181 @default.
- W1532358437 hasRelatedWork W2145443760 @default.
- W1532358437 hasRelatedWork W2161166453 @default.
- W1532358437 hasRelatedWork W2169798548 @default.
- W1532358437 hasRelatedWork W2535159545 @default.
- W1532358437 hasRelatedWork W2589343889 @default.
- W1532358437 hasRelatedWork W2738184854 @default.
- W1532358437 isParatext "false" @default.
- W1532358437 isRetracted "false" @default.
- W1532358437 magId "1532358437" @default.
- W1532358437 workType "article" @default.