13489 search results - page 2422 / 2698 » Self-migration of operating systems |
183
click to vote
SIGMETRICS
2004
ACM
16 years 2 days ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...
170
click to vote
CAV
2004
Springer
16 years 1 days ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
194
click to vote
CCS
2004
ACM
16 years 1 days ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
182
click to vote
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
196
click to vote
ICLP
2004
Springer
16 years 1 days ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...