17789 search results - page 142 / 3558 » Exceptional Use Cases |
129
Voted
ADHOC
2007
15 years 3 months ago
2007
We propose a novel approach to QoS for real-time traffic over wireless mesh networks, in which application layer characteristics are exploited or shaped in the design of medium ac...
104
click to vote
EOR
2010
15 years 3 months ago
2010
We study the effects of demand uncertainty on optimal decisions and the expected profit of a pricesetting newsvendor who faces either additive or multiplicative stochastic demand....
250
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
Distributed Hash Tables (DHTs) provide a scalable solution for data sharing in P2P systems. To ensure high data availability, DHTs typically rely on data replication, yet without ...
153
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
153
Voted
AISC
1998
Springer
15 years 7 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...