Search Sciweavers | Sciweavers

492 search results - page 6 / 99

» Hybrid Sequence Charts

click to vote

TACAS
2007
Springer

144views Algorithms» more TACAS 2007»

Detecting Races in Ensembles of Message Sequence Charts

14 years 1 months ago

Download perso.crans.org

Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...

Edith Elkind, Blaise Genest, Doron Peled

claim paper

Read More »

click to vote

SERP
2003

105views Software Engineering» more SERP 2003»

Scenario-Based Software Architecture Modeling Using Message Sequence Charts

13 years 9 months ago

Download www.cimat.mx

Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...

Gerardo Padilla, Cuauhtémoc Lemus Olalde, M...

claim paper

Read More »

click to vote

TOPNOC
2008

121views Artificial Intelligence» more TOPNOC 2008»

Translating Message Sequence Charts to other Process Languages Using Process Mining

13 years 7 months ago

Download is.tm.tue.nl

Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...

Kristian Bisgaard Lassen, Boudewijn F. van Dongen

claim paper

Read More »

click to vote

SIGSOFT
2002
ACM

99views Software Engineering» more SIGSOFT 2002»

Triggered message sequence charts

14 years 8 months ago

Download www.cs.umd.edu

Bikram Sengupta, Rance Cleaveland

claim paper

Read More »