CORR
2010
Springer
13 years 11 months ago
2010
Springer
The present work investigates the structural and dynamical properties of aNobii1 , a social bookmarking system designed for readers and book lovers. Users of aNobii provide informa...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
This paper is concerned with designing self-driven fitness functions for Embedded Evolutionary Robotics. The proposed approach considers the entropy of the sensori-motor stream gen...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We present a generic API suitable for provision of highly generic storage facilities that can be tailored to produce various individually customised storage infrastructures. The p...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Pervasive services may be defined as services that are available to any client (anytime, anywhere). Here we focus on the software and network infrastructure required to support pe...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We propose a middleware framework for deployment and subsequent autonomic management of component-based applications. An initial deployment goal is specified using a declarative c...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
In their paper on the "chasm at depth four", Agrawal and Vinay have shown that polynomials in m variables of degree O(m) which admit arithmetic circuits of size 2o(m) al...