97 search results - page 16 / 20 » Causal Message Sequence Charts |
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...
CORR
2010
Springer
13 years 5 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 7 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 29 days 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...
ICSE
2009
IEEE-ACM
14 years 8 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...