Letter: To "My Dear Charles" from John Wesley, January 3, 1741

Digitized from a letter in the Drew University Methodist Collection. 1 Item (2 p.); 17 x 20 cm

Ben Marais (1909-1999): The influences on and heritage of a South African Prophet during two periods of transformation

University of Pretoria / Dissertation / Department of Church History and Church Policy / Advised by Prof J W Hofmeyr

The Ministry of Evil" An Examination of the Popular Bitter-Sweet Theology

Sermon by William Fairfield Warren.

Some by-products of missions, by Isaac Taylor Headland.

http://www.archive.org/details/somebyproductsof013993mbp

China's new day; a study of events that have led to its coming, by Isaac Taylor Headland.

$u http://books.google.com/books?vid=OCLC02623863&id=mQz8gPn0et8C&a_sbrr=1 View book via Google

The Spanish pioneers and the California missions.

http://www.archive.org/details/spanishpioneersa009682mbp

The social aspects of foreign missions, by William Herbert Perry Faunce.

http://www.archive.org/details/socialaspectsoff013484mbp

Testimonies and Truth-tellings: Women in the United Methodist Tradition.

Published version of the Keynote address at "Struggle, Faith and Vision: Celebrating Women in the United Methodist Tradition, 1788 to Today," March 9, 2007, Nashville, Tennessee.

BU Computer Science 1998 Proxy Trace: Release Notes

In a recent paper (Changes in Web Client Access Patterns: Characteristics and Caching Implications by Barford, Bestavros, Bradley, and Crovella) we performed a variety of analyses upon user traces collected in the Boston University Computer Science department in 1995 and 1998. A sanitized version of the 1995 trace has been publicly available for some time; the 1998 trace has now been sanitized, and is available from: http://www.cs.bu.edu/techreports/1999-011-usertrace-98.gz ftp://ftp.cs.bu.edu/techreports/1999-011-usertrace-98.gz This memo discusses the format of this public version of the log, and includes additional discussion of how the data was collected, how the log was sanitized, what this log is and is not useful for, and areas of potential future research interest.

Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach

We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: the typings it infers are principal typings, and the typings agree with syntax-directed type checking on closed flow specifications. This algorithm is capable of verifying partial flow specifications, which is a significant improvement over syntax-directed type checking algorithm presented in [3]. We also show that this algorithm runs efficiently, i.e., in low-degree polynomial time.