6253 search results - page 358 / 1251 » Use Case Modeling Guidelines |
135
click to vote
CP
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we present a hybrid model for the demand acceptance variant of the routing and wavelength assignment problem in directed networks, an important benchmark problem in o...
129
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
120
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
122
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
Partial enumeration (PE) is presented as a method for treating large, linear model predictive control applications that are out of reach with available MPC methods. PE uses both a...
118
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...