Wikipedia has become a huge phenomenon on the WWW. As a corpus for knowledge extraction, it has various impressive characteristics such as a huge amount of articles, live updates, ...
Today's mobile phones are essentially off-the-shelf, mass-market wearable computers. In this paper, we describe mobile social software that uses location, proximity and tone ...
— It is well known that complex networks have become a very important part of our daily lives and have been intensively studied in all fields over the last few years. This paper...
Abstract. We propose an ecosystem of self-replicating cellular automaton loops by designing new rules for interactions between individual loops. The loops interact competitively wi...
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...