Information Technology Reference
In-Depth Information
Berry, G., & Boudol, G. (1992). The chemical abstract machine. Theoretical Computer Science, 96,
217-248.
Bradshaw, J. M. (1997). Software agents . Menlo Park, CA: AAAI/MIT Press.
Cohen, D., & Muylaert-Filho, J. (1996). Introducing a calculus for higher-order multiset programming.
In Coordination languages and models. (LNCS 1061, 124-141).
Creveuil, C. (1991). Implementation of gamma on the connection machine. In Proceedings of the Work-
shop on Research Directions in High-Level Parallel Programming Languages , Mont-Saint Michel,
1991. (LNCS 574, 219-230). Springer-Verlag.
Ehrig, H., & Mahr, B. (1990). Fundamentals of algebraic specification. Brauer, W., Rozenberg, G., &
Salomaa, A. (eds.), EATCS Monographs on Theoretical Computer Science, 21 , Springer-Verlag.
Faulkner, S., & Kolp (Isys), M. (2002). Towards an agent architectural description language for infor-
mation systems . School of Management, the Catholic University of Louvain (UCL), Technical Report,
November 2002.
Fradet, P., & Le Metayer, D. (1998). Structured gamma. Science of Computer Programming, 31 (2-3),
263-289.
Garlan, D., Allen, R., & Ockerbloom, J. (1994, December). Exploiting style in architectural design
environments. In Proceedings of SIGSOFT'94: Foundations of Software Engineering , New Orleans,
Louisiana, (pp. 175-188).
Garlan, D., Monroe, R., & Wile, D. (1997, January). ACME: An architecture description interchange
language. In Proceedings of CASCON 97 , Toronto, (pp. 169-183).
Gladitz, K., & Kuchen, H. (1996). Shared memory implementation of the gamma-operation. Journal of
Symbolic Computation 21 , 577-591.
Griss M., & Pour, G. (2001). Accelerating development with agent components. Computer, IEEE , 37-
43.
Kaldewaij, A., & Schoenmakers, B. (1990). Searching by elimination. SCP, 14 , 243-254.
Klop, J. W. (1990). Term rewriting systems. In: Abramsky, S., Gabbay, D., & Maibaum, T. (eds.), Hand-
book of logic in computer science, 1 . Oxford University Press.
Kokar, M. M., Baclawski, K., & Eracar, Y. (1999). Control theory-based foundations of self-controlling
software. IEEE Intelligent Systems , May/June, 37-45.
Le Metayer, D. (1994). Higher-order multiset processing. DIMACS Series in Discrete Mathematics and
Theoretical Computer Science, 18 , 179-200.
Lin, H., Chen, G., & Wang, M. (1997). Program transformation between unity and gamma. Neural,
Parallel & Scientific Computations , 5 (4), 511-534. Atlanta,GA: Dynamic Publishers.
Lin, H., & Chen, G. (1998). Program construction by verifying specification. Journal of Computer Sci-
ence and Technology, 13 (6), 597-607.
Search WWH ::




Custom Search