We present a translation of CCS into CSP which is correct with respect to strong bisimulation. To our knowledge this is the first such translation to enjoy a correctness property. This contributes to the unification of the ...

The TREC Video Retrieval Evaluation (TRECVID)2018 was a TREC-style video analysis and retrieval evaluation, the goal of which remains to promote progress in research and development of content-based exploitation and retrieval ...

Mesh-based P2P streaming approaches have been recently proposed as an interesting alternative to tree-based approaches. However, many properties of mesh overlays remain little understood as they are difficult to study due ...

The notion of an ad hoc network is a new paradigm that allows mobile hosts (called nodes) to communicate without relying on a predefined infrastructure to keep the network connected. Most nodes are assumed to be mobile and ...

This thesis presents models and techniques for automatic evaluation of trust in certification authorities for grid computing infrastructures. The desire for automatic trust evaluation arose out of the need to assess the ...

The concept of trust has been studied significantly by researchers in philosophy, psychology and sociology; research in these fields show that trust is a subjective view that varies greatly among people, situations and ...

The possibility of a massive, networked infrastructure of diverse entities partaking in collaborative applications with each other increases more and more with the proliferation of mobile devices and the development of ...

Since its inception in the early 1990s, e-commerce in consumer-to-consumer (C2C) markets has achieved great success, with significant projected growth. For example, the Internet auction provider, eBay, has established ...

Communications are increasingly relying on peer-to-peer models of interaction in which all participating entities have the same level of authority. Such models allow developed systems to overcome single points of failure, ...