Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023407858> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2023407858 abstract "In this paper, we present a formal specification of a teleconferencing floor control protocol and its implementation. The services provided by this protocol are described within the SCCP IETF document (Simple Conference Control Protocol). Finite state machines are used to model services behaviours part of this protocol. Temporal properties are defined as constraints of the teleconferencing system using SCCP protocol. The dynamic properties are described by the LTL logic (Linear Temporal Logic) and verified using the model-checker Spin/Promela. A prototype of a multimedia teleconferencing system is implemented and it is based on the specified protocol. This implementation uses UML notation and is developed with JMF (Java Media Framework) API." @default.
- W2023407858 created "2016-06-24" @default.
- W2023407858 creator A5037301007 @default.
- W2023407858 creator A5052021792 @default.
- W2023407858 creator A5063158281 @default.
- W2023407858 date "2008-04-01" @default.
- W2023407858 modified "2023-10-06" @default.
- W2023407858 title "Description of a teleconferencing floor control protocol and its implementation" @default.
- W2023407858 cites W1506588809 @default.
- W2023407858 cites W1531901338 @default.
- W2023407858 cites W1588587007 @default.
- W2023407858 cites W1920008486 @default.
- W2023407858 cites W2045311232 @default.
- W2023407858 cites W2062393571 @default.
- W2023407858 cites W2086299130 @default.
- W2023407858 cites W2093916942 @default.
- W2023407858 cites W2115309705 @default.
- W2023407858 cites W51222918 @default.
- W2023407858 cites W2004894829 @default.
- W2023407858 cites W2336836416 @default.
- W2023407858 cites W2738241440 @default.
- W2023407858 doi "https://doi.org/10.1016/j.engappai.2007.11.003" @default.
- W2023407858 hasPublicationYear "2008" @default.
- W2023407858 type Work @default.
- W2023407858 sameAs 2023407858 @default.
- W2023407858 citedByCount "8" @default.
- W2023407858 countsByYear W20234078582012 @default.
- W2023407858 crossrefType "journal-article" @default.
- W2023407858 hasAuthorship W2023407858A5037301007 @default.
- W2023407858 hasAuthorship W2023407858A5052021792 @default.
- W2023407858 hasAuthorship W2023407858A5063158281 @default.
- W2023407858 hasConcept C110251889 @default.
- W2023407858 hasConcept C111472728 @default.
- W2023407858 hasConcept C126669455 @default.
- W2023407858 hasConcept C138885662 @default.
- W2023407858 hasConcept C142724271 @default.
- W2023407858 hasConcept C199360897 @default.
- W2023407858 hasConcept C204787440 @default.
- W2023407858 hasConcept C2776329536 @default.
- W2023407858 hasConcept C2780385302 @default.
- W2023407858 hasConcept C2780586882 @default.
- W2023407858 hasConcept C33923547 @default.
- W2023407858 hasConcept C41008148 @default.
- W2023407858 hasConcept C45357846 @default.
- W2023407858 hasConcept C49774154 @default.
- W2023407858 hasConcept C71924100 @default.
- W2023407858 hasConcept C94375191 @default.
- W2023407858 hasConceptScore W2023407858C110251889 @default.
- W2023407858 hasConceptScore W2023407858C111472728 @default.
- W2023407858 hasConceptScore W2023407858C126669455 @default.
- W2023407858 hasConceptScore W2023407858C138885662 @default.
- W2023407858 hasConceptScore W2023407858C142724271 @default.
- W2023407858 hasConceptScore W2023407858C199360897 @default.
- W2023407858 hasConceptScore W2023407858C204787440 @default.
- W2023407858 hasConceptScore W2023407858C2776329536 @default.
- W2023407858 hasConceptScore W2023407858C2780385302 @default.
- W2023407858 hasConceptScore W2023407858C2780586882 @default.
- W2023407858 hasConceptScore W2023407858C33923547 @default.
- W2023407858 hasConceptScore W2023407858C41008148 @default.
- W2023407858 hasConceptScore W2023407858C45357846 @default.
- W2023407858 hasConceptScore W2023407858C49774154 @default.
- W2023407858 hasConceptScore W2023407858C71924100 @default.
- W2023407858 hasConceptScore W2023407858C94375191 @default.
- W2023407858 hasLocation W20234078581 @default.
- W2023407858 hasOpenAccess W2023407858 @default.
- W2023407858 hasPrimaryLocation W20234078581 @default.
- W2023407858 hasRelatedWork W1531570503 @default.
- W2023407858 hasRelatedWork W1541460989 @default.
- W2023407858 hasRelatedWork W159182928 @default.
- W2023407858 hasRelatedWork W1965164474 @default.
- W2023407858 hasRelatedWork W1979390572 @default.
- W2023407858 hasRelatedWork W1988678197 @default.
- W2023407858 hasRelatedWork W2003887790 @default.
- W2023407858 hasRelatedWork W2051375792 @default.
- W2023407858 hasRelatedWork W2070067081 @default.
- W2023407858 hasRelatedWork W2070568863 @default.
- W2023407858 hasRelatedWork W2135333909 @default.
- W2023407858 hasRelatedWork W2138380382 @default.
- W2023407858 hasRelatedWork W2151232155 @default.
- W2023407858 hasRelatedWork W2165081124 @default.
- W2023407858 hasRelatedWork W2169892614 @default.
- W2023407858 hasRelatedWork W2171359808 @default.
- W2023407858 hasRelatedWork W2236845746 @default.
- W2023407858 hasRelatedWork W2492825885 @default.
- W2023407858 hasRelatedWork W2544886868 @default.
- W2023407858 hasRelatedWork W1520549966 @default.
- W2023407858 isParatext "false" @default.
- W2023407858 isRetracted "false" @default.
- W2023407858 magId "2023407858" @default.
- W2023407858 workType "article" @default.