2596 search results - page 290 / 520 » Gradual Typing for Objects |
123
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
146
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
119
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— The objective of this paper is the linear reconstruction of a vector, up to a unimodular constant, when all phase information is lost, meaning only the magnitudes of fr...
124
click to vote
LCN
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper we address the problem of traffic grooming in WDM rings with all-to-all and its generalization to many-to-many service by using network coding. We consider minimi...
158
click to vote
AH
2008
Springer
15 years 11 months ago
2008
Springer
The heterogeneity problem (in terms of different types of access devices, network bandwidth, preferences/characteristics of the user, etc.) has become a major problem for the Inter...