20175 search results - page 52 / 4035 » Is abstraction the key to computing |
107
click to vote
RP
2009
Springer
15 years 5 months ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
106
Voted
ICMCS
2008
IEEE
15 years 7 months ago
2008
IEEE
Key frames play an important role in video abstraction. Clustering is a popular approach for key-frame extraction. In this paper, we propose a novel method for key-frame extractio...
86
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
95
Voted
JUCS
2008
15 years 15 days ago
2008
Abstract: In this paper we present and discuss a new approach for securing multimedia communication, which is based on three innovations. The first innovation is the integration of...
86
Voted
AIMS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents the idea of a fully decentralized peer-to-peer collaborative network with a robust, scalable and incentive-compatible system enabling storage, retriev...