Signal

Known as: Signal Private Messenger 
Signal is an encrypted instant messaging and voice calling application for Android and iOS. It uses the Internet to send one-to-one and group… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2017
02419932017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In the past few years secure messaging has become mainstream, with over a billion active users of end-to-end encryption protocols… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2009
2009
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
The increasing complexity of embedded system designs calls for high-level specification formalisms and for automated… (More)
  • figure 3
  • figure 5
  • figure 7
  • figure 8
  • figure 9
Is this relevant?
2003
2003
We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2002
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2001
2001
The languages for modeling reactive systems are of different styles, like the imperative, state-based ones and the declarative… (More)
  • figure 1
  • table I
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2001
2001
This paper describes an extension of the pUML 00 meta modelling approach to the re-architecting of the UML with dynamic aspects… (More)
Is this relevant?
1999
1999
The synchronous family of languages (Lustre, Esterel, Signal , Statecharts) provide a great deal of support for verifying a… (More)
Is this relevant?
1998
1998
The languages for modeling reactive systems can be divided in two styles: the imperative, state-based ones and the declarative… (More)
Is this relevant?
1994
1994
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they… (More)
Is this relevant?