Developing secure-critical systems is difficult and there are many well-known examples of security weaknesses exploited in practice. Thus a sound methodology supporting secure systems development is urgently needed. Our aim is to aid the difficult task of developing security-critical systems in an approach based on the notation of the Unified Modeling Language. We present the extension UMLsec o...

Developing security-critical systems is difficult and there are many well-known examples of security weaknesses exploited in practice. Thus a sound methodology supporting secure systems development is urgently needed. Our aim is to aid the difficult task of developing security-critical systems in a formally based approach using the notation of the Unified Modeling Language. We present the exten...

We show that a bounded domain in Euclidean space is W1,1-extension if and only it strong BV-extension domain. In the planar case, domains are shown to be exactly those for which set ∂Ω∖⋃iΩ‾i purely 1-unrectifiable, where Ωi open connected components of R2∖Ω‾.

  The study examined the role of information communication technologies in extension delivery of Agricultural Transformation Agenda (ATA) of Nigeria.  The objectives were to: examine the agricultural extension delivery of ATA; identify ICTs relevant in agricultural extension and application of ATA; examine roles of ICTs in extension of ATA and identify constraints to the use of ICTs in extensio...

let a be a unital r-algebra and m be a unital a-bimodule. it is shown that every jordan derivation of the trivial extension of a by m, under some conditions, is the sum of a derivation and an antiderivation.

This study compared farmers’ rating of extension effectiveness in technology dissemination to the level of adoption. In conducting the study, 180 farmers participating in extension programme in Cross-River State were randomly selected through multi-stage random sampling technique. The data collected through a structured questionnaire were analyzed using the t-test of significance of difference ...

Agricultural Extension services are among the most important rural services in developing countries. The services are considered to be a key driver of technological change and productivity growth in agriculture. In Kenya, like in the rest of the developing economies, agricultural extension has largely been delivered through supply–driven approaches. Due to perceived low impact of agricultural e...

this descriptive cross sectional census study identified the perceptions of extension and outreach employees of iowa state university in the united states about job autonomy and control after two years of a major restructuring. employees perceived autonomy and control over expressing views and ideas about their work and spending time on the job but perceived little influence over budget allocat...

abstract the purpose of this study is investigating factors affect on probability of willingness to pay sugar beet farmers for taking of agricultural extension services. logit model was used for cross sectional data in 2009 between 150 sugar beet farmers that were selected by random sampling in the city of mashhad. in addition, tobit model was used to analyse factors affecting on willingness to...