Filters
Railway Line Direction Agreement System
In this chapter railway line direction agreement system is shown and modelled in Statecharts and Message Sequence Charts.
JC - Počítačový hardware a software
- 2006 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Sequence Chart Studio 0.1: Basic Verification Algorithms
The Sequence Chart Studio (scstudio) is a user-friendly drawing and verification tool for Message Sequence Charts (basic MSC, HMSC). It provides several verification algorithms and offers an open interface...
IN - Informatika
- 2008 •
- R
Rok uplatnění
R - Software
Sequence Chart Studio
The Sequence Chart Studio (SCStudio) is a user-friendly drawing and verification tool for Message Sequence Charts (MSC). SCStudio supports several checkers that are able to verify properties such as realiz...
IN - Informatika
- 2012 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Sequence Chart Studio: user-friendly drawing and verification tool for MSC
The Sequence Chart Studio (scstudio) is a user-friendly verification and drawing tool for Message Sequence Charts (basic MSC, HMSC). It provides several front-endis implemented as a Microsoft Visio add-on....
IN - Informatika
- 2012 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
Decidable Race Condition and Open Coregions in HMSC
Message Sequence Charts (MSCs) is a visual formalism for the description of communication behaviour of distributed systems. An MSC specifies relations between in a finite communication behaviours called Basic Message
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Controllable-choice Message Sequence Graphs
We focus on the realizability problem of Message Sequence Graphs (MSG), i.e. the problem whether a given MSG specification is correctly distributable among parallel components communicating via messages. This fundamental pr...
IN - Informatika
- 2013 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Formalisms and Tools for Design and Specification of Network Protocols
Message Sequence Charts (MSC) are a useful formalism for formalization of network protocols early in their design phase. In this paper, we introduce the basics of MSC language and describe some of the possibilities for auto...
IN - Informatika
- 2007 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Repeatability and reliability of the visual acuity examination on logMAR ETDRS and Snellen chart
measurements. The average value of the first sequence of measurements measured with whole-line method on Snellen chart was -0,043 logMAR (min. 1, max. -0,30, SD 0,25) and of the second sequence of measurements was -0,045 l...
FF - ORL, oftalmologie, stomatologie
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Repeatability and reliability setting on LogMAR ETDRS and Snellen optotype charts
measurements. The average value of the first sequence of measurements measured with whole-line method on Snellen chart was -0,043 logMAR (min. 1, max. -0,30, SD 0,25) and of the second sequence of measurements was -0,045 l...
FF - ORL, oftalmologie, stomatologie
- 2012 •
- O
Rok uplatnění
O - Ostatní výsledky
GPON ATTACKS AND ERRORS CLASSIFICATION
to classify sequences into several categories: additional message, missing message, error a certain type of attack or error. The proposed model can distinguish message sequences in process of Gigabit-capa...
Telecommunications
- 2021 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
- 1 - 10 out of 26 372