7529 search results - page 170 / 1506 » The Modula-3 Type System |
136
Voted
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
110
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Wikipedia, the online encyclopedia, has attracted attention both because of its popularity and its unconventional policy of letting anyone on the internet edit its articles. This ...
152
click to vote
CRYPTO
2007
Springer
15 years 11 months ago
2007
Springer
Consider a challenge-response protocol where the probability of a correct response is at least α for a legitimate user and at most β < α for an attacker. One example is a CAP...
163
click to vote
TELETRAFFIC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
146
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...