Computing Technical Reports : [241] Collection home page

Browse
Collection's Items (Sorted by Title in Ascending order): 141 to 160 of 241
Issue DateTitleAuthor(s)
1-Jan-2000Modelling and analysis of the bounded-retransmission protocol: experience with discrete time in the LTSAGiannakopoulou, D
1-Jan-1999Modelling and analysis of workflow processesKaramanolis, C; Giannakopoulou, G; Magee, J; Wheater, S
Oct-2003Modelling dynamic web dataGardner, P; Maffeis, S
1-Jan-2016Modular termination veri cation for non-blocking concurrency (extended version)Da Rocha Pinto, PM; Dinsdale-Young, T; Gardner, P; Sutherland, J
1-Jan-2013Monitoring networks through multiparty session typesBocchi, L; Chen, T-C; Demangeon, R; Honda, K; Yoshida, N
1-Jan-2007Multiparty asynchronous session typesHonda, K; Yoshida, N; Carbone, M
1-Jan-2013Multiparty compatibility in communicating automata: characterisation and synthesis of global session typesDenielou, P-M; Yoshida, N
1-Jan-2014Multiparty session netsFossati, L; Hu, R; Yoshida, N
1-Jan-2009Multiparty symmetric sum typesYoshida, N; Nielsen, L; Honda, J
20-Jun-2004Natural algorithms for optimisation problems final year project reportGaertner, D
1-Jan-2005Negotiating socially optimal allocations of resources: an overviewEndriss, U; Maudet, N; Sadri, F; Toni, F
1-Jan-2002Network TraÆc behaviour in switched ethernet systemsField, T; Harder, U; Harrison, P
2-Oct-2002Nimble: a hybrid abductive-inductive learning algorithmRay, O
1-Jan-2010Non-elementary speed up for model checking synchronous perfect recallCohen, M; Lomuscio, A
1-Jan-2002Noninterference proofs through flow analysisHonda, K; Yoshida, N
1-Jan-2000Normalisation, approximation and semantics for typeable combinator systemsVan Bakel,S.; Fernndez,M.
1-Jan-2004Novel intelligent wavelet filtering of embolic signals from TCD ultrasoundMarvasti, S; Gillies, D; Markus, HS
1-Jan-2010Object capabilities and isolation of untrusted web applicationsMaffeis, S; Mitchell, JC; Taly, A
1-Jan-2010On asynchronous session semanticsYoshida, N; Kouzapas, D; Hu, R; Honda, K
25-Mar-1996On compromising updates in labelled databasesDargam, FCC
Collection's Items (Sorted by Title in Ascending order): 141 to 160 of 241