3605 search results - page 91 / 721 » Analysis and Applications of the XDI model |
105
Voted
ISORC
2008
IEEE
15 years 7 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
118
Voted
JCS
2010
14 years 7 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
117
Voted
BIRTHDAY
2012
Springer
13 years 8 months ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...
116
Voted
TCAD
2002
15 years 9 days ago
2002
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
119
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
The segmentation of networks is important in several imaging domains, and models incorporating prior shape knowledge are often essential for the automatic performance of this task...