2596 search results - page 326 / 520 » Gradual Typing for Objects |
132
click to vote
ER
2008
Springer
15 years 6 months ago
2008
Springer
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
138
click to vote
FMOODS
2008
15 years 5 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
119
click to vote
ICSOFT
2008
15 years 5 months ago
2008
Until now, the evaluation of product packaging has been performed subjectively since no other way existed. Previous research has also shown that people tend to prefer images with h...
167
click to vote
HPCNCS
2007
15 years 5 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
108
click to vote
LREC
2008
15 years 5 months ago
2008
In this paper we will focus on the lexical-semantic relations in the German wordnet GermaNet. It has been shown that wordnets suffer from the relatively small number of relations ...