1350 search results - page 8 / 270 » Reasoning about Staged Computation |
87
Voted
ISMIS
1994
Springer
15 years 1 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
70
Voted
PODC
1989
ACM
15 years 1 months ago
1989
ACM
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...
BMVC
2010
14 years 7 months ago
2010
Three methods are explored which help indicate whether feature points are potentially visible or occluded in the matching phase of the keyframe-based real-time visual SLAM system....
105
click to vote
COSIT
1999
Springer
15 years 2 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...