Sciweavers

1496 search results - page 235 / 300
» Improving the Modeling of Use Case Relationship
Sort
View
UML
2005
Springer
15 years 11 months ago
Tool Support for OCL and Related Formalisms - Needs and Trends
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
Thomas Baar, Dan Chiorean, Alexandre L. Correa, Ma...
CBSQ
2003
Springer
15 years 11 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
ICRA
1999
IEEE
136views Robotics» more  ICRA 1999»
15 years 10 months ago
The Arc-Transversal Median Algorithm: An Approach to Increasing Ultrasonic Sensor Accuracy
This paper describes a new method for improving the accuracy of range information using low resolution ultrasonic sensors mounted on a mobile robot. These sensors emit ultra-sound...
Keiji Nagatani, Howie Choset, Nicole A. Lazar
BMCBI
2010
135views more  BMCBI 2010»
15 years 6 months ago
GIGA: a simple, efficient algorithm for gene tree inference in the genomic age
Background: Phylogenetic relationships between genes are not only of theoretical interest: they enable us to learn about human genes through the experimental work on their relativ...
Paul D. Thomas
BMCBI
2010
112views more  BMCBI 2010»
15 years 6 months ago
A parameter-adaptive dynamic programming approach for inferring cophylogenies
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
Daniel Merkle, Martin Middendorf, Nicolas Wieseke