1791 search results - page 161 / 359 » Two Types of Multiple-Conclusion Systems |
ACMDIS
2000
ACM
14 years 1 months ago
2000
ACM
: Expanding the functionality of a successful system is always a challenge; the initial simplicity and ease-of-use is easily lost in the process. Experience indicates that this pro...
ECCE
2007
14 years 1 months ago
2007
: Decision Support Systems are proliferating rapidly in many areas of human endeavour including clinical medicine and psychology. While these are typically based on rulebased syste...
AUTOMATICA
2000
13 years 9 months ago
2000
In this paper, a learning control system is considered for motion systems that are subject to two types of disturbances; reproducible disturbances, that re-occur each run in the s...
POPL
2000
ACM
14 years 23 days ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
EUROCRYPT
2010
Springer
14 years 2 months ago
2010
Springer
In this paper, we present two fully secure functional encryption schemes. Our first result is a fully secure attribute-based encryption (ABE) scheme. Previous constructions of AB...