1325 search results - page 67 / 265 » A Scaling Result for Explosive Processes |
136
click to vote
ICDCN
2010
Springer
15 years 11 months ago
2010
Springer
The proliferation of new modes of communication and collaboration has resulted in an explosion of digital information. To turn this challenge into an opportunity, the IT industry ...
155
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
115
click to vote
MMM
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. With the explosive growth of multimedia data, video presentation has become an important technology for fast browsing of video content. In this paper, we present a novel ...
110
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...
138
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
—With the explosive use of Internet, contemporary web servers are susceptible to overloads and their services deteriorate drastically and often cause denial of services. In this ...