Peer-reviewed Articles - Computer sci

234 downloads
1,224 views

Identifying a temporal pattern of events is a fundamental task of online (real-time) verification. We present efficient schemes for online monitoring of events for identifying desired/undesired patterns of events. The schemes use preprocessing to ensure that the...

["Algorithms and Analysis of Algorithms","Theory and Formal Methods"]
doi:10.7717/peerj-cs.53
7 citations
441 downloads
2,609 views

Agent-based modeling (ABM) is a bottom-up modeling approach, where each entity of the system being modeled is uniquely represented as an independent decision-making agent. ABMs are very sensitive to implementation details. Thus, it is very easy to inadvertently...

["Agents and Multi-Agent Systems","Scientific Computing and Simulation","Theory and Formal Methods"]
doi:10.7717/peerj-cs.36
5,799 downloads
2,612 views

The purpose of this paper is to provide a governance structure for IT-related projects in order to assure a safeguarded and timely transition to a productive environment. This transitioning, which rarely exceeds a weekend, is colloquially called ‘cut-over’, ‘rollout’...

["Computer Architecture","Theory and Formal Methods","Software Engineering"]
doi:10.7717/peerj-cs.29
10 citations
622 downloads
2,407 views

We propose a measure based upon the fundamental theoretical concept in algorithmic information theory that provides a natural approach to the problem of evaluating n-dimensional complexity by using an n-dimensional deterministic Turing machine. The technique is...

["Computational Biology","Artificial Intelligence","Theory and Formal Methods"]
doi:10.7717/peerj-cs.23
1 citation
1,340 downloads
16,114 views

We extend the existing enumeration of neck tie-knots to include tie-knots with a textured front, tied with the narrow end of a tie. These tie-knots have gained popularity in recent years, based on reconstructions of a costume detail from The Matrix Reloaded, and...

["Algorithms and Analysis of Algorithms","Computational Linguistics","Theory and Formal Methods"]
doi:10.7717/peerj-cs.2

Refine by manuscript type

Top subject areas - Articles

Top subject areas - People

View all subject areas