907 search results - page 141 / 182 » Monitoring of Real-Time Properties |
ENTCS
2006
13 years 8 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
CUZA
2002
13 years 8 months ago
2002
The fast expansion of Grid technologies emphasizes the importance of network performance measurement. Some network measurement methods, like TCP throughput or latency evaluation, a...
PRESENCE
1998
13 years 7 months ago
1998
The operation of six degree-of-freedom electromagnetic trackers is based on the spatial properties of the electromagnetic fields generated by three small coils. Anything in the e...
ICWS
2010
IEEE
13 years 6 months ago
2010
IEEE
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—In this paper, we study the problem of misbehavior detection in wireless networks . A commonly adopted approach is to utilize the broadcast nature of the wireless medium...