526 search results - page 83 / 106 » Towards the Verifying Compiler |
151
click to vote
ACCV
2009
Springer
16 years 18 days 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, ...
169
click to vote
TRUST
2009
Springer
16 years 17 days 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...
146
click to vote
SSD
2009
Springer
16 years 15 days 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...
163
click to vote
AINA
2008
IEEE
16 years 14 days 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...
157
click to vote
DSRT
2008
IEEE
16 years 13 days 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...