1864 search results - page 296 / 373 » Formal topology and domains |
154
click to vote
ECOOP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
164
click to vote
ESOP
2007
Springer
16 years 16 days ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
149
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
163
click to vote
VLDB
2007
ACM
16 years 15 days ago
2007
ACM
This paper reports our first set of results on managing uncertainty in data integration. We posit that data-integration systems need to handle uncertainty at three levels, and do...
176
click to vote
CBMS
2006
IEEE
16 years 13 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...