1681 search results - page 111 / 337 » Formal Design of Distributed Control Systems with Lustre |
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
The Multi-Agent Coordination and Control (MACC) testbed is a modelling and simulation environment for manufacturing control. It provides benefits to both the research community an...
FAST
2009
13 years 8 months ago
2009
Clustered applications in storage area networks (SANs), widely adopted in enterprise datacenters, have traditionally relied on distributed locking protocols to coordinate concurre...
SACMAT
2006
ACM
14 years 4 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
SIGCOMM
2012
ACM
12 years 1 months ago
2012
ACM
Unlike their cellular counterparts, Wi-Fi networks do not have the luxury of a dedicated control plane that is decoupled from the data plane. Consequently, Wi-Fi struggles to prov...
HOLOMAS
2003
Springer
14 years 4 months ago
2003
Springer
Holonic and agent-based paradigms are very suitable in the development of distributed manufacturing control systems, taking advantage of their modularity, decentralization, and abi...