1261 search results - page 44 / 253 » A Hierarchy of Temporal Properties |
ENTCS
2006
13 years 9 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
ISCA
2007
IEEE
13 years 8 months ago
2007
IEEE
The center of gravity of computer architecture is moving toward memory systems. Barring breakthrough microarchitectural techniques to move processor performance to higher levels, ...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
Temporal interpolation has been recently proposed as a solution for increasing temporal resolution or even for predicting missing or corrupted frames within a video sequence. In t...
CAV
2003
Springer
14 years 16 days ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...