2002
@INPROCEEDINGS{Pietzuch:01e, author = {Peter R. Pietzuch and Jean M. Bacon}, title = {{Hermes: A Distributed Event-Based Middleware Architecture}}, booktitle = {Proc. of the 1st Int. Workshop on Distributed Event-Based Systems (DEBS'02)}, pages = {611-618}, month = {July}, year = 2002, address = {Vienna, Austria}, pdf = {papers/prp-debs2002-hermes.pdf}, ps = {papers/prp-debs2002-hermes.ps} }
@INPROCEEDINGS{Pietzuch:02, author = {Peter R Pietzuch and Brian Shand}, title = {{A Framework for Object-Based Event Composition in Distributed Systems}}, note = {Presented at the 12th International Network for PhD Students in Object Oriented Systems (PhDOOS) Workshop}, year = 2002, month = JUN, address = {Malaga, Spain}, pdf = {papers/prp-phdoos2002-ced.pdf}, ps = {papers/prp-phdoos2002-ced.ps} }
@INPROCEEDINGS{belokosztolszki02meta, author = {Andr\'as Belokosztolszki and Ken Moody}, title = {Meta-Policies for Distributed Role-Based Access Control Systems}, booktitle = {Policy 2002: {IEEE} 3rd {I}nternational {W}orkshop on {P}olicies for {D}istributed {S}ystems and {N}etworks}, year = 2002, month = JUN, pages = {106-115}, location = {Monterey, California, USA}, pdf = {papers/bk2002-policy.pdf}, ps = {papers/bk2002-policy.ps} }
@INPROCEEDINGS{Shan:2002, author = {Brian Shand and Jean Bacon}, title = {Policies in Accountable Contracts}, booktitle = {Policy 2002: IEEE 3rd International Workshop on Policies for Distributed Systems and Networks}, pages = {80--91}, month = JUN, year = 2002, address = {Monterey, CA, USA}, pdf = {papers/S3_shand_b_distrib.pdf} }
@ARTICLE{crowcroft:2002, author = {Jon Crowcroft and Jean Bacon and Peter Pietzuch and George Coulouris and Hani Naguib}, title = {{Channel Islands in a Reflective Ocean: Large-Scale Event Distribution in Heterogeneous Networks}}, journal = {IEEE Communications Magazine}, year = {2002}, volume = {40}, number = {9}, pages = {112-115}, month = {September}, pdf = {papers/ieee_comms_channel_islands.pdf} }
@INPROCEEDINGS{SDS02, author = {Andrei Serjantov and Roger Dingledine and Paul Syverson}, title = {From a Trickle to a Flood: Active Attacks on Several Mix Types}, booktitle = {5th Workshop on Information Hiding}, pages = {36-52}, year = 2002, editor = {Fabien Petitcolas}, volume = 2578, series = {LNCS}, month = {October}, publisher = {Springer-Verlag} }
@INPROCEEDINGS{Serj02, author = {Andrei Serjantov and George Danezis}, title = {Towards an Information Theoretic Metric for Anonymity}, booktitle = {Privacy Enhancing Technologies}, year = 2002, editor = {Paul Syverson and Roger Dingledine}, series = {LNCS}, volume = 2482, address = {San Francisco, CA}, month = {April}, ps = {papers/aas23-pet-2002.ps}, url = {http://petworkshop.org/2002/program.html} }
@ARTICLE{AB2002f, author = {{Alan S. Abrahams and Jean M. Bacon}}, title = {{A Software Implementation of Kimbrough's Disquotation Theory for Representing and Enforcing Electronic Commerce Contracts}}, journal = {{Journal of Group Decision and Negotiation}}, year = 2002, pages = {487--524}, volume = 11, number = 6, url = {http://www.lebow.drexel.edu/wu300/GDN-SPI/Abrahams+.doc}, month = {} }
@INPROCEEDINGS{AB2002e, author = {{Alan S. Abrahams and David M. Eyers and Jean M. Bacon}}, title = {{An Asynchronous Rule-based Approach for Business Process Automation Using Obligations}}, booktitle = {{Proceedings of the 3rd ACM SIGPLAN Workshop on Rule-Based Programming ({RULE'02})}}, isbn = {1-58113-606-4}, year = 2002, pages = {93--103}, address = {Pittsburgh, Pennsylvania}, url = {http://portal.acm.org/citation.cfm?id=570186.570195&dl=portal&dl=ACM&type=series&idx=SERIES10721&part=Proceedings&WantType=Proceedings&title=Workshop%20On%20Rule%2DBased%20Programming&CFID=11102605&CFTOKEN=95324615}, volume = {}, month = {October} }
@INPROCEEDINGS{AB2002d, author = {{Alan S. Abrahams and David M. Eyers and Jean M. Bacon}}, title = {{Mechanical Consistency Analysis for Business Contracts and Policies}}, booktitle = {{Proceedings of the 5th International Conference on Electronic Commerce Research ({ICECR5})}}, year = 2002, pages = {1--18}, address = {Montreal, Canada}, volume = {}, pdf = {papers/icecr5.pdf}, ps = {papers/icecr5.ps}, month = {October} }
@INPROCEEDINGS{AB2002c, author = {{Alan S. Abrahams and David M. Eyers and Jean M. Bacon}}, title = {{A Coverage Determination Mechanism for Checking Business Contracts Against Organizational Policies}}, booktitle = {{Proceedings of the 3rd VLDB Workshop on Technologies for E-Services ({TES'02}). Lecture Notes in Computer Science 2444.}}, year = 2002, pages = {97--106}, address = {Hong Kong, China}, volume = {}, note = {(c) Springer Verlag}, pdf = {papers/tes02.pdf}, ps = {papers/tes02.ps}, url = {http://www.springer.de/comp/lncs/index.html}, month = {August} }
@INPROCEEDINGS{AB2002b, author = {{Alan S. Abrahams and Jean M. Bacon}}, title = {{The Life and Times of Identified, Situated, and Conflicting Norms}}, booktitle = {{Proceedings of the 6th International Workshop on Deontic Logic in Computer Science ({DEON'02})}}, year = 2002, pages = {3--20}, address = {London, England}, volume = {}, url = {papers/deon02_abrahams_bacon.doc}, pdf = {papers/deon02_abrahams_bacon.pdf}, ps = {papers/deon02_abrahams_bacon.ps}, month = {May} }
@TECHREPORT{AB2002a, author = {{Alan S. Abrahams and Steven O. Kimbrough}}, title = {{Treating Disjunctive Obligation and Conjunctive Action in Event Semantics with Disquotation}}, institution = {{Wharton Business School}}, type = {Working Paper Series}, number = {02-03-01}, year = 2002, pages = {}, address = {Philadelphia, Pennsylvania}, pdf = {papers/asa_sok_wwp.pdf}, month = {March} }
@INPROCEEDINGS{WNSS01, author = {Keith Wansbrough and Michael Norrish and Peter Sewell and Andrei Serjantov}, title = {Timing {UDP}: mechanized semantics for sockets, threads and failures}, booktitle = {Proceedings of ESOP 2002: European Symposium on Programming (Grenoble) LNCS 2305}, pages = {278--294}, year = 2002, month = APR, url = {http://www.cl.cam.ac.uk/users/pes20/Netsem/timing-udp-a4.ps} }
@INPROCEEDINGS{NSW02, author = {Michael Norrish and Peter Sewell and Keith Wansbrough}, title = {Rigour is good for you, and feasible: reflections on formal treatments of {C} and {UDP} sockets. }, booktitle = {Proceedings of 10th ACM SIGOPS European Workshop (Saint-Emilion)}, pages = {49--53}, year = 2002, month = SEP, url = {http://www.cl.cam.ac.uk/users/pes20/Netsem/sigops-ew2002.ps} }
@ARTICLE{Sew99a, author = {Peter Sewell}, title = {From Rewrite Rules to Bisimulation Congruences}, journal = {Theoretical Computer Science}, year = 2002, volume = 274, number = {1--2}, month = MAR, pages = {183--230}, url = {http://www.cl.cam.ac.uk/users/pes20/labels-tcs-final.ps.gz} }
@INPROCEEDINGS{Serj02b, title = {Anonymizing censorship resistant systems}, author = {Andrei Serjantov}, booktitle = {Proceedings of the 1st International Peer To Peer Systems Workshop (IPTPS 2002)}, year = 2002, month = {March}, pdf = {http://www.cs.rice.edu/Conferences/IPTPS02/120.pdf} }
@ARTICLE{cacm:2002, author = {Jean Bacon and Ken Moody}, title = {Adaptive Middleware: {Toward} open, secure, widely distributed services}, journal = {Communications of the ACM}, year = 2002, volume = 45, number = 6, pages = {59--63}, month = JUN, url = {http://portal.acm.org/citation.cfm?id=508475&coll=portal&dl=ACM&CFID=13115309&CFTOKEN=20006716} }
@ARTICLE{tissec:2002, author = {J. Bacon and K. Moody and W. Yao}, title = {A model of {OASIS} role-based access control and its support for active security.}, journal = {ACM Transactions on Information and System Security (TISSEC)}, year = 2002, url = {http://portal.acm.org/citation.cfm?id=581276&coll=portal&dl=ACM&CFID=13115309&CFTOKEN=20006716}, volume = 5, number = 4, pages = {492--540}, month = NOV }
@INPROCEEDINGS{CP:02, author = {Jon Crowcroft and Ian Pratt}, title = {{Peer to Peer: Peering into the Future}}, booktitle = {Advanced Lectures on Networking, NETWORKING 2002}, pages = {1--19}, year = 2002, volume = 2497, series = {LNCS}, publisher = {Springer Verlag}, url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2497&spage=1} }
This file has been generated by bibtex2html 1.87.