1937 search results - page 330 / 388 » Starting B Specifications from Use Cases |
129
click to vote
EOR
2008
15 years 4 months ago
2008
We study the market partition between two distinct firms that deliver services to waiting time sensitive customers. In our model, the incoming customers select a firm on the basis...
127
click to vote
FMSD
2006
15 years 4 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
109
click to vote
IJMI
2007
15 years 4 months ago
2007
: The increasing dependency being placed on electronic health information systems presents new challenges for today’s health managers and systems developers. This paper uses Elec...
143
click to vote
INFORMATICALT
2002
15 years 4 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
154
click to vote
TCSV
2002
15 years 4 months ago
2002
The new video-coding standard MPEG-4 enables content-based functionality, as well as high coding efficiency, by taking into account shape information of moving objects. A novel alg...