1195 search results - page 70 / 239 » What, Where |
132
Voted
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
We believe continued growth in the volume of personal content, together with a shift to a multi-device personal computing environment, will inevitably lead to the development of P...
115
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— End-to-end throughput guarantee is an important service semantics that network providers would like to offer to their customers. A network provider can offer such service seman...
130
Voted
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
Understanding performance and related issues in a complex system requires analyzing where and why the program spends its resources. In a reactive system such as a interactive appl...
115
Voted
DSVIS
2003
Springer
15 years 10 months ago
2003
Springer
The way people use computers has changed in recent years, from desktop single-machine settings to many computers and personal assistants in widely different contexts. Personal Docu...
118
Voted
FM
2003
Springer
15 years 10 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...