4074 search results - page 245 / 815 » Abstract Graph Transformation |
162
click to vote
CCCG
2010
15 years 8 months ago
2010
d Abstract) Debajyoti Mondal , Rahnuma Islam Nishat , Md. Saidur Rahman , and Muhammad Jawaherul Alam
171
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
163
click to vote
ESORICS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
132
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Trees are useful data structures, but to design efficient parallel programs over trees is known to be more difficult than to do over lists. Although several important tre...
169
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...