Towards Specialization of the Contract-Aware Software Development Process
|
|
- Griselda Hart
- 8 years ago
- Views:
Transcription
1 Towards Specalzaton of the Contract-Aware Software Development Process Anna Derezńska, Przemysław Ołtarzewsk Insttute of Computer Scence, Warsaw Unversty of Technology, Nowowejska 5/9, Warsaw, Poland Abstract. The contract-based software mplementaton mproves accuracy and verfcaton capabltes of busness nformaton systems. Ths paper promotes contract dentfcaton n early phases of the software development and defnng contracts wthn models. Desgn and mplementaton artfacts that are responsble for system functonalty and system constrants are transformed durng the consecutve development phases. Combnaton of the Model Drven Engneerng paradgm and Desgn by Contract deas consttutes the Contract Aware Software Development process (CASD). The approach s specalzed for system modelng n UML, contracts specfed at model level n Object Constrant Language (OCL), and the fnal mplementaton n the C# language. The specalzed process s supported by the tool transformng the models wth assocated contracts nto the correspondng programs wth contracts at the code level. Keywords: software development process, Model Drven Engneerng, UML, contracts, OCL Introducton An apparent dscrepancy between a system specfcaton and ts mplementaton s a common problem arsen n busness systems. A tendency to overlook system constrants can be especally observed durng requrement analyss and software modelng and desgn. The constrants are often modfed, as n the evoluton of enterprse systems. These error-prone phenomena result n ncrease of the number of system faults and hgh costs of a software correcton and mantenance. The answer to these problems lays n usng contracts through the whole software development process, ncludng especally modelng actvtes. Contracts can be understood n general as condtons that must be true for the whole lfe tme of a system unt, or be satsfed at certan tme ponts of a unt behavor. A unt s represented by dfferent knds of models or software descrptons. Desgn-by-contract (DbC TM ) [] s a technque that reles on the specfcaton of contracts and s prmarly used at the code level. However, the code contracts org- The orgnal publcaton s avalable at
2 Towards Specalzaton of the Contract-Aware Software Development Process nate from constrants specfed n busness rules and software requrements. Consequently the contracts could already be expressed n models at the system desgn level. Ths paper s focused on the applcaton of the contract-based methodology combned wth model-drven engneerng [2]. We propose a general approach, so-called Contract-Aware Software Development (CASD) process [3], n whch busness system constrans are specfed as contracts and appled to system models. Next, the models wth assocated contracts can be refned and transformed nto the code level. Ths generc approach can be specalzed towards dfferent modelng languages, e.g. UML, and varous contract technologes. A language used for formulatng of constrants n UML models s the Object Constrant Language (OCL) [4,5]. However, n order to acheve the antcpated objectves t s ndspensable to provde an nfrastructure supportng the approach. Contract to code transformaton s ntegral to the way the methodology s appled. The contract mplementaton effort s moved to the dscussed transformaton tool. Therefore, the code s consstent wth the specfcaton. Moreover, the labor requred for the contract mantenance can be lowered. In the next Secton, the man ssues of the Contract-Aware Software Development process are specfed. Secton 3 presents a soluton adaptng the process to selected technologes. In further sectons we dscuss how some deas of the CASD process are appled wth the tool support and related to other work. Secton 6 concludes the paper. 2 Contract-Aware Software Development Contract-Aware Software Development (CASD) s an approach to a generc process that combnes features of the contract-based and model-drven development. The prelmnary draft of the process was presented n [3,6]. The man phases of the process and ts basc artfacts are llustrated n Fg.. Dual artfacts encounter n varous phases of the process, from the analyss to the mplementaton one. The artfacts shown on the left hand sde correspond to a system functonalty, whereas the opposte elements represent constrants and contracts. The artfacts wthn a development phase are related by a constran dependency. It represents the couplng between the system functonalty and the correspondng contract at the same abstracton level. The nter-phase relatons are defned by transform and trace dependences. Transform dependences llustrate the gradual refnement of the artfacts durng the development process. The latter dependences are responsble for defnng traceablty to the orgnal artfacts. Durng the system development and mantenance, changes n a contract made at the -th level of abstracton should also be ncorporated to the prevous level. Ths fact denotes the need for the round trp engneerng, whch refers to the contracts as well as to the functonal artfacts. Both types of the artfacts should be transferred nto the next abstract level n a common step. In general, the basc concepts of the process are defned as a fnte sequence < L, δ, L 2,... δ n, L n + > ncludng two knds of elements. The frst knd of elements L = F, C, λ ) s a tuple denotng an th level of a system abstracton, where: ( = n+ s a number of a consdered level of system abstracton, th level s more abstract than (+) th level,
3 A. Derezńska and P. Ołtarzewsk F s a fnte set of functonalty artfacts at the th level of system abstracton, C s a fnte set of contracts at the th level of system abstracton, λ : C F s a functon representng the constran dependences. The second knd of elements n the process s a transformaton functon between two F C F + adjacent levels of system abstracton: : C δ 2, where 2 X denotes a power set of set X and = n. The transformaton functon satsfes the followng mplcaton: (( λ ( c ) ( f c {(( λ ( c ) = f ) δ (( δ ( A, B ) = ( A, B )) ( f A ) ( c B ))) () λ ) = f + + A + + ) ( c + + B where: f F f F are functonalty artfacts from the th and + th levels, c, + +, C c+ C+ F F C 2, A + 2, B 2, B + A + ))} are contracts from the th and + th levels, + C+ 2 are subsets of functonalty artfacts and contracts from the th and + th levels, respectvely. The formula () depcts preservaton of constran dependences between the correspondng artfacts n a transformaton. If a par of artfacts s related at th level, then after transformaton, ther resultng artfacts at (+) th level should also be related. The dentfed phases do not suggest that the process follows the rules of the waterfall process. The successon of phases shown n Fg. focuses on the man dea recognzng the fundamental artfacts of the process. Possble back dependences and the overlappng of phases are omtted n the fgure. The dependences wthn the process, as well as the automated transformaton of functonalty artfacts and contracts support system evoluton, especally for changng busness requrements. Ths corresponds to the ntrnsc postulate of the agle approaches and enterprse system development. In CASD, changes n the functonalty and/or n constrants can be propagated through the approprate process levels. 3 CASD Specalzaton for UML, OCL and C# The general dea of the generc CASD process can be specalzed by applyng varous methods and technques for selected artfacts and ther transformatons. The defnton and mantenance of the constran dependences (Fg.) s mportant for the process realzaton. It s recommended to have a tght couplng between artfacts of the both sdes of the process, preferably tool supported. Otherwse the addtonal overhead and manual effort would dscourage the concurrent development of both types of the artfacts. Moreover, certan contracts mght be easly mssed due to an erroneous omsson by a developer. Another recommendaton s automatng of the ntra-phase transtons and mantenance of the trace dependences.
4 Towards Specalzaton of the Contract-Aware Software Development Process Fg.. The Contract Aware Software Development process. System models can be desgned n UML, especally class dagrams accompaned by logcal constrants specfyng busness contracts at the model levels [7]. They can be specfed n OCL [4,5]. OCL s a declaratve specfcaton language. OCL expressons can be used for defnng class nvarants, pre- and post-condtons of operatons, and other constrants assocated wth model artfacts. UML s a language that can be appled at dfferent levels of abstracton and used for dfferent purposes. Model refnement towards a selected Doman Language and desred technology can be accomplshed by applcaton of model profles. Apart from model to model transformatons amed at the gradual model refnement, models can be translated nto the source code, or at least to a correct but ncomplete subset of the fnal code. One of many possble solutons, whch can be used for the mplementaton of busness systems, s the C# programmng language.
5 A. Derezńska and P. Ołtarzewsk A crucal part of such a specalzed CASD process s refnement of UML models and transformaton of OCL nto contracts at the code level. The C# language does not drectly nclude concepts of contracts, but we can utlze the Mcrosoft Code Contract lbrary [9] that mplements contracts. The lbrary ntegrates wth the.net 4.0 platform and supports C# and Vsual Basc programmng languages. The basc part of the lbrary s the Contract class ncludng a set of statc methods that enable descrpton of contracts. Invarants can be specfed for classes, structs and nterfaces. Pre- and post-condtons can be assocated wth constructors, methods, overloaded operators, type conversons and accessor methods of propertes, events and ndexers. A specal statc event defned by the Contract class s called n case of contract nvaldaton. Transformaton of OCL nvarants of classes and pre-, postcondtons specfyng operatons can be based on the delegate concept of C#. The detals of ths transformaton are omtted due to brevty reasons. 4 Transform OCL Fragments nto C# - T.O.F.I.C tool The core part of the CASD process consttutes the transformaton of models and ther contracts nto the executable applcatons ncludng the correspondng contracts. The transformaton should satsfy preservaton of dependences defned n Sec. 2. To put ths nto practce the transformaton should be automated and the modelng actvtes asssted n a frendly manner. The specalzed process can be supported by the T.O.F.I.C. tool (Transform OCL Fragments nto C#) [6]. Ths tool extends the CASE tool - the IBM Ratonal Software Archtect [0] wth the C# modelng and code generaton capabltes. The tool conssts of a set of plug-ns of the Eclpse framework that creates so-called Eclpse feature. The man characterstcs of the prelmnary prototype verson of the tool were descrbed n []. The current verson of T.O.F.I.C...7 was consderably extended n comparson to ts prototype. It covers new functonalty (e.g. most of OCL, many structures of C#, contracts n C#) and mproves ts ergonomc features. The UML profles are used for modelng of Doman-Specfc Languages (DSL), n ths case C# concepts and code mappng unts. The approach could be adjusted to the modelng of varous busness nformaton systems accordng to ther needs. The current verson of T.O.F.I.C. was enhanced wth the profle toolng. It ncludes GUI elements that support vsualzaton and edtng of the stereotyped elements of a model. Rapd prototypng and assgnng of stereotypes to the selected model elements s realzed by the C# Acton Tool (CAT). It extends the palette of modelng menus wth the approprate vew. Varous buttons wth graphcal markers can be used to assgn a selected stereotype and vsualzes ths dstncton n the dagram. The tool also facltates the C# code generaton from a refned UML model and OCL constrants. The generated code s extended wth the C# mplementaton of the standard OCL lbrary. Transformaton of OCL contracts s realzed usng the Vstor desgn pattern. The code generaton s ntated wth the creaton of the Abstract Syntax Tree (AST) of an OCL expresson based on ts text representaton n a model. Next, accordng to the approprate transformaton rule, the nodes of the tree are vst-
6 Towards Specalzaton of the Contract-Aware Software Development Process ed n a gven order. Durng the tree traversal the correspondng C# code s generated and stored n the related complaton unt. Another new feature, the most sgnfcant n the context of the CASD process, s usage of contracts n the target code of OCL. Expressons of OCL are translated nto the correspondng method calls of the Mcrosoft Code Contracts lbrary [9]. Applcaton of the lbrary benefts from an exstng contract soluton that ntegrates wth the Vsual Studo - the commonly used development framework. However, t has also negatve consequences due to lmtatons of the lbrary. The.NET 4.0 platform supports defnng of contracts and applcaton of the dedcated namespace. Verfcaton of contracts s realzed by the addtonal lbrary that should be nstalled wthn the Mcrosoft Vsual Studo envronment. The lbrary s supported by the tools avalable va a command lne as well as usng a GUI extenson. Contracts are verfed durng a project buldng and n the runtme. A lmtaton of the lbrary concerns reacton to a contract nvaldaton. A default reacton on a rased excepton can be modfed by a developer by mplementng the own class for handlng contracts n the runtme. Furthermore, there s no nformaton whch nstance s responsble for a contract nvaldaton. Therefore the excepton trggers handlng of all delegates assocated wth the excepton. The usablty of the approach, the maturty of the extended tool and the mpact of adoptng contract code generaton n the software development process were evaluated n an experment. The experment was conducted by students of an advanced course of software engneerng. The partcpants of the experment cooperated on the development of a common system, elctng and specfyng requrements of partcular system modules. The system smulated busness and control processes of an arport. The requrement specfcatons took nto account varous system constrants. Next, the constrants were ncluded n the descrpton of use cases. The team members swap the requrement specfcatons among others. UML models were desgned accordng to the obtaned specfcatons. The general models were supplemented wth approprate contracts wrtten n OCL and refned to the C# code models wth assstance of CAT. Then, the C# projects were generated from the refned models by the T.O.F.I.C. tool. The OCL contracts were transformed to the correspondng code usng the Mcrosoft Code Contracts lbrary. In the experment the mpact of the automatc code generaton from models wth contracts to the software development was examned. The results of the experment were evaluated n two ways. The models, other ntermedate artfacts, and fnal applcatons wth tests were examned by hand and usng statc and dynamc verfcaton tools. In addton, the partcpants flled n a questonnare after the experment. The general evaluaton of all results confrmed the mproved consstency between the code and ths level of specfcaton that was expressed n refned models and OCL constrants. In the questonnare, the most of partcpants admtted that they would be utlzng the T.O.F.I.C. tool to a project development n the future, assumng the selected mprovements were ncorporated. The key obstacles of the approach are problems of consstency between prelmnary busness rules descrbed n requrements and use cases on the one hand and contracts at the model level on the other hand, the ncreased effort requred durng refnement of models, and the oblgaton of knowledge of OCL.
7 A. Derezńska and P. Ołtarzewsk Another alternatve to the process specalzaton could be combnng UML models wth constrants wrtten n a target mplementaton language, e.g. Java or C#. Ths knd of specfcaton of busness rules requres valdaton of constrants at the model level, n order to be of any practcal use. 5 Related Work Desgn by Contract prncples [] are frst of all appled at the code level, as n the Effel language [2]. However, there s a lack of tools dealng wth contracts on both abstract levels, as models and code. There are many tools that support OCL [3,4], but the most of them do not generate code from OCL constrants. In [5] such tools were compared takng nto account ther contract generaton capabltes. All these tools, apart from T.O.F.I.C., generate Java code from OCL. There was announced a vson of a potental, preferred OCL tool, but t s stll a future work [6]. Usng Java as a target language, we can utlze Dresden OCL [7] n a specalzed process wth OCL. Ths tool transforms OCL expressons nto aspects of AspectJ. OCL constrants used n MDE towards Corba and Java can also be found n [8,9]. Support for the C# code generaton has been ncorporated nto several CASE tools, but none of them supports contract-based approach for C# at the generated code level. 6 Conclusons The paper presents an approach that combnes model-drven development prncples wth advantages of contract utlzaton. The approach was appled usng selected modelng, specfcaton and mplementaton languages. The early defnton of contracts, as recommended n the CASD process, focuses the attenton of developers on the constrans and ther verfcaton. They should reflect busness rules of a system. OCL constrants are transformed to code contracts supported by a lbrary n order to move the benefts of desgn by contract approach to the modelng level. The prelmnary experment concludes that the tool supported contract evaluaton combned wth the model-drven methodology could mprove the applcaton accuracy and testablty. The applcablty of the methodology depends strongly on the convenent tool support, whch has to be further enhanced. The crtcal ssues also reman completeness of system constrants mplemented as contracts. As far as the obstacles n the contract utlzaton wth T.O.F.I.C. are concerned, the contract lbrary used n the tool could be substtuted by another contract soluton, or there wll be avalable an mproved verson of the Mcrosoft Code Contracts lbrary. The soluton can be extended wth code generaton from the dynamc models, e.g. state machnes. State nvarants and guard condtons can also be transformed nto the approprate code contracts.
8 References Towards Specalzaton of the Contract-Aware Software Development Process Meyer, B.: Object-Orented Software Constructon, 2nd Edton. Prentce Hall. (997) 2 France, R., Rumpe, B.: Model-drven Development of Complex Software: A Research Roadmap, In: Proc. of Future of Software Engneerng at ICSE 2007, pp IEEE Soc. (2007) 3 Derezńska, A., Ołtarzewsk, P.: Busness Software Development Process Combnng Model-Drven and Contract-Based Approaches. In: Jałoweck, P., Łuasewcz, P., Orłowsk, A. (eds.) Informaton Systems n Management XI, pp WULS Press, Warsaw (20) 4 Object Constrant Language (OCL) (March 5, 202), 5 Warmer, J., Kleppe, A.: The Object Constrant Language: Gettng Your Models Ready for MDA, Addson-Wesley Professonal (2008) 6 Ołtrzewsk, P. Software Development Usng Contracts by Example of the T.O.F.I.C Tool, Master Thess, Inst. of Computer Scence, Warsaw Unv. of Technology (20) (n Polsh) 7 Neumarte, L., Ceponene, L., Vadrckas, G.: Representaton of Busness Rules n UML&OCL Models for Developng Informaton Systems. Strna, J., Persson, A. (eds.) POEM 2008, LNBIP, vol. 5, pp Sprnger (2008) 8 Frankel, S.: Model Drven Archtecture: Applng MDA to Enterprse Computng, Wley Press, Hoboken, NJ. (2003) 9 Mcrosoft Code Contracts (March 5, 202), 0 IBM Ratonal Software Archtect (March 5, 202), Derezńska, A., Ołtarzewsk, P.: Model-Drven Engneerng Support for Buldng C# Applcatons, In: Sobh, T., Ellethy, K. (eds.) Innovatons n Computng Scences and Software Engneerng, pp Sprnger (200) 2 Effel Software: An Effel Tutoral (March 5, 202), 3 Chmak-Opoka, J., Demuth, B. et al.: OCL Tools Report Based on the IDE4OCL Feature Model. In: Proc. of Internatonal Workshop on OCL and Textual Modelng, col. Tools Europe (20) 4 Toval, A., Requena, V., Fernandez, J. L.: Emergng OCL tools, Journal of Software and System Modelng, Vol. 2, No. 4, pp Sprnger (2003) 5 Derezńska, A., Ołtarzewsk, P.: Code Generaton of Contracts Usng OCL Tools, In: Borzemsk L. et. al (eds.) Informaton Systems Archtecture and Technology, Web Informaton Systems Engneerng, Knowledge Dscovery and Hybrd Computng, pp Publshng House of Wroclaw Unversty of Technology, Poland (20) 6 Chmak-Opoka, J., Demuth, B.: A Feature Model for an IDE4OCL. In: Proc. of Internatonal Workshop on OCL and Textual Modelng (200) 7 Dresden OCL Contracts (March 5, 202), 8 Coronato, A., De Petro, G.: Formal desgn and mplementaton of constrants n software components. Advances n Engneerng Software, 4, (200) 9 Dan, L., Dannng, L.: Applyng Model Drven to Software Development: a Unversty Lbrary Case Study. In: Proc. of the 3rd Internatonal Conference on Communcaton Software and Networks, ICCSN, pp IEEE Comp. Soc. (20)
Project Networks With Mixed-Time Constraints
Project Networs Wth Mxed-Tme Constrants L Caccetta and B Wattananon Western Australan Centre of Excellence n Industral Optmsaton (WACEIO) Curtn Unversty of Technology GPO Box U1987 Perth Western Australa
More informationThe Development of Web Log Mining Based on Improve-K-Means Clustering Analysis
The Development of Web Log Mnng Based on Improve-K-Means Clusterng Analyss TngZhong Wang * College of Informaton Technology, Luoyang Normal Unversty, Luoyang, 471022, Chna wangtngzhong2@sna.cn Abstract.
More informationIMPACT ANALYSIS OF A CELLULAR PHONE
4 th ASA & μeta Internatonal Conference IMPACT AALYSIS OF A CELLULAR PHOE We Lu, 2 Hongy L Bejng FEAonlne Engneerng Co.,Ltd. Bejng, Chna ABSTRACT Drop test smulaton plays an mportant role n nvestgatng
More informationA Secure Password-Authenticated Key Agreement Using Smart Cards
A Secure Password-Authentcated Key Agreement Usng Smart Cards Ka Chan 1, Wen-Chung Kuo 2 and Jn-Chou Cheng 3 1 Department of Computer and Informaton Scence, R.O.C. Mltary Academy, Kaohsung 83059, Tawan,
More informationiavenue iavenue i i i iavenue iavenue iavenue
Saratoga Systems' enterprse-wde Avenue CRM system s a comprehensve web-enabled software soluton. Ths next generaton system enables you to effectvely manage and enhance your customer relatonshps n both
More informationExtending Probabilistic Dynamic Epistemic Logic
Extendng Probablstc Dynamc Epstemc Logc Joshua Sack May 29, 2008 Probablty Space Defnton A probablty space s a tuple (S, A, µ), where 1 S s a set called the sample space. 2 A P(S) s a σ-algebra: a set
More informationSome literature also use the term Process Control
A Formal Approach for Internal Controls Complance n Busness Processes Koumars Namr 1, Nenad Stojanovc 2 1 SAP Research Center CEC Karlsruhe, SAP AG, Vncenz-Preßntz-Str.1 76131 Karlsruhe, Germany Koumars.Namr@sap.com
More informationCOMPUTER SUPPORT OF SEMANTIC TEXT ANALYSIS OF A TECHNICAL SPECIFICATION ON DESIGNING SOFTWARE. Alla Zaboleeva-Zotova, Yulia Orlova
Internatonal Book Seres "Informaton Scence and Computng" 29 COMPUTE SUPPOT O SEMANTIC TEXT ANALYSIS O A TECHNICAL SPECIICATION ON DESIGNING SOTWAE Alla Zaboleeva-Zotova, Yula Orlova Abstract: The gven
More informationFault tolerance in cloud technologies presented as a service
Internatonal Scentfc Conference Computer Scence 2015 Pavel Dzhunev, PhD student Fault tolerance n cloud technologes presented as a servce INTRODUCTION Improvements n technques for vrtualzaton and performance
More informationDEFINING %COMPLETE IN MICROSOFT PROJECT
CelersSystems DEFINING %COMPLETE IN MICROSOFT PROJECT PREPARED BY James E Aksel, PMP, PMI-SP, MVP For Addtonal Informaton about Earned Value Management Systems and reportng, please contact: CelersSystems,
More informationSurvey on Virtual Machine Placement Techniques in Cloud Computing Environment
Survey on Vrtual Machne Placement Technques n Cloud Computng Envronment Rajeev Kumar Gupta and R. K. Paterya Department of Computer Scence & Engneerng, MANIT, Bhopal, Inda ABSTRACT In tradtonal data center
More informationInstitute of Informatics, Faculty of Business and Management, Brno University of Technology,Czech Republic
Lagrange Multplers as Quanttatve Indcators n Economcs Ivan Mezník Insttute of Informatcs, Faculty of Busness and Management, Brno Unversty of TechnologCzech Republc Abstract The quanttatve role of Lagrange
More informationTo manage leave, meeting institutional requirements and treating individual staff members fairly and consistently.
Corporate Polces & Procedures Human Resources - Document CPP216 Leave Management Frst Produced: Current Verson: Past Revsons: Revew Cycle: Apples From: 09/09/09 26/10/12 09/09/09 3 years Immedately Authorsaton:
More informationbenefit is 2, paid if the policyholder dies within the year, and probability of death within the year is ).
REVIEW OF RISK MANAGEMENT CONCEPTS LOSS DISTRIBUTIONS AND INSURANCE Loss and nsurance: When someone s subject to the rsk of ncurrng a fnancal loss, the loss s generally modeled usng a random varable or
More informationOverview of monitoring and evaluation
540 Toolkt to Combat Traffckng n Persons Tool 10.1 Overvew of montorng and evaluaton Overvew Ths tool brefly descrbes both montorng and evaluaton, and the dstncton between the two. What s montorng? Montorng
More informationResearch on Transformation Engineering BOM into Manufacturing BOM Based on BOP
Appled Mechancs and Materals Vols 10-12 (2008) pp 99-103 Onlne avalable snce 2007/Dec/06 at wwwscentfcnet (2008) Trans Tech Publcatons, Swtzerland do:104028/wwwscentfcnet/amm10-1299 Research on Transformaton
More informationA DYNAMIC CRASHING METHOD FOR PROJECT MANAGEMENT USING SIMULATION-BASED OPTIMIZATION. Michael E. Kuhl Radhamés A. Tolentino-Peña
Proceedngs of the 2008 Wnter Smulaton Conference S. J. Mason, R. R. Hll, L. Mönch, O. Rose, T. Jefferson, J. W. Fowler eds. A DYNAMIC CRASHING METHOD FOR PROJECT MANAGEMENT USING SIMULATION-BASED OPTIMIZATION
More informationA Multi-Camera System on PC-Cluster for Real-time 3-D Tracking
The 23 rd Conference of the Mechancal Engneerng Network of Thaland November 4 7, 2009, Chang Ma A Mult-Camera System on PC-Cluster for Real-tme 3-D Trackng Vboon Sangveraphunsr*, Krtsana Uttamang, and
More informationA MODEL-BASED REPOSITORY FOR OPEN SOURCE SERVICE AND COMPONENT INTEGRATION
A MODEL-BASED REPOSITORY FOR OPEN SOURCE SERVICE AND COMPONENT INTEGRATION Rodrgo García-Carmona, Félx Cuadrado, Juan C. Dueñas Departamento de Ingenería de Sstemas Telemátcos, ETSI Telecomuncacón, Unversdad
More informationFrequency Selective IQ Phase and IQ Amplitude Imbalance Adjustments for OFDM Direct Conversion Transmitters
Frequency Selectve IQ Phase and IQ Ampltude Imbalance Adjustments for OFDM Drect Converson ransmtters Edmund Coersmeer, Ernst Zelnsk Noka, Meesmannstrasse 103, 44807 Bochum, Germany edmund.coersmeer@noka.com,
More informationStudy on Model of Risks Assessment of Standard Operation in Rural Power Network
Study on Model of Rsks Assessment of Standard Operaton n Rural Power Network Qngj L 1, Tao Yang 2 1 Qngj L, College of Informaton and Electrcal Engneerng, Shenyang Agrculture Unversty, Shenyang 110866,
More informationBusiness Process Improvement using Multi-objective Optimisation K. Vergidis 1, A. Tiwari 1 and B. Majeed 2
Busness Process Improvement usng Mult-objectve Optmsaton K. Vergds 1, A. Twar 1 and B. Majeed 2 1 Manufacturng Department, School of Industral and Manufacturng Scence, Cranfeld Unversty, Cranfeld, MK43
More informationAn Integrated Approach to Automated Semantic Web Service Composition through Planning
IEEE TRANSACTIONS ON SERVICES COMPUTING, TSC-200-06-0088.R2 An Integrated Approach to Automated Semantc Web Servce Composton through Plannng Ourana Hatz, Dmtrs Vrakas, Mara Nkoladou, Nck Basslades, Dmosthens
More informationA Hierarchical Reliability Model of Service-Based Software System
2009 33rd Annual IEEE Internatonal Computer Software and Applcatons Conference A Herarchcal Relablty Model of Servce-Based Software System Lun Wang, Xaoyng Ba, Lzhu Zhou Department of Computer Scence and
More informationFORMAL ANALYSIS FOR REAL-TIME SCHEDULING
FORMAL ANALYSIS FOR REAL-TIME SCHEDULING Bruno Dutertre and Vctora Stavrdou, SRI Internatonal, Menlo Park, CA Introducton In modern avoncs archtectures, applcaton software ncreasngly reles on servces provded
More informationA hybrid global optimization algorithm based on parallel chaos optimization and outlook algorithm
Avalable onlne www.ocpr.com Journal of Chemcal and Pharmaceutcal Research, 2014, 6(7):1884-1889 Research Artcle ISSN : 0975-7384 CODEN(USA) : JCPRC5 A hybrd global optmzaton algorthm based on parallel
More informationA Genetic Algorithm Based Approach for Campus Equipment Management System in Cloud Server
JOURNAL OF ELECTRONIC SCIENCE AND TECHNOLOGY, VOL. 11, NO. 2, JUNE 2013 187 A Genetc Algorthm Based Approach for Campus Equpment Management System n Cloud Server Yu-Cheng Ln Abstract In ths paper, we proposed
More informationANALYZING THE RELATIONSHIPS BETWEEN QUALITY, TIME, AND COST IN PROJECT MANAGEMENT DECISION MAKING
ANALYZING THE RELATIONSHIPS BETWEEN QUALITY, TIME, AND COST IN PROJECT MANAGEMENT DECISION MAKING Matthew J. Lberatore, Department of Management and Operatons, Vllanova Unversty, Vllanova, PA 19085, 610-519-4390,
More informationRESEARCH ON DUAL-SHAKER SINE VIBRATION CONTROL. Yaoqi FENG 1, Hanping QIU 1. China Academy of Space Technology (CAST) yaoqi.feng@yahoo.
ICSV4 Carns Australa 9- July, 007 RESEARCH ON DUAL-SHAKER SINE VIBRATION CONTROL Yaoq FENG, Hanpng QIU Dynamc Test Laboratory, BISEE Chna Academy of Space Technology (CAST) yaoq.feng@yahoo.com Abstract
More informationDamage detection in composite laminates using coin-tap method
Damage detecton n composte lamnates usng con-tap method S.J. Km Korea Aerospace Research Insttute, 45 Eoeun-Dong, Youseong-Gu, 35-333 Daejeon, Republc of Korea yaeln@kar.re.kr 45 The con-tap test has the
More informationAn Alternative Way to Measure Private Equity Performance
An Alternatve Way to Measure Prvate Equty Performance Peter Todd Parlux Investment Technology LLC Summary Internal Rate of Return (IRR) s probably the most common way to measure the performance of prvate
More informationStochastic Protocol Modeling for Anomaly Based Network Intrusion Detection
Stochastc Protocol Modelng for Anomaly Based Network Intruson Detecton Juan M. Estevez-Tapador, Pedro Garca-Teodoro, and Jesus E. Daz-Verdejo Department of Electroncs and Computer Technology Unversty of
More informationForm-finding of grid shells with continuous elastic rods
Page of 0 Form-fndng of grd shells wth contnuous elastc rods Jan-Mn L PhD student Insttute of Buldng Structures and Structural Desgn (tke), Unversty Stuttgart Stuttgar, Germany quantumamn@gmal.com Jan
More informationRavenscar Computational Model compliant AADL Simulation on LEON2
Ravenscar Computatonal Model complant AADL Smulaton on LEON2 Roberto VARONA-GÓMEZ, Eugeno VILLAR TEISA, GIM, Unversdad de Cantabra 39005 Santander, Span {roberto, vllar}@tesauncanes Ana-Isabel RODRÍGUEZ-RODRÍGUEZ
More informationAPPLICATION OF PROBE DATA COLLECTED VIA INFRARED BEACONS TO TRAFFIC MANEGEMENT
APPLICATION OF PROBE DATA COLLECTED VIA INFRARED BEACONS TO TRAFFIC MANEGEMENT Toshhko Oda (1), Kochro Iwaoka (2) (1), (2) Infrastructure Systems Busness Unt, Panasonc System Networks Co., Ltd. Saedo-cho
More informationActivity Scheduling for Cost-Time Investment Optimization in Project Management
PROJECT MANAGEMENT 4 th Internatonal Conference on Industral Engneerng and Industral Management XIV Congreso de Ingenería de Organzacón Donosta- San Sebastán, September 8 th -10 th 010 Actvty Schedulng
More informationPOLYSA: A Polynomial Algorithm for Non-binary Constraint Satisfaction Problems with and
POLYSA: A Polynomal Algorthm for Non-bnary Constrant Satsfacton Problems wth and Mguel A. Saldo, Federco Barber Dpto. Sstemas Informátcos y Computacón Unversdad Poltécnca de Valenca, Camno de Vera s/n
More informationA New Approach for Protocol Analysis on Design Activities Using Axiomatic Theory of Design Modeling
A New Approach for Protocol Analyss on Desgn Actvtes Usng Axomatc Theory of Desgn Modelng Shengj Yao and Yong Zeng * Concorda Insttute for Informaton Systems ngneerng Concorda Unversty 455 de Masonneuve
More informationA Design Method of High-availability and Low-optical-loss Optical Aggregation Network Architecture
A Desgn Method of Hgh-avalablty and Low-optcal-loss Optcal Aggregaton Network Archtecture Takehro Sato, Kuntaka Ashzawa, Kazumasa Tokuhash, Dasuke Ish, Satoru Okamoto and Naoak Yamanaka Dept. of Informaton
More informationDesign and Development of a Security Evaluation Platform Based on International Standards
Internatonal Journal of Informatcs Socety, VOL.5, NO.2 (203) 7-80 7 Desgn and Development of a Securty Evaluaton Platform Based on Internatonal Standards Yuj Takahash and Yoshm Teshgawara Graduate School
More informationMethodology to Determine Relationships between Performance Factors in Hadoop Cloud Computing Applications
Methodology to Determne Relatonshps between Performance Factors n Hadoop Cloud Computng Applcatons Lus Eduardo Bautsta Vllalpando 1,2, Alan Aprl 1 and Alan Abran 1 1 Department of Software Engneerng and
More informationModule 2 LOSSLESS IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur
Module LOSSLESS IMAGE COMPRESSION SYSTEMS Lesson 3 Lossless Compresson: Huffman Codng Instructonal Objectves At the end of ths lesson, the students should be able to:. Defne and measure source entropy..
More information1.1 The University may award Higher Doctorate degrees as specified from time-to-time in UPR AS11 1.
HIGHER DOCTORATE DEGREES SUMMARY OF PRINCIPAL CHANGES General changes None Secton 3.2 Refer to text (Amendments to verson 03.0, UPR AS02 are shown n talcs.) 1 INTRODUCTION 1.1 The Unversty may award Hgher
More informationTraffic State Estimation in the Traffic Management Center of Berlin
Traffc State Estmaton n the Traffc Management Center of Berln Authors: Peter Vortsch, PTV AG, Stumpfstrasse, D-763 Karlsruhe, Germany phone ++49/72/965/35, emal peter.vortsch@ptv.de Peter Möhl, PTV AG,
More informationVERIFICATION OF BUSINESS RULES USING LOGIC PROGRAMMING MEANS
Sesson 3. Formalzaton and Smulaton of Busness Systems VERIFICATION OF BUSINESS RULES USING LOGIC PROGRAMMING MEANS Henrkas Pranevcus, Regna Msevcene Kaunas Unversty of Technology, Department of Busness
More informationA Dynamic Energy-Efficiency Mechanism for Data Center Networks
A Dynamc Energy-Effcency Mechansm for Data Center Networks Sun Lang, Zhang Jnfang, Huang Daochao, Yang Dong, Qn Yajuan A Dynamc Energy-Effcency Mechansm for Data Center Networks 1 Sun Lang, 1 Zhang Jnfang,
More informationAn ILP Formulation for Task Mapping and Scheduling on Multi-core Architectures
An ILP Formulaton for Task Mappng and Schedulng on Mult-core Archtectures Yng Y, We Han, Xn Zhao, Ahmet T. Erdogan and Tughrul Arslan Unversty of Ednburgh, The Kng's Buldngs, Mayfeld Road, Ednburgh, EH9
More informationLuby s Alg. for Maximal Independent Sets using Pairwise Independence
Lecture Notes for Randomzed Algorthms Luby s Alg. for Maxmal Independent Sets usng Parwse Independence Last Updated by Erc Vgoda on February, 006 8. Maxmal Independent Sets For a graph G = (V, E), an ndependent
More informationOptimization of network mesh topologies and link capacities for congestion relief
Optmzaton of networ mesh topologes and ln capactes for congeston relef D. de Vllers * J.M. Hattngh School of Computer-, Statstcal- and Mathematcal Scences Potchefstroom Unversty for CHE * E-mal: rwddv@pu.ac.za
More informationRank Based Clustering For Document Retrieval From Biomedical Databases
Jayanth Mancassamy et al /Internatonal Journal on Computer Scence and Engneerng Vol.1(2), 2009, 111-115 Rank Based Clusterng For Document Retreval From Bomedcal Databases Jayanth Mancassamy Department
More informationMultiplication Algorithms for Radix-2 RN-Codings and Two s Complement Numbers
Multplcaton Algorthms for Radx- RN-Codngs and Two s Complement Numbers Jean-Luc Beuchat Projet Arénare, LIP, ENS Lyon 46, Allée d Itale F 69364 Lyon Cedex 07 jean-luc.beuchat@ens-lyon.fr Jean-Mchel Muller
More informationForecasting the Direction and Strength of Stock Market Movement
Forecastng the Drecton and Strength of Stock Market Movement Jngwe Chen Mng Chen Nan Ye cjngwe@stanford.edu mchen5@stanford.edu nanye@stanford.edu Abstract - Stock market s one of the most complcated systems
More informationAn MILP model for planning of batch plants operating in a campaign-mode
An MILP model for plannng of batch plants operatng n a campagn-mode Yanna Fumero Insttuto de Desarrollo y Dseño CONICET UTN yfumero@santafe-concet.gov.ar Gabrela Corsano Insttuto de Desarrollo y Dseño
More informationCan Auto Liability Insurance Purchases Signal Risk Attitude?
Internatonal Journal of Busness and Economcs, 2011, Vol. 10, No. 2, 159-164 Can Auto Lablty Insurance Purchases Sgnal Rsk Atttude? Chu-Shu L Department of Internatonal Busness, Asa Unversty, Tawan Sheng-Chang
More informationAn Interest-Oriented Network Evolution Mechanism for Online Communities
An Interest-Orented Network Evoluton Mechansm for Onlne Communtes Cahong Sun and Xaopng Yang School of Informaton, Renmn Unversty of Chna, Bejng 100872, P.R. Chna {chsun,yang}@ruc.edu.cn Abstract. Onlne
More informationMultiple-Period Attribution: Residuals and Compounding
Multple-Perod Attrbuton: Resduals and Compoundng Our revewer gave these authors full marks for dealng wth an ssue that performance measurers and vendors often regard as propretary nformaton. In 1994, Dens
More informationForecasting the Demand of Emergency Supplies: Based on the CBR Theory and BP Neural Network
700 Proceedngs of the 8th Internatonal Conference on Innovaton & Management Forecastng the Demand of Emergency Supples: Based on the CBR Theory and BP Neural Network Fu Deqang, Lu Yun, L Changbng School
More informationImplementation of Deutsch's Algorithm Using Mathcad
Implementaton of Deutsch's Algorthm Usng Mathcad Frank Roux The followng s a Mathcad mplementaton of Davd Deutsch's quantum computer prototype as presented on pages - n "Machnes, Logc and Quantum Physcs"
More informationHP Mission-Critical Services
HP Msson-Crtcal Servces Delverng busness value to IT Jelena Bratc Zarko Subotc TS Support tm Mart 2012, Podgorca 2010 Hewlett-Packard Development Company, L.P. The nformaton contaned heren s subject to
More informationA Novel Methodology of Working Capital Management for Large. Public Constructions by Using Fuzzy S-curve Regression
Novel Methodology of Workng Captal Management for Large Publc Constructons by Usng Fuzzy S-curve Regresson Cheng-Wu Chen, Morrs H. L. Wang and Tng-Ya Hseh Department of Cvl Engneerng, Natonal Central Unversty,
More informationMETHODOLOGY TO DETERMINE RELATIONSHIPS BETWEEN PERFORMANCE FACTORS IN HADOOP CLOUD COMPUTING APPLICATIONS
METHODOLOGY TO DETERMINE RELATIONSHIPS BETWEEN PERFORMANCE FACTORS IN HADOOP CLOUD COMPUTING APPLICATIONS Lus Eduardo Bautsta Vllalpando 1,2, Alan Aprl 1 and Alan Abran 1 1 Department of Software Engneerng
More informationFeature selection for intrusion detection. Slobodan Petrović NISlab, Gjøvik University College
Feature selecton for ntruson detecton Slobodan Petrovć NISlab, Gjøvk Unversty College Contents The feature selecton problem Intruson detecton Traffc features relevant for IDS The CFS measure The mrmr measure
More informationBUSINESS PROCESS PERFORMANCE MANAGEMENT USING BAYESIAN BELIEF NETWORK. 0688, dskim@ssu.ac.kr
Proceedngs of the 41st Internatonal Conference on Computers & Industral Engneerng BUSINESS PROCESS PERFORMANCE MANAGEMENT USING BAYESIAN BELIEF NETWORK Yeong-bn Mn 1, Yongwoo Shn 2, Km Jeehong 1, Dongsoo
More informationImproved SVM in Cloud Computing Information Mining
Internatonal Journal of Grd Dstrbuton Computng Vol.8, No.1 (015), pp.33-40 http://dx.do.org/10.1457/jgdc.015.8.1.04 Improved n Cloud Computng Informaton Mnng Lvshuhong (ZhengDe polytechnc college JangSu
More informationA Probabilistic Theory of Coherence
A Probablstc Theory of Coherence BRANDEN FITELSON. The Coherence Measure C Let E be a set of n propostons E,..., E n. We seek a probablstc measure C(E) of the degree of coherence of E. Intutvely, we want
More informationCLOUD COMPUTING AUDIT
U.P.B. Sc. Bull., Seres C, Vol. 77, Iss. 3, 2015 ISSN 2286-3540 CLOUD COMPUTING AUDIT Georgana MATEESCU 1, Valentn SGÂRCIU 2 Ths paper presents a personal approach of conductng the audt process n cloud
More informationA Replication-Based and Fault Tolerant Allocation Algorithm for Cloud Computing
A Replcaton-Based and Fault Tolerant Allocaton Algorthm for Cloud Computng Tork Altameem Dept of Computer Scence, RCC, Kng Saud Unversty, PO Box: 28095 11437 Ryadh-Saud Araba Abstract The very large nfrastructure
More informationAn Event-Based Approach to Visualization
An Event-Based Approach to Vsualzaton Chrstan Tomns Hedrun Schumann Insttute for Computer Scence Unversty of Rostoc, Germany {ct,schumann}@nformat.un-rostoc.de Abstract Vsualzaton of large data sets s
More informationCloud Auto-Scaling with Deadline and Budget Constraints
Prelmnary verson. Fnal verson appears In Proceedngs of 11th ACM/IEEE Internatonal Conference on Grd Computng (Grd 21). Oct 25-28, 21. Brussels, Belgum. Cloud Auto-Scalng wth Deadlne and Budget Constrants
More informationLinear Circuits Analysis. Superposition, Thevenin /Norton Equivalent circuits
Lnear Crcuts Analyss. Superposton, Theenn /Norton Equalent crcuts So far we hae explored tmendependent (resste) elements that are also lnear. A tmendependent elements s one for whch we can plot an / cure.
More informationEfficient Bandwidth Management in Broadband Wireless Access Systems Using CAC-based Dynamic Pricing
Effcent Bandwdth Management n Broadband Wreless Access Systems Usng CAC-based Dynamc Prcng Bader Al-Manthar, Ndal Nasser 2, Najah Abu Al 3, Hossam Hassanen Telecommuncatons Research Laboratory School of
More informationGeneric Programming with Concepts. Marcin Zalewski
THESIS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY Generc Programmng wth Concepts Marcn Zalewsk Department of Computer Scence and Engneerng Chalmers Unversty of Technology and Göteborg Unversty SE-412 96 Göteborg
More informationCalculating the high frequency transmission line parameters of power cables
< ' Calculatng the hgh frequency transmsson lne parameters of power cables Authors: Dr. John Dcknson, Laboratory Servces Manager, N 0 RW E B Communcatons Mr. Peter J. Ncholson, Project Assgnment Manager,
More informationImplementations of Web-based Recommender Systems Using Hybrid Methods
Internatonal Journal of Computer Scence & Applcatons Vol. 3 Issue 3, pp 52-64 2006 Technomathematcs Research Foundaton Implementatons of Web-based Recommender Systems Usng Hybrd Methods Janusz Sobeck Insttute
More informationOpen Access A Load Balancing Strategy with Bandwidth Constraint in Cloud Computing. Jing Deng 1,*, Ping Guo 2, Qi Li 3, Haizhu Chen 1
Send Orders for Reprnts to reprnts@benthamscence.ae The Open Cybernetcs & Systemcs Journal, 2014, 8, 115-121 115 Open Access A Load Balancng Strategy wth Bandwdth Constrant n Cloud Computng Jng Deng 1,*,
More informationEfficient Project Portfolio as a tool for Enterprise Risk Management
Effcent Proect Portfolo as a tool for Enterprse Rsk Management Valentn O. Nkonov Ural State Techncal Unversty Growth Traectory Consultng Company January 5, 27 Effcent Proect Portfolo as a tool for Enterprse
More informationSoftware project management with GAs
Informaton Scences 177 (27) 238 241 www.elsever.com/locate/ns Software project management wth GAs Enrque Alba *, J. Francsco Chcano Unversty of Málaga, Grupo GISUM, Departamento de Lenguajes y Cencas de
More information1. Fundamentals of probability theory 2. Emergence of communication traffic 3. Stochastic & Markovian Processes (SP & MP)
6.3 / -- Communcaton Networks II (Görg) SS20 -- www.comnets.un-bremen.de Communcaton Networks II Contents. Fundamentals of probablty theory 2. Emergence of communcaton traffc 3. Stochastc & Markovan Processes
More informationBERNSTEIN POLYNOMIALS
On-Lne Geometrc Modelng Notes BERNSTEIN POLYNOMIALS Kenneth I. Joy Vsualzaton and Graphcs Research Group Department of Computer Scence Unversty of Calforna, Davs Overvew Polynomals are ncredbly useful
More informationA Performance Analysis of View Maintenance Techniques for Data Warehouses
A Performance Analyss of Vew Mantenance Technques for Data Warehouses Xng Wang Dell Computer Corporaton Round Roc, Texas Le Gruenwald The nversty of Olahoma School of Computer Scence orman, OK 739 Guangtao
More informationON THE ACCURACY, REPEATABILITY, AND DEGREE OF INFLUENCE OF KINEMATICS PARAMETERS FOR INDUSTRIAL ROBOTS
Internatonal Journal of Modellng and Smulaton, Vol. 22, No. 3, 2002 ON THE ACCURACY, REPEATABILITY, AND DEGREE OF INFLUENCE OF KINEMATICS PARAMETERS FOR INDUSTRIAL ROBOTS P.S. Shakolas, K.L. Conrad, and
More informationMeasurement,Modelling and Management Approach to the Software Project Dynamics Optimisation
Measurement,Modellng and Management Approach to the Softare Project Dynamcs Optmsaton Vasyl Soloshchuk PhD student, The Charof Computer Mathematcs and Mathematcal Modellng, NatonalTechncal Unversty KharkvPolytechnc
More informationINVESTIGATION OF VEHICULAR USERS FAIRNESS IN CDMA-HDR NETWORKS
21 22 September 2007, BULGARIA 119 Proceedngs of the Internatonal Conference on Informaton Technologes (InfoTech-2007) 21 st 22 nd September 2007, Bulgara vol. 2 INVESTIGATION OF VEHICULAR USERS FAIRNESS
More informationEnterprise Master Patient Index
Enterprse Master Patent Index Healthcare data are captured n many dfferent settngs such as hosptals, clncs, labs, and physcan offces. Accordng to a report by the CDC, patents n the Unted States made an
More informationDeveloping an Employee Evaluation Management System: The Case of a Healthcare Organization
FINANCIAL ENGINEERING LABORATORY Techncal Unversty of Crete Developng an Employee Evaluaton Management System: The Case of a Healthcare Organzaton Evangelos Grgorouds Constantn Zopounds Workng Paper 20
More informationAnswer: A). There is a flatter IS curve in the high MPC economy. Original LM LM after increase in M. IS curve for low MPC economy
4.02 Quz Solutons Fall 2004 Multple-Choce Questons (30/00 ponts) Please, crcle the correct answer for each of the followng 0 multple-choce questons. For each queston, only one of the answers s correct.
More informationGender Classification for Real-Time Audience Analysis System
Gender Classfcaton for Real-Tme Audence Analyss System Vladmr Khryashchev, Lev Shmaglt, Andrey Shemyakov, Anton Lebedev Yaroslavl State Unversty Yaroslavl, Russa vhr@yandex.ru, shmaglt_lev@yahoo.com, andrey.shemakov@gmal.com,
More informationNetwork traffic analysis optimization for signature-based intrusion detection systems
Network traffc analyss optmzaton for sgnature-based ntruson detecton systems Dmtry S. Kazachkn, Student, Computatonal systems lab at CMC MSU, Denns Y. Gamayunov, scentfc advsor, PhD, Computatonal systems
More informationApplication of Multi-Agents for Fault Detection and Reconfiguration of Power Distribution Systems
1 Applcaton of Mult-Agents for Fault Detecton and Reconfguraton of Power Dstrbuton Systems K. Nareshkumar, Member, IEEE, M. A. Choudhry, Senor Member, IEEE, J. La, A. Felach, Senor Member, IEEE Abstract--The
More informationCalculation of Sampling Weights
Perre Foy Statstcs Canada 4 Calculaton of Samplng Weghts 4.1 OVERVIEW The basc sample desgn used n TIMSS Populatons 1 and 2 was a two-stage stratfed cluster desgn. 1 The frst stage conssted of a sample
More informationResearch of Network System Reconfigurable Model Based on the Finite State Automation
JOURNAL OF NETWORKS, VOL., NO. 5, MAY 24 237 Research of Network System Reconfgurable Model Based on the Fnte State Automaton Shenghan Zhou and Wenbng Chang School of Relablty and System Engneerng, Behang
More informationA Knowledge-based PSEE with the Ability of Project Monitoring
I.J. Informaton Engneerng and Electronc Busness, 2014, 4, 1-11 Publshed Onlne August 2014 n MECS http://www.mecs-press.org/) DOI: 10.5815/eeb.2014.04.01 A Knowledge-based PSEE wth the Ablty of Proect Montorng
More informationA GENERIC HANDOVER DECISION MANAGEMENT FRAMEWORK FOR NEXT GENERATION NETWORKS
A GENERIC HANDOVER DECISION MANAGEMENT FRAMEWORK FOR NEXT GENERATION NETWORKS Shanthy Menezes 1 and S. Venkatesan 2 1 Department of Computer Scence, Unversty of Texas at Dallas, Rchardson, TX, USA 1 shanthy.menezes@student.utdallas.edu
More informationTHE DISTRIBUTION OF LOAN PORTFOLIO VALUE * Oldrich Alfons Vasicek
HE DISRIBUION OF LOAN PORFOLIO VALUE * Oldrch Alfons Vascek he amount of captal necessary to support a portfolo of debt securtes depends on the probablty dstrbuton of the portfolo loss. Consder a portfolo
More informationA General Simulation Framework for Supply Chain Modeling: State of the Art and Case Study
IJCSI Internatonal Journal of Computer Scence Issues, Vol. 7, Issue 2, No 3, March 2010 ISSN (Onlne): 1694-0784 ISSN (Prnt): 1694-0814 1 A General Smulaton Framework for Supply Chan Modelng: State of the
More informationA Dynamic Load Balancing for Massive Multiplayer Online Game Server
A Dynamc Load Balancng for Massve Multplayer Onlne Game Server Jungyoul Lm, Jaeyong Chung, Jnryong Km and Kwanghyun Shm Dgtal Content Research Dvson Electroncs and Telecommuncatons Research Insttute Daejeon,
More informationEffective Network Defense Strategies against Malicious Attacks with Various Defense Mechanisms under Quality of Service Constraints
Effectve Network Defense Strateges aganst Malcous Attacks wth Varous Defense Mechansms under Qualty of Servce Constrants Frank Yeong-Sung Ln Department of Informaton Natonal Tawan Unversty Tape, Tawan,
More informationIWFMS: An Internal Workflow Management System/Optimizer for Hadoop
IWFMS: An Internal Workflow Management System/Optmzer for Hadoop Lan Lu, Yao Shen Department of Computer Scence and Engneerng Shangha JaoTong Unversty Shangha, Chna lustrve@gmal.com, yshen@cs.sjtu.edu.cn
More informationThe program for the Bachelor degrees shall extend over three years of full-time study or the parttime equivalent.
Bachel of Commerce Bachel of Commerce (Accountng) Bachel of Commerce (Cpate Fnance) Bachel of Commerce (Internatonal Busness) Bachel of Commerce (Management) Bachel of Commerce (Marketng) These Program
More informationBudapest University of Technology and Economics Faculty of Electrical Engineering and Informatics Department of Electronics Technology.
Budapest Unversty of Technology and Economcs Faculty of Electrcal Engneerng and Informatcs Department of Electroncs Technology Péter Martnek Schema matchng methodologes and runtme solutons n SOA based
More information