Sciweavers

369 search results - page 37 / 74
» diagrams 2008
Sort
View
BIOINFORMATICS
2008
106views more  BIOINFORMATICS 2008»
13 years 7 months ago
Interactive visualization software for exploring phylogenetic trees and clades
The Summary Tree Explorer (STE) is a Java application for interactively exploring sets of phylogenetic trees using two coupled representations: a node-and-link diagram and a textu...
Mark Derthick
IJCGA
2008
179views more  IJCGA 2008»
13 years 7 months ago
Computing the Hausdorff Distance between Curved Objects
The Hausdorff distance between two sets of curves is a measure for the similarity of these objects and therefore an interesting feature in shape recognition. If the curves are alg...
Helmut Alt, Ludmila Scharf
SOSYM
2002
74views more  SOSYM 2002»
13 years 7 months ago
On the interpretation of binary associations in the Unified Modelling Language
Binary associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement concerning what an association is, sema...
Perdita Stevens
IIWAS
2008
13 years 8 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
TII
2008
98views more  TII 2008»
13 years 7 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux