692 search results - page 78 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
FLAIRS
2001
15 years 1 months ago
2001
To successfully interact with users in providing useful information, intelligent user interfaces need a mechanism for recognizing, characterizing, and predicting user actions. In ...
124
click to vote
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
114
click to vote
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The goal of Steganographic File Systems (SFSs) is to protect users from coercion attacks by providing plausible deniability on the existence of hidden files. We consider ...
109
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—We consider a cognitive radio network where multiple secondary users (SUs) contend for spectrum usage, using random access, over available primary user (PU) channels. Ou...
108
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...