2688 search results - page 347 / 538 » A formal semantics for P3P |
198
click to vote
KCAP
2005
ACM
16 years 4 days ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
169
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
137
click to vote
CONCUR
2005
Springer
16 years 4 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
157
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
196
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...