Sciweavers

3706 search results - page 104 / 742
» The Transformational Approach to Program Development
Sort
View
DAIS
2006
14 years 11 months ago
Model-Driven Development of Context-Aware Services
Abstract. In this paper, we define a model-driven design trajectory for contextaware services consisting of three levels of models with different degrees of ion and platform indepe...
João Paulo A. Almeida, Maria-Eugenia Iacob,...
POPL
2009
ACM
15 years 10 months ago
Equality saturation: a new approach to optimization
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin L...
ISORC
2006
IEEE
15 years 3 months ago
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...
Abdelouahed Gherbi, Ferhat Khendek
SSIAI
2002
IEEE
15 years 2 months ago
Customized Hough Transform for Robust Segmentation of Cervical Vertebrae from X-Ray Images
This report addresses the issues involved in developing a robust segmentation technique capable of finding the location and orientation of the cervical vertebrae in x-ray images. ...
Abraham Tezmol, Hamed Sari-Sarraf, Sunanda Mitra, ...
DAGSTUHL
2004
14 years 11 months ago
Application of Graph Transformation for Automating Web Service Discovery
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
Reiko Heckel, Alexey Cherchago