9425 search results - page 1479 / 1885 » Some Notes on Models and Modelling |
183
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
174
click to vote
ICTCS
2007
Springer
16 years 1 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
158
click to vote
IH
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe a new forensic tool for revealing digitally altered images by detecting the presence of photo-response non-uniformity noise (PRNU) in small regions. This...
189
click to vote
KES
2007
Springer
16 years 1 months ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...
169
click to vote
LADS
2007
Springer
16 years 29 days ago
2007
Springer
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, ...