1716 search results - page 239 / 344 » Proving Conditional Termination |
131
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Tools for analysing secure information flow are almost exclusively based on ideas going back to Denning’s work from the 70’s. This approach embodies an imperfect notion of sec...
133
Voted
P2P
2007
IEEE
15 years 10 months ago
2007
IEEE
Structured overlay networks form a major class of peerto-peer systems, which are touted for their abilities to scale, tolerate failures, and self-manage. Any long-lived Internet-s...
131
click to vote
MOBICOM
2006
ACM
15 years 10 months ago
2006
ACM
Rate adaptation is a mechanism unspecified by the 802.11 standards, yet critical to the system performance by exploiting the multi-rate capability at the physical layer. In this ...
122
click to vote
ACISP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....
122
click to vote
MOBIDE
1999
ACM
15 years 8 months ago
1999
ACM
The first mass-produced pervasive computing devices are starting to appear—the AutoPC, the Internet-connected ScreenFridge, and the combination Microwave Oven/Home Banking term...