67 search results - page 14 / 14 » Formal Semantics of Hybrid Chi |
RTSS
2005
IEEE
13 years 11 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
WOLLIC
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...