9359 search results - page 269 / 1872 » Generalization Algorithms for Second-Order Terms |
190
Voted
LICS
2006
IEEE
16 years 7 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
150
Voted
DAC
2006
ACM
16 years 6 days ago
2006
ACM
A novel routing algorithm, namely dynamic XY (DyXY) routing, is proposed for NoCs to provide adaptive routing and ensure deadlock-free and livelock-free routing at the same time. ...
195
click to vote
SASN
2006
ACM
16 years 5 days ago
2006
ACM
Mesh network is vulnerable to privacy attacks because of the open medium property of wireless channel, the fixed topology, and the limited network size. Traditional anonymous rou...
115
click to vote
IHM
2005
ACM
15 years 11 months ago
2005
ACM
The paper presents a novel technique for the exploration of an information space where elements are associated with a taxonomy and where each element has an associated attribute v...
153
click to vote
SBCCI
2005
ACM
15 years 11 months ago
2005
ACM
The physical implementation of cryptographic algorithms may leak to some attacker security information by the side channel data, as power consumption, timing, temperature or elect...