1003 search results - page 103 / 201 » Type Inference with Inequalities |
136
Voted
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
135
click to vote
FUIN
2007
15 years 4 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...
161
click to vote
ICOODB
2009
15 years 1 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
122
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: The MISTRAL system, a service oriented architecture for semantic extraction of multimedia data from meeting recordings is described shortly. It improves on other similar systems ...
128
click to vote
ASIAN
1999
Springer
15 years 8 months ago
1999
Springer
Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to...