6253 search results - page 332 / 1251 » Use Case Modeling Guidelines |
135
click to vote
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
119
click to vote
SMA
1999
ACM
15 years 8 months ago
1999
ACM
Accurate prediction of the swept volume of a cutting tool is essential in NC verification algorithms for detecting deficiencies in a proposed tool path, such as gouging, undercutt...
134
Voted
FORTE
2008
15 years 5 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
128
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
Navigationalpath planning is a classicalproblem in autonomous mobile robotics. Most AI approachesto path planning use goal-directedheuristicsearch of problem spaces defined by spa...
134
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....