Next: About this document ...
Up: SPL Pushlogic Language Reference
Previous: Index
Contents
Index
-
- 1
-
`A Case for Goal-oriented Programming Semantics'
in System Support for Ubiquitous Computing Workshop at the Fifth Annual Conference on Ubiquitous Computing (UbiComp '03).
Umar Saif, Hubert Pham, Justin Mazzola Paluska, Jason Waterman, Chris Terman, Steve Ward.
http://o2s.csail.mit.edu/goals.html
- 2
-
S. Kambhampati.
`A comparative analysis of partial-order planning and task reduction planning.'
ACM SIGART Bulletin, Special Section on Evaluating Plans, Planners and Planning agents, Vol. 6., No. 1, January, 1995.
citeseer.nj.nec.com/kambhampati95comparative.html
- 3
-
`Service Composition for eHome Systems: A Rule-based Approach'
M Kirchhof, P Stinauer: Aachen eHome Group.
www-i3.informatik.rwth-aachen.de/tikiwiki/tiki-index.php?page_ref_id=206
- 4
- Universal Plug and Play. www.upnp.org
- 5
-
Greaves et al.
`The AutoHAN project.
www.cl.cam.ac.uk/Research/SRG/netos/han/AutoHAN
- 6
- Uwe Glasser.
`Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools',
citeseer.nj.nec.com/258.html
- 7
- CVC Lite http://verify.stanford.edu/CVCL/
- 8
-
M. Presburger: `Ober die Vollstndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen,
in welchem die Addition als einzige Operation hervortritt'. In Comptes Rendus du
I congrs de Math maticiens des Pays Slaves, Warszawa, 1929, pp.92-101.
- 9
-
Bierman and Sewell. `Iota: A concurrent XML scripting language'
Technical Report Number 557 Computer Laboratory. ISSN
1476-2986 Iota: !A concurrent XML scripting language with applications to Home Area'
www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-557.pdf
- 10
-
`Towards Ubiquitous End-User Programming'
Rob Hague, P Robinson, A Blackwell.
ACM Conference on Ubiquitous Computing, Seattle, October 2003.
www.cl.cam.ac.uk/ pr/publications/ubicomp03
- 11
-
Lupu E, Sloman M
`Conflict Analysis for Management Policies'
In 5th Int Symp Integrated Network Management IM'97 San-Diego 97 (Chapman Hall).
- 12
-
J Bacon et al. `Cambridge Event Architecture(CEA)'
www.cl.cam.ac.uk/Research/SRG/opera/projects
- 13
- Monika Solanki et al. `Introducing Compositionality
in Webservice Descriptions'. Proceedings of 3rd ANWIRE workshop on
adaptable services, DAIS-FMOODS, November 2003, Paris.
- 14
- Trolltech, Creators of QT. www.trolltech.com.
- 15
-
`Paramodulation and theorem-proving in first-order theories with equality.'
G. Robinson and L. Wos.
In D. Michie and R. Meltzer, editors, Machine Intelligence, Vol. IV, pages 135-150. Edinburg U. Press, 1969.
- 16
-
W3C: Simple Object Access Protocol (SOAP)
www.w3.org/TR/SOAP
Many thanks to Daniel Gordon who implemented much of the first Pushlogic system
and who contributed greatly to its definition.
David Greaves
2009-04-20