4595 search results - page 622 / 919 » Reasoning about Plans |
191
click to vote
SP
2006
IEEE
16 years 24 days ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
153
click to vote
ACMICEC
2006
ACM
16 years 23 days ago
2006
ACM
In this paper we present a proposal for representing soft constraint satisfaction problems (CSPs) within the Semantic Web architecture. The proposal is motivated by the need for a...
146
click to vote
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...
162
Voted
CIE
2005
Springer
16 years 10 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
204
Voted
ESORICS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....