1195 search results - page 70 / 239 » What, Where |
VLDB
2004
ACM
14 years 2 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...
INFOCOM
2003
IEEE
14 years 2 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...
IWPC
2003
IEEE
14 years 2 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...
DSVIS
2003
Springer
14 years 2 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...
FM
2003
Springer
14 years 2 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...