1861. Utilising coverage holes and wireless relays for mobile target tracking. (3rd January 2011) Authors: Ooi, Chia Ching; Schindelhauer, Christian Journal: International journal of ad hoc and ubiquitous computing Issue: Volume 7:Number 1(2011) Page Start: 38 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1862. Utility-based approach for utilising services of mobile devices in mobile grid. (24th June 2011) Authors: Chunlin, Li; Layuan, Li Journal: International journal of ad hoc and ubiquitous computing Issue: Volume 7:Number 4(2011) Page Start: 235 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1863. U–commerce research: a literature review and classification. (4th March 2013) Authors: Liu, Qihua Journal: International journal of ad hoc and ubiquitous computing Issue: Volume 12:Number 3(2013) Page Start: 177 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1864. Validation of the actual behaviour of a real-time application. (2017) Authors: Bikienga, Moustapha; Choquet-Geniet, Annie; Geniet, Dominique Journal: International journal of critical computer-based systems Issue: Volume 7:Number 2(2017) Page Start: 190 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1865. Variable length mixed radix MDC FFT/IFFT processor for MIMO‐OFDM application. Issue 1 (5th December 2017) Authors: Locharla, Govinda Rao; Mahapatra, Kamala Kanta; Ari, Samit Journal: IET computers & digital techniques Issue: Volume 12:Issue 1(2018) Page Start: 9 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1866. Vector routing protocols for Delay Tolerant Networks. (6th July 2010) Authors: Kang, Hyunwoo; Kim, Dongkyun Journal: International journal of ad hoc and ubiquitous computing Issue: Volume 6:Number 1(2010) Page Start: 40 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1867. Verification and implementation of software for dependable controllers. (22nd February 2010) Authors: Sacha, Krzysztof Journal: International journal of critical computer-based systems Issue: Volume 1:Number 1/2/3(2010) Page Start: 238 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1868. Verification of distributed systems involving bounded-time migration. (2017) Authors: Aman, Bogdan; Ciobanu, Gabriel Journal: International journal of critical computer-based systems Issue: Volume 7:Number 3(2018) Page Start: 279 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1869. Verifying vehicle control systems by using process calculi. (2016) Authors: Ciobanu, Gabriel; Rotaru, Armand Stefan Journal: International journal of ad hoc and ubiquitous computing Issue: Volume 21:Number 1(2016) Page Start: 41 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1870. Verifying while loops with invariant relations. (1st January 2014) Authors: Louhichi, Asma; Ghardallou, Wided; Bsaies, Khaled; Jilani, Lamia Labed; Mraihi, Olfa; Mili, Ali Journal: International journal of critical computer-based systems Issue: Volume 5:Number 1/2(2014) Page Start: 78 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