3888 search results - page 741 / 778 » Change-Driven Model Transformations |
118
click to vote
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Developing cost models for query optimization is significantly harder for XML queries than for traditional relational queries. The reason is that XML query operators are much mor...
110
click to vote
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
101
click to vote
ICAIL
2003
ACM
15 years 5 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
122
click to vote
CORR
2002
Springer
14 years 11 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
103
click to vote
JOC
2000
14 years 11 months ago
2000
The goal of secure multiparty computation is to transform a given protocol involving a trusted party into a protocol without need for the trusted party, by simulating the party am...