Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2

Hits 1 – 20 of 33

1	Scotland 1Asynchronous Functional Session Types
	Simon Gay; Vasco Vasconcelos
	In: http://www.dcs.gla.ac.uk/~simon/publications/TR-2007-251.pdf (2007)
	BASE
	Show details

2	Scotland 1Asynchronous Functional Session Types
	Simon Gay; Vasco Vasconcelos
	In: http://www.di.fc.ul.pt:80/~vv/papers/gay.vasconcelos_async-functional-sessions.pdf (2007)
	BASE
	Show details

3	Fatigue, Vertical Leg Stiffness, and Stiffness Control Strategies in Males and Females
	Darin A. Padua
	In: http://www.unc.edu/sportmedlab/docs/knee/padua_jat_2006.pdf (2006)
	BASE
	Show details

4	Interactions
	Oliviero Stock; Itc-irst Trento; Paolo Busetta...
	In: http://www.dit.unitn.it/~srossi/Rossi_Thesis.pdf (2006)
	BASE
	Show details

5	Using a performative subsumption lattice to support commitment-based conversations
	Rob Kremer; Roberto Flores
	In: http://www.sce.carleton.ca/faculty/esfandiari/agents/papers/kremer-aamas05.pdf (2005)
	BASE
	Show details

6	Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language
	Alexey Gotsman; Fabio Massacci; Marco Pistore
	In: http://www.cl.cam.ac.uk/~ovg20/papers/hlpsl-arspa05.pdf (2005)
	BASE
	Show details

7	Advertising Games for Web Services
	Alessandro Agostini; Paolo Avesani
	In: http://sra.itc.it/people/agostini/DB-research/tr02-03.ps (2003)
	BASE
	Show details

8	M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments
	Pınar Yolum; Munindar P. Singh
	In: http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf (2002)
	BASE
	Show details

9	Towards Model Checking a Spi-Calculus Dialect
	S. Gnesi; D. Latella; G. Lenzini
	In: http://matrix.iei.pi.cnr.it/~lenzini/papers/TR-10-2002.ps.gz (2002)
	BASE
	Show details

10	A Sufficient Condition for Secure Ping-Pong Protocols
	Masao Mori
	In: http://eprint.iacr.org/2001/081.ps.gz (2001)
	BASE
	Show details

11	A Sufficient Condition for Secure Ping-Pong Protocols
	Masao Mori
	In: ftp://ftp.i.kyushu-u.ac.jp/pub/tr/trcs199.ps.gz (2001)
	BASE
	Show details

12	Kava - Using Byte code Rewriting to add Behavioural Reflection to Java
	Ian Welch And; Ian Welch; Robert J. Stroud
	In: http://www.cs.ncl.ac.uk/research/pubs/trs/papers/704.pdf (2001)
	BASE
	Show details

13	Scientific Approaches and Techniques for Negotiation A Game Theoretic and Artificial Intelligence Perspective
	E.H. Gerding; D.D.B. van Bragt; J.A. La Poutré
	In: http://www.cwi.nl/projects/TA/reports/negotiation.ps (2000)
	BASE
	Show details

14	Modelling Negotiation Protocols in a Dialectical Framework
	Alejandro G. Stankevicius; Alejandro J. Garca
	In: http://www.cs.uns.edu.ar/WebDCC/hpgrupos/giia/Reports/Papers/wicc99ags.ps (1999)
	BASE
	Show details

15	Interoperable Software Modules
	Il-hyung Cho; John D. Mcgregor; Lee Krause
	In: http://www.cs.clemson.edu/~ihcho/protocol/icm.ps.gz (1998)
	BASE
	Show details

16	A Linguistic Framework for Dynamic Composition of Dependability Protocols
	Gul Agha; Svend Frølund; Rajendra Panwar...
	In: http://yangtze.cs.uiuc.edu//ExMembers/raju/papers/dcca3.ps (1993)
	BASE
	Show details

17	Temporal Logic and Z Specifications
	Roger Duke; Graeme Smith
	In: http://www.itee.uq.edu.au/~smith/papers/acj89.ps.gz (1989)
	BASE
	Show details

18	ABSTRACT Towards Interest-Based Negotiation
	Iyad Rahwan; Liz Sonenberg
	In: http://homepages.inf.ed.ac.uk/irahwan/docs/aamas2003.pdf
	BASE
	Show details

19	Steady and Fair Rate Allocation for Rechargeable Sensors in Perpetual Sensor Networks
	Kai-wei Fan; Zizhan Zheng; Prasun Sinha
	In: http://www.cse.ohio-state.edu/~prasun/publications/conf/sensys08.pdf
	BASE
	Show details

20	Ecole Polytechnique Fédérale de
	Steven Willmott; Jonathan Dale; Patricia Charlton
	In: http://www.fipa.org/docs/input/f-in-00066/f-in-00066.pdf
	BASE
	Show details

Page: 1 2

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern