2612 search results - page 392 / 523 » Semantic Attention Management |
102
click to vote
KCAP
2005
ACM
15 years 7 months ago
2005
ACM
In view of the need to provide tools to facilitate the reuse of existing knowledge structures such as ontologies, we present in this paper a system, AKTiveRank, for the ranking of...
97
Voted
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
108
click to vote
TGC
2005
Springer
15 years 7 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
WAIM
2005
Springer
15 years 7 months ago
2005
Springer
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
106
click to vote
WMPI
2004
ACM
15 years 7 months ago
2004
ACM
User-controllable coherence revives the idea of cooperation between software and hardware in an attempt to bridge the gap between efficient small-scale shared memory machines and m...