To take advantage of the numerous new resources for teaching/learning provided by the Internet, teachers should understand technologies that normally are not part of their fiel...
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
Adversarial multi-robot problems, where teams of robots compete with one another, require the development of approaches that span all levels of control and integrate algorithms ra...
James Bruce, Michael H. Bowling, Brett Browning, M...
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...