326 search results - page 9 / 66 » Embedding Real Time in Stochastic Process Algebras |
137
click to vote
AIIDE
2008
15 years 3 months ago
2008
We present a domain independent off-line adaptation technique called Stochastic Plan Optimization for finding and improving plans in real-time strategy games. Our method is based ...
127
click to vote
ML
2000
ACM
15 years 1 months ago
2000
ACM
We consider the problem of one-step ahead prediction for time series generated by an underlying stationary stochastic process obeying the condition of absolute regularity, describi...
119
click to vote
FORTE
2004
15 years 2 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
119
click to vote
RSP
2007
IEEE
15 years 7 months ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
195
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...