2067 search results - page 131 / 414 » Logics of propositional control |
119
click to vote
AMI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
133
Voted
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—We show that Kripke semantics of modal logic, manifest in the syntactic proof formalism of labeled sequent calculi, can be used to solve three central problems in access control...
109
click to vote
ACSC
2005
IEEE
15 years 7 months ago
2005
IEEE
The proposed Fuzzy Logic Controller (FLC) is a novel approach for dynamic buffer tuning at the user/server level. It eliminates buffer overflow by ensuring that the buffer length ...
FLAIRS
2003
15 years 3 months ago
2003
This paper proposes a modelling of information security policies in the framework of possibilistic logic. Our modelling is based on the concept of roles associated with users. Acc...
161
Voted
HYBRID
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...