Filters








143,495 Hits in 5.2 sec

Mobile Resource Guarantees and Policies [chapter]

David Aspinall, Kenneth MacKenzie
2006 Lecture Notes in Computer Science  
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantees (MRG) project.  ...  A recipient of mobile code chooses whether to run methods by comparing between a guaranteed policy and the target policy.  ...  We're grateful to our colleagues working on the MRG project for discussions on the topic of this paper, in particular to Lennart Beringer, Martin Hofmann, Alberto Momigliano, and Ian Stark for collaboration  ... 
doi:10.1007/11741060_2 fatcat:3p54nqfsejhx3eanqqx6cx6ohm

Mobile Resource Guarantees for Smart Devices [chapter]

David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
2005 Lecture Notes in Computer Science  
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds.  ...  A novel programming language with resource constraints encoded in function types is used to streamline the generation of proofs of resource usage.  ...  Acknowledgments: We acknowledge the excellent work of the research assistants and students of the Mobile Resource Guarantees project.  ... 
doi:10.1007/978-3-540-30569-9_1 fatcat:hk3aiw6zo5eblag35mtwqipdga

Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management [chapter]

Lotfi Jaiem, Lionel Lapierre, Karen Godary-Dejean, Didier Crestani
2016 Lecture Notes in Computer Science  
It is rarely addressed in the context of autonomous mobile robotics. This paper proposes a generic framework addressing the concept of performance for autonomous mobile robotic mission.  ...  Moreover it presents an approach to manage the mobile robot hardware and software resources during the mission execution according to performance objectives.  ...  Conclusion This paper proposes a methodology for autonomous resources management and a conceptualization of performance on mobile robotics.  ... 
doi:10.1007/978-3-319-40379-3_19 fatcat:i2acmov2zbhxjkifbsd2xparxq

A cross-platform analysis of bugs and bug-fixing in open source projects

Bo Zhou, Iulian Neamtiu, Rajiv Gupta
2015 Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering - EASE '15  
Our study covers 444,129 bug reports in 88 open source projects on desktop, Android, and iOS.  ...  In this paper we focus specifically on differences in bugs and bug-fixing processes between desktop and smartphone software.  ...  In our case, we manually read the topics, evaluated whether the topics are distinct enough, and chose an appropriate K to yield disjoint yet self-contained topics.  ... 
doi:10.1145/2745802.2745808 dblp:conf/ease/ZhouNG15a fatcat:qm5vi35u3zdexp5k6rttjzbdeu

Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management

Lotfi Jaiem, Lionel Lapierre, Karen Godary-Dejean, Didier Crestani, Lotfi Jaiem, Lionel Lapierre, Karen Godary-Dejean, Crestani Toward, Performance Guaran, Lotfi Jaiem, Lionel Lapierre, Karen Godary-Dejean (+1 others)
unpublished
It is rarely addressed in the context of autonomous mobile robotics. This paper proposes a generic framework addressing the concept of performance for autonomous mobile robotic mission.  ...  Moreover it presents an approach to manage the mobile robot hardware and software resources during the mission execution according to performance objectives.  ...  Conclusion This paper proposes a methodology for autonomous resources management and a conceptualization of performance on mobile robotics.  ... 
fatcat:xjsgokxdp5btjmuxfkjprvfkt4

ReCalendar: calendaring and scheduling applications with CPU and energy resource guarantees for mobile devices

Wanghong Yuan, K. Nahrstedt
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003).  
In this paper, we present an advance reservation scheme for CPU and energy resources, called ReCalendar.  ...  The goal is to enable soft real-time applications on mobile devices to achieve desired performance and lifetime. ReCalendar achieves this goal via two distinctive phases, calendaring and scheduling.  ...  Conclusion This paper presents an integrated advance reservation scheme and prototype implementation, called ReCalendar, to provide soft guarantees of CPU and energy resources.  ... 
doi:10.1109/percom.2003.1192767 dblp:conf/percom/YuanN03 fatcat:7ayqgi6zqvdwtiyq6mvbutkfhi

Evaluating mega urban regeneration projects: developing a new model

Ali Parsa, Reyhaneh Rahimzad, Simon Huston
2015 22nd Annual European Real Estate Society Conference   unpublished
no universal or standard definition for the term "Mega Urban Regeneration projects"  The term Mega Urban Regeneration reflects the iconic image projected of centrally located large-scale developments  ...  Aim and objectives  Define Mega Urban Regeneration  Identify the characteristics of sustainable mega urban regeneration projects  Compare and contrast two MURP in the UK and the Netherlands  Test the  ...  and reinforce the inner city area  Limit and guide auto- mobility (focus of cycling and public transport rather than auto mobility)  Combine the old historical city with the station area Utrecht  ... 
doi:10.15396/eres2015_270 fatcat:5sq52cks2fddtde3aarcyjzlva

Enhanced Media Independent Handover Framework

Pedro Neves, Francisco Fontes, Susana Sargento, Marcio Melo, Kostas Pentikousis
2009 VTC Spring 2009 - IEEE 69th Vehicular Technology Conference  
This paper presents novel handover procedures, based on media independent schemes, to address seamless mobility in heterogeneous environments.  ...  We evaluate eMIHF using the ns-2 simulator, and demonstrate that the proposed handover scheme provides seamless mobility, with low latency and no packet loss.  ...  In this paper we focus on a mobile-initiated handover from Wi-Fi to WiMAX and evaluate the efficiency of the proposed framework in terms of handover delays and packet loss.  ... 
doi:10.1109/vetecs.2009.5073535 dblp:conf/vtc/NevesFSMP09 fatcat:5fzwphruurerxj45a7hp727sii

