2293 search results - page 40 / 459 » Temporal Logic in Information Systems |
113
click to vote
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
13 years 11 months ago
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
105
click to vote
IASTEDSEA
2004
15 years 1 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
110
click to vote
CADE
2005
Springer
16 years 4 days ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
FOCS
1989
IEEE
15 years 3 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
115
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...