5639 search results - page 624 / 1128 » Timed Abstract Non-interference |
145
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Twelve years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main comp...
169
click to vote
MMS
2000
15 years 6 months ago
2000
Abstract. The single-system approach is no longer sufficient to handle the load on popular Internet servers, especially for those offering extensive multimedia content. Such servic...
168
click to vote
FUIN
2002
15 years 6 months ago
2002
Abstract. This article introduces probabilistic cluster branching processes, a probabilistic unfolding semantics for untimed Petri nets, with no structural or safety assumptions, g...
201
click to vote
IJHPCA
2002
15 years 6 months ago
2002
Distributed cognition of dynamic processes is commonly observed in mobile groups of animates like schools of fish, hunting lions, or in human teams for sports or military maneuvers...
193
click to vote
JAMDS
2002
15 years 6 months ago
2002
Abstract. A resource selection probability function is a function that gives the probability that a resource unit (e.g., a plot of land) that is described by a set of habitat varia...