1691 search results - page 159 / 339 » Accommodating Context Change |
148
click to vote
FMLDO
1999
Springer
15 years 10 months ago
1999
Springer
The concept of a transaction, highly significant in the context of data bases, is broadened to make it refer to any atomic operation that changes the state of a software system or...
176
click to vote
INFOVIS
1998
IEEE
15 years 10 months ago
1998
IEEE
One very effective method for managing large data sets is aggregation or binning. In this paper we consider two aggregation methods that are tightly coupled with interactive manip...
157
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
174
click to vote
DL
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...
155
click to vote
OOPSLA
1998
Springer
15 years 10 months ago
1998
Springer
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...