3104 search results - page 180 / 621 » Using quantitative analysis to implement autonomic IT system... |
160
click to vote
PTS
2008
15 years 5 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
132
click to vote
JSS
2008
15 years 4 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
137
click to vote
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
A multi-tenant cloud system allows multiple users to share a common physical computing infrastructure in a cost-effective way. Component sharing is highly desired in such a shared...
147
click to vote
ICMCS
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we present our P2P-TV measurement experiment performed in France and in Japan. By using multiple measurement points in different locations of the world, we are able...
141
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: Graphs and networks are common analysis representations for biological systems. Many traditional graph algorithms such as k-clique, k-coloring, and subgraph matching h...