714 search results - page 88 / 143 » Formal Verification of Cognitive Models |
94
Voted
IJNSEC
2010
14 years 8 months ago
2010
In this paper, we construct two verifiable attribute-based encryption (VABE) schemes. One is with a single authority, and the other is with multi authorities. Not only our schemes ...
160
click to vote
SP
2010
IEEE
14 years 11 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
127
click to vote
IJSE
2010
14 years 11 months ago
2010
Affective computing has proven to be a viable field of research comprised of a large number of multidisciplinary researchers resulting in work that is widely published. The majori...
119
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
114
click to vote
AI
2006
Springer
15 years 3 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...