3082 search results - page 368 / 617 » Deviation Analysis: A New Use of Model Checking |
200
click to vote
ISPASS
2007
IEEE
16 years 24 days ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
156
click to vote
DSVIS
2005
Springer
16 years 1 days ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
185
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The data traffic in wireless networks for the third generation (3G) mobile telecommunication systems should take into account a variety of services (voice, data, video) and envir...
169
click to vote
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
We study group loss probabilities of Forward Error Correction (FEC) codes in shared loss multicast communication. We present a new analysis model with explicit state equations usi...
177
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present Concept Chain Queries (CCQ), a special case of text mining in document collections focusing on detecting links between two topics across text documents. ...