Sciweavers

1209 search results - page 98 / 242
» On the Resilience of Classes to Change
Sort
View
WSCG
2003
148views more  WSCG 2003»
15 years 7 months ago
The Second Order Particle System
In this paper we present an extension to the classical particle system. We unify particles, particle sources, and force generators into a second order particle system. In the seco...
Tommi Ilmonen, Janne Kontkanen
COLOGNETWENTE
2009
15 years 7 months ago
On Self-Duality of Branchwidth in Graphs of Bounded Genus
A graph parameter is self-dual in some class of graphs embeddable in some surface if its value does not change in the dual graph more than a constant factor. Self-duality has been...
Ignasi Sau, Dimitrios M. Thilikos
GG
2008
Springer
15 years 7 months ago
Graph Transformation for Topology Modelling
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
Mathieu Poudret, Agnès Arnould, Jean-Paul C...
ENTCS
2007
133views more  ENTCS 2007»
15 years 6 months ago
Modelchecking Correctness of Refactorings - Some Experiments
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
H.-Christian Estler, Thomas Ruhroth, Heike Wehrhei...
IJCAI
1993
15 years 7 months ago
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
Erik Sandewall