Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 41-50 of 563 (Search time: 0.026 seconds).
Item hits:
Issue DateTitleAuthor(s)
2014Quiescent consistency: Defining and verifying relaxed linearizabilityDerrick, J; Dongol, B; Schellhorn, G; Tofan, B; Travkin, O; Wehrheim, H
2014Verifying linearizability on TSO architecturesDerrick, J; Smith, G; Dongol, B
2014EXACT2: the semantics of biomedical protocolsSoldatova, LN; Nadis, D; King, RD; Basu, PS; Haddi, E; Baumlé, V; Saunders, NJ; Marwan, W; Rudkin, BB
2014Investigating the link between users’ IT adaptation behaviours and individual-level IT use outcomes using the coping model of user adaptation: A Case study of a work system computerisation projectKashefi, Armin
2014Trusted integration of cloud-based NFC transaction playersPourghomi, P; Saeed, MQ; Ghinea, G
2014Development of an automated online clinical consultation with electronic antibiotic prescribing for the remote managment of genital chlamydia trachomatis infection within the ESTI2 consortiumGibbs, J; Sutcliffe, L; Sadig, T; Sonnenberg, P; Ashcroft, R; Gkaczidou, V; Hone, K; Estcourt, C
2014Establishing relationships between innovation characteristics and it innovation adoption in orgnisations: A meta-analysis approacheHameed, M; Counsell, S
2011Mining learning preferences in web-based instruction: Holists vs. SerialistsClewley, N; Chen, SY; Liu, X
2014Retinal blood vessels extraction using probabilistic modellingKaba, D; Wang, C; Li, Y; Salazar-Gonzalez, A; Liu, X; Serag, A
2011Public claims about automatic external defibrillators: An online consumer opinions studyMoney, AG; Barnett, J; Kuljis, J