907 search results - page 71 / 182 » Monitoring of Real-Time Properties |
126
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. In our approach, a comp...
154
Voted
CHES
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. The paper presents a novel and efficient method to generate true random numbers on FPGAs by inducing metastability in bi-stable circuit elements, e.g. flip-flops. Meta...
114
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
146
click to vote
ICSOC
2005
Springer
15 years 8 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
138
Voted
MOBISYS
2009
ACM
16 years 3 months ago
2009
ACM
The extraction of temporal characteristics from sensor data streams can reveal important properties about the sensed events. Knowledge of temporal characteristics in applications ...