Exploring Computing at the Edge: A Multi-Interface System Architecture Enabled Mobile Device Cloud

2018 ◽  
Author(s):  
Venkatraman Balasubramanian ◽  
Moayad Aloqaily ◽  
Faisal Zaman ◽  
Yaser Jararweh
Keyword(s):  
Mobile Device ◽  
System Architecture ◽  
Interface System ◽  
Mobile Device Cloud

scholarly journals Quality-of-Experience-Aware Incentive Mechanism for Workers in Mobile Device Cloud

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
Sajeeb Saha ◽  
Md. Ahsan Habib ◽  
Tamal Adhikary ◽  
Md. Abdur Razzaque ◽  
Md. Mustafizur Rahman ◽  
...  
Keyword(s):  
Mobile Device ◽  
Quality Of Experience ◽  
Incentive Mechanism ◽  
Mobile Device Cloud

Tradeoff between execution speedup and reliability for compute-intensive code offloading in mobile device cloud

2017 ◽  
Vol 25 (5) ◽  
pp. 577-589 ◽  
Author(s):  
Sajeeb Saha ◽  
Md. Ahsan Habib ◽  
Tamal Adhikary ◽  
Md. Abdur Razzaque ◽  
Md. Mustafizur Rahman
Keyword(s):  
Mobile Device ◽  
Mobile Device Cloud ◽  
Code Offloading

scholarly journals Functional design and implementation of graphical user interfaces for theorem provers

1999 ◽  
Vol 9 (2) ◽  
pp. 167-189 ◽  
Author(s):  
C. LÜTH ◽  
B. WOLFF
Keyword(s):  
Program Development ◽  
User Interfaces ◽  
System Architecture ◽  
Functional Programming ◽  
Graphical User Interfaces ◽  
Functional Design ◽  
Problem Domain ◽  
Design And Implementation ◽  
Theorem Provers ◽  
Interface System

The design of theorem provers, especially in the LCF-prover family, has strongly profited from functional programming. This paper attempts to develop a metaphor suited to visualize the LCF-style prover design, and a methodology for the implementation of graphical user interfaces for these provers and encapsulations of formal methods. In this problem domain, particular attention has to be paid to the need to construct a variety of objects, keep track of their interdependencies and provide support for their reconstruction as a consequence of changes. We present a prototypical implementation of a generic and open interface system architecture, and show how it can be instantiated to an interface for Isabelle, called IsaWin, as well as to a tailored tool for transformational program development, called TAS.

Distributed task allocation in Mobile Device Cloud exploiting federated learning and subjective logic

2020 ◽  
pp. 101972
Author(s):  
Palash Roy ◽  
Sujan Sarker ◽  
Md. Abdur Razzaque ◽  
Md. Mamun-or-Rashid ◽  
Mohmmad Mehedi Hassan ◽  
...  
Keyword(s):  
Mobile Device ◽  
Task Allocation ◽  
Subjective Logic ◽  
Distributed Task Allocation ◽  
Mobile Device Cloud
Sign in / Sign up

Export Citation Format

Share Document