8838 search results - page 86 / 1768 » Generalizing Domain Theory |
138
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
150
Voted
TLDI
2009
ACM
16 years 23 days ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
152
click to vote
PERCOM
2004
ACM
16 years 3 months ago
2004
ACM
This paper proposes initial steps towards a conceptual framework for context-aware systems. It is an attempt towards a general context model to aid thinking and describing context...
109
Voted
IJCAI
1993
15 years 5 months ago
1993
This paper presents a major revision of the Either propositional theory re nement system. Two issues are discussed. First, we show howrun timee ciency can be greatlyimproved by ch...
141
click to vote
ENTCS
2010
15 years 4 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...