417 search results - page 63 / 84 » Results on Reasoning about Updates in Transaction Logic |
85
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
104
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
CORR
2010
Springer
15 years 17 days ago
2010
Springer
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
98
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...