1581 search results - page 209 / 317 » Mechanizing Inductive Reasoning |
127
click to vote
ICMCS
1996
IEEE
15 years 7 months ago
1996
IEEE
The most notable characteristic of continuous-media data is the existence of timing constraints. To handle such data appropriately, some system support for resource management and...
118
click to vote
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we present a model for simulating the evolution of development together with a method for the analysis of emergence of negative feedback inside the regulatory networ...
120
click to vote
DOCENG
2007
ACM
15 years 6 months ago
2007
ACM
The problem of version detection is critical in many important application scenarios, including software clone identification, Web page ranking, plagiarism detection, and peer-to-...
141
click to vote
BTW
2009
Springer
15 years 6 months ago
2009
Springer
: The integrity of B-tree structures can become compromised for many reasons. Since these inconsistencies manifest themselves in unpredictable ways, all commercial database managem...
123
click to vote
FLAIRS
2007
15 years 5 months ago
2007
XGR (XML Data Grid) and BabelPeers are both data management systems based on distributed hash tables (DHT) that use the Pastry DHT to store data and meta data. XGR is based on the...