SOFSEM
2005
Springer
14 years 4 months ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
SOFSEM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Open source software has become a common way of disseminating research results. In this talk, we first introduce the motivations and implications of releasing research pr...
SOFSEM
2005
Springer
14 years 4 months ago
2005
Springer
An outerplanar (also called circular, convex, one-page) drawing of an n-vertex graph G is a drawing in which the vertices are placed on a circle and each edge is drawn using one s...
SOFSEM
2005
Springer
14 years 4 months ago
2005
Springer
SOFSEM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Treewidth is a graph parameter with several interesting theoretical and practical applications. This survey reviews algorithmic results on determining the treewidth of a ...
SOFSEM
2005
Springer
14 years 4 months ago
2005
Springer
SOFSEM
2005
Springer
14 years 4 months ago
2005
Springer
SOFSEM
2005
Springer
14 years 4 months ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...