688 search results - page 57 / 138 » Types for trees |
168
click to vote
PVLDB
2010
15 years 23 days ago
2010
A Cloud may be seen as a type of flexible computing infrastructure consisting of many compute nodes, where resizable computing capacities can be provided to different customers. T...
163
click to vote
TYPES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
152
click to vote
ML
2006
ACM
15 years 12 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
140
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...
161
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...