Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,081,336 papers from all fields of science
Search
Sign In
Create Free Account
Information Services Procurement Library
Known as:
Acquisition Process (ISPL)
, ISPL
, Managing Risks and Planning Deliveries (ISPL)
The Information Services Procurement Library (ISPL) is a best practice library for the management of Information Technology related acquisition…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
ISO/IEC 12207
ITIL
Procurement
Risk management
Broader (1)
Method engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
An Empirical Study of the Improved SPLD Framework using Expert Opinion Technique
M. Alam
,
Asif Irshad Khan
,
Aasim Zafar
2017
Corpus ID: 55090043
Due to the growing need for high-performance and low-cost software applications and the increasing competitiveness, the industry…
Expand
2010
2010
Modeling and Verifying Agent-Based Communities of Web Services
W. Wan
,
J. Bentahar
,
A. B. Hamza
International Conference on Industrial…
2010
Corpus ID: 8053500
Communities of web services are virtual spaces that can dynamically gather different web services having complementary…
Expand
2009
2009
Verification of autonomous underwater vehicles using formal logic
L. Molnar
,
S. Veres
European Control Conference
2009
Corpus ID: 24381253
Formal systems verification of autonomous underwater vehicles (AUV) is addressed in this paper. Verification includes hybrid…
Expand
2009
2009
Compilation Method for the Verification of Temporal-Epistemic Properties of Cryptographic Protocols
Ioana Boureanu
,
Mika Cohen
,
A. Lomuscio
2009
Corpus ID: 18370101
We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language…
Expand
2009
2009
Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach
A. Lomuscio
,
M. Solanki
International Conference on Advanced Information…
2009
Corpus ID: 1567810
We investigate the mapping of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker…
Expand
2007
2007
INVESTIGATION OF A TWO-PARAMETER SYSTEM OF EVALUATING IMPACT NOISE INSULATION
John Loverde
,
Wayland Dong
2007
Corpus ID: 4895832
Impact insulation is currently measured using a tapping machine and described with a single number metric, L’n,w defined in ISO…
Expand
2004
2004
Engaging displaced citizens : an examination of NGO refugee programming on the Thai-Burmese border
H. Melanson
2004
Corpus ID: 154252754
Engaging Displaced Citizens: An Examination of NGO Refugee Programming on the Thai-Burmese Border Holly Melanson July 2004…
Expand
1971
1971
The ISPL Language Specifications
R. Balzer
1971
Corpus ID: 60414016
Abstract : The report describes the syntax and semantics of the Incremental System Programming Language, designed for use on its…
Expand
1971
1971
The ISPL Machine: Principles of Operations
R. Balzer
1971
Corpus ID: 60053932
Abstract : The report is the first of a series conceptually describing the Incremental System Programming Language computing…
Expand
1971
1971
The ISPL Basic File System and File Subsystem for Support of Computing Research
E. Harslem
,
J. Heafner
1971
Corpus ID: 58632793
Abstract : The report describes the functional specification of the Basic File System and one of several file subsystems…
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
or Only Accept Required