This paper defines the Non-Blocking Atomic Commitment problem in a message-passing asynchronous system and determines a failure detector to solve the problem. This failure detector, which we call the modal failure detector star, and which we denote by M*, is strictly weaker than the perfect failure detector P but strictly stronger than the eventually perfect failure detector ¡ÞP. The paper shows that at any environment, the problem is solvable with M*.
{"title":"Non-blocking Atomic Commitment Algorithm in Asynchronous Distributed Systems with Unreliable Failure Detectors","authors":"Sunghoon Park, Jea-Yep Lee, Su-Chang Yu","doi":"10.1109/ITNG.2013.13","DOIUrl":"https://doi.org/10.1109/ITNG.2013.13","url":null,"abstract":"This paper defines the Non-Blocking Atomic Commitment problem in a message-passing asynchronous system and determines a failure detector to solve the problem. This failure detector, which we call the modal failure detector star, and which we denote by M*, is strictly weaker than the perfect failure detector P but strictly stronger than the eventually perfect failure detector ¡ÞP. The paper shows that at any environment, the problem is solvable with M*.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121010364","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Recursive Hyper spheric Classification (RHC) can accurately and succinctly classify large datasets by dissecting labeled vectors into their constituent groups, or hyper spheres. While RHC is a powerful classification tool, coupling RHC with other linear classifiers enhances the ability and accuracy of the classification system, improving recognition of unlabeled vectors. In this paper, RHC is paired with Linear Discriminant Analysis (LDA) for improved classification and recognition rates.
{"title":"Coupling Recursive Hyperspheric Classification with Linear Discriminant Analysis for Improved Results","authors":"S. B. Reed, Tyson R. C. Reed, S. Dascalu","doi":"10.1109/ITNG.2013.91","DOIUrl":"https://doi.org/10.1109/ITNG.2013.91","url":null,"abstract":"Recursive Hyper spheric Classification (RHC) can accurately and succinctly classify large datasets by dissecting labeled vectors into their constituent groups, or hyper spheres. While RHC is a powerful classification tool, coupling RHC with other linear classifiers enhances the ability and accuracy of the classification system, improving recognition of unlabeled vectors. In this paper, RHC is paired with Linear Discriminant Analysis (LDA) for improved classification and recognition rates.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"251 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125642775","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Kênia Santos de Oliveira, Joyce M. S. França, M. S. Soares
Aspect-oriented programming was proposed in order to handle crosscutting concerns in an efficient way. Initial proposals in this field were applied to source code. Later on, aspects were considered to be applied in other phases of software development, such as within software architecture. There are several advantages in identifying aspects at the architectural level such as reducing costs of software maintenance and preserving the notion of aspects in the development process ensuring traceability. Whereas different stakeholders need to view the system from various perspectives, the proposal of a software architecture in multiple views is essential. Therefore, this article proposes an aspect oriented software architecture model with multiple views to define the structure of aspect oriented software. An extension of the SysML modeling language is applied to model the architectural views.
{"title":"Extensions of SysML for Modeling an Aspect Oriented Software Architecture with Multiple Views","authors":"Kênia Santos de Oliveira, Joyce M. S. França, M. S. Soares","doi":"10.1109/ITNG.2013.105","DOIUrl":"https://doi.org/10.1109/ITNG.2013.105","url":null,"abstract":"Aspect-oriented programming was proposed in order to handle crosscutting concerns in an efficient way. Initial proposals in this field were applied to source code. Later on, aspects were considered to be applied in other phases of software development, such as within software architecture. There are several advantages in identifying aspects at the architectural level such as reducing costs of software maintenance and preserving the notion of aspects in the development process ensuring traceability. Whereas different stakeholders need to view the system from various perspectives, the proposal of a software architecture in multiple views is essential. Therefore, this article proposes an aspect oriented software architecture model with multiple views to define the structure of aspect oriented software. An extension of the SysML modeling language is applied to model the architectural views.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133687550","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Muhammed Al-Qahtani, Mansour Al-Qahtani, Hatim Al-Misehal
The goal of this paper is to identify factors that affect e-Learners' satisfaction in a large corporation in Saudi Arabia. By adopting an organisational/technological perspective to the e-Learning system, the existing body of literature on e-Learning was reviewed and a suitable theoretical model was selected as an initial theoretical framework characterising various underlying factors for the e-Learners' satisfaction in today's workplace environments in general. Through four semi-structured interviews with employees selected from the case study organisation the current study attempts to identify additional factors that may be relevant to the large Middle Eastern corporations. This in turn will facilitate development of a survey questionnaire that crosses distinctively different cultures, which constitutes the author's future study.
{"title":"Learner Satisfaction of E-Learning in Workplace: Case of Oil Company in Middle East","authors":"Muhammed Al-Qahtani, Mansour Al-Qahtani, Hatim Al-Misehal","doi":"10.1109/ITNG.2013.47","DOIUrl":"https://doi.org/10.1109/ITNG.2013.47","url":null,"abstract":"The goal of this paper is to identify factors that affect e-Learners' satisfaction in a large corporation in Saudi Arabia. By adopting an organisational/technological perspective to the e-Learning system, the existing body of literature on e-Learning was reviewed and a suitable theoretical model was selected as an initial theoretical framework characterising various underlying factors for the e-Learners' satisfaction in today's workplace environments in general. Through four semi-structured interviews with employees selected from the case study organisation the current study attempts to identify additional factors that may be relevant to the large Middle Eastern corporations. This in turn will facilitate development of a survey questionnaire that crosses distinctively different cultures, which constitutes the author's future study.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134264457","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Software testing is considered one of the most expensive and critical phases of the software development. Formal testing approaches are extensively used for verifying the conformance of implementations to a given specification. These formal approaches usually generate a large amount of input test data which is costly in terms of time and effort. Techniques for reducing test input data are thus of the utmost importance. The contribution of this paper is to propose a framework for the reduction of test input data generated by a formal testing approach based on X-Machines. To achieve these objectives we have applied a well known statistical approach called Random Cluster Sampling on the test case set generated by a formal approach X-Machines. To exemplify our technique we have generated a test set for an X-Machine Microwave oven specification and then drew a sample from the test set by using the Random Cluster sampling technique. Based on the tolerated fault rate we have extracted conclusion about the accuracy of implementation.
{"title":"Random Cluster Sampling on X-Machines Test Cases","authors":"Yasir Imtiaz Khan, Sadia Kausar","doi":"10.1109/ITNG.2013.50","DOIUrl":"https://doi.org/10.1109/ITNG.2013.50","url":null,"abstract":"Software testing is considered one of the most expensive and critical phases of the software development. Formal testing approaches are extensively used for verifying the conformance of implementations to a given specification. These formal approaches usually generate a large amount of input test data which is costly in terms of time and effort. Techniques for reducing test input data are thus of the utmost importance. The contribution of this paper is to propose a framework for the reduction of test input data generated by a formal testing approach based on X-Machines. To achieve these objectives we have applied a well known statistical approach called Random Cluster Sampling on the test case set generated by a formal approach X-Machines. To exemplify our technique we have generated a test set for an X-Machine Microwave oven specification and then drew a sample from the test set by using the Random Cluster sampling technique. Based on the tolerated fault rate we have extracted conclusion about the accuracy of implementation.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115937573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Appropriate techniques for the development of application ontologies are needed and GAODT ("Goal-Oriented Application Ontology Development Technique") technique described in this article contributes to this purpose. GAODT translates the goals and facts in natural language expressing the requirements of a knowledge-based system into rules and facts in first-order logic. Next, this knowledge base is mapped to an application ontology. GAODT was evaluated through the development of a case study on the construction of the application ontology of a knowledge-based system for the domain of Intestate Succession. A software tool to support the application of GAODT was also developed.
{"title":"A Case Study on the Construction of Application Ontologies","authors":"Luis Eduardo Santos, R. Girardi, P. Novais","doi":"10.1109/ITNG.2013.95","DOIUrl":"https://doi.org/10.1109/ITNG.2013.95","url":null,"abstract":"Appropriate techniques for the development of application ontologies are needed and GAODT (\"Goal-Oriented Application Ontology Development Technique\") technique described in this article contributes to this purpose. GAODT translates the goals and facts in natural language expressing the requirements of a knowledge-based system into rules and facts in first-order logic. Next, this knowledge base is mapped to an application ontology. GAODT was evaluated through the development of a case study on the construction of the application ontology of a knowledge-based system for the domain of Intestate Succession. A software tool to support the application of GAODT was also developed.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"129 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134239324","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Successful integration of classes makes functionalities work correctly in software. The individual class usually functions correctly, but when the classes are integrated several unexpected faults may occur. In Object-Oriented software it is particularly hard to detect faults when classes are integrated because of inheritance, polymorphism and dynamic binding. Software designers use Unified Modeling Language (UML) to create an abstract system scenario and to visualize the system's architecture. A lot of research reveals that UML is not only for software design, but also for software testing. More and more researchers have realized UML models can be a source for Object-Oriented software testing. This paper proposes an intermediate test model called the Polymorphism State SEquence Test Model (PSSETM), which is generated from sequence diagram, class diagram and state-charts for integration testing. The example of Bookstore System shows the PSSETM test model is able to exhibit the possible state of object and the polymorphic information of class. Based on the PSSETM test model, various coverage criteria are defined to generate valid test paths to enhance testing on interaction among classes and the polymorphism of class.
{"title":"The Test Path Generation from State-Based Polymorphic Interaction Graph for Object-Oriented Software","authors":"Ching-seh Wu, Chi-Hsin Huang, Yen-Ting Lee","doi":"10.1109/ITNG.2013.52","DOIUrl":"https://doi.org/10.1109/ITNG.2013.52","url":null,"abstract":"Successful integration of classes makes functionalities work correctly in software. The individual class usually functions correctly, but when the classes are integrated several unexpected faults may occur. In Object-Oriented software it is particularly hard to detect faults when classes are integrated because of inheritance, polymorphism and dynamic binding. Software designers use Unified Modeling Language (UML) to create an abstract system scenario and to visualize the system's architecture. A lot of research reveals that UML is not only for software design, but also for software testing. More and more researchers have realized UML models can be a source for Object-Oriented software testing. This paper proposes an intermediate test model called the Polymorphism State SEquence Test Model (PSSETM), which is generated from sequence diagram, class diagram and state-charts for integration testing. The example of Bookstore System shows the PSSETM test model is able to exhibit the possible state of object and the polymorphic information of class. Based on the PSSETM test model, various coverage criteria are defined to generate valid test paths to enhance testing on interaction among classes and the polymorphism of class.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134303876","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
According to current views, object-oriented analysis and design focus mostly on system functionality, resulting in difficulties in maintenance and contradictions of the main principles of object orientation. Aspect-oriented software development proposes early specification of nonfunctional requirements. Many works have integrated an aspect-oriented approach into object-oriented modeling, for example, interdependent concern behavior is modeled using extended UML2 activity models. Without loss of generality, we suggest utilizing a new flow-based approach for describing a conceptual integrated picture, using an extended activity digram as a sample case to illustrate our proposed methodology.
{"title":"Alternative Representation of Aspects","authors":"S. Al-Fedaghi","doi":"10.1109/ITNG.2013.45","DOIUrl":"https://doi.org/10.1109/ITNG.2013.45","url":null,"abstract":"According to current views, object-oriented analysis and design focus mostly on system functionality, resulting in difficulties in maintenance and contradictions of the main principles of object orientation. Aspect-oriented software development proposes early specification of nonfunctional requirements. Many works have integrated an aspect-oriented approach into object-oriented modeling, for example, interdependent concern behavior is modeled using extended UML2 activity models. Without loss of generality, we suggest utilizing a new flow-based approach for describing a conceptual integrated picture, using an extended activity digram as a sample case to illustrate our proposed methodology.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"32 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120986227","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper, we will find the numerical solution of partial differential equations by using the finite element method with Riesz bases that are elevated from ortho normal bases. Especially for the two-dimensional cases, we also propose another way to solve a matrix-valued equation (Lyapunov equation). Moreover, we give the precise inverse formula for symmetric block tridiagonal Toeplitz matrices. To conclude, we present some numerical results that show the usefulness of the elevated bases.
{"title":"On the Finite Element Method with Riesz Bases and Its Applications to Some Partial Differential Equations","authors":"N. Fukuda, T. Kinoshita, Takayuki Kubo","doi":"10.1109/ITNG.2013.121","DOIUrl":"https://doi.org/10.1109/ITNG.2013.121","url":null,"abstract":"In this paper, we will find the numerical solution of partial differential equations by using the finite element method with Riesz bases that are elevated from ortho normal bases. Especially for the two-dimensional cases, we also propose another way to solve a matrix-valued equation (Lyapunov equation). Moreover, we give the precise inverse formula for symmetric block tridiagonal Toeplitz matrices. To conclude, we present some numerical results that show the usefulness of the elevated bases.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115538504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper discusses the user-defined inverted index design, analysis and measurement in Boolean rule-based entity resolution (ER) systems. The features of Boolean rule-based ER system will be described first and followed by how to design user-defined inverted index for better performance. An illustration of alignment of index and matching rules will be given. Also, there will be a discussion of three index measurements: reduction ratio, index precision and recall. The final part gives two suggested strategies for designing the index.
{"title":"User-Defined Inverted Index in Boolean, Rule-Based Entity Resolution Systems","authors":"Yinle Zhou, J. Talburt, E. D. Nelson","doi":"10.1109/ITNG.2013.93","DOIUrl":"https://doi.org/10.1109/ITNG.2013.93","url":null,"abstract":"This paper discusses the user-defined inverted index design, analysis and measurement in Boolean rule-based entity resolution (ER) systems. The features of Boolean rule-based ER system will be described first and followed by how to design user-defined inverted index for better performance. An illustration of alignment of index and matching rules will be given. Also, there will be a discussion of three index measurements: reduction ratio, index precision and recall. The final part gives two suggested strategies for designing the index.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115060378","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：