9626 search results - page 1253 / 1926 » Invariant Based Programming |
207
Voted
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
Recently, there has been a growing interest in exploiting profile information in adaptive systems such as just-in-time compilers, dynamic optimizers and, binary translators. In th...
252
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
196
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
A well-known concern in the setting of identity based encryption is that the PKG is all powerful and has to be completely trusted. To mitigate this problem, the notion of Accounta...
240
click to vote
AAAI
1990
15 years 8 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
209
Voted
ANLP
1992
15 years 8 months ago
1992
The availability of large files of manuallyreviewed parse trees from the University of Pennsylvania "tree bank", along with a program for comparing system-generated pars...