Sciweavers

4328 search results - page 109 / 866
» A New Kind of Science
Sort
View
GG
2004
Springer
15 years 11 months ago
Rule Execution in Graph-Based Incremental Interactive Integration Tools
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...
Simon M. Becker, Sebastian Lohmann, Bernhard Westf...
GG
2004
Springer
15 years 11 months ago
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...
Esther Guerra, Juan de Lara
FOCS
2002
IEEE
15 years 11 months ago
Auctions with Severely Bounded Communication
We study auctions with severe bounds on the communication allowed: each bidder may only transmit t bits of information to the auctioneer. We consider both welfare- and profit-max...
Liad Blumrosen, Noam Nisan
CSR
2010
Springer
15 years 11 months ago
Comparing Two Stochastic Local Search Algorithms for Constraint Satisfaction Problems
Abstract. In this survey we compare the similarities, differences and the complexities of two very different approaches to solve a general constraint satisfaction probblems (CSP). ...
Uwe Schöning
ICMT
2010
Springer
15 years 11 months ago
Improving Higher-Order Transformations Support in ATL
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...
Massimo Tisi, Jordi Cabot, Frédéric ...