1937 search results - page 66 / 388 » Starting B Specifications from Use Cases |
131
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
157
click to vote
POS
1994
Springer
15 years 8 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
123
click to vote
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
It is advantageous to perform compiler optimizations to lower the WCET of a task since tasks with lower WCETs are easier to schedule and more likely to meet their deadlines. Compi...
159
click to vote
MP
2006
15 years 4 months ago
2006
In the paper we address the Distance-Constrained Capacitated Vehicle Routing Problem (DCVRP), where k minimum-cost routes through a central depot have to be constructed so as to co...
134
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Cooperation between rational users in wireless networks is studied using coalitional game theory. Using the rate achieved by a user as its utility, it is shown that the stable coal...