1009 search results - page 89 / 202 » transML: A Family of Languages to Model Model Transformation... |
155
click to vote
CASES
2006
ACM
16 years 11 days ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
163
click to vote
COLT
2010
Springer
15 years 4 months ago
2010
Springer
In the present paper, we introduce a variant of Gold-style learners that is not required to infer precise descriptions of the languages in a class, but that must find descriptive ...
173
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
141
click to vote
MODELS
2007
Springer
16 years 16 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
167
click to vote
ICLP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...