10870 search results - page 1802 / 2174 » Model Checking Programs |
178
click to vote
IWSEC
2007
Springer
16 years 28 days ago
2007
Springer
The problem of defending software against tampering by a malicious host is not expected to be solved soon. Rather than trying to defend against the first attack, randomization tri...
170
click to vote
KSEM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
203
click to vote
LFCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
201
click to vote
LPNMR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
184
click to vote
OOPSLA
2007
Springer
16 years 28 days ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...