1451 search results - page 250 / 291 » Case Studies in Model Manipulation for Scientific Computing |
143
click to vote
DSVIS
2008
Springer
15 years 6 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
159
click to vote
WAOA
2010
Springer
15 years 2 months ago
2010
Springer
We study an extension of the unit-demand pricing problem in which the seller may offer bundles of items. If a customer buys such a bundle she is guaranteed to get one item out of i...
135
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
129
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
In this paper we study a dynamic version of capacity maximization in the physical model of wireless communication. In our model, requests for connections between pairs of points i...
123
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...