5639 search results - page 475 / 1128 » Timed Abstract Non-interference |
144
click to vote
DSVIS
2003
Springer
15 years 10 months ago
2003
Springer
A number of design models have been proposed in the area of Human-Computer Interaction (HCI) to support user-centered system design. el, abstract task models and detailed interface...
156
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
129
click to vote
ER
2001
Springer
15 years 9 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
154
click to vote
MMMACNS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
138
Voted
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...