932 search results - page 162 / 187 » Verifying Progress in Timed Systems |
KRDB
1998
14 years 10 months ago
1998
We present a semantic caching approach for optimizing the performance of information mediators. A critical problem with information mediators, particularly those gathering and int...
ATAL
2010
Springer
14 years 8 months ago
2010
Springer
The problem of multi-robot patrol in adversarial environments has been gaining considerable interest during the recent years.In this problem, a team of mobile robots is required t...
TNC
2004
14 years 11 months ago
2004
The function of a Network Intrusion Detection System (NIDS) is to identify any misuse and abnormal behavior determined as an attack to a network segment or network host. The propo...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Physical controls such as knobs, sliders, and buttons are experiencing a revival as many computing systems progress from personal computing architectures towards ubiquitous comput...
HIPEAC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Threads experiencing long-latency loads on a simultaneous multithreading (SMT) processor may clog shared processor resources without making forward progress, thereby star...