Sciweavers

4615 search results - page 263 / 923
» Complex networks as control paradigm for complex systems
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
EISWT
2007
15 years 8 months ago
Evaluation Criteria for Self-Management in DBMSs
As computing systems continue to grow in size and complexity, the need for self-management is becoming more prevalent. The difficulty and cost associated with the maintenance of l...
Armando Barreto, Ben Wongsaroj, Tariq M. King, Tua...
INFOCOM
2009
IEEE
16 years 1 months ago
On the Market Power of Network Coding in P2P Content Distribution Systems
Abstract—Network coding is emerging as a promising alternative to traditional content distribution approaches in P2P networks. By allowing information mixture in peers, it simpli...
Xinyu Zhang, Baochun Li
CORR
2004
Springer
180views Education» more  CORR 2004»
15 years 6 months ago
Self-Organized Stigmergic Document Maps: Environment as a Mechanism for Context Learning
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...
Vitorino Ramos, Juan J. Merelo Guervós
CASES
2006
ACM
16 years 18 days ago
Methods for power optimization in distributed embedded systems with real-time requirements
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
Razvan Racu, Arne Hamann, Rolf Ernst, Bren Mochock...