10038 search results - page 1955 / 2008 » Model Checking for Managers |
126
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...
133
click to vote
IMC
2006
ACM
15 years 10 months ago
2006
ACM
While the problem of analyzing network traffic at the granularity of individual connections has seen considerable previous work and tool development, understanding traffic at a ...
138
click to vote
ISLPED
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...
152
click to vote
IWCMC
2006
ACM
15 years 10 months ago
2006
ACM
Designing and planning of the switching, signaling and support network is a fairly complex process in cellular mobile network. In this paper, the problem of assigning cells to swi...
139
click to vote
IWCMC
2006
ACM
15 years 10 months ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...