5414 search results - page 760 / 1083 » Exploratory Model Building |
164
Voted
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
181
click to vote
POLICY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...
179
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
200
click to vote
COMPGEOM
2009
ACM
16 years 1 months ago
2009
ACM
Extracting a computer model of a real scene from a sequence of views, is one of the most challenging and fundamental problems in computer vision. Stereo vision algorithms allow us...
205
click to vote
LOCWEB
2009
ACM
16 years 1 months ago
2009
ACM
As a tool for mitigating the potential privacy risks of gathering and transmitting location information on the Web, we suggest in this paper a model for conveying location informa...