Sciweavers

394 search results - page 52 / 79
» Structure Preserving Semantic Matching
Sort
View
MPC
1995
Springer
150views Mathematics» more  MPC 1995»
15 years 3 months ago
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
Klaus Achatz, Wolfram Schulte
FMOODS
2006
15 years 1 months ago
Transformation Laws for UML-RT
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
ECEASST
2006
95views more  ECEASST 2006»
14 years 12 months ago
Towards Translating Graph Transformation Approaches by Model Transformations
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
Frank Hermann, Harmen Kastenberg, Tony Modica
ICPR
2000
IEEE
15 years 4 months ago
Database Architecture for Autonomous Transportation Agents for On-Scene Networked Incident Management (ATON)
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
Mohan M. Trivedi, Shailendra K. Bhonsle, Amarnath ...
VIP
2003
15 years 1 months ago
Visualising File-Systems Using ENCCON Model
1 This paper describes a new approach for visualising the file structures. Our technique uses an enclosure + connection (ENCCON) approach that provides an overall view of the enti...
Quang Vinh Nguyen, Mao Lin Huang