2036 search results - page 293 / 408 » A generic type-and-effect system |
SMC
2007
IEEE
15 years 7 months 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...
111
Voted
CCS
2007
ACM
15 years 7 months 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...
84
Voted
ECOOP
2007
Springer
15 years 7 months 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...
98
Voted
ISSAC
2007
Springer
15 years 6 months 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...
121
Voted
EUROMICRO
2006
IEEE
15 years 6 months 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...