99 search results - page 16 / 20 » Triggered message sequence charts |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
NIME
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we propose Thermoscore, a musical score form -that dynamically alters the temperature of the instrument/play er interface. We developed the first version of the The...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
With the growing popularity of anomaly detection systems, which is due partly to the rise in zero-day attacks, a new class of threats have evolved where the attacker mimics legiti...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...