58 search results - page 6 / 12 » Satisfiability and Computing van der Waerden Numbers |
PODC
2010
ACM
15 years 1 months ago
2010
ACM
During the analysis of packet log files from network experiments, the question arises which received packet belongs to which of the potentially many binary identical send events....
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Performing sensitive online transactions using computers found in cybercaf´es and public libraries is risky. The untrusted nature of these machines creates a target rich environm...
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we describe a multi-site evaluation of SimSE, an educational software engineering simulation game. This study was designed to build on our previous experience of ev...
SAC
2004
ACM
15 years 2 months ago
2004
ACM
An import issue for numerical weather prediction modes (NWP) is the time it takes to produce a valid forecast. One factor, which greatly influences this simulation time is the si...
CATS
2007
14 years 11 months ago
2007
Financial derivatives are contracts concerning rights and obligations to engage in future transactions on some underlying financial instrument. A major concern in financial mark...