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

Related topics

Related topics

1 relation
Printer Command Language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Mixed-Signal Spin/Charge Reconfigurable Array for Energy-Aware Compressive Signal Processing
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
Goethean pedagogy: A case in innovative science education and implications for work based learning
Purpose – The purpose of this paper is to highlight the profound learning associated with the Goethean methodology in the… Expand
  • figure 1
2011
2011
Experiments with the Fresh Breeze tree-based memory model
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
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
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
An On-the-Fly Model-Checker for Security Protocol Analysis
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
Developing security protocols in ?-Spaces
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
Specifying Authentication Protocols Using Rewriting and Strategies
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 integrated protocol environment
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
CAPSL interface for the NRL Protocol Analyzer
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: Common Authentication Protocol Specification Language
CAPSL is a formal language for expressing authentication and key-exchange protocols. It is intended to capture enough of the… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE