832 search results - page 110 / 167 » Characteristic Patterns for LTL |
125
click to vote
SG
2009
Springer
15 years 11 months ago
2009
Springer
When we construct a model of origami (a model of a folded sheet of paper) in a computer, it is usual to represent the model as a set of polygons having zero thickness. One of the t...
151
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
133
click to vote
TPCTC
2009
Springer
15 years 11 months ago
2009
Springer
Many large-scale online services use structured storage to persist metadata and sometimes data. The structured storage is typically provided by standard database servers such as Mi...
122
click to vote
HT
2009
ACM
15 years 11 months ago
2009
ACM
Data created by social bookmarking systems can be described as 3-partite 3-uniform hypergraphs connecting documents, users, and tags (tagging networks), such that the toolbox of c...
122
click to vote
ISLPED
2009
ACM
15 years 11 months ago
2009
ACM
In an interactive embedded system, special task execution patterns and scheduling constraints exist due to frequent human-computer interactions. This paper proposes a transaction-...