1541 search results - page 283 / 309 » Tools and Techniques for Model Checking Networked Programs |
112
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
— Two major factors that limit the throughput in multi-hop wireless networks are the unreliability of wireless transmissions and co-channel interference. One promising technique ...
110
click to vote
CIMCA
2008
IEEE
15 years 7 months ago
2008
IEEE
Online auctions have become extremely popular in recent years. Ability to predict winning bid prices accurately can help bidders to maximize their profit. This paper proposes a nu...
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
110
Voted
WECWIS
2000
IEEE
15 years 4 months ago
2000
IEEE
In order to meet the quality of service demanded by a growing number of online customers, e-commerce services need to use scalability techniques. This paper introduces the concept...
COR
2006
15 years 14 days ago
2006
We discuss how constraint programming can improve the performance of a column generation solution process for the NP-hard Tail Assignment problem in aircraft scheduling. Combining...