526 search results - page 83 / 106 » Towards the Verifying Compiler |
118
Voted
ACCV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a new algorithm for low-level multiscale segmentation of images. The algorithm is designed to detect image regions regardless of their shapes, sizes, ...
132
click to vote
TRUST
2009
Springer
15 years 10 months ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...
113
click to vote
SSD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We consider a setting with numerous location-aware moving objects that communicate with a central server. Assuming a set of focal points of interest, we aim at continuous...
130
click to vote
AINA
2008
IEEE
15 years 9 months ago
2008
IEEE
Wireless sensor networks are expected to be deployed in harsh environments characterised by extremely poor and fluctuating channel conditions. With the commonly adopted single-si...
117
click to vote
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...