4385 search results - page 829 / 877 » Abstraction for Concurrent Objects |
220
click to vote
WEA
2010
Springer
16 years 21 days ago
2010
Springer
Abstract. Mobile users are roaming in a zone of cells in a cellular network system. The probabilities of each user residing in each cell are known, and all probabilities are indepe...
171
click to vote
PLDI
2009
ACM
16 years 20 days ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
163
click to vote
CCS
2009
ACM
16 years 20 days ago
2009
ACM
History indicates that the security community commonly takes a divide-and-conquer approach to battling malware threats: identify the essential and inalienable components of an att...
155
click to vote
ICC
2009
IEEE
16 years 18 days ago
2009
IEEE
Abstract—We study distributed algorithms for updating transmit precoding matrices for a two-user Multi-Input/Multi-Output (MIMO) interference channel. Our objective is to maximiz...
179
click to vote
KBSE
2009
IEEE
16 years 18 days ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...