Results 21 to 30 of about 35,955 (232)

Extracting Message Sequence Charts from Hindi Narrative Text

open access: yesNUSE, 2020
In this paper, we propose the use of Message Sequence Charts (MSC) as a representation for visualizing narrative text in Hindi. An MSC is a formal representation allowing the depiction of actors and interactions among these actors in a scenario, apart ...
Swapnil Hingmire   +6 more
semanticscholar   +1 more source

Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets

open access: yesAutomatic Control and Computer Sciences, 2015
The standard language of message sequence charts (MSCs) is designed to describe scenarios of object interaction. Due to their expressiveness and simplicity, MSC diagrams are widely used in practice at all stages of system design and development.
S. A. Chernenok, V. Nepomniaschy
semanticscholar   +2 more sources

Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets

open access: yesМоделирование и анализ информационных систем, 2014
The standard language of message sequence charts MSC is intended to describe scenarios of object interaction. Due to their expressiveness and simplicity MSC diagrams are widely used in practice at all stages of system design and development.
S. A. Chernenok, V. A. Nepomniaschy
doaj   +1 more source

Products of Message Sequence Charts [PDF]

open access: yes, 2008
An effective way to assemble partial views of a distributed system is to compute their product. Given two languages of message sequence charts generated by message sequence graphs, we address the problem of computing a message sequence graph that generates their product.
Darondeau, Philippe   +2 more
openaire   +2 more sources

A Novel Runtime Verification Solution for IoT Systems

open access: yesIEEE Access, 2018
Internet of Things (IoT) systems promise a seamless connected world with machines integrating their services without human intervention. It's highly probable that the entities participating in such autonomous machine to machine interactions are to be ...
Koray Incki, Ismail Ari
doaj   +1 more source

Keyword-Driven Testing with Message Sequence Charts

open access: yes, 2014
This paper overviews an approach to keyword-driven testing based on test cases created in Message Sequence Charts format. Main features and advantages of this idea are discussed.
Boris Tyutin, A. Veselov, V. Kotlyarov
semanticscholar   +1 more source

Heterozygous loss‐of‐function alleles associate the conserved 3′‐5′ exoribonuclease EXOSC10 with hypersensitivity to the anticancer drug 5‐fluorouracil

open access: yesMolecular Oncology, EarlyView.
EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain   +10 more
wiley   +1 more source

DNA methylation and expression of MAPRE3 affect overall survival of early‐stage non‐small cell lung cancer patients

open access: yesMolecular Oncology, EarlyView.
Both cg12821679MAPRE3 methylation and MAPRE3 expression are significantly associated with overall survival (OS) of non‐small cell lung cancer. Meanwhile, MAPRE3 expression significantly modified the effect of smoking cessation on OS. Smoking cessation benefits OS merely for patients with high MAPRE3 expression.
Chao Chen   +14 more
wiley   +1 more source

Circulating tumor cell viability during and after radiotherapy mirrors treatment response in cancer patients

open access: yesMolecular Oncology, EarlyView.
Radiotherapy (RT) response depends on the DNA repair capacity of tumor and host cells. We show that circulating tumor cell (CTC) counts and apoptosis rates before and after RT predict treatment response and outcome, which can be accessed via easily accessible liquid biopsy approaches. Created in BioRender. Wikman, H.
Yvonne Goy   +10 more
wiley   +1 more source

MITF maintains genome stability in nonmelanocyte lineages

open access: yesMolecular Oncology, EarlyView.
MITF is essential for melanocyte survival and acts as an oncogene in 10%–20% of melanomas. We show that MITF depletion causes genome instability in nonmelanocytic cells, leading to LATS2‐mediated P53 activation, cell cycle arrest, and apoptosis. This study highlights the role of MITF as a genome maintenance factor beyond the melanocyte lineage. Created
Drifa H. Gudmundsdottir   +13 more
wiley   +1 more source

Home - About - Disclaimer - Privacy