453 search results - page 36 / 91 » From restrictive to prescriptive design |
JLP
2010
14 years 4 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
138
click to vote
SIGMETRICS
2011
ACM
14 years 18 days ago
2011
ACM
Despite the tremendous growth in the cellular data network usage due to the popularity of smartphones, so far there is rather limited understanding of the network infrastructure o...
PROMISE
2010
14 years 4 months ago
2010
Background: Defects are related to failures and they do not have much power for indicating a higher quality or a better system above the baseline that the end-users expect. Nevert...
NETWORK
2008
14 years 9 months ago
2008
Mobility management is vital for realizing large-scale wireless mesh networks to provide cost-effective broadband Internet access. Although a considerable amount of research on mo...
103
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We consider the problem of revenue-optimal dynamic mechanism design in settings where agents' types evolve over time as a function of their (both public and private) experien...