Skip to search formSkip to main contentSkip to account menu

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… 
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… 
2011
2011
The Fresh Breeze memory model and system architecture is proposed as an approach to achieving significant improvements in… 
2008
2008
In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and… 
2007
2007
The integration of new or existing software components into established architectures and the ability to deal with heterogeneity… 
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… 
2002
2002
It is of paramount importance that a security protocol effectively enforces the desired security requirements. The apparent… 
2001
2001
Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper… 
Highly Cited
2000
Highly Cited
2000
CAPSL, a Common Authentication Protocol Specification Language, is a high-level language to support security analysis of… 
1999
1999
The Common Authentication Protocol Specification Language (CAPSL) is a high-level language for applying formal methods to the… 
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…