Results 221 to 230 of about 1,419,653 (264)
Some of the next articles are maybe not open access.
Proving Critical Properties of Simulink Models
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016Modern cyber-physical systems place ever-increasing reliance on high-assurance software. Recent high-profile safety and security incidents directly attributable to software point to a failure to develop sufficient assurance of software correctness through verification and validation.
Ashlie B. Hocking +3 more
openaire +1 more source
Proving properties of a safety-critical system
Software Engineering Journal, 1991The paper describes the FOREST approach to formal requirements specification and particularly the role of an automated theorem prover in validating specifications written in MAL, the FOREST logic. The MAL prover uses a tableau method for constructing its proofs, with rules to handle the action modalities and quantification of MAL.
Will Atkinson, Jim Cunningham
openaire +1 more source
Hamiltonian properties of domination‐critical graphs
Journal of Graph Theory, 1990AbstractIn this paper we show that every connected, 3‐γ‐critical graph on more than 6 vertices has a Hamiltonian path.
openaire +1 more source
Critical Properties of a Quantum Hierarchical Model
Letters in Mathematical Physics, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Albeverio, S. +2 more
openaire +3 more sources
Properties of Critical Infrastructures
2011Physical-engineered critical infrastructures (CIs) are characterized as large scale, spatially distributed, complex networks—either open or closed. According to Duenas-Osorio and Vemuru (2009), these systems are made of “a large number of interacting components (real or virtual), show emergent properties difficult to anticipate from the knowledge of ...
Wolfgang Kröger, Enrico Zio
openaire +1 more source
Critical properties of a superdiffusive epidemic process
Physical Review E, 2013We introduce a superdiffusive one-dimensional epidemic process model on which infection spreads through a contact process. Healthy (A) and infected (B) individuals can jump with distinct probabilities D(A) and D(B) over a distance ℓ distributed according to a power-law probability P(ℓ)[proportionality]1/ℓ(μ).
da Silva M. B +5 more
openaire +3 more sources
Critical Properties of Helimagnets
Europhysics Letters (EPL), 1988We show for the first time by extensive Monte Carlo simulations the nature of the phase transition in body-centred tetragonal helimagnets with both XY and Heisenberg spins. In the XY case, evidence of a first-order transition associated with the loss of helical ordering is found in addition to a second-order transition due to the breaking of basal ...
openaire +1 more source
A critical review of correlations for the critical properties of defined mixtures
AIChE Journal, 1973AbstractAn extensive critical evaluation of available correlations for predicting critical properties of binary defined hydrocarbon as well as some multicomponent hydrocarbon and hydrocarbon‐nonhydrocarbon mixtures is presented using all available literature data.
Calvin F. Spencer +2 more
openaire +1 more source
A critical evaluation of methods for the prediction of critical properties of hydrocarbons
AIChE Journal, 1973AbstractA critical evaluation and modification of the available methods for the estimation of critical properties of pure hydrocarbons was undertaken to determine the most accurate method which has general applicability with minimum input data. As a result of the study, the method of Nokay as modified by the authors is recommended for the estimation of
Calvin F. Spencer, Thomas E. Daubert
openaire +1 more source
Methods and Tools for the Verification of Critical Properties
1992This paper discusses methods for the formal treatment of critical systems. The discussion is based on experience at ICL in the application of formal methods to the development of highly assured secure systems. Problems arising in the use of the standard paradigm for specification and refinement in Z are identified and discussed.
openaire +1 more source