2137 search results - page 176 / 428 » Proving Abstract Non-interference |
106
click to vote
ESSOS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Memory errors continue to be a major source of software failure. To address this issue, we present MEDS (Memory Error Detection System), a system for detecting memory err...
127
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challeng...
114
click to vote
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
104
click to vote
PAM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Detecting clients with deviant behavior in the Bittorrent network is a challenging task that has not received the deserved attention. Typically, this question is seen as ...
111
click to vote
RECOMB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. There have been many widely used genome rearrangement models, such as reversals, HannenhalliPevzner, and double-cut and join. Though each one can be precisely defined, t...