This paper gives an overview of DICE (DIstributed Constraint Environment), a framework for the construction of distributed constraint solvers from software components in four categories: (1) variable domain types, (2) (incomplete) solvers, (3) splitting strategies, to build search trees, and (4) search strategies, to traverse these search trees. DICE is implemented using the Manifold coordinati...

HSF-SPIN is a Promela model checker based on heuristic search strategies. It utilizes heuristic estimates in order to direct the search for nding software bugs in concurrent systems. As a consequence, HSF-SPIN is able to nd shorter trails than blind depth-rst search. This paper contributes an extension to the paradigm of directed model checking to shorten already established unacceptable long e...

The present paper reports an experimental test of a prototype graphic and textual search interface for a university database on art-resource works. Novice and expert searchers were tested on both interfaces with performance assessed in terms of search speed and accuracy. Verbal protocols and navigation strategies were also examined. Experts performed significantly faster than novices though bot...

The collection of detailed sampling protocols is crucial tool for the success Nansen Legacy, because they ensure:
 
 Methodological agreement between involved researchers
 Continuity and comparable data throughout 5 years period
 An easily accessible overview over parameters sampled
 Easier cruise planning