8555 search results - page 1396 / 1711 » Property Based Coordination |
151
click to vote
MDAFA
2004
Springer
16 years 5 days ago
2004
Springer
A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is n...
177
click to vote
PCM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In repeated pattern analysis, peak number detection in autocorrelation is of key importance, which subsequently determines the correctness of the constructed lattice. Pre...
192
click to vote
PPDP
2004
Springer
16 years 5 days ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
170
click to vote
SAS
2004
Springer
16 years 4 days ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
175
Voted
WABI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Genomic instabilities, amplifications, deletions and translocations are often observed in tumor cells. In the process of cancer pathogenesis cells acquire multiple genom...