8555 search results - page 1345 / 1711 » Property Based Coordination |
191
click to vote
COMPSAC
2008
IEEE
16 years 2 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
182
click to vote
COMPSAC
2008
IEEE
16 years 2 months ago
2008
IEEE
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there is a lack of sufficient support for architectural specifications across HW/SW boundaries. S...
219
click to vote
CRV
2008
IEEE
16 years 2 months ago
2008
IEEE
We propose an efficient technique for normal map acquisition, using a cheap and easy to build setup. Our setup consists solely of off-the-shelf components, such as an LCD screen,...
189
click to vote
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
The spatial distribution of fingerprint minutiae is a core problem in the fingerprint individuality study, the cornerstone of the fingerprint authentication technology. Previously...
197
click to vote
DATE
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper we describe a flexible and efficient new algorithm for model order reduction of parameterized systems. The method is based on the reformulation of the parametric s...