2766 search results - page 218 / 554 » Hybridizing a Logical Framework |
144
click to vote
ISCI
2007
15 years 6 months ago
2007
act 11 Recommender systems anticipate users’ needs by suggesting items that are likely to interest them. Most existing systems 12 employ collaborative filtering (CF) techniques,...
188
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
150
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This paper proposes a modelling of information security policies in the framework of possibilistic logic. Our modelling is based on the concept of roles associated with users. Acc...
179
click to vote
IWFM
2000
15 years 8 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
152
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...