907 search results - page 71 / 182 » Monitoring of Real-Time Properties |
APSEC
2004
IEEE
13 years 11 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...
CHES
2011
Springer
12 years 8 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...
ATVA
2008
Springer
13 years 10 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...
ICSOC
2005
Springer
14 years 1 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...
MOBISYS
2009
ACM
14 years 8 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 ...