7766 search results - page 1427 / 1554 » Testing Nondeterminate Systems |
155
Voted
ICDT
2010
ACM
16 years 1 months ago
2010
ACM
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...
124
Voted
IUI
2010
ACM
16 years 24 days ago
2010
ACM
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...
137
Voted
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
Numerous recent papers have found important relationships between network structure and risks within networks. These results indicate that network structure can dramatically affec...
165
Voted
WOSP
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we develop, implement and evaluate an approach to quickly reassign resources for a virtualized utility computing platform. The approach provides this platform agilit...
160
Voted
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...