4520 search results - page 791 / 904 » Algebraic Techniques for Timed Systems |
159
click to vote
WAC
2005
Springer
15 years 12 months ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
163
click to vote
CC
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
199
click to vote
AFRIGRAPH
2004
ACM
15 years 11 months ago
2004
ACM
In the real world, the human eye is confronted with a wide range of luminances from bright sunshine to low night light. Our eyes cope with this vast range of intensities by adapta...
192
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Techniques that support effective communication during teamwork processes are of particular importance. Psychological study shows that an effective team often can anticipate infor...
144
click to vote
SIGMETRICS
2004
ACM
15 years 11 months ago
2004
ACM
d Abstract] Mengzhi Wang, Kinman Au, Anastassia Ailamaki, Anthony Brockwell, Christos Faloutsos, and Gregory R. Ganger Carnegie Mellon University This work explores the applicatio...