2594 search results - page 397 / 519 » Elements of a Theory of Simulation |
186
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
266
click to vote
TCBB
2011
15 years 1 months ago
2011
: Extraction of meaningful information from large experimental datasets is a key element of bioinformatics research. One of the challenges is to identify genomic markers in Hepatit...
235
click to vote
STOC
2012
ACM
13 years 8 months ago
2012
ACM
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...
187
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
The focus of surveillance missions is to acquire and verify information about enemy capabilities and positions of hostile targets. Such missions often involve a high element of ri...
161
click to vote
INFOCOM
2007
IEEE
16 years 22 days ago
2007
IEEE
— Third Generation (3G) wireless networks based on the CDMA2000 and UMTS standards are now increasingly being deployed throughout the world. Because of their complex signaling an...