Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,736,311 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
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
Adrian Tatulian
,
Soheil Salehi
,
R. Demara
International Conference on ReConFigurable…
2019
Corpus ID: 204898386
Recently, significant attention has been given to hardware realization of Orthogonal Matching Pursuit (OMP) algorithms for signal…
Expand
2011
2011
Experiments with the Fresh Breeze tree-based memory model
J. Dennis
,
G. Gao
,
X. X. Meng
Computer Science - Research and Development
2011
Corpus ID: 14692743
The Fresh Breeze memory model and system architecture is proposed as an approach to achieving significant improvements in…
Expand
2008
2008
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Roland Bouroulet
,
Raymond R. Devillers
,
Hanna Klaudel
,
E. Pelz
,
F. Pommereau
Petri Nets
2008
Corpus ID: 15410037
In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and…
Expand
2007
2007
A Generative Approach to the Development of Autonomous Robot Software
P. Baer
,
R. Reichle
,
M. Zapf
,
T. Weise
,
K. Geihs
Fourth IEEE International Workshop on Engineering…
2007
Corpus ID: 16428664
The integration of new or existing software components into established architectures and the ability to deal with heterogeneity…
Expand
Highly Cited
2003
Highly Cited
2003
An On-the-Fly Model-Checker for Security Protocol Analysis
D. Basin
,
S. Mödersheim
,
L. Viganò
ESORICS
2003
Corpus ID: 8359212
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is…
Expand
2002
2002
Developing security protocols in ?-Spaces
F. Crazzolara
,
G. Milicia
2002
Corpus ID: 1255549
It is of paramount importance that a security protocol effectively enforces the desired security requirements. The apparent…
Expand
2001
2001
Specifying Authentication Protocols Using Rewriting and Strategies
Horatiu Cirstea
PADL
2001
Corpus ID: 215223
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
G. Denker
,
J. Millen
Proceedings DARPA Information Survivability…
2000
Corpus ID: 16967325
CAPSL, a Common Authentication Protocol Specification Language, is a high-level language to support security analysis of…
Expand
1999
1999
CAPSL interface for the NRL Protocol Analyzer
S. Brackin
,
C. Meadows
,
J. Millen
Proceedings IEEE Symposium on Application…
1999
Corpus ID: 11173349
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
J. Millen
NSPW '96
1996
Corpus ID: 29912405
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