CISSE
2007
Springer
14 years 5 months ago
2007
Springer
An issue of some interest to those in the lumber and timber industry is the rapid matching of a cut log face with its mate. For example, the U.S. Forest Service experiences a consi...
CISSE
2007
Springer
14 years 5 months ago
2007
Springer
CISSE
2007
Springer
14 years 5 months ago
2007
Springer
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...
CISSE
2007
Springer
14 years 5 months ago
2007
Springer
In an ad-hoc Grid environment where producers and consumers compete for providing and employing resources, trade handling in a fair and stable way is a challenging task. Dynamic ch...
B
2007
Springer
14 years 5 months ago
2007
Springer
B
2007
Springer
14 years 5 months ago
2007
Springer
B
2007
Springer
14 years 5 months ago
2007
Springer
B
2007
Springer
14 years 5 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
B
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
B
2007
Springer
14 years 5 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...