4212 search results - page 434 / 843 » Rights Expression Languages |
199
click to vote
TCC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
188
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
We will describe a visual development system for exploring face space, both in terms of facial types and animated expressions. Imagine an n-dimensional space describing every huma...
157
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
150
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...
166
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...