748 search results - page 81 / 150 » concurrency 2008 |
105
Voted
SAINT
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we present an online algorithm that attacks the problem of placing relay nodes in regions where high localized congestion is detected. Congestion refers to the netwo...
145
Voted
FORTEST
2008
15 years 2 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
70
Voted
ICCCN
2008
IEEE
15 years 7 months ago
2008
IEEE
—One of the major differences among current P2P solutions for multimedia streaming is the way they organize the exchange of multimedia data among their peers. We compare the perf...
115
click to vote
ADC
2008
Springer
15 years 7 months ago
2008
Springer
With respect to current methods for query evaluation over XML data streams, adoption of certain types of buffering techniques is unavoidable. Under lots of circumstances, the buff...
103
click to vote
ACSD
2008
IEEE
15 years 2 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...