Results 271 to 280 of about 25,005,250 (309)
Some of the next articles are maybe not open access.
Formal concept analysis of multi-scale formal context
Journal of Ambient Intelligence and Humanized Computing, 2020The case that attributes have a single value is considered in the classical formal concept. However, real-life data involve multi-level attribute values, which means that attributes have different values on different scales. In order to deal with multi-level attributes, we introduce the concept of multi-scale formal context in this paper.
Dongxiao Chen, Jinjin Li, Rongde Lin
openaire +2 more sources
Faster Analysis of Formal Specifications
2004When animating a formal model for validation or test generation purposes, scalability is a key issue. This paper describes a graph-based representation for the operations of state-based formal models. This representation makes it possible to handle large models efficiently and perform a variety of transformations, such as splitting an operation into ...
Fabrice Bouquet +3 more
openaire +2 more sources
On Formal Definition and Analysis of Formal Verification Processes
2014This paper suggests that there is considerable value in creating precise and formally-defined specifications of processes for carrying out formal verification, and in then subjecting those processes to rigorous analysis, and using the processes to guide the actual performance of formal verification.
openaire +2 more sources
Formal Modelling and Analysis of AODV
2013 18th International Conference on Engineering of Complex Computer Systems, 2013Wireless systems have a wide range of applications recently. To explore complex features of such systems, formalisms are proposed to specify and reason about them. This paper presents a case study of routing protocol in wireless networks. We formalize the route discovery process of AODV routing protocol using Object-Z.
Xiaofeng Wu +2 more
openaire +1 more source
1993
Abstract We shall now deal with the formalization of event history analysis. This formalization extends the methods developed by biomathematicians for the analysis of mortality, in the presence of restricted samples, to the ‘analysis of the durations of stay’, which does not assume that the studied event is death.
Daniel Courgeau, Leliévre Éva
openaire +1 more source
Abstract We shall now deal with the formalization of event history analysis. This formalization extends the methods developed by biomathematicians for the analysis of mortality, in the presence of restricted samples, to the ‘analysis of the durations of stay’, which does not assume that the studied event is death.
Daniel Courgeau, Leliévre Éva
openaire +1 more source
On the wavelet formalism for multifractal analysis
Chaos: An Interdisciplinary Journal of Nonlinear Science, 2001It is proved that the multifractal characterizations of diametrically regular measures that are provided by the wavelet and by the Hentschel–Procaccia formalisms are identical.
Murguía, J. S., Urías, Jesús
openaire +2 more sources
On the Formal Analysis of Normative Conflicts
Information & Communications Technology Law, 2000The study of the formal attributes of legal systems such as consistency, completeness, independence and generality is of special interest in legal philosophy and legal theory. Apart from concern with the content of the law, these formal attributes constitute desiderata without which a legal system is considered deficient.
Elhag, A.A.O. +2 more
openaire +3 more sources
Formal approach to scenario analysis
IEEE Software, 1994Scenarios offer promise as a way to tame requirements analysis, but progress has been impeded by the lack of a systematic way to analyze, generate, and validate them. The authors propose such a method and apply it to a simple PBX system. Their method has a formal mathematical base, generates precise scenarios, accommodates change, and keeps users ...
Pei Hsia +5 more
openaire +2 more sources
Formal concept analysis in intuitionistic fuzzy formal context
2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010This paper mainly studies the formal concept analysis in an intuitionistic fuzzy formal context. The primitive notions in concept lattice theory are extended to the intuitionistic fuzzy environment. According to this view, the notion of crisp-intuitionistic fuzzy concept is proposed which originates from an defined extent operator and an intent ...
openaire +2 more sources
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022Shang-Wei Lin, Palina Tolmach
exaly