PATH: Person Authentication using Trace Histories

In this paper, a solution to the problem of Active Authentication using trace histories is addressed. Specifically, the task is to perform user verification on mobile devices using historical location traces of the user as a function of time. Considering the movement of a human as a Markovian motion, a modified Hidden Markov Model (HMM)-based solution is proposed. The proposed method, namely the Marginally Smoothed HMM (MSHMM), utilizes the marginal probabilities of location and timing information of the observations to smooth-out the emission probabilities while training. Hence, it can efficiently handle unforeseen observations during the test phase. The verification performance of this method is compared to a sequence matching (SM) method , a Markov Chain-based method (MC) and an HMM with basic Laplace Smoothing (HMM-lap). Experimental results using the location information of the UMD Active Authentication Dataset-02 (UMDAA02) and the GeoLife dataset are presented. The proposed MSHMM method outperforms the compared methods in terms of equal error rate (EER). Additionally, the effects of different parameters on the proposed method are discussed.Comment: 8 pages, 9 figures. Best Paper award at IEEE UEMCON 201

Pengaruh Gaya Kepemimpinan dan Disiplin Kerja terhadap Kinerja Karyawan BRI Syariah Kantor Cabang Pembantu Genteng Banyuwangi Jawa Timur

Perkembangan  perbankkan tidak hanya ditentukan dari keberhasilan dalam mengelola keuangan semata, tapi SDM (Sumber Daya Manusia) juga akan berpengaruh terhadap perkembangan perbankkan.  Agar aktivitas perusahaan berjalan dengan baik, maka perusahaan harus memiliki karyawan yang berpengetahuan dan berketerampilan tinggi serta usaha untuk mengelola perusahaan seoptimal mungkin sehingga kinerja karyawan dapat meningkat. Gaya kepemimpinan dan disiplin karyawan merupakan faktor-faktor yang akan mempengaruhi kinerja karyawan. Baik buruknya gaya kepemimpinan dalam perusahaan akan berpengaruh terhadap kinerja karyawan dan tinggi rendahnya disiplin kerja juga akan berpengaruh terhadap kinerja karyawan. Penelitian ini menggunakan pendekatan kuantitatif. Sampel yang diambil ialah sampling jenuh sebanyak 14 orang. Metode pengumpulan data yang digunakan dalam penelitian ini adalah data primer yang diperoleh dari penyebaran angket atau koesioner. Angket atau koesioner digunakan untuk memperoleh data tentang gaya kepemimpinan, disiplin kerja dan kinerja karyawan.Yang menjadi tujuan peneliti ini adalah untuk mengetahui ada tidaknya pengaruh gaya kepemimpinan dan disiplin kerja terhadap kinerja karyawan BRI Syariah KCP Genteng. Dengan hipotesa: Ha: diduga ada pengaruh yang signifikan antara pengaruh Gaya Kepemimpinan dan Disiplin Kerja Terhadap Kinerja Karyawan BRI Syariah KCP Genteng dan Ho: diduga tidak ada pengaruh yang signifikan antara pengaruh Gaya Kepemimpinan dan Disiplin Kerja Terhadap Kinerja Karyawan BRI Syariah KCP Genteng. Selanjutnya untuk mengetahui apakah hasil yang dicapai signifikan atau tidak, maka harga Fhitung dibandingkan dengan F tabel, jika Fhitung>Ftabel maka Ho ditolak artinya signifikan dan jika F hitung < F tabel maka Ho diterima artinya tidak signifikan.Teknik alat analisis data yang digunakan dalam penelitian ini yaitu menggunakan analisis regresi berganda. Dari hasil analisis ini dengan taraf signifikan α = 0,05 dapat diketahui bahwa Fhitung sebesar 12,865 kemudian membandingkan dengan Ftabel sebesar 3,98, maka Fhitung >Ftabel yang berarti signifikan.  Dengan membandingkan Fhitung dengan Ftabel maka dapat disimpulkan bahwa “Ada pengaruh yang signifikan antara Gaya Kepemimpinan (X1) dan Disiplin Kerja (X2) Terhadap Kinerja Karyawan (Y) BRI Syariah KCP Gentengâ€, Dengan demikian hipotesis Ha yang diajukan diterima sedangkan hipotesis Ho ditolak

Proactive SLA negotiation for service based systems: Initial implementation and evaluation experience

This paper describes a framework that we have developed to integrate proactive SLA negotiation with dynamic service discovery to provide cohesive runtime support for both these activities. The proactive negotiation of SLAs as part of service discovery is necessary for reducing the extent of interruptions during the operation of a service based system when the need for replacing services in it arises. The developed framework discovers alternative candidate constituent services for a service client application, and negotiates/agrees but does not activate SLAs with these services until the need for using a service becomes necessary. A prototype tool has been implemented to realize the framework. This prototype is discussed in the paper along with the results of the initial evaluation of the framework

Human Development in a Changing World

human development, growth, financing development, equity, reform

ECONOMIC REFORMS, HUMAN CAPITAL, AND ECONOMIC GROWTH IN INDIA AND SOUTH KOREA: A COINTEGRATION ANALYSIS

By employing a multivariate time series model, this study advances theoretical and empirical research on the role of economic reforms and human capital accumulation in the post-reform economic growth. We construct two indexes £­a human capital index and a composite economic reform index£­ and perform a cointegration analysis of a long-run equilibrium growth path in India and South Korea twelve years after the implementation of reform. The significant positive effect of human capital accumulation is revealed in both India and South Korea. The impact of economic reforms is found to be heterogeneous across countries: the effect is positive, significant, and sizable in South Korea, while it is negative and relatively small in India. This result is suggestive of different degrees of efficiency of reform measures implementation in two countries.Economic Growth, Human Capital, Economic Reforms, India, South Korea

Formal certification and compliance for run-time service environments

With the increased awareness of security and safety of services in on-demand distributed service provisioning (such as the recent adoption of Cloud infrastructures), certification and compliance checking of services is becoming a key element for service engineering. Existing certification techniques tend to support mainly design-time checking of service properties and tend not to support the run-time monitoring and progressive certification in the service execution environment. In this paper we discuss an approach which provides both design-time and runtime behavioural compliance checking for a services architecture, through enabling a progressive event-driven model-checking technique. Providing an integrated approach to certification and compliance is a challenge however using analysis and monitoring techniques we present such an approach for on-going compliance checking

A monitoring approach for runtime service discovery

Effective runtime service discovery requires identification of services based on different service characteristics such as structural, behavioural, quality, and contextual characteristics. However, current service registries guarantee services described in terms of structural and sometimes quality characteristics and, therefore, it is not always possible to assume that services in them will have all the characteristics required for effective service discovery. In this paper, we describe a monitor-based runtime service discovery framework called MoRSeD. The framework supports service discovery in both push and pull modes of query execution. The push mode of query execution is performed in parallel to the execution of a service-based system, in a proactive way. Both types of queries are specified in a query language called SerDiQueL that allows the representation of structural, behavioral, quality, and contextual conditions of services to be identified. The framework uses a monitor component to verify if behavioral and contextual conditions in the queries can be satisfied by services, based on translations of these conditions into properties represented in event calculus, and verification of the satisfiability of these properties against services. The monitor is also used to support identification that services participating in a service-based system are unavailable, and identification of changes in the behavioral and contextual characteristics of the services. A prototype implementation of the framework has been developed. The framework has been evaluated in terms of comparison of its performance when using and when not using the monitor component