4307 search results - page 502 / 862 » Dynamic Spyware Analysis |
174
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
253
click to vote
ICDCS
2012
IEEE
13 years 8 months ago
2012
IEEE
—Cloud resources are usually priced in multiple markets with different service guarantees. For example, Amazon EC2 prices virtual instances under three pricing schemes — the su...
179
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
166
click to vote
JUCS
2008
15 years 6 months ago
2008
: Market Surveillance plays important mechanism roles in constructing market models. From data analysis perspective, we view it valuable for smart trading in designing legal and pr...
177
click to vote
APPROX
2006
Springer
15 years 9 months ago
2006
Springer
We consider Glauber dynamics on finite spin systems. The mixing time of Glauber dynamics can be bounded in terms of the influences of sites on each other. We consider three parame...