Sciweavers

2608 search results - page 24 / 522
» Subjects, Models, Languages, Transformations
Sort
View
ENTCS
2006
151views more  ENTCS 2006»
14 years 9 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
BIODATAMINING
2008
117views more  BIODATAMINING 2008»
14 years 9 months ago
Search extension transforms Wiki into a relational system: A case for flavonoid metabolite database
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
Masanori Arita, Kazuhiro Suwa
EDOC
2003
IEEE
15 years 2 months ago
Model Transformation: A declarative, reusable patterns approach
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
Keith Duddy, Anna Gerber, Michael Lawley, Kerry Ra...
ECOOP
2008
Springer
14 years 11 months ago
On Validity of Program Transformations in the Java Memory Model
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
Jaroslav Sevcík, David Aspinall
76
Voted
HICSS
2003
IEEE
100views Biometrics» more  HICSS 2003»
15 years 2 months ago
An Examination of DSLs for Concisely Representing Model Traversals and Transformations
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
Jeff Gray, Gabor Karsai