Sciweavers

10790 search results - page 20 / 2158
» Using feature models to automate model transformations
Sort
View
RTS
2006
176views more  RTS 2006»
14 years 11 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 3 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
EDOC
2005
IEEE
15 years 5 months ago
An Aspect Oriented Model Driven Framework
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
Devon M. Simmonds, Raghu Reddy, Robert B. France, ...
ECCV
2000
Springer
16 years 1 months ago
On Utilising Template and Feature-Based Correspondence in Multi-view Appearance Models
In principle, the recovery and reconstruction of a 3D object from its 2D view projections require the parameterisation of its shape structure and surface re ectance properties. Exp...
Sami Romdhani, Alexandra Psarrou, Shaogang Gong
EDOC
2007
IEEE
15 years 3 months ago
Automated Model-Based Configuration of Enterprise Java Applications
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
Jules White, Douglas C. Schmidt, Krzysztof Czarnec...