A theory of closure operators

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5127 LNCS, Issue , 2008, Pages 162-174

  Couch, Alva L ^a   Chiarini, Marc ^a  

^a TUFTS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMIC CONTROL; CLOSURE OPERATORS; FIXED-POINT OPERATORS; IDEMPOTENT; INTERNATIONAL CONFERENCES; RESILIENT NETWORKS; SELF-MANAGING SYSTEMS;

COMPUTERS;

AUTONOMIC CONTROL; CLOSURE OPERATORS; FIXED POINT OPERATOR; IDEMPOTENT; SELF-MANAGING SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 49949116558     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70587-1_13     Document Type: Conference Paper

References (16)

1. Burgess, M.: A site configuration engine. Computing Systems 8(2), 309-337 (1995)
2. Burgess, M., Ralston, R.: Distributed resource administration using cfengine. Softw., Pract. Exper. 27(9), 1083-1101 (1997)
3. Burgess, M.: Computer immunology. In: LISA, pp. 283-298. USENIX (1998)
4. Burgess, M.: Theoretical system administration. In: LISA, pp. 1-13. USENIX (2000)
5. Burgess, M.: Cfengine as a component of computer immune-systems. In: Proceedings of the Norwegian Conference on Informatics (1998)
6. Burgess, M., Frisch, A.: Promises and cfengine: A working specification for cfengine 3. Technical report, Oslo University College (November 2005)
7. Burgess, M.: An approach to understanding policy based on autonomy and voluntary cooperation. In: Schönwälder, J., Serrat, J. (eds.) DSOM 2005. LNCS, vol. 3775, pp. 97-108. Springer, Heidelberg (2005)
8. Burgess, M., Couch, A.: Autonomic computing approximated by fixed-point promises. In: Proceedings of the First IEEE International Workshop on Modeling Autonomic Communication Environments (MACE), pp. 197-222. Multicon Verlag (2006)
9. Couch, A., Hart, J., Idhaw, E.G., Kallas, D.: Seeking closure in an open world: A behavioral agent approach to configuration management. In: LISA 2003: Proceedings of the 17th USENIX conference on System administration, Berkeley, CA, USA, pp. 125-148. USENIX (2003)
10. Schwartzberg, S., Couch, A.: Experience implementing a web service closure. In: LISA 2004: Proceedings of the 18th USENIX conference on System administration, Berkeley, CA, USA, pp. 213-230. USENIX (2004)
11. Wu, N., Couch, A.: Experience implementing an ip address closure. In: LISA 2006: Proceedings of the 20th USENIX conference on System administration, Berkeley, CA, USA, pp. 119-130. USENIX (2006)
12. Couch, A., Chiarini, M.: Dynamic consistency analysis for convergent operators. In: AIMS (submitted, 2008)
13. Burgess, M., Couch, A.L.: Modeling next generation configuration management tools. In: LISA, pp. 131-147. USENIX (2006)
14. Anderson, P.: Configuration Management. SAGE Short Topics in System Administration. USENIX (2007)
15. Couch, A.: Configuration management. In: Bergstra, J., Burgess, M. (eds.) Handbook of Network and System Administration, pp. 75-133. Elsevier, Inc., Amsterdam (2007)
16. Couch, A., Sun, Y.: On the algebraic structure of convergence. In: Brunner, M., Keller, A. (eds.) DSOM 2003. LNCS, vol. 2867, pp. 28-40. Springer, Berlin (2003)