SOCA
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper we focus on how Quality of Service guarantees are provided to virtualised applications in the Cloud Computing infrastructure that is being developed in the context of...
SEMCCO
2010
13 years 6 months ago
2010
Differential Evolution (DE) has attracted much attention recently as an effective approach for solving numerical optimization problems. However, the performance of DE is sensitive ...
SBP
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we propose a novel approach to automatically detect "hot" or important topics of discussion in the blogosphere. The proposed approach is based on analyzing...
SAC
2010
ACM
13 years 6 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
SAC
2010
ACM
13 years 6 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
PSB
2010
13 years 6 months ago
2010
rmed at a conceptual level, in terms of abstract biochemical reactions
PSB
2010
13 years 6 months ago
2010
PSB
2010
13 years 6 months ago
2010
PSB
2010
13 years 6 months ago
2010
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
IWPEC
2010
Springer
13 years 6 months ago
2010
Springer
The Grundy number of a graph G, denoted by (G), is the largest k such that G has a greedy k-colouring, that is a colouring with k colours obtained by applying the greedy algorithm ...