Sciweavers

3921 search results - page 90 / 785
» Transforming Models with ATL
Sort
View
126
Voted
WCE
2007
15 years 6 months ago
Simulation of Transformer With Aging Insulation and Incipient Faults
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...
X. Wang, Mark Sumner, D. W. P. Thomas
COOPIS
2004
IEEE
15 years 9 months ago
Analysis, Transformation, and Improvements of ebXML Choreographies Based on Workflow Patterns
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). ...
Ja-Hee Kim, Christian Huemer
MODELS
2010
Springer
15 years 3 months ago
Transformation-Based Parallelization of Request-Processing Applications
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...
Taylor L. Riché, Harrick M. Vin, Don S. Bat...
LOPSTR
1994
Springer
15 years 9 months ago
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics
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...
Annalisa Bossi, Sandro Etalle
ICMCS
2005
IEEE
165views Multimedia» more  ICMCS 2005»
15 years 11 months ago
Neighbor combination and transformation for hallucinating faces
In this paper, we propose a novel face hallucination framework based on image patches, which exploits local geometry structures of overlapping patches to hallucinate different com...
Wei Liu, Dahua Lin, Xiaoou Tang