20126 search results - page 49 / 4026 » Timed Transition Systems |
128
Voted
IV
2005
IEEE
15 years 8 months ago
2005
IEEE
Transition systems are graphs and it is natural to consider their visual representation as a graph visualization problem. They also pose an interesting multidimensional visualizat...
55
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
114
click to vote
TASE
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
130
Voted
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
We describe a specific application of assurance cases to the problem of ensuring that a transition from a legacy system to its replacement will not compromise mission assurance ob...
131
Voted
ENTCS
2007
15 years 2 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...