6709 search results - page 1077 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
217
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
We propose a new optimizer in the context of multimodal image registration. The optimized criterion is the mutual information between the images to align. This criterion requires ...
216
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
166
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
The goal of an autonomic system is to self-manage itself and adjust its actions in the face of environmental changes. In this paper, we adopt a multiagent approach to developing a...
197
click to vote
SDMW
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We investigate the experimental effectiveness of query rewriting over XML security views. Our model consists of access control policies specified over DTDs with XPath e...
151
click to vote
IEEEARES
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we present a mixed qualitative and quantitative approach for evaluation of Information Technology (IT) security investments. For this purpose, we model security scen...