3229 search results - page 490 / 646 » Theories with the Independence Property |
184
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
160
click to vote
QSHINE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. In this paper, a radio resource sharing scheme for wireless cellular network is investigated to achieve efficiency and fairness among base stations. We propose a credit-t...
164
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—A large body of work has been devoted to address corporate-scale privacy concerns related to social networks. The main focus was on how to share social networks owned by organiz...
190
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
163
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Security breaches and attacks are critical problems in today’s networking. A key-point is that the security of each host depends not only on the protection strategies it choo...