3379 search results - page 172 / 676 » Powers of Two |
112
Voted
DAC
1996
ACM
15 years 8 months ago
1996
ACM
Hot-carrier eects and electromigration are the two important failure mechanisms that signi cantly impact the long-term reliability of high-density VLSI ICs. In this paper, we prese...
129
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
145
click to vote
IJSNET
2007
15 years 4 months ago
2007
: This paper introduces the problem of fault tolerant topology control for one-to-all communications in symmetric wireless networks. We investigate two algorithms to address the pr...
114
click to vote
CEEMAS
2001
Springer
15 years 9 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
137
click to vote
IVA
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Interactive virtual worlds provide a powerful medium for experiential learning. Intelligent virtual agents can cohabit virtual worlds with people and facilitate such lear...