17054 search results - page 3033 / 3411 » Logics of Dynamical Systems |
199
click to vote
PADS
1999
ACM
15 years 11 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
182
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
185
click to vote
SAC
1997
ACM
15 years 11 months ago
1997
ACM
Multidimensional discrete data (MDD), i.e., arrays of arbitrary size, dimension, and base type, are receiving growing attention among the database community. MDD occur in a variet...
167
click to vote
HICSS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we present a document model which integrates the logical structure and hypertext link structure of hyperdocuments in order to manage structured documents with hyper...
190
click to vote
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...