177 search results - page 6 / 36 » Requirements-based monitors for real-time systems |
166
Voted
ICDE
2005
IEEE
15 years 10 months ago
2005
IEEE
Online monitoring of data streams poses a challenge in many data-centric applications, such as telecommunications networks, traffic management, trend-related analysis, webclick st...
FSTTCS
2006
Springer
15 years 1 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 ...
PAMI
2008
14 years 9 months ago
2008
We present a novel algorithm for detection of certain types of unusual events. The algorithm is based on multiple local monitors which collect low-level statistics. Each local moni...
HICSS
2007
IEEE
15 years 3 months ago
2007
IEEE
— Reliable and efficient operation of power networks is of paramount importance. In this paper we explore communication architectures that leverage Phasor Measurement Units (PMU...
86
Voted
FORMATS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...