3218 search results - page 67 / 644 » Timed Extensions for SDL |
132
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
156
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
115
click to vote
WSC
2008
15 years 6 months ago
2008
Assembly line balancing problem (ALBP) means assigning a series of task elements to uniform sequential stations under certain restrictions. This paper considers a special type of ...
143
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
116
click to vote
VIIP
2001
15 years 5 months ago
2001
Large and complex information requires arbitrarily extensive displays for an exact, comprehensive visualization. This paper introduces a technique, time-multiplexing, for presenti...