29 search results - page 3 / 6 » An Object-Oriented Abstract Machine as the Substrate for an ... |
ISORC
2000
IEEE
13 years 10 months ago
2000
IEEE
This paper documents progress to date on a research project, the goal of which is wartime event prediction. The paper describes the operational concept, the datamining environment...
ENTCS
2008
13 years 5 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
ECOOP
1992
Springer
13 years 10 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
TIME
1994
IEEE
13 years 10 months ago
1994
IEEE
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
VLDB
1991
ACM
13 years 9 months ago
1991
ACM
Queries in object-oriented datab;Lqcs are formulated against a class and retrieve instnnccls of the class sat,isfying a certain predicate on the att,riblltes of the class. The pre...