Results 11 to 20 of about 64,504 (308)

SPI

open access: yes, 2023
The SPI_index file provides data on SPI overall and component scores for 181 countries during 2004 ...
Umar Serajuddin (13768450)   +3 more
core   +1 more source

Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]

open access: yes, 2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core   +1 more source

A hierarchy of SPI activities for software SMEs: results from ISO/IEC 12207-based SPI assessments [PDF]

open access: yes, 2012
In an assessment of software process improvement (SPI) in 15 software small- and –medium-sized enterprises (software SMEs), we applied the broad spectrum of software specific and system context processes in ISO/IEC 12207 to the task of examining SPI in ...
Paul Clarke   +11 more
core   +1 more source

Identification and Characterization of Marine Microorganisms by Tandem Mass Spectrometry Proteotyping

open access: yesMicroorganisms, 2022
The vast majority of marine microorganisms and their functions are yet to be explored. The considerable diversity they encompass is an endless source of knowledge and wealth that can be valued on an industrial scale, emphasizing the need to develop rapid
Clément Lozano   +5 more
doaj   +1 more source

Spies!

open access: yesAssociation of Marketing Theory and Practice Proceedings, 2018
This article comprises two distinct components. First is the delineation of a typology that encompasses the various approaches by which marketers can track the behavior of an individual in the marketplace. A total of 17 broad approaches were identified.
Fullerton, Sam, Brooksbank, Roger
  +4 more sources

Evaluation of the Limit of Detection of Bacteria by Tandem Mass Spectrometry Proteotyping and Phylopeptidomics

open access: yesMicroorganisms, 2023
Shotgun proteomics has proven to be an attractive alternative for identifying a pathogen and characterizing the antimicrobial resistance genes it produces. Because of its performance, proteotyping of microorganisms by tandem mass spectrometry is expected
Charlotte Mappa   +3 more
doaj   +1 more source

Revolutionaries and Spies

open access: yesDiscrete Mathematics, 2012
Let $G = (V,E)$ be a graph and let $r,s,k$ be positive integers. "Revolutionaries and Spies", denoted $\cG(G,r,s,k)$, is the following two-player game. The sets of positions for player 1 and player 2 are $V^r$ and $V^s$ respectively. Each coordinate in $p \in V^r$ gives the location of a "revolutionary" in $G$.
David M. Howard 0002, Clifford D. Smyth
openaire   +3 more sources

SPI-1 regulates the secretion of IpaJ.

open access: yes, 2022
(A) Immunoblotting analysis of secreted IpaJ proteins isolated from cultured LB medium supernatant. The mutants SPI-1 (ΔSPI-1), SPI-2 (ΔSPI-2), SPI-19(ΔSPI-19) or SPI-1 and SPI-2 (ΔSPI-1ΔSPI-2) were used to detect whether the secretion of IpaJ is ...
Dan Gu (2191075)   +6 more
core   +1 more source

Integration of SVR and GPR Algorithms with Wavelet in Modeling Monthly Drought Forecasting [PDF]

open access: yesمهندسی منابع آب, 2023
Introduction: Drought is one of the natural hazards that have random and nonlinear behavior due to its various climatic parameters. SPI index is the most common index extracted from rainfall that has been used in modeling drought by various researchers ...
Jahanbakhsh Mohammadi,   +4 more
doaj   +1 more source

Harnessing ISO/IEC 12207 to examine the extent of SPI activity in an organisation [PDF]

open access: yes, 2010
The quality of the software development process directly affects the quality of the software product. To be successful, software development organisations must respond to changes in technology and business circumstances, and therefore software process ...
Paul Clarke   +7 more
core   +1 more source

Home - About - Disclaimer - Privacy