Sciweavers

1255 search results - page 111 / 251
» Model-Driven Development of Model Transformations
Sort
View
ECEASST
2008
110views more  ECEASST 2008»
13 years 10 months ago
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
Enrico Biermann, Tony Modica
TCAD
2008
90views more  TCAD 2008»
13 years 10 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
SSS
2009
Springer
163views Control Systems» more  SSS 2009»
14 years 4 months ago
Developing Autonomic and Secure Virtual Organisations with Chemical Programming
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
Alvaro E. Arenas, Jean-Pierre Banâtre, Thier...
JUCS
2006
133views more  JUCS 2006»
13 years 10 months ago
The Transformation of the Web: How Emerging Communities Shape the Information we Consume
: To date, one of the main aims of the World Wide Web has been to provide users with information. In addition to private homepages, large professional information providers, includ...
Josef Kolbitsch, Hermann A. Maurer
CVPR
2000
IEEE
15 years 3 days ago
Learning from One Example through Shared Densities on Transforms
We define a process called congealing in which elements of a dataset (images) are brought into correspondence with each other jointly, producing a data-defined model. It is based ...
Erik G. Miller, Nicholas E. Matsakis, Paul A. Viol...