SOFSEM
2005
Springer
13 years 10 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
13 years 10 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
13 years 10 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
13 years 10 months ago
2005
Springer
SOFSEM
2005
Springer
13 years 10 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
13 years 10 months ago
2005
Springer
SOFSEM
2005
Springer
13 years 10 months ago
2005
Springer
SOFSEM
2005
Springer
13 years 10 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...