Sciweavers

1255 search results - page 195 / 251
» Model-Driven Development of Model Transformations
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
13 years 10 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
NC
2010
179views Neural Networks» more  NC 2010»
13 years 8 months ago
Representation before computation
My main objective is to point out a fundamental weakness in the conventional conception of computation and suggest a promising way out. This weakness is directly related to a gross...
Lev Goldfarb
FMAM
2010
157views Formal Methods» more  FMAM 2010»
13 years 8 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
ICIP
2009
IEEE
14 years 11 months ago
Reconstructing Ft-ir Spectroscopic Imaging Data With A Sparse Prior
Fourier Transform Infrared (FT-IR) spectroscopic imaging is a potentially valuable tool for diagnosing breast and prostate cancer, but its clinical deployment is limited due to lo...
WWW
2004
ACM
14 years 10 months ago
Converting UML to OWL ontologies
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
Dragan Gasevic, Dragan Djuric, Vladan Devedzic, Vi...