17,135 research outputs found
Discipleship in the Present Tense: Reflections on Faith and Culture (Book Review)
Reviewed Title: Smith, James K.A., Discipleship in the Present Tense: Reflections on Faith and Culture. Grand Rapids: Calvin College Press, 2013. ISBN 9781937555085
Harding College Spring Sing Program 1978
Program for the 1978 Spring Sing performance at Harding College.
Hosts and Hostesses: Karla Renee Adams, Mary Carolyn Campbell, Tim Smith, James Timothy Woodroofhttps://scholarworks.harding.edu/spring-sing/1004/thumbnail.jp
Smith: James Duane Doty - Frontier Promoter
A Review of James Duane Doty - Frontier Promoter . By Alice Elizabeth Smit
UMP Campus, 12/16/1959
New Building Booms - First Permanent Classrooms With Girls By Fall -- Student Council Meets Ohio Dean -- Cub Reporter Interviews Council President Smith -- James Sullivan Heads Athletics at UMPhttps://digitalcommons.usm.maine.edu/umpcampus/1006/thumbnail.jp
Imagining the Kingdom (Book Review)
Reviewed TItle: Smith, James K. A. Imagining the Kingdom: How Worship Works. Volume 2 of Cultural Liturgies. Grand Rapids, MI: Baker Academic, 2013. 198 pages. ISBN 978-0-8010-3578-4
Proving Properties of Rich Internet Applications
We introduce application layer specifications, which allow us to reason about
the state and transactions of rich Internet applications. We define variants of
the state/event based logic UCTL* along with two example applications to
demonstrate this approach, and then look at a distributed, rich Internet
application, proving properties about the information it stores and
disseminates. Our approach enables us to justify proofs about abstract
properties that are preserved in the face of concurrent, networked inputs by
proofs about concrete properties in an Internet setting. We conclude that our
approach makes it possible to reason about the programs and protocols that
comprise the Internet's application layer with reliability and generality.Comment: In Proceedings WWV 2013, arXiv:1308.026
State/event based versus purely Action or State based Logics
Although less studied than purely action or state based logics, state/event
based logics are becoming increasingly important. Some systems are best studied
using structures with information on both states and transitions, and it is
these structures over which state/event based logics are defined. The logic
UCTL and its variants are perhaps the most widely studied and implemented of
these logics to date. As yet, however, no-one seems to have defined UCTL*, a
trivial step but a worthwhile one. Here we do just that, but prove in the cases
of both UCTL and UCTL* that these logics are no more expressive than their more
commonplace fragments. Also, acknowledging the importance of modal transition
systems, we define a state/event based logic over a modified modal transition
system as a precursor to further work.Comment: 9 pages, 6 figure
The Jasper Framework: Towards a Platform Independent, Formal Treatment of Web Programming
This paper introduces Jasper, a web programming framework which allows web
applications to be developed in an essentially platform indepedent manner and
which is also suited to a formal treatment. It outlines Jasper conceptually and
shows how Jasper is implemented on several commonplace platforms. It also
introduces the Jasper Music Store, a web application powered by Jasper and
implemented on each of these platforms. And it briefly describes a formal
treatment and outlines the tools and languages planned that will allow this
treatment to be automated.Comment: In Proceedings WWV 2012, arXiv:1210.5783. Added doi references where
possibl
Devil Reads Derrida (and Other Essays on the University, the Church, Politics, and the Arts) (Book Review)
Reviewed Title: Smith, James K. A. The Devil Reads Derrida (and Other Essays on the University, the Church, Politics, and the Arts). Grand Rapids, Michigan: Eerdmans, 2009. 163 pages. ISBN 978-0-8028-6407-9
- …