This paper focuses on the interaction between two components: base and extension. Specifically, the extension refines or modifies the base, i.e. the interferences of the base and extension execution paths occur. Unlike traditional modular model checking methods which treat systems as static, a new method of model checking, called open incremental model checking (OIMC) in our opinion, is propose...

The terms component and component framework are currently used di erently depending on context and products Di erent understandings can be found for instance with Delphi OpenDoc and Oberon F We believe that the purpose of software components is to create a compo nent market The basic technology for this are independently extensible soft ware systems Independently extensible software in turn req...

Accurate rotation of the femoral component in total knee arthroplasty is important for normal patella tracking, symmetrical patellofemoral joint contact, neutral varus-valgus positioning in flexion, correct rotational alignment of the tibia in extension and the avoidance of anterior femoral notching . Internal rotation of the femoral component causes a shift into valgus alignment with flexion a...

targeted extension for heterogeneous farming systems is a challenge in developing countries. farm type identification and characterization based on estimates of income from different farm components allows simplifying diversity in farming systems. use of multivariate statistical techniques, such as principal component analysis (pca) and cluster analysis (ca), help in such farm typology delineat...

Qian Xie 1,*, Yanbin Zhang 1, Yanan Yu 1, Gangquan Si 1, Ningning Yang 2 and Longfei Luo 1 1 State Key Laboratory of Electrical Insulation and Power Equipment, School of Electrical Engineering, Xi’an Jiaotong University, Xi’an 710049, China; [email protected] (Y.Z.); [email protected] (Y.Y.); [email protected] (G.S.); [email protected] (L.L.) 2 Institute of Water...

Extension of components should be consistent in the sense that the extending component does not introduce any unexpected behaviour. We formulate requirements which allow consistent extension of components in presence of explicit invariants. We concentrate on the issue of extension consistency with forwarding as the reuse mechanism, and discuss the additional problems which require solution when...

BACKGROUND Total hip replacement (THR) is considered to be the most effective treatment option for advanced osteoarthritis of the hip in large breed dogs. However, a proportion of post-THR patients suffer prosthesis dislocation for various reasons, which may be addressed by a constrained acetabular prosthesis design. The study proposed a new THR with constrained acetabular component that aimed ...