3387 search results - page 299 / 678 » Model-Checking for Real-Time Systems |
180
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
205
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
209
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
Due to its potential for a high degree of parallelism, optimistic concurrency control is expected to perform better than two-phase locking when integrated with priority-driven CPU...
225
click to vote
AAAI
2008
15 years 9 months ago
2008
Traditional artificial intelligence techniques do not perform well in applications such as real-time strategy games because of the extensive search spaces which need to be explore...
207
click to vote
EWCBR
2008
Springer
15 years 9 months ago
2008
Springer
Case-Based Planning (CBP) is an effective technique for solving planning problems that has the potential to reduce the computational complexity of the generative planning approache...