4798 search results - page 86 / 960 » A Time for Change |
TIS
2002
14 years 10 months ago
2002
stract entity pointing forward, but by a "web" allowing for different strands to go their own way while weaved together to create a coherent pattern, and this is how the ...
AINTEC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Emergency networks normally operate under highly unpredictable wireless environment and hence real time performance information holds a great significance that cannot be...
CAV
2003
Springer
15 years 4 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
101
click to vote
CSREAESA
2003
15 years 10 days ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
ICDM
2006
IEEE
15 years 5 months ago
2006
IEEE
We address the problem of capturing and tracking local correlations among time evolving time series. Our approach is based on comparing the local auto-covariance matrices (via the...