13734 search results - page 2445 / 2747 » Abstractions of data types |
161
click to vote
CSL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
179
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper, we present the complete classification of recursive relationships and the criteria that contribute to the structural validity of modeling recursive relatio...
150
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
Database support of time-varying phenomena typically assumes that entities change in a linear fashion. Many phenomena, however, change cyclically over time. Examples include monsoo...
177
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
180
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
In distributed object systems, remote method inattempts to abstract communication between di erent machines to the level of object method invocation. Link failure in such systems ...