5630 search results - page 1069 / 1126 » Computability in Specification |
152
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
We propose regression modeling as an efficient approach for accurately predicting performance and power for various applications executing on any microprocessor configuration in a...
143
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We address the problem of navigating from an initial node to a goal node by a group of agents in an unknown physical environment. In such environments mobile agents must physicall...
130
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...
133
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
151
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...