7457 search results - page 1050 / 1492 » The Dynamics of Computing Agent Systems |
198
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
152
click to vote
SAC
2006
ACM
16 years 26 days ago
2006
ACM
Unstructured peer-to-peer lookup systems incur small constant overhead per single join or leave operation, and can easily support keyword searches. Hence, they are suitable for dy...
182
click to vote
ENC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces an approach for adaptively brokering queries for exploiting streams produced and consumed by devices with limited computing and storage capacities. Such devi...
220
click to vote
ISCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Performance improvement solely through transistor scaling is becoming more and more difficult, thus it is increasingly common to see domain specific accelerators used in conjunc...
172
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Learning the knowledge of scene structure and tracking a large number of targets are both active topics of computer vision in recent years, which plays a crucial role in surveilla...