Peer-reviewed Articles - Computer sci

259 downloads
1,390 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
495 downloads
2,851 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
6,459 downloads
2,879 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
12 citations
652 downloads
2,646 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,401 downloads
16,391 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