Sciweavers

7978 search results - page 423 / 1596
» Representation before computation
Sort
View
CARDIS
2006
Springer
101views Hardware» more  CARDIS 2006»
15 years 10 months ago
Smartcard Firewalls Revisited
Smartcards are being used as secure endpoints in computer transactions. Recently, the connectivity of smartcards has increased and future smartcards will be able to communicate ove...
Henrich Christopher Pöhls, Joachim Posegga
DATE
2004
IEEE
125views Hardware» more  DATE 2004»
15 years 10 months ago
Local Decisions and Triggering Mechanisms for Adaptive Fault-Tolerance
Dynamic fault-tolerance management (DFTM) was previously introduced as a means of providing environmentand workload-driven adaptation for failure-prone battery powered systems. Th...
Phillip Stanley-Marbell, Diana Marculescu
185
Voted
ECAI
2006
Springer
15 years 10 months ago
Discovering Missing Background Knowledge in Ontology Matching
Semantic matching determines the mappings between the nodes of two graphs (e.g., ontologies) by computing logical relations (e.g., subsumption) holding among the nodes that corresp...
Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskev...
ECAI
2006
Springer
15 years 10 months ago
Extracting MUCs from Constraint Networks
Abstract. We address the problem of extracting Minimal Unsatisfiable Cores (MUCs) from constraint networks. This computationally hard problem has a practical interest in many appli...
Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Fr...
ECAI
2006
Springer
15 years 10 months ago
Heuristic Bidding Strategies for Multiple Heterogeneous Auctions
Abstract. This paper investigates utility maximising bidding heuristics for agents that participate in multiple heterogeneous auctions, in which the auction format and the starting...
David C. K. Yuen, Andrew Byde, Nicholas R. Jenning...