11539 search results - page 398 / 2308 » On Learning from Exercises |
279
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...
195
Voted
BROADNETS
2007
IEEE
16 years 1 months ago
2007
IEEE
—We consider pricing secondary access to wireless spectrum in cellular CDMA networks. We study the case for a primary license holder interested in leasing the right of providing ...
233
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
Information systems form the backbones of the critical infrastructures of modern societies. Unfortunately, these systems are highly vulnerable to attacks that can result in enormo...
202
click to vote
TARK
2007
Springer
16 years 28 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
178
click to vote
ACSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
With the recent advent of dynamically extensible software systems, in which software extensions may be dynamically loaded into the address space of a core application to augment i...