PRISM (surveillance program)

Known as: PRISM, PRISM program, PRISM (surveillance program 
PRISM is a clandestine surveillance program under which the United States National Security Agency (NSA) collects internet communications from at… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
This paper describes a major new release of the PRISM probabilistic model checker, adding, in particular, quantitative… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2010
Highly Cited
2010
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In this work we present Bio-PEPA, a process algebra for the modelling and the analysis of biochemical networks. It is a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We describe PRISM, a video coding paradigm based on the principles of lossy distributed compression (also called source coding… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper we present efficient symbolic techniques for probabilistic model checking. These have been implemented in PRISM, a… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper we describe PRISM, a tool being developed at the University of Birmingham for the analysis of probabilistic systems… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The processor reconfiguration through instruction-set metamorphosis (PRISM) general-purpose architecture, which speeds up… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
The decision tree output of Quinlan's ID3 algorithm is one of its major weaknesses. Not only can it be incomprehensible and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 3
Is this relevant?
Highly Cited
1968
Highly Cited
1968
There are two modes of surface plasma waves: 1) Non-radiative modes with phase velocities Cü/k smaller than the velocity of light… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?