Results 261 to 270 of about 25,005,250 (309)
Some of the next articles are maybe not open access.
A Formal Analysis of Relevance
Erkenntnis, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Delgrande, James P. +1 more
openaire +2 more sources
Formal Analysis of Memory Requirements
Requirements Engineering, 1999Shared memory provides a convenient programming model for parallel applications. However, such a model is provided on physically distributed memory systems at the expense of efficiency of execution of the applications. For this reason, applications can give minimum consistency requirements on the memory system, thus allowing alternatives to the shared ...
Hussak, Walter, Keane, John A.
openaire +3 more sources
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology, 1998Real-time extensions to structured analysis (SA/RT) are popular in industrial practice. Despite the large industrial experience and the attempts to formalize the various “dialects,” SA/RT notations are still imprecise and ambiguous. This article tries to identify the semantic problems of the requirements definition notation defined by Hatley and ...
Luciano Baresi, Mauro Pezzè
openaire +2 more sources
2018
In this paper we propose a new lens through which to observe the information contained in a formal context. Instead of focusing on the hierarchical relation between objects or attributes induced by their incidence, we focus on the “unrelatedness” of the objects with respect to those attributes with which they are not incident. The crucial order concept
Francisco J. Valverde-Albacete +4 more
openaire +2 more sources
In this paper we propose a new lens through which to observe the information contained in a formal context. Instead of focusing on the hierarchical relation between objects or attributes induced by their incidence, we focus on the “unrelatedness” of the objects with respect to those attributes with which they are not incident. The crucial order concept
Francisco J. Valverde-Albacete +4 more
openaire +2 more sources
Cybernetics and Systems, 2004
There are two main traditions in Western philosophy: a line of dualistic arguments resting on the form–matter dichotomy and the long historical accumulation of ideas related to it, and a line of skeptical arguments resting on an expanding idea of experience and an accumulation of ways to produce and reproduce it.
openaire +1 more source
There are two main traditions in Western philosophy: a line of dualistic arguments resting on the form–matter dichotomy and the long historical accumulation of ideas related to it, and a line of skeptical arguments resting on an expanding idea of experience and an accumulation of ways to produce and reproduce it.
openaire +1 more source
A formalization of cluster analysis
Pattern Recognition, 1973Abstract This paper presents a formalization of the concept of cluster analysis. It begins with an intuitive description of clustering, and discusses the separation of the measurement problem from the clustering problem. It develops the nature of the elements to be clustered, the nature of the possible clusters, and the nature of the clustering ...
openaire +2 more sources
The Formalization and Analysis of a Communications Protocol
IFAC Proceedings Volumes, 1991Abstract The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS.
Glenn Bruns, Stuart Anderson 0001
openaire +2 more sources