The foundation of Model Driven Architecture (MDA) approach is creation of models. MDA life cycle begins from Computation Independent Model (CIM) and ends with code. Object Management Group (OMG) explains various models and their relations, but it does not specify clearly how to create these models and which models to use for representation them. In this paper, we focus on CIM level. CIM is the ...

Considerable progress has been made over the last 30 years in the United States to develop systems that describe protein requirements and protein adequacy of diets for dairy cows. Ration formulation systems have moved from balancing diets for crude protein (CP) and digestible protein to the use of nutritional models (e.g., NRC, 2001; CNCPS, CPM-Dairy, and Amino Cow) that recognize that the cow ...

.................................................................................................................................................................2 BACKGROUND ..........................................................................................................................................................2 PROBLEM STATEMENT.....................................................

We describe work in progress on a new approach, and associated tools, for checking proofs produced by SMT solvers. The approach extends our previous work on LFSC (“Logical Framework with Side Conditions”), a meta-language in which different proof systems for different SMT solvers can be declaratively specified. In this paper, we show how the LFSC proof checker can delegate the checking of propo...

Adaptive software is used in situations where either the environment is unpredictable or the system is open. This paper presents a methodology named ADELFE, which is led by the Rational Unified Process (RUP) but is devoted to software engineering of adaptive multi-agent systems. ADELFE guarantees that the software is developed according to the AMAS theory. We focus this presentation on the addi...

[Purpose] The purpose of this study was to investigate the effect of the timing of leg support elevation on the horizontal force acting on the buttocks in a reclining wheelchair. [Subjects and Methods] The participants were 17 healthy men. Two experimental conditions were tested: the leg-down and leg-up conditions. The back support was reclined at increasing angles, from the initial upright pos...

Management of project planning, monitoring, scheduling, estimation and risk management are critical issues faced by a project manager during development life cycle of software. In RUP, project management is considered as core discipline whose activities are carried in all phases during development of software products. On other side service monitoring is considered as best practice of SOA which...