3885 search results - page 79 / 777 » Transformations for Write-All-with-Collision Model |
127
Voted
ICMT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...
117
click to vote
WCE
2007
15 years 5 months ago
2007
Abstract—The development of the transformer insulation failure undergoes three stages: insulation aging, incipient faults and a short circuit. This paper presents a complete sche...
131
click to vote
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
In ebXML the choreography of a business process should be modeled by UMM (UN/CEFACT Modeling Methodology) and is finally expressed in BPSS (Business Process Specification Schema). ...
112
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Multicore, multithreaded processors are rapidly becoming the platform of choice for high-throughput request-processing applications (RPAs). We refer to this class of mode...
142
click to vote
LOPSTR
1994
Springer
15 years 8 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...