4737 search results - page 220 / 948 » The LOGIC negotiation model |
123
click to vote
PST
2004
15 years 4 months ago
2004
In this paper we present a new approach to stateful intrusion detection. It is based on a temporal logic which has the capability to express temporary properties, which are propert...
218
Voted
ENTCS
2006
15 years 3 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...
148
Voted
TPLP
2002
15 years 3 months ago
2002
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
221
click to vote
CP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
PATMOS
2005
Springer
15 years 9 months ago
2005
Springer