5227 search results - page 369 / 1046 » Enterprise modeling using class and instance models |
201
click to vote
HYBRID
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
173
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
The problem of registering Diffusion Tensor (DT) images is considered. We describe a novel intensity based registration method capable of performing affine and nonlinear registrat...
167
click to vote
RTSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Aperiodic requests with unknown execution times and unknown arrival patterns are dynamically mapped to ratebased execution (RBE) tasks with variable rates and scheduled such that ...
189
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
195
Voted
IEICET
2011
15 years 1 months ago
2011
Abstract. In this paper, we give a security proof for Abreast-DM in terms of collision resistance and preimage resistance. As old as Tandem-DM, the compression function Abreast-DM ...