4126 search results - page 645 / 826 » Relationships with other Formalisms |
189
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
We consider spatio-temporal databases supporting spatial objects with continuously changing position and extent, termed moving objects databases. We formally define a data model f...
155
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
179
click to vote
DAWAK
2000
Springer
15 years 10 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
159
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
163
click to vote
WACC
1999
ACM
15 years 10 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...