Sciweavers

1002 search results - page 52 / 201
» Test-Driven Development of Model Transformations
Sort
View
SSS
2009
Springer
163views Control Systems» more  SSS 2009»
14 years 3 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 8 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
14 years 11 months 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...
GPC
2010
Springer
14 years 27 days ago
Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
Wei-Jen Wang, Carlos A. Varela, Fu-Hau Hsu, Cheng-...
CORR
2010
Springer
178views Education» more  CORR 2010»
13 years 7 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch