2205 search results - page 409 / 441 » Mutation Operators for Specifications |
112
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
118
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a framework for robustly recognizing physical team behaviors by exploiting spatio-temporal patterns. Agent team behaviors in athletic and military domains typi...
136
click to vote
CCS
2006
ACM
15 years 5 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...
125
click to vote
FCCM
2004
IEEE
15 years 5 months ago
2004
IEEE
Reconfigurable System-on-Chip (SoC) platforms that incorporate hard-core processors surrounded by large amounts of FPGA are today commodities: the reconfigurable logic is often us...
135
click to vote
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...