SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
In this paper we deal with making drawings of clustered hierarchical graphs nicer. Given a planar graph G = (V, E) with an assignment of the vertices to horizontal layers, a plane ...
SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. After text retrieval, the next waves in web searching and multimedia retrieval are the search for and delivery of images, music, video, and 3D scenes. Not only the percep...
SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...
SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...