14331 search results - page 2638 / 2867 » On the modeling and analysis of obligations |
174
click to vote
TDP
2008
15 years 7 months ago
2008
The mean vector and covariance matrix are sufficient statistics when the un derlying distribution is multivariate normal. Many type of statistical analyses used in practice rely on...
202
click to vote
TDSC
2008
15 years 7 months ago
2008
Inspired by unidirectional error detecting codes that are used in situations where only one kind of bit error is possible (e.g., it is possible to change a bit "0" into a...
250
click to vote
TDSC
2008
15 years 7 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
201
click to vote
TIP
2008
15 years 7 months ago
2008
We introduce a novel synthetic-aperture imaging method for radar systems that rely on sources of opportunity. We consider receivers that fly along arbitrary, but known, flight traj...
188
click to vote
TKDE
2008
15 years 7 months ago
2008
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision making, reasoning, and analysis. Raw input about unf...