6740 search results - page 695 / 1348 » Using Classification as a Programming Language |
166
click to vote
DBPL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
166
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
187
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
159
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
173
click to vote
HICSS
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...