Main web source on the subject: overview, downloadable articles, links.

A site which shows that the languages generated by phrase structure grammars are recursively enumerable languages. Similarly, it shows that the languages generated by context sensitive grammars are accepted by linear bounded automata.

Resource-bounded functional language that uses a form of remote procedure call to realize active networking. Part of the SwitchWare Project. Descriptions, documents, downloads, contacts, links.

Powerpoint presentation on 3D shading languages. Includes coding comparisons and pros/cons of various shading languages.

Managing authenticated transmission of sensitive information over an insecure network.

File synchronization tool that allows two replicas of a collection of files. Directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica...

University of Pennsylvania, Philadelphia. Goal: develop methods, tools, systems to facilitate designing and implementing reliable distributed RT systems. Current projects: developing specification and analysis methods for RT systems, probabilistic mod...

University of Pennsylvania. The Center for Human Modeling and Simulation exists to investigate computer graphics modeling and animation techniques for embodied agents, virtual humans, and their applications.