15033 search results - page 2766 / 3007 » Complexity Theory and Algorithms |
124
Voted
FORTE
2004
15 years 6 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
142
click to vote
APBC
2003
15 years 6 months ago
2003
Databases contain a large amount of data about metabolic pathways, in particular about similar pathways in different species. Biologists are familiar with visual representations ...
162
click to vote
DOA
2001
15 years 6 months ago
2001
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...
132
click to vote
EFDBS
2001
15 years 6 months ago
2001
New applications from the areas of analytical data processing and data integration require powerful features to condense and reconcile available data. Object-relational and other d...
167
click to vote
IFIP12
2004
15 years 6 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...