17505 search results - page 3360 / 3501 » Use Cases as Workflows |
167
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
129
Voted
HSNMC
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we propose an end-to-end route optimization scheme for nested mobile networks, which we refer to as Recursive Binding Update plus (RBU+). A nested mobile network is ...
125
Voted
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
We summarize the Computational Engineering and Science program at the University of Utah. Program requirements as well as related research areas are outlined. To obtain the MS degr...
128
click to vote
ICSR
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
144
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...