Research ArticleOpen accessPhrase in the titleAbstract Interpretation of Java Bytecode for Immutability AnalysisOliver HaaseEven though immutability is a desirable property, especially in a multi-threaded environment, implementing immutable Java classes is surprisingly hard because of a lack of language support. We present a static analysis tool using abstract bytecode interpretation that checks Java classes for compliance with a set of rules that together constitute state-based immutability. Being realized as a Find Bugs plug in, … …Journal of Computer Science, Vol. 12, Issue 7 · 23 Aug 2016 · 7,548 accessesView PDFCite
Research ArticleOpen accessIn the abstractModelling Knowledge Summarization by Evolving Fuzzy GrammarNurfadhlina Mohd Sharef, Alfian Abdul Halin, Norwati MustaphaSummarized text is a simplified and condensed version of the original text containing highlighted information to help the audience get the gist in a short period of time. Typically, text summarization produces abstract or a paragraph-like outputs by omitting details and irrelevant information. However, the text summary can also be produced in a visualized form, such as a chart, graph … …American Journal of Applied Sciences, Vol. 10, Issue 6 · 10 Jun 2013 · 6,659 accessesView PDFCite
Research ArticleOpen accessIn the abstractEnglish to Arabic Machine Translation Based on Reordring AlgorithmEhsan Abdulraheem Mohammed, Mohd. Juzaiddin Ab AzizProblem Statement: The purpose of Machine Translation (MT) is set accurate translation by implement a system to achieve similar result with human translates as in case the translating English to Arabic. The translation is a creative process which involves interpretation of the text that given by the translator. In addition, the translation depends on the purpose for which it meant … …Journal of Computer Science, Vol. 7, Issue 1 · 12 Jan 2011 · 9,348 accessesView PDFCite
Research ArticleOpen accessIn the abstractCultural Identity Expressions through Visual Analysis in Post-Disaster HousingAsal Kamani Fard, Mohd Hamdan Ahmad, Dilshan Remaz OssenProblem statement: The incidence of natural disasters as well as followed human beings’ efforts for reestablishing life is considered as unavoidable essence of nature. Whilst, the interdisciplinary theme of post disaster recovery and reconstruction has been researched worldwide in order to examine its different aspects. And within architectural interests, evaluating the housing reconstruction programs would lead to beneficial clues through … …American Journal of Applied Sciences, Vol. 7, Issue 10 · 31 Oct 2010 · 7,270 accessesView PDFCite
Research ArticleOpen accessIn the abstractUsability Requirements of Formal Verification Tools: A SurveyRozilawati Razali, Paul GarrattProblem statement: Formal notations employ mathematical symbols and interpretation to illustrate system elements. The formality imposed by the notations allows the accuracy and consistency of a system model to be confirmed by verification tools. Formal notations on the other hand are difficult to understand and use by most users. As supporting instruments, verification tools are expected to be as usable … …Journal of Computer Science, Vol. 6, Issue 10 · 10 Aug 2010 · 7,185 accessesView PDFCite