2036 search results - page 293 / 408 » A generic type-and-effect system |
159
click to vote
SMC
2007
IEEE
16 years 11 days ago
2007
IEEE
— The basic objective of this work is to assess the utility of two supervised learning algorithms AdaBoost and RIPPER for classifying SSH traffic from log files without using f...
173
Voted
CCS
2007
ACM
16 years 8 days ago
2007
ACM
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...
149
Voted
ECOOP
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
142
click to vote
ISSAC
2007
Springer
16 years 7 days ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
185
click to vote
EUROMICRO
2006
IEEE
16 years 4 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...