3119 search results - page 486 / 624 » General Default Logic |
141
click to vote
ATAL
2007
Springer
16 years 19 days ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
169
click to vote
CCS
2007
ACM
16 years 18 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
169
click to vote
CISSE
2007
Springer
16 years 18 days ago
2007
Springer
In an ad-hoc Grid environment where producers and consumers compete for providing and employing resources, trade handling in a fair and stable way is a challenging task. Dynamic ch...
159
click to vote
FPGA
2007
ACM
16 years 18 days ago
2007
ACM
Variations in the semiconductor fabrication process results in variability in parameters between transistors on the same die, a problem exacerbated by lithographic scaling. The re...
166
click to vote
FPGA
2007
ACM
16 years 18 days ago
2007
ACM
This paper describes a technique that reduces dynamic power in FPGAs by reducing the number of glitches in the global routing resources. The technique involves adding programmable...