18924 search results - page 434 / 3785 » Conformance of Distributed Systems |
188
click to vote
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
207
click to vote
IDA
2008
Springer
15 years 6 months ago
2008
Springer
We developed Relational Data Mining approach which allows to overcome essential limitations of the Data Mining and Knowledge Discovery techniques. In the paper the approach was im...
172
click to vote
EUC
2004
Springer
16 years 7 days ago
2004
Springer
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...