2268 search results - page 288 / 454 » The Essence of Form Abstraction |
128
Voted
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
115
click to vote
CIA
2004
Springer
15 years 7 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
110
Voted
CIARP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The implementation of a pseudo text-independent Speaker Verification system is described. This system was designed to use only information extracted directly from the cod...
145
click to vote
CIT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Both encryption and digital watermarking techniques need to be incorporated in a digital rights management framework to address different aspects of content management. W...
111
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...