Results 211 to 220 of about 1,458,255 (265)

An Approach to Protocol Modeling and Validation

39th Annual Simulation Symposium (ANSS'06), 2006
This paper describes an approach to modeling and analysis of complex time-dependent systems specified by modular time Petri nets (TPNs). The approach is supported by a Java tool TPN Designer - which permits visual modeling, debugging and discrete-event simulation.
Cicirelli F, FURFARO, Angelo, NIGRO, Libero   +2 more
openaire   +2 more sources

An approach for the maintenance of input validation

Information and Software Technology, 2008
Input validation is the enforcement of constraints that an input must satisfy before it is accepted in a program. It is an essential and important feature in a large class of systems and usually forms a major part of a data-intensive system. Currently, the design and implementation of input validation are carried out by application developers.
Hui Liu, Hee Beng Kuan Tan
openaire   +1 more source

An approach to cyclic protocol validation

Computer Communications, 1996
In this paper, the notion of fair reachability is generalized to cyclic protocols with more than two processes, where all the processes in a protocol are connected via a unidirectional ring and each process might contain internal transitions and can be non-deterministic.
Hong Liu 0004, Raymond E. Miller
openaire   +1 more source

An objective approach to cluster validation

Pattern Recognition Letters, 2006
Cluster validation is a major issue in cluster analysis. Many existing validity indices do not perform well when clusters overlap or there is significant variation in their covariance structure. The contribution of this paper is twofold. First, we propose a new validity index for fuzzy clustering.
Bouguessa, Mohamed, Wang, Shengrui, Sun, Haojun   +2 more
openaire   +2 more sources

Probabilistic validation approach for clustering

Pattern Recognition Letters, 1995
The suggested approach combines the phases of cluster validity and cluster tendency inside the scope of the clustering algorithm. The algorithm is based on a probabilistic approach and is invariant to the scaling of features. The result is an efficient algorithm whose performance is demonstrated on real and synthetic data.
Michael Har-Even, Victor L. Brailovsky
openaire   +1 more source

A Rigorous Approach to Requirements Validation

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006
Visual notations such as the UML are popularly used by practitioners to model different aspects of a software system. In earlier work, we presented a semantics of UML object diagrams to facilitate visual modeling of requirements for business systems.
Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh   +2 more
openaire   +1 more source

A practical approach to content validation

Applied Nursing Research, 1991
Often researchers are unable to find instruments to estimate variables they want to investigate. Once the variable of interest has been defined and operationalized, demonstrating content validity is the next step in the instrument development process.
E M, Slocumb, F L, Cole
openaire   +2 more sources

Validating requirements: the evolutionary approach

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241), 2002
Industrial practices in requirements engineering do not give the right place to formal methods. Two main reasons explain why such a failure arises. First of all, formal methods have not promoted a dedicated SLC (software life cycle) which should have been easily integrated within the upper phases of the traditional V-like or Waterfall-like model.
Michel Lemoine, D. Marre, P. Thuillier, J.-L. Wippler   +3 more
openaire   +1 more source

Anhedonia: A Construct Validation Approach

Journal of Personality Assessment, 1983
Investigated the convergent and discriminant validity of the anhedonia construct using a multivariable-multimethod design. The 100 subjects displayed a wide range of scores on the Physical Anhedonia Scale, many comparable to the original validation sample of diagnosed schizophrenics.
C A, Peterson, R M, Knudson
openaire   +2 more sources

An approach to health data validation

Computers and Biomedical Research, 1980
Abstract To identify occupational disease and injury patterns, case records from existing computer systems were assembled into a data base. A single computer program detects errors in all of these diversly formatted files. To detect errors in a data file (i.e., to validate the data), the user supplies specifications defining a set or range of ...
L B, Wolfenson, N, Worth
openaire   +2 more sources