3105 search results - page 331 / 621 » The Path-Packing Structure of Graphs |
128
click to vote
ENTCS
2007
15 years 4 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
153
click to vote
STTT
2008
15 years 4 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
154
click to vote
TCS
2008
15 years 4 months ago
2008
This paper addresses the problem of representing the connectivity information of geometric objects using as little memory as possible. As opposed to raw compression issues, the fo...
129
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
103
click to vote
IWPC
2010
IEEE
15 years 3 months ago
2010
IEEE
The measure dep-degree is a simple indicator for structural problems and complex dependencies on code-level. We model low-level dependencies between program operations as use-def ...