2565 search results - page 21 / 513 » Object type constructors |
103
Voted
JUCS
2010
14 years 9 months ago
2010
: Motivated by our experiences with spatial modelling for the sustainable land use initiative we present a geometrically enhanced ER model (GERM), which preserves the key principle...
107
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
138
Voted
ECOOP
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
130
Voted
ICEIS
2009
IEEE
15 years 8 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...
109
Voted
GEOINFO
2007
15 years 3 months ago
2007
This paper describes a model for spatiotemporal objects whose location is fixed, but its boundaries and properties change. We refer to these as evolving objects. We consider cases ...