Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,101,583 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
(opens in a new tab)
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.
2007
2007
A Generative Approach to the Development of Autonomous Robot Software
P. Baer
,
R. Reichle
,
M. Zapf
,
T. Weise
,
K. Geihs
International Conference on Evaluation…
2007
Corpus ID: 16428664
The integration of new or existing software components into established architectures and the ability to deal with heterogeneity…
Expand
2007
2007
An Economical Model for the Risk Evaluation of DoS Vulnerabilities in Cryptography Protocols
Z. Cao
,
Zhi Guan
,
Zhong Chen
,
Jian-bin Hu
,
Liyong Tang
Information Security Practice and Experience
2007
Corpus ID: 620069
Denial of Service (DoS) attacks are a virulent type of attack on the availability of networks' intended services and resources…
Expand
2007
2007
On the Role of Deterministic Fine-Grain Data Synchronization for Scientific Applications: A Revisit in the Emerging Many-Core Era
Weirong Zhu
,
Ziang Hu
,
G. Gao
IEEE International Parallel and Distributed…
2007
Corpus ID: 11135351
The design of microprocessor chip for high-end computing systems is moving towards many-core architectures with 10s or 100…
Expand
2005
2005
Extending CAPSL for Logic-Based Verifications
Liang Tian
,
R. Dojen
,
T. Coffey
2005
Corpus ID: 1997633
Cryptographic protocols are designed to provide security services, such as key distribution, authentication and non-repudiation…
Expand
2002
2002
Developing security protocols in ?-Spaces
F. Crazzolara
,
Giuseppe Milicia
2002
Corpus ID: 1255549
It is of paramount importance that a security protocol effectively enforces the desired security requirements. The apparent…
Expand
2002
2002
Formal Requirements Engineering Using Observer Models
Andreas Nonnengart
,
Georg Rock
,
W. Stephan
Fundamental Approaches to Software Engineering
2002
Corpus ID: 12070273
Today we are confronted with an enormous variety of formal software engineering approaches and tools. Among these are many that…
Expand
Review
2001
Review
2001
The Common Authentication Protocol Specification Language (CAPSL) Integrated Protocol Environment
G. Denker
,
J. Millen
,
Harald Rueess
2001
Corpus ID: 60321613
Abstract : CAPSL is a Common Authentication Protocol Specification Language intended to support analysis of cryptographic…
Expand
Review
2000
Review
2000
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk
J. Millen
Workshop on Rewriting Logic and Its Applications
2000
Corpus ID: 5652277
Review
1999
Review
1999
Advances in the data ̄ ow computational model
Walid A. Najjara
,
Edward A. Leeb
,
Guang R. Gaoc
1999
Corpus ID: 15366320
The data ̄ow program graph execution model, or data ̄ow for short, is an alternative to the stored-program (von Neumann…
Expand
1998
1998
A HOL Formalization of CAPSL Semantics
S. Brackin
1998
Corpus ID: 8675075
This paper describes a state-based Higher Order Logic theory of protocol failure that formalizes the semantics of the Common…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE