Formalizing ODP Computational Viewpoint Specification in Maude Raúl Romero and Antonio Vallecillo EDOC 2004 Dpto. Lenguajes y Ciencias de la Computación.
Controlled Algebras and GII’s
Tejp: Ubiquitous Computing as Expressive Means of Personalising Public Space
1 Perry McDowell [email protected] mcdowell Context Machine.
Computer Science 111 Fundamentals of Programming I Introduction to Programmer-Defined Classes.
Controlled Algebras and GII’s Ronald L. Rivest MIT CSAIL IPAM Workshop October 9, 2006.