Computer systems have evolved significantly in the last years leading to high-performance systems. This, however, has come with a cost of large power dissipation. As such, power-awareness has become a major factor in ...

In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabilistic and nondeterministic behavior. By resolving the ...

New state-of-the-art techniques for analyzing and managing Web data have emerged due to the need for dealing with huge amounts of data which are circulated on the Web. Web Data Management Practices: Emerging Techniques and ...

In this paper, we introduce a probabilistic modeling approach for addressing the problem of Web robot detection from Web-server access logs. More specifically, we construct a Bayesian network that classifies automatically ...

The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordination of Web Services. The role of ρέω is to ...

This piece of research describes an innovative e-health service that supports the cognitive and physical training of senior citizens and promotes their active ageing. The approach is adopted by the Long Lasting Memories ...

We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean formulas he wants to get satisfied. The boolean formulas of all players involve a ground set of ...

An information network modeled as an attributed multi-graph contains objects described by heterogeneous attributes and connected by multiple types of edges. In this paper we study the problem of identifying groups of related ...