1302 search results - page 178 / 261 » Soundness in the Public-Key Model |
159
click to vote
FM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
168
click to vote
ICCS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
142
click to vote
INTETAIN
2009
Springer
16 years 28 days ago
2009
Springer
The current work presents the affective interface adaptations in the Musickiosk application. Adaptive interaction poses several open questions since there is no unique way of mappi...
153
click to vote
LFCS
2009
Springer
16 years 28 days ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
151
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— Research on numerical solution methods for partially observable Markov decision processes (POMDPs) has primarily focused on discrete-state models, and these algorithms ...