7075 search results - page 1257 / 1415 » Models and heterogeneous reasoning |
107
click to vote
CTRSA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We consider a statistical database in which a trusted administrator introduces noise to the query responses with the goal of maintaining privacy of individual database en...
155
click to vote
DALT
2005
Springer
15 years 7 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
116
Voted
ECSQARU
2005
Springer
15 years 7 months ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
124
click to vote
EPEW
2005
Springer
15 years 7 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
101
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...