1982 search results - page 240 / 397 » Parametricity and dependent types |
156
click to vote
IDEAS
2000
IEEE
15 years 10 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
132
click to vote
IWPC
1999
IEEE
15 years 10 months ago
1999
IEEE
Recent research suggests that large software systems should have a documented system architecture. One form of documentation that may help describe the structure of software syste...
171
click to vote
PKDD
1999
Springer
15 years 10 months ago
1999
Springer
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...
193
click to vote
APGV
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we present the first Facial Action Coding System (FACS) valid model to be based on dynamic 3D scans of human faces for use in graphics and psychological research. T...
148
click to vote
PKC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Perfect forward secrecy, one of the possible security features provided by key establishment protocols, concerns dependency of a session key upon long-term secret keys (s...