1346 search results - page 142 / 270 » Alternating-time dynamic logic |
185
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
178
click to vote
PVLDB
2010
15 years 3 months ago
2010
To enable smart environments and self-tuning data centers, we are developing the Aspen system for integrating physical sensor data, as well as stream data coming from machine logi...
167
click to vote
WCRE
2009
IEEE
16 years 6 days ago
2009
IEEE
—Current malware is often transmitted in packed or encrypted form to prevent examination by anti-virus software. To analyze new malware, researchers typically resort to dynamic c...
172
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
170
click to vote
VIS
2004
IEEE
16 years 6 months ago
2004
IEEE
Diffusion Tensor Imaging (DTI) is a magnetic resonance imaging method that can be used to measure local information about the structure of white matter within the human brain. Com...