2043 search results - page 113 / 409 » Reasoning About Security Models |
117
Voted
ECIS
2000
15 years 2 months ago
2000
The concept of context-dependent access control has emerged during the last years: Information about the state of a process model of a working environment is combined with general ...
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
97
Voted
BMVC
2002
15 years 3 months ago
2002
This paper investigates the combination of spatial and probabilistic models for reasoning about pedestrian behaviour in visual surveillance systems. Models are learnt by a multi-s...
114
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
ASM
2000
ASM
15 years 5 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...