Sciweavers

2612 search results - page 392 / 523
» Semantic Attention Management
Sort
View
179
Voted
KCAP
2005
ACM
16 years 13 days ago
Ontology ranking based on the analysis of concept structures
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...
Harith Alani, Christopher Brewster
SPIN
2005
Springer
16 years 10 days ago
Model Checking Machine Code with the GNU Debugger
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...
Eric Mercer, Michael Jones
TGC
2005
Springer
16 years 10 days ago
Programming Cryptographic Protocols
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
Joshua D. Guttman, Jonathan C. Herzog, John D. Ram...
162
Voted
WAIM
2005
Springer
16 years 10 days ago
Understanding User Operations on Web Page in WISE
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...
Hongyan Li, Ming Xue, Jianjun Wang, Shiwei Tang, D...
WMPI
2004
ACM
16 years 8 days ago
A localizing directory coherence protocol
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...
Collin McCurdy, Charles N. Fischer