4385 search results - page 829 / 877 » Abstraction for Concurrent Objects |
134
Voted
WEA
2010
Springer
15 years 5 months 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...
PLDI
2009
ACM
15 years 5 months 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 ...
CCS
2009
ACM
15 years 5 months 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...
ICC
2009
IEEE
15 years 5 months 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...
91
Voted
KBSE
2009
IEEE
15 years 5 months 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 ...