1171 search results - page 32 / 235 » A Logical Language for Expressing Authorizations |
ATVA
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...
GIL
2009
14 years 9 months ago
2009
: Regulations and standards are playing an increasingly important role in crop production. Common to the vast majority of these is that they are written in a natural language which...
112
click to vote
PADL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
115
click to vote
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
123
click to vote
UC
2009
Springer
15 years 6 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...