1009 search results - page 177 / 202 » transML: A Family of Languages to Model Model Transformation... |
136
click to vote
DS
2001
15 years 7 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
151
click to vote
ISTA
2003
15 years 7 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
159
click to vote
CGF
2007
15 years 6 months ago
2007
We introduce an algorithm for the automatic computation of global parameterizations on arbitrary simplicial 2manifolds, whose parameter lines are guided by a given frame field, f...
140
click to vote
SIGIR
2002
ACM
15 years 5 months ago
2002
ACM
Query ambiguity is a generally recognized problem, particularly in Web environments where queries are commonly only one or two words in length. In this study, we explore one techn...
177
click to vote
PLDI
2004
ACM
15 years 11 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 ...