1255 search results - page 226 / 251 » Model-Driven Development of Model Transformations |
LPAR
1999
Springer
15 years 1 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
HT
1998
ACM
15 years 1 months ago
1998
ACM
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...
76
Voted
EEE
2004
IEEE
15 years 1 months ago
2004
IEEE
Designing cross-organizational e-business applications faces the problem that the collaborating businesses must align their commercial interests without any central decision makin...
83
Voted
DIS
2006
Springer
15 years 1 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
102
click to vote
EDBT
2010
ACM
15 years 29 days ago
2010
ACM
This paper develops toolsets for eliminating algorithm-based disclosure from existing privacy-preserving data publishing algorithms. We first show that the space of algorithm-base...