1261 search results - page 70 / 253 » A Hierarchy of Temporal Properties |
164
click to vote
POPL
2002
ACM
16 years 6 days ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
105
click to vote
AINA
2008
IEEE
15 years 6 months ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
120
click to vote
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
EVENT
2001
15 years 1 months ago
2001
This paper describes a new representation for the audio and visual information in a video signal. We reduce the dimensionality of the signals with singular-value decompositions (S...