9051 search results - page 1627 / 1811 » On detectability of stochastic systems |
167
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...
152
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Most of today’s computers are connected to the Internet or at least to a local network, exposing system vulnerabilities to the potential attackers. One of the attackers’ goals...
194
click to vote
PEWASUN
2004
ACM
15 years 12 months ago
2004
ACM
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location i...
161
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
— An Autonomous Science Agent is currently flying onboard the Earth Observing One Spacecraft. This software enables the spacecraft to autonomously detect and respond to science e...
192
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...