1105 search results - page 126 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
126
Voted
CG
2008
Springer
15 years 5 months ago
2008
Springer
Whole-History Rating (WHR) is a new method to estimate the time-varying strengths of players involved in paired comparisons. Like many variations of the Elo rating system, the whol...
129
Voted
COORDINATION
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
124
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
145
Voted
EPK
2006
15 years 5 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
165
Voted
RTSS
2005
IEEE
15 years 9 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 ...