3994 search results - page 531 / 799 » A Linear Logical Framework |
202
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
1 The increasing test data volume needed to test core-based System-on-Chip contributes to long test application times (TAT) and huge automatic test equipment (ATE) memory requireme...
212
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
214
click to vote
FBIT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
194
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
159
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper studies multi-dimensional optimization at both circuit and micro-architecture levels. By formulating and solving the optimization problem with conflicting design objec...