Probabilistic model checking and scheduling implementation of an energy router system in energy internet for green cities

M Gao, K Wang, L He - IEEE Transactions on Industrial …, 2018 - ieeexplore.ieee.org
Energy router (ER) based system is a crucial part of the energy transmission and
management under the circumstance of energy Internet for green cities. During its design …

Cooperative networking in user-centric wireless networks

P Mendes, W Moreira, T Jamal, H Haci… - User-Centric Networking …, 2014 - Springer
Mobile social networking is becoming a new trend allowing users to have instant and real-
time access from their devices to any Internet based networking platform. This requirement is …

Automatic verification of competitive stochastic systems

A Simaitis - 2014 - ora.ox.ac.uk
In this thesis we present a framework for automatic formal analysis of competitive stochastic
systems, such as sensor networks, decentralised resource management schemes or …

[PDF][PDF] Formal approach to design and automatic verification of cooperation-based networks

A Aldini - IARIA Int J Adv Internet Technol, 2013 - Citeseer
The efficacy and efficiency of cooperation incentives in user-centric networks is a
challenging issue that involves tradeoff among trust, social, and economic aspects. Two …

Strategic analysis of trust models for user-centric networks

M Kwiatkowska, D Parker, A Simaitis - arXiv preprint arXiv:1303.0791, 2013 - arxiv.org
We present a strategic analysis of a trust model that has recently been proposed for
promoting cooperative behaviour in user-centric networks. The mechanism for cooperation …

Modeling and verification of cooperation incentive mechanisms in user-centric wireless communications

A Aldini, A Bogliolo - … , Privacy, Trust, and Resource Management in …, 2014 - igi-global.com
User-centric wireless networks are characterized by a community-scale objective aiming at
the shared provision of user-generated services and contents. This may be contrasted by the …

Probabilistic model checking for green energy router system in energy internet

M Gao, K Wang, L He - GLOBECOM 2017-2017 IEEE Global …, 2017 - ieeexplore.ieee.org
Green energy router (ER) system is a crucial part in the energy transmission and
management under the circumstance of Energy Internet and green communication. During …

Extending trust management with cooperation incentives: a fully decentralized framework for user-centric network environments

C Ballester Lafuente, JM Seigneur - Journal of Trust Management, 2015 - Springer
While trust management systems can be used in isolation in order to provide robustness to a
given architecture, cooperation incentives can be used to complement and collaborate with …

[PDF][PDF] Evaluation of an architecture for providing mobile web services

M Jansen - Int J Adv Internet Technol, 2013 - Citeseer
As the role of mobile devices as Web Service consumers is widely accepted, already today a
large number of mobile applications consume Web Services in order to fulfill their task. Still …

From software verification to 'everyware'verification

M Kwiatkowska - Computer Science-Research and Development, 2013 - Springer
Ubiquitous computing is a vision of computing in which the computer disappears from view
and becomes embedded in our environment, in the equipment we use, in our clothes, and …