object-oriented formal methods
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... Most of Arabic handwriting recognition in the literature has focused only on recognizing offline script, and few of research take online case. So it's still remains as an active area of research. however there is a lack ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... "Automatic Control Theory", many colleges and universities Electric Automation class view it as a professional basic course, occupies a very important position in teaching .The course of the basic concepts of the ...
6
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... In the groupware system, inevitable conflicts are certainly expected when several people work within the same. For instance two people might feel like moving the same objects in two different ways. In this case, there ...
5
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... This paper is organized as follows: In section 2, we introduce a description of days-off scheduling problem and we provide a formulation of this problem as 0-1 quadratic programming (QP . In ) section 3, we apply two ...
9
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... The above table demonstrations that the total power loss occurred for normal load condition is 10.809 MW. Next sudden raise in the load power in bus 5, the total power loss is improved to 14.42 MW and then using proposed ...
10
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... various methods; for instance, hidden functionality in regular programs, attacks against known software vulnerabilities, drive-by-download from unsafe web sites and ...
11
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... an object that do not contribute to its essential characteristics and showing only the external interface; typically, the structure of an object is hidden, as well as the implementation of its ...
10
On Merging Object-Oriented Formal Specifications
... OO formal specifications was proposed in this ...both formal and OO methods, which makes the proposed merging approach useful for a wide range of ...
9
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... There are many design methods of continuous- time filter, such as RC filters, MOSFET-C filters, Gm-C filters, Gm-C-the OP-AMP filter. In such many filters, there are three main types of high- performance ...
5
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... However, there are a couple of limits of CAD/CAE integration process, since the simplification process needs information from the feature tree, so it should get the feature tree information by algorithm, the ...
6
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... based directional wavelets dictionary is proposed by Xiaobo Qu et al. to reconstruct MR images from highly under-sampled k-space data [7]. However analytic dictionaries are built by some general mathematical ...
6
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... two methods to work out forward kinematics solution respectively, and all results can be drawn corresponding to the three- dimensional model to further verify the correctness of the ...
6
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... some methods which can be used for resisting multipath effect on transmission signal, such as load balancing, multiuser detection, and the space multiplexing technology, all these methods depend on wireless ...
7
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... The test methods of time series long memory: empirical discriminates method based on the sample autocorrelation, R/S test, MR/S test, GYH test etc. R/S test is more sensitive on short memory of time series, and it ...
7
A survey on formal, object-oriented program development approaches
... of object-oriented programming approaches, there is a growing interest in utilizing object-oriented concepts, such as encapsulation and reuse, when applying formal ...existing ...
17
Towards a formal method for distributed object oriented systems
... discussed is that Oompa has been designed to be a close fit to the target systems we are considering. Firstly, the model of concurrency matches that of the target systems: there is no limit on the number of concurrent ...
375
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... First, the data mining algorithm design and programming is a need to seriously consider, only select the appropriate algorithm, and take appropriate parallel strategy, in order to improve efficiency. Parameter setting ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... Articulated dump truck is a kind of off-highway vehicle with an articulated body, which allows front body rotate independently relative to rear body. Articulated dump truck is a 6x6 drive vehicle with 3 drive axles [1, ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... the methods based on lexicon, syntax and rules, statistics-based method was presented which relies on statistical information, such as word and/or character occurrence ...statistics-based methods use N-gram ...
8
A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS
... prediction methods can make full use of the information acquired by each single prediction method, reducing randomness and improving prediction accuracy significantly ...
9