Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

10 articles for “Temporal Logic”
Set a search alert
Research ArticleOpen accessIn the keywordsApplying Dempster Shafer Theory and Causal Inference in Investigating Internet of Things Digital Forensic ChallengeMohamed El-Dosuky, Sherif K. Ratib et al.The rapid growth of IoT ecosystems has transformed digital forensics, creating challenges in analyzing distributed, heterogeneous, and uncertain evidence. Conventional forensic methods often struggle to handle ambiguous and conflicting IoT data, highlighting the need for robust frameworks that effectively manage uncertainty across multiple evidence sources. This research presents a hybrid forensic framework that integrates Dempster Shafer Theory (DST) for probabilistic … …Journal of Computer Science, Vol. 22, Issue 10 · 10 Oct 2026 · 888 accessesView PDFCite
Research ArticleOpen accessIn the keywordsCommon Modeling Language for Model CheckersPathiah Abdul Samat, Abdullah Mohd ZinProblem statement: There are many different model checkers that have been developed. Each of the model checkers is based on different input languages and they are suitable for model checking different types of systems. Thus it is important for us to choose the right model checker or modeling and verifying a given system. However, moving from one model checker to … …Journal of Computer Science, Vol. 8, Issue 1 · 1 Nov 2011 · 8,343 accessesView PDFCite
Research ArticleOpen accessIn the keywordsAnalysis of the Model Checkers' Input Languages for Modeling Traffic Light SystemsPathiah Abdul Samat, Abdullah Mohd Zin, Zarina ShukurProblem statement: Model checking is an automated verification technique that can be used for verifying properties of a system. A number of model checking systems have been developed over the last few years. However, there is no guideline that is available for selecting the most suitable model checker to be used to model a particular system. Approach: In this study, … …Journal of Computer Science, Vol. 7, Issue 2 · 25 Feb 2011 · 7,887 accessesView PDFCite
Research ArticleOpen accessIn the keywordsA Frame Study for Post-Processing Analysis on System Behavior: A Case Study of Deadline Miss DetectionJunghee Lee, Jongman KimProblem statement: A lot of data can be obtained by system simulation using transaction level models without affecting the performance of the system. Due to huge amount of the raw data, we often need to post-process them to extract valuable information. Profiling capabilities of commercial tools provide predefined functionalities and don’t allow users to add or modify for their own … …Journal of Computer Science, Vol. 6, Issue 12 · 22 Nov 2010 · 6,741 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Context-Aware Temporal Convolutional Network for Water Replacement Prediction in Catfish Biofloc Ponds With Imbalanced Event HandlingYaddarabullah, Inanpi Hidayati Sumiasih, Mutiara Dewi PuspitawatiWater replacement is a biologically critical yet under-automated decision in biofloc-based aquaculture systems. Mistimed actions can destabilize microbial ecosystems, elevate fish mortality, and compromise sustainability through excessive water usage. Traditional rule-based heuristics often fail to account for the nonlinear and multiscale dynamics of pond environments. To address this, we propose a Context-Aware Temporal Convolutional Network (CA-TCN), a rare-event classification framework … …Journal of Computer Science, Vol. 22, Issue 3 · 5 Mar 2026 · 1,664 accessesView PDFCite
Research ArticleOpen accessIn the abstractRetrieval Optimization Technique for Tuple Timestamp Historical Relation Temporal Data ModelSami M. Halawani, Ibrahim AlBidewi, Ab Rahman Ahmad, Nashwan A. Al-RomemaProblem statement: In the field of database technology, Recoding time related data are referred to as temporal databases. Conventional relational databases are queried using the underlying constructs of SQL which are translated into Relational Algebra (RA). Relational Algebra (RA) is the writing of logical expressions that uses a set of relational operators to perform operations on specific relation(s) and returns … …Journal of Computer Science, Vol. 8, Issue 2 · 9 Dec 2011 · 7,376 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Descriptive Framework for the Multidimensional Medical Data Mining and RepresentationVeeramalai Sankaradass, Kannan ArputharajProblem statement: Association rule mining with fuzzy logic was explored by research for effective datamining and classification. Approach: It was used to find all the rules existing in the transactional database that satisfy some minimum support and minimum confidence constraints. Results: In this study, we propose new rule mining technique using fuzzy logic for mining medical data in order to … …Journal of Computer Science, Vol. 7, Issue 4 · 4 Apr 2011 · 6,932 accessesView PDFCite
Research ArticleOpen accessIn the abstractMemory Storage Issues of Temporal Database Applications on Relational Database Management SystemsSami M. Halawani, Nashwan A. Al-RomemaProblem statement: Many existing database applications manage time-varying data. These database applications are referred to as temporal databases or time-oriented database applications that are considered as repositories of time-dependent data. Many proposals have been introduced for developing time-oriented database applications, some of which suggest building support for Temporal Database Management Systems (TDBMS) on top of existing non-temporal DBMSs, while others … …Journal of Computer Science, Vol. 6, Issue 3 · 31 Mar 2010 · 7,731 accessesView PDFCite
Research ArticleOpen accessIn the abstractAssessing the Applicability of Landslide Databases for Hazard Management Using Objective and Subjective Models: Australian Geoinformatic CaseM. OwneghProblem statement: In order to assess the applicability of Australian landslide databases as a hazard management support system, current hard and soft literature and data sources were screened. This assessment resulted in the selection of four main data bases including national landslide database (A), Peril Aus ІІ (B), the Cities project (C) and analytical study of Fell (D). Approach: In … …Current Research in Geoscience, Vol. 1, Issue 1 · 30 Jun 2010 · 10,352 accessesView PDFCite
Research ArticleOpen accessAll words, across the recordTowards an Exclusion Mutual Tolerant Algorithm to FailuresM. Senouci, A. Liazid, D. BenhamamouchThe distributed algorithmic is widely used in various economic and industrial fields as finance, medical, industry, telecommunication. New technologies are increasing rapidly. From now on, applications must associate two conditions: auto-execution on heterogeneous grid computers, on the one hand and on the other hand, satisfaction of the temporal and safety constraints. Hence this paper deals with performing an algorithm based … …Journal of Computer Science, Vol. 3, Issue 1 · 31 Jan 2007 · 6,726 accessesView PDFCite