A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Mobile Resource Guarantees and Policies
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering - EASE '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003).
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2015
22nd Annual European Real Estate Society Conference
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
VTC Spring 2009 - IEEE 69th Vehicular Technology Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
Proceedings of the 4th International Conference on Economy, Judicature, Administration and Humanitarian Projects (JAHP 2019)
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Journal of Distributed and Parallel systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
International Journal of Sociotechnology and Knowledge Development (IJSKD)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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)
2012
Journal on spesial topics in mobile networks and applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
Turkish Journal of Islamic Economics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2019
European MOOCs Stakeholders Summit
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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