10038 search results - page 1953 / 2008 » Model Checking for Managers |
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
Wireless communication of video poses constraints on information capacity. Region-of-Interest (ROI) video coding provides higher quality in the ROI, but poorer quality in the back...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— We show that different flavors of TCP may be viewed as implementations of age-based scheduling disciplines. By parameterizing the scheduling disciplines of interest we are abl...
IPCCC
2006
IEEE
14 years 4 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Response time is a key factor of any e-Commerce application, and a set of solutions have been proposed to provide low response time despite network congestions or failures. Being ...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
1 This paper presents a new approach to trusted Grid computing in a Peer-to-Peer (P2P) setting. Trust and security are essential to establish lasting working relationships among th...