14084 search results - page 2553 / 2817 » A Theory for Game Theories |
153
click to vote
NDSS
2007
IEEE
16 years 27 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
168
click to vote
QEST
2007
IEEE
16 years 27 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
160
click to vote
RTCSA
2007
IEEE
16 years 27 days ago
2007
IEEE
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
157
click to vote
SECON
2007
IEEE
16 years 27 days ago
2007
IEEE
—Joint routing-and-scheduling has been considered in wireless mesh networks for its significant performance improvement. While existing work assumes it, accurate traffic inform...
203
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...