1681 search results - page 108 / 337 » Formal Design of Distributed Control Systems with Lustre |
INFOCOM
2005
IEEE
14 years 4 months ago
2005
IEEE
— In this paper, we study cross-layer design for rate control in multihop wireless networks. In our previous work, we have developed an optimal cross-layered rate control scheme ...
SIGCOMM
2004
ACM
14 years 4 months ago
2004
ACM
We present a Scalable Distributed Information Management System (SDIMS) that aggregates information about large-scale networked systems and that can serve as a basic building bloc...
CONCUR
2001
Springer
14 years 3 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
ECOOPW
1999
Springer
14 years 3 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
— We present a decentralized, communication-less approach to the dynamic allocation of a swarm of homogeneous robots to a target distribution among multiple sites. Building on ou...