2373 search results - page 180 / 475 » On the Theory of Structural Subtyping |
126
click to vote
CIE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
152
click to vote
DSOM
2005
Springer
16 years 5 days ago
2005
Springer
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called ‘promises’ is therefo...
183
click to vote
EKAW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Conceptual Information Systems unfold the conceptual structure of data stored in relational databases. In the design phase of the system, conceptual hierarchies have to b...
127
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
180
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes a new student model technology that combines evidences and knowledge about pedagogical and domain structure. Its structure is generated from the metadata avai...