1681 search results - page 142 / 337 » Formal Design of Distributed Control Systems with Lustre |
SACMAT
2010
ACM
15 years 2 months ago
2010
ACM
We address the problem of privacy-preserving access control in distributed systems. Users commonly reveal more personal data than strictly necessary to be granted access to online...
CLOUD
2010
ACM
15 years 3 months ago
2010
ACM
To address the limitations of centralized shared storage for cloud computing, we are building Lithium, a distributed storage system designed specifically for virtualization workl...
115
click to vote
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—A key technology in cooperative communications is distributed space-time coding (DSTC) which achieves spatial diversity gain from multiple relays. A novel DSTC, called randomize...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Distributed channel access is essential for a wireless network without a central controller. In our previous research, we have proposed a distributed channel access scheme to a...
103
click to vote
KBSE
2000
IEEE
15 years 2 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...