Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

CaPSL

CaPSL is a printer command language/page description language used by early Canon printers including the LBP-8III series and supported on (at least… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Recently, significant attention has been given to hardware realization of Orthogonal Matching Pursuit (OMP) algorithms for signal… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
2015
2015
Purpose – The purpose of this paper is to highlight the profound learning associated with the Goethean methodology in the… Expand
  • figure 1
2011
2011
The Fresh Breeze memory model and system architecture is proposed as an approach to achieving significant improvements in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2008
2008
In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2003
Highly Cited
2003
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is… Expand
  • table 1
  • figure 3
2002
2002
It is of paramount importance that a security protocol effectively enforces the desired security requirements. The apparent… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2001
2001
Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper… Expand
Highly Cited
2000
Highly Cited
2000
CAPSL, a Common Authentication Protocol Specification Language, is a high-level language to support security analysis of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
1999
1999
The Common Authentication Protocol Specification Language (CAPSL) is a high-level language for applying formal methods to the… Expand
Highly Cited
1996
Highly Cited
1996
CAPSL is a formal language for expressing authentication and key-exchange protocols. It is intended to capture enough of the… Expand