5227 search results - page 847 / 1046 » Enterprise modeling using class and instance models |
141
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
146
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
144
click to vote
ROBOCUP
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a method for automatic on-line color calibration of soccer-playing robots. Our method requires a geometrical model of the field-lines in world coordinates, and...
155
click to vote
DALT
2005
Springer
15 years 11 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
131
click to vote
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...