4323 search results - page 791 / 865 » Callback Implementations in C |
118
click to vote
SAGA
2005
Springer
15 years 8 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
148
click to vote
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
In recent years, the wide availability of personal data has made the problem of privacy preserving data mining an important one. A number of methods have recently been proposed fo...
118
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
164
Voted
ICS
2005
Tsinghua U.
15 years 8 months ago
2005
Tsinghua U.
The Replica Placement Problem (RPP) aims at creating a set of duplicated data objects across the nodes of a distributed system in order to optimize certain criteria. Typically, RP...
113
click to vote
DOCENG
2004
ACM
15 years 8 months ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...