Sciweavers

1875 search results - page 211 / 375
» A Calculus of Broadcasting Systems
Sort
View
51
Voted
CHI
2005
ACM
16 years 1 months ago
TXTmob: text messaging for protest swarms
This paper describes cell phone text messaging during the 2004 US Democratic and Republican National Conventions by protesters using TXTmob ? a text-message broadcast system devel...
Tad Hirsch, John Henry
106
Voted
ICMCS
2005
IEEE
131views Multimedia» more  ICMCS 2005»
15 years 6 months ago
Attacks and Forensic Analysis for Multimedia Content Protection
Piracy is one of the biggest concerns in entertainment industry. Digital copies are perfect copies. An anti-piracy defense is to perform forensic analysis and identify who partici...
Hongxia Jin, Jeffery Lotspiech
ICCSA
2005
Springer
15 years 6 months ago
Fault Attack on the DVB Common Scrambling Algorithm
Abstract. The Common Scrambling Algorithm (CSA) is used to encrypt streams of video data in the Digital Video Broadcasting (DVB) system. The algorithm uses a combination of a strea...
Kai Wirt
78
Voted
WORDS
2003
IEEE
15 years 6 months ago
Practical Aspects of IP Take-Over Mechanisms
Transparent replication has been viewed as the holy grail of fault-tolerant computing. We discuss issues arising when using atomic broadcast to replicate services that are accesse...
Christof Fetzer, Neeraj Suri
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 4 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...