Sciweavers

42 search results - page 4 / 9
» dagstuhl 1998
Sort
View
DAGSTUHL
2006
14 years 11 months ago
Techniques for Empirical Validation
In 1998 a survey was published on the extent to which software engineering papers validate the claims made in those papers. The survey looked at publications in 1985, 1990 and 1995...
Marvin V. Zelkowitz
DAGSTUHL
1998
14 years 11 months ago
On Active Deductive Databases: The Statelog Approach
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
Georg Lausen, Bertram Ludäscher, Wolfgang May
DAGSTUHL
2006
14 years 11 months ago
Model Development in the UML-based Specification Environment (USE)
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
Martin Gogolla
DAGSTUHL
2010
14 years 11 months ago
Saliency Guided Summarization of Molecular Dynamics Simulations
We present a novel method to measure saliency in molecular dynamics simulation data. This saliency measure is based on a multiscale center-surround mechanism, which is fast and ef...
Robert Patro, Cheuk Yiu Ip, Amitabh Varshney
DAGSTUHL
2010
14 years 11 months ago
Computing an Optimal Layout for Cone Trees
Many visual representations for trees have been developed in information and software visualization. One of them are cone trees, a well-known three-dimensional representation for ...
Dirk Zeckzer, Fang Chen, Hans Hagen