Research on the Evaluation of Reading Promotion in University Libraries

Ying Zeng, Yuanhua Chen
2019 Proceedings of the 4th International Conference on Economy, Judicature, Administration and Humanitarian Projects (JAHP 2019)   unpublished
In the evaluation construction, people should establish the evaluation system, and pay attention to the development of evaluation implementation and evaluation feedback.  ...  The evaluation of reading promotion needs to adhere to the principles of being peopleoriented and operable and combining qualitative and quantitative analyses.  ...  personnel composition, normative requirements, division of labor and incentives, to clearly identify the resources and equipment needed to be invested and various financial expenditure guarantees.  ... 
doi:10.2991/jahp-19.2019.18 fatcat:v5g7qzgfqfg5hb6ceqtwu34t4q

Role of Multi Agent System for Qos Guarantee in Cellular Networks

Nupur Giri
2012 International Journal of Distributed and Parallel systems  
The paper highlights the benefits of Multi Agent System for maintaining QoS in cellular network by evaluating various multi agent based call admission control strategies for different traffic conditions  ...  It also establishes the relationship between the social attitude of an agent towards the other agents and fairness of resource distribution in distributed architecture.  ...  With the work presented in this paper we hope to assert that multi agent system can be effectively be used in guaranteeing the service level agreement.  ... 
doi:10.5121/ijdps.2012.3506 fatcat:6qfjcuuu4rfiphitn74hlawydq

mHealth in Resource-Constrained Environments

Barbara Rita Barricelli, Yanet Devis
2014 International Journal of Sociotechnology and Knowledge Development (IJSKD)  
In this paper the authors present the outcomes of MANTRA (Mobile ANticoagulant TheRApy) Project developed for and evaluated in Venezuela.  ...  The idea of creating mobile applications for this scenario led the authors to face important sociotechnical challenges in terms of innovation and design for resource-constrained environments.  ...  In this paper we present MANTRA (Mobile ANticoagulant TheRApy), a project aimed at studying the feasibility and acceptability of the introduction of mobile technology in the management of anticoagulant  ... 
doi:10.4018/ijskd.2014010102 fatcat:2sqzw4vyhrb4hah7zpo3zofqbm

Advanced Technologies in Wireless Internet and Communications Networks (Editorial for WICON 2011 Special Issue)

Pinyi Ren, Jun Cai, Zhou Su
2012 Journal on spesial topics in mobile networks and applications  
The first paper "Optimal Resource Allocation for Spectrum Sensing Based Cognitive Radio Networks with Statistical QoS Guarantees" by Y. Wang, P, Ren, Q. Du, and C.  ...  access technologies, distributed admission control, advanced resource allocation/management, QoS guarantees, etc.  ... 
doi:10.1007/s11036-012-0418-7 fatcat:t35smqkiqzditflk2y4ibs2skq

Determinants of Success in Islamic Public-Private Partnership Projects (PPPs) in the Context of SDGs

Ahmet Suayb Gundogdu
2018 Turkish Journal of Islamic Economics  
While identifying the three pillars for success: maqasid al-shari'ah, shari'ah compliance, and resource mobilization from Islamic capital markets, a framework table is proposed to signal the likelihood  ...  of success in Islamic PPPs as a result of such systematic evaluation.  ...  guarantees are introduced to mobilize resources from financiers.  ... 
doi:10.26414/a055 fatcat:64z62khmzbfipdn46fg4olqbq4

Applied Graph Theory to Real Smart City Logistic Problems

Jose M. Gutierrez, Michael Jensen, Tahir Riaz
2016 Procedia Computer Science  
This paper provides an overview of the system designed for carrying out the project, focusing on the solution for the logistics problem presenting well-defined challenges.  ...  In a recent project in the Region of North Jutland in Denmark, an empirical study of the mobile broadband conditions was carried out by installing measurement equipment on two cars driving around everywhere  ...  This paper describes part of the work in a project carried out by the region of North Jutland in Denmark, with the objective of mapping the coverage and quality of the mobile broadband networks of four  ... 
doi:10.1016/j.procs.2016.09.291 fatcat:vi7ogyl2sjea7ll2jmc6a4utf4

MOOC and OERs in a Virtual Mobility Experience

Antonella Poce, Maria Rosaria Re, Francesca Amenduni, Mara Valente
2019 European MOOCs Stakeholders Summit  
The present paper is part of the Erasmus + project "OpenVM: Opening Education for Developing, Assessing and Recognising Virtual Mobility Skills in Higher Education".  ...  The aim of this paper is to share good practices related to the implementation of Virtual Mobility (VM) that partners have been developing throughout the project.  ...  The present paper is part of the Erasmus + project "OpenVM: Opening Education for Developing, Assessing and Recognising Virtual Mobility Skills in Higher Education".  ... 
dblp:conf/emoocs/PoceRAV19 fatcat:64kqth35cvaqhgku4l3lnokxei
« Previous Showing results 1 — 15 out of 143,495 results