384 search results - page 42 / 77 » On the Semantics of Markov Automata |
108
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...
117
click to vote
DEDS
2010
15 years 2 months ago
2010
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
ACSD
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
132
click to vote
CC
2005
Springer
15 years 3 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
100
click to vote
COMCOM
2000
15 years 1 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...