499 search results - page 58 / 100 » LTL satisfiability checking |
CAV
2009
Springer
16 years 11 days ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
FTDCS
1997
IEEE
15 years 4 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
109
click to vote
GVD
2004
15 years 1 months ago
2004
We investigate classes of SQL queries which are syntactically correct, but certainly not intended, no matter for which task the query was written. For instance, queries that are c...
100
click to vote
ATVA
2010
Springer
15 years 1 days ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...