Probabilistic model checking and scheduling implementation of an energy router system in energy internet for green cities
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 …
management under the circumstance of energy Internet for green cities. During its design …
Cooperative networking in user-centric wireless networks
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 …
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 …
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 …
challenging issue that involves tradeoff among trust, social, and economic aspects. Two …
Strategic analysis of trust models for user-centric networks
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 …
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 …
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
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 …
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 …
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 …
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 …
and becomes embedded in our environment, in the equipment we use, in our clothes, and …