2468 search results - page 348 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
163
Voted
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
159
click to vote
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
159
Voted
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
153
Voted
TPDS
2008
15 years 3 months ago
2008
Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...
144
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper presents a nonparametric approach to labeling
of local image regions that is inspired by recent developments
in information-theoretic denoising. The chief novelty
of ...