3729 search results - page 531 / 746 » On Formal Modeling of Agent Computations |
178
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
141
click to vote
LOGCOM
2010
15 years 5 months ago
2010
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive...
261
click to vote
SMA
2010
ACM
15 years 1 months ago
2010
ACM
Abstract Nonparametric correlation estimators as the Kendall and Spearman correlation are widely used in the applied sciences. They are often said to be robust, in the sense of bei...
225
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This paper addresses the problem of characterizing
a general class of cameras under reasonable, “linear”
assumptions. Concretely, we use the formalism and
terminology of cla...
172
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...